Diophantine equations, elliptic curves, Mordell conjecture, Arakelov theory, Iwasawa theory, ...

learn more… | top users | synonyms

19
votes
0answers
394 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 ...
18
votes
0answers
498 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 ...
18
votes
0answers
600 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
0answers
1k 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
0answers
309 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?
13
votes
0answers
264 views

Vanishing of rigid cohomology for affine varieties

Let $k$ be a perfect field of positive characteristic and denote by $K$ the field of fractions of the ring of Witt vectors over $k$. Question: If $X$ is an affine variety over $k$, do the rigid ...
12
votes
0answers
220 views

Is the Dieudonne module actually a cohomology group?

One often times thinks of the Dieudonne module $M(X)$ of a $p$-divisible group (say over $k$, a perfect characteristic $p$ field) as being some sort of cohomology theory $$M:\left\{p\text{- divisible ...
12
votes
0answers
192 views

$p$-Adic or arithmetic variants of Khovanskii's “low complexity $\Rightarrow$ tame topology” theory

This question is prompted by a remark I made in a comment to Is every polynomial a factor of a trinomial?, which was that Descartes's observation (cf. his rule of signs, etc.), that the number of real ...
12
votes
0answers
278 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
0answers
621 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 ...
12
votes
0answers
923 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 ...
11
votes
0answers
708 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
0answers
367 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
0answers
108 views

Finiteness of torsion in $\mathcal{K}_2$-cohomology

Let $F$ be a number field, $C$ be a smooth projective curve over $F$ and $\mathfrak{C}$ be a proper regular model. I am interested in $\mathcal{K}_2$-cohomology, i.e., Zariski cohomology of the sheaf ...
10
votes
0answers
225 views

comparison of completion and Henselization in class field theory

Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...
10
votes
0answers
162 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
0answers
225 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
0answers
471 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
0answers
130 views

Does the Tate pairing agree with the Brauer-Manin pairing

Let $X$ be a proper, smooth, geometrically integral variety over a field $k$. Let $A$ be (the identity component of) its Picard variety and let $B$ be (the identity component) of its Albanese variety. ...
9
votes
0answers
199 views

Extension of Messing-Mazur-Oda to general groups

The following may be well-known (or obviously false), but I can't find a counterexample or a reference. Suppose that $k$ is some perfect field (one can assume algebraically closed, if that makes you ...
9
votes
0answers
316 views

Does bounded-degree base extension yield Zariski-dense Mordell-Weil group?

If $d$ and $n$ are positive integers, does there exist a constant $B=B(d,n)$ with the following property? For any $n$-dimensional abelian variety $A$ over a degree-$d$ number field $K$, there is an ...
9
votes
0answers
463 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
0answers
207 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
0answers
226 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 ...
9
votes
0answers
139 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 ...
9
votes
0answers
375 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
0answers
489 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
0answers
196 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
0answers
175 views

A Hartogs-type criterion for flatness

Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two. Now, let $Y$ be a smooth quasi-affine connected variety ...
7
votes
0answers
235 views

Is the compositum of all quadratic extensions of the rationals an ample field?

Let $K$ be the compositum of all quadratic extensions of $\mathbb{Q}$, that is $$K = \mathbb{Q}(\sqrt{d} \ : \ d \in \mathbb{Q}).$$ Is there a (geometrically irreducible) smooth variety ...
7
votes
0answers
173 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
0answers
109 views

Can the failure of the multiplicativity of archimedean L-factors be corrected?

My question is parallel to J. Borger' question: Can the failure of the multiplicativity of Euler factors at bad primes be corrected? As emphasized by Scholbach in his paper on special values of ...
7
votes
0answers
177 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
0answers
299 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
0answers
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
0answers
1k 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
0answers
245 views

A problem on universally locally acyclic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ and $S$ be two smooth varieties over $k$ and $\mathcal F$ a constructible \'etale sheaf of $\mathbb F_\ell$-modules on $X$ ...
6
votes
0answers
137 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 ...
6
votes
0answers
140 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 ...
6
votes
0answers
222 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
0answers
231 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
0answers
198 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
0answers
277 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
0answers
249 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
0answers
687 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
0answers
194 views

Average size of $p$-part of the Tate-Shafarevich group for elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve defined over $\mathbb{Q}$. For a given prime $p$, the $p$-Selmer group $\operatorname{Sel}_p(E)$ of $E$ and the $p$-part of the Tate-Shafarevich $Ш_E[p]$ group ...
5
votes
0answers
74 views

Reference request: "effective'' semistable reduction

I am looking for the origin of the following idea: suppose $m$ and $n$ are relatively prime integers $\geq 3$. Let $E$ be an elliptic curve over a number field $K$. Let $L/K$ be a finite extension ...
5
votes
0answers
112 views

Counting square zero forms over finite fields

Let $p$ be an odd prime and let $R=\Lambda_{\mathbb{F}_p}[x_1,\dots,x_n]$ be the exterior algebra on $n$ generators over the finite field with $p$ elements. This is a graded-commutative ring. Is ...
5
votes
0answers
162 views

Expressing every algebraic number using roots of trinomials?

This question is a continuation of Is every polynomial a factor of a trinomial? We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m ...
5
votes
0answers
146 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 ...