The arithmetic-geometry tag has no wiki summary.

**43**

votes

**0**answers

3k views

### What is an étale theta function?

Let me start out by urging you to take seriously that whatever I write about the papers surrounding IUTT really are questions. If you would like to use it as a guide to the mathematics in any way, ...

**18**

votes

**0**answers

563 views

### function field analogy and global/absolute geometry

The "function field analogy" seems to be a topic that is considerably bigger than any one existing writeup conveys. There are several old question on MO and and MathSE that ask for details. One of the ...

**18**

votes

**0**answers

360 views

### Bounding failures of the integral Hodge and Tate conjectures

It is well know that the integral versions of the Hodge and Tate conjectures can fail. I once heard an off hand comment however that they should only fail by a "bounded amount". My question is what ...

**17**

votes

**0**answers

455 views

### On Determinants of Laplacians on Riemann Surfaces

History of the Formula: In their famous paper "On Determinants of Laplacians on Riemann Surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the space $T^n$ of ...

**17**

votes

**0**answers

583 views

### Smooth proper schemes over Z with points everywhere locally

This is a variation on Poonen's question, taking Buzzard's fabulous example into account. It was earlier a part of this other question.
Question. Is there a smooth proper scheme ...

**16**

votes

**0**answers

981 views

### Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to 2 conjectures by Gabber
(see Conjectures 2 and 3, page 1975)
http://www.mfo.de/programme/schedule/2004/32/OWR_2004_37.pdf
1) Let $R$ be a strictly henselian ...

**14**

votes

**0**answers

269 views

### Is the absolute Galois group of the rationals Hopfian?

Is every continuous epimorphism from the absolute Galois group of $\mathbb{Q}$ to itself injective?

**12**

votes

**0**answers

263 views

### Artin L-function and Zeta function of twisted Dirac operator

If one thinks of a Frobenius as an element in the fundamental group of an arithmetic curve and of a Galois representation $\sigma$ as a flat connection on the curve, then the definition of the Artin ...

**12**

votes

**0**answers

559 views

### Points of bounded height in a number field

Let $K$ be a number field of absolute degree $d$, let $B$ be a positive real number, and write $S(K, B) = \{x \in K : H(x) \leq B\}$. Here $H$ is the absolute multiplicative height of an algebraic ...

**11**

votes

**0**answers

579 views

### Meaningful review of Moriwaki's “Arakelov Geometry”

I have been asked to write a mathscinet review for Atsushi Moriwaki's Arakelov Geometry
book:
http://www.ams.org/bookstore-getitem/item=mmono-244
I could do the review the standard way in a day or ...

**11**

votes

**0**answers

442 views

### Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?

Let $X$ be a variety over a $p$-adic field $K$.
Is there a simple or intuitive explanation of why the $G_K$ representation $H^i(X_{ét},\mathbb{Q}_p)$ is Hodge-Tate? More precisely, why do the powers ...

**10**

votes

**0**answers

349 views

### Can an abelian variety/Q have no non-trivial points over Q_sol?

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable
extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial?
This follows from the conjecture that the maximal ...

**10**

votes

**0**answers

155 views

### Totally real points on curves

Let $X$ be a smooth, projective (geometrically integral) curve defined over $\mathbb{Q}$ with genus $g \geq 3$. Suppose that $X(\mathbb{R}) \neq \emptyset$. Does $X$ have a point defined over a ...

**10**

votes

**0**answers

198 views

### Purity for abelian schemes up to $p$-isogenies

Let $S$ be a noetherian excellent regular scheme and $U\subset S$ an everywhere dense open of codimension $\geq 2$. For some fibered categories of geometric objects, it makes sense to ask whether the ...

**10**

votes

**0**answers

870 views

### Effective proofs of Siegel's theorem using arithmetic geometry

This is a speculation and perhaps naive. The theorem of Siegel that
There exist only finitely many integral points on a curve of genus $\geq 1$ over a number ring $\mathcal O_{K, S}$ where $S$ is ...

**9**

votes

**0**answers

380 views

### Paths in $\mathrm{Spec} \, \mathbb{Z}$ and Kim's proof of Siegel's theorem for $\mathbb{P}^1 \setminus \{0,1,\infty\}$

This is motivated by a basic number theory question I asked the previous day:
Can there be arbitrarily many cubic fields unramified outside $\{p,\infty\}$? I noted there that the answer to the ...

**9**

votes

**0**answers

199 views

### Relation between the arithmetic Frobenius and the Frobenius of the $\varphi$-module of an unramified representation

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with perfect residue field $k$. Suppose $V$ is an unramified representation with associated continuous homomorphism ...

**9**

votes

**0**answers

406 views

### Torelli-like theorem for K3 surfaces on terms of its étale cohomology

Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow ...

**9**

votes

**0**answers

366 views

### Is there an algorithm which determines if a curve has good reduction outside a given set of primes

Fix a number field $K/\mathbf{Q}$, a finite set of places $S$ in $K$, an integer $g$ and a curve $X$ over $K$ of genus $g$.
Is there an algorithm which tells you if $X$ has good reduction outside ...

**9**

votes

**0**answers

359 views

### Crystalline realization of mixed Tate motives

Deligne and Goncharov, in their article of 2005, mention that the crystalline realization functor has yet to be worked out. What's the current state of the literature on this? And how big of an issue ...

**9**

votes

**0**answers

467 views

### An analogue of Deligne-Lusztig theory for positive depth representations?

Deligne-Lusztig theory is an important tool in understanding the depth zero representations of $p$-adic groups. Is there an analogue of Deligne-Lusztig theory that helps in understanding positive ...

**8**

votes

**0**answers

131 views

### Distribution of Mordell–Weil ranks of higher genus curves

By "nice curve", I mean a smooth, projective, geometrically integral curve over $\newcommand{\Q}{\mathbb{Q}}\newcommand{\Jac}{\operatorname{Jac}}\Q$ with at least one $\Q$-rational point. The ...

**8**

votes

**0**answers

201 views

### congruences of level 1 and level p modular forms

I've been carrying out some experiments on the computer and I noticed the following congruence phenomenon: fixing a prime $p$, it seems that any modular form over $SL_2(\mathbb{Z})$ and of weight $k ...

**8**

votes

**0**answers

187 views

### Corresponding notion of unramified for motives (or de Rham cohomology)

The etale cohomolgoy of a variety $X$ over a number field $K$ is a Galois representation of $\mathrm{Gal}(\overline K/K)$ with some properties coming from $X$, e.g., it is unramified outside $S$ if ...

**7**

votes

**0**answers

168 views

### Almost rational point

Let $X$ be a variety over a number field $K$. Let $S$ be a finite set of places of $K$. Is there a notion of a point $p \in X(\overline{K})$ to be "almost rational" in the following sense?:
$p$ and ...

**7**

votes

**0**answers

173 views

### Lattice radial-step (ratchet) spirals

(30Oct13: Now solved; see Addendum.)
Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.
$S(r_0,\epsilon)$ begins with the arc ...

**7**

votes

**0**answers

127 views

### On the definition of LGP-monoids in IUT III

I have been trying to understand, without success, the definition of "LGP-monoids" on p. 80 of Mochizuki's IUT III and was wondering if anyone could provide some more explanation than what is given ...

**7**

votes

**0**answers

289 views

### Counting higher dimensional abelian varieties of a given conductor

This question is a follow up to an earlier question of mine on enumerating elliptic curves of a given conductor.
I've heard people say that studying higher dimensional varieties via explicit ...

**7**

votes

**0**answers

1k views

### What are “fractional motives”?

Kirti Joshi's musings mention "fractional motives". Do you know what are they good for and what the current state of constructions is for them?
Edit: Further cases of "fractional motives" as ...

**7**

votes

**0**answers

967 views

### An example computation of etale cohomology

(edited for clarity)
In a comment on a response to this question, moonface states the following: "Even if you tried to compute H^2 [etale with Z/5Z-coefficients] of a surface fibered in genus 2 ...

**6**

votes

**0**answers

203 views

### The Rappoport-Zink spectral sequence vs. the one of the complement of a normal crossing divisor

As far as I understand these matters, for a regular $\mathfrak{X}$ that is proper flat of finite type over $\operatorname{Spec}\mathbb{Z}_p$, the Rappoport-Zink spectral sequence relates the etale ...

**6**

votes

**0**answers

188 views

### Kernels and cokernels for morphisms of abelian schemes up to isogenies

For $S$ a noetherian scheme, let $\mathcal{A}(S)$ be the additive category of abelian schemes over $S$ and $\mathcal{A}_{\mathbb{Q}}(S)$ be the category of abelian schemes up to isogenies, i.e. ...

**6**

votes

**0**answers

167 views

### simple proof of relation between H^1 crystalline and Dieudonne module?

Hi,
Let $k$ be a perfect field of characteristic $p > 0$. Let $A/k$ be an abelian variety. Then the first crystalline cohomology group of $A$ with respect to $W(k)$ (= Witt vectors) is canonically ...

**6**

votes

**0**answers

274 views

### Does a lower bound for models of finite group schemes exist?

Let $R$ be a discrete valuation ring (as beautiful as you like) and set $K:=Frac(R)$. Let $G_K$ be a finite $K$-group scheme, $G_1$ and $G_2$ two affine and flat models of $G_K$ of finite type, i.e. ...

**6**

votes

**0**answers

240 views

### Do Scharaschkin's results on Brauer-Manin obstructions on curves generalize to non-projective curves?

Theorem: Let X be a smooth projective curve over a number field K, and let $\delta$ be the index of X (i.e., the minimal degree of a K-rational divisor on X). Then V. Scharaschkin proved in this ...

**6**

votes

**0**answers

666 views

### Can you get Siegel's theorem “for free” from modularity and Mazur's Eisenstein Ideal paper?

There is a well-known theorem of Shafarevich that given a finite set $S$ of primes the number of isomorphism classes of elliptic curves over $\Bbb Q$ with everywhere good reduction outside $S$ is ...

**5**

votes

**0**answers

126 views

### Are all these K3 surfaces supersingular?

Consider all the smooth K3 surfaces given by $X^4+W^2X^2+XW^3 = f(Y,Z,W)$ or $X^4+XW^3 = g(Y,Z,W)$ over $\mathbb F_{2}$ with $f$ or $g$ homogenous of degree 4. There are a lot of choices for $f$ and ...

**5**

votes

**0**answers

119 views

### Non-embeddable varieties

Suppose that $k$ is a perfect field of characteristic $p>0$, $\mathcal{V}$ is a complete discrete valuation ring with residue field $k$ and quotient field $K$, of characteristic $0$.
Then when ...

**5**

votes

**0**answers

120 views

### Groupoid cardinality of DM stack and point counting on coarse moduli spaces

Let $X$ be a finite type DM stack over a finite field $k$ with a coarse moduli space $X_c$. (We only assume $X_c$ is an algebraic space and $X$ might have infinite inertia stack.)
Under which ...

**5**

votes

**0**answers

180 views

### On a claim of Deligne about representations of Weil-Deligne groups

In Deligne's article 'Les constantes des equations fonctionelles des fonctions L' http://publications.ias.edu/sites/default/files/Number20.pdf, we find the following claim:
Proposition 8.9 (ibid.): ...

**5**

votes

**0**answers

109 views

### Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind.
Let $X$ be a smooth quasi-projective geometrically ...

**5**

votes

**0**answers

163 views

### When are Galois representations with open image attached to elliptic curves?

Let $K$ be a number field with absolute Galois group $G_K$.
Let $\rho:G_K \rightarrow GL_2(\hat{\mathbb{Z}})$ be a Galois representation such that the image of $\rho$ is open in ...

**5**

votes

**0**answers

161 views

### Semiabelian actions appearing in the toroidal campactification of a degenearting abelian varieties

Given a totally degenerated abelian variety $A_K$ (to make it easier) over a complete discrete valuation field $K$ with $R$, $\pi$ and $k$ the corresponding discrete valuation ring, uniformiser and ...

**5**

votes

**0**answers

241 views

### Isogenous elliptic curves have same conductor

Let $E/K, E'/K$ be elliptic curves defined over a number field $K$. Let $\phi: E \to E'$ be a non-constant isogeny defined over $K$. Why must the conductors be equal?
I know that this is an ...

**5**

votes

**0**answers

532 views

### Grothendieck monodromy theorem for l-adic sheaves

Hi,
Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field.
Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on ...

**5**

votes

**0**answers

183 views

### Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine?
I think this follows from a more general result on smooth complete intersections, but I'm ...

**5**

votes

**0**answers

706 views

### Motivic Galois group and Shimura varieties

Hi,
Suppose that one has a Shimura variety $Sh(G,X)$ where $(G,X)$ is the corresponding Shimura datum and suppose that it can be interpreted as a moduli space of motives (e.g. PEL type Shimura ...

**5**

votes

**0**answers

458 views

### a naive question about p-adic local monodromy theorem

The question is about whether one can view the p-adic local monodromy theorem as the quasi-unipotence of some monodromy operator.
it is known that the classical local monodromy theorem (i.e. for ...

**5**

votes

**0**answers

433 views

### Formal groups in the supersingular reduction case

Dear MO,
Let $E/\mathbb{Q}$ be an elliptic curve with potential good supersingular reduction at $p$. Thus, there is a finite extension $K/\mathbb{Q}_p$ such that $E/K$ has good supersingular ...

**5**

votes

**0**answers

535 views

### Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situation) follow from results of Gabber?

This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases?
Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to ...