14
votes
0answers
231 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 ...
1
vote
0answers
79 views

Interpretation of the Gross-Zagier formula for Green function

I am reading the paper of Gross and Zagier on heights of Heegner points and would like to check with the experts whether the following (meta?)mathematical statement makes sense. In the calculation of ...
4
votes
0answers
73 views

minimal conductors among elliptic curves with a fixed CM type

Let $K$ be a quadratic imaginary field. To simplify my life, let us assume that $K$ has class number one. Consider the following infinite set: $S_1:=$ $\{$ $E\subseteq\mathbf{P}^2(\mathbf{C})$ is an ...
1
vote
2answers
130 views

On the conductor of the Groessencharacter of a CM elliptic curve

Let $K$ be a quadratic imaginary field. Let $L$ be a number field which contains $K$ and let $E/L$ be an elliptic curve defined over $L$ with complex multiplication by $K$, i.e. such that ...
0
votes
1answer
89 views

rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...
4
votes
0answers
94 views

Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...
6
votes
1answer
340 views

Elliptic curve and Galois representation

For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by $\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = ...
2
votes
0answers
188 views

vanishing of étale cohomology of affine surface

Let $U$ be an affine smooth surface over an algebraic closure of a finite field. Let $\mathscr{A}/U$ be an Abelian scheme and $\ell \neq \mathrm{char}(k)$ be prime. Are there vanishing results for ...
2
votes
2answers
268 views

Local factors of Hasse-Weil zeta function - what do they have in common?

Let $X$ be a regular scheme, flat and of finite type over $Spec(\mathbb{Z})$ (add "projective" if you want). Then the Hasse-Weil zeta function of $X$ is defined as a product over all prime numbers of ...
18
votes
0answers
299 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 ...
5
votes
1answer
153 views

paper by Nakata on 2-adic Galois representations

In Keisuke Arai's 2007 paper "On uniform lower bound of the Galois images associated to elliptic curves", which can be found on ArXiv, Arai makes the following citation: K. Nakata. On the 2-adic ...
2
votes
1answer
108 views

Does the isotropic group of local galois representation have finite index?

Let $\rho : G\to \mathrm{GL}_n(\mathbb Z_p)$ be a crystalline representation of $G=\mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$. For any non zero element $a\in \mathbb{Z}_p^n$ , it spans a rank one ...
1
vote
0answers
83 views

degree of isogenies between Jacobians and Abelian Varieties

Let $K$ be a local field of characteristic zero and positive residual characteristic. Let $A$ be a simple abelian variety and assume we have an isogeny $f:Jac_C\rightarrow A$ with $C$ a smooth curve ...
10
votes
3answers
505 views

What is the intuition behind the definition of cuspidal representations?

Let $\mathbb{G}$ be a reductive group defined over a number field $K$, let $Z$ be its center, and let $\mathbb{A}:=\mathbb{A}_K$ be the ring of adeles of $K$. Reasonably, we care about the ...
12
votes
2answers
346 views

Existence of local sections

I would like to know when the property of "having a section" for a morphism of varieties in characteristic $0$ can be detected by spreading out to characteristic $p$. Take a number field $K$, and let ...
1
vote
1answer
183 views

Arithmetic property of a surface of general type

In my previous post I asked about the hyperbolicity of the affine surface $S'=\{zw \neq o\}$ in the projective surface $z^2 = P(x) Q(y)$ in $\mathbb{P}^3$, where $P$ and $Q$ are two general ...
0
votes
1answer
113 views

What is the probability that a randomly chosen number from set of c.e.number is period(number)?

What is the probability that a randomly chosen number from the set of c.e.numbers is period(number)? What is the probability that a randomly chosen number from the set of computable numbers is ...
3
votes
1answer
215 views

What is the relation between KC and height of rational number?

Roughly speaking,Kolmogorov Complexity of a bits string or a description is the minimal length of programs outputing a bits string,and height of rational number is logarithm of the largest numerator ...
2
votes
1answer
119 views

Determining existence of p-adic point on a plane curve

Is there an implemented algorithm that will take a polynomial $f(x,y)\in\mathbb Z[x,y]$ and a prime $p$, and determine whether the equation $f(x,y)=0$ has a solution over $\mathbb Q_p$?
2
votes
0answers
68 views

Bounds for the Tamagawa number of the Jacobian of a hyperelliptic curve

Let $R$ be a discrete valuation ring with fraction field $K$ and residue field $k$ and let $C$ be a hyperelliptic curve of genus $g$ defined over $K$ with Jacobian $J$. Suppose that $C$ is given by ...
7
votes
0answers
173 views

Inequality regarding sum of gaussian on lattices

When S is a subset of an inner product space, let d(S) denote ${\sum\limits_{s \in S} e^{- \langle s,s \rangle}}$ Suppose L is a discrete additive subgroup of $\mathbb{R^n}$, M is a subgroup of L, ...
10
votes
1answer
325 views

Degeneration of the Hodge spectral sequence for scheme over truncated Witt ring?

Let $f:X\to S$ be a smooth proper morphism of schemes. If $S$ is of characteristic zero (i.e., $S$ is a $\mathbb{Q}$-scheme), then Deligne has shown: The Hodge-De Rham spectral sequence ...
1
vote
1answer
273 views

Number field of degree 5

I am interested in field extensions of the rationals. About degree 3 extensions there are many refrences including the famous paper of Shanks "The Simplest Cubic Fields". In particular he gave ...
6
votes
2answers
324 views

Is there a largest prime p such that J_0(p) completely splits into elliptic curves

The question in the title is related to a more general question. Namely does there exist an integer $N$ such that for all curves $C/\mathbb C$ of genus $> N$ one has that not all simple isogeny ...
1
vote
0answers
104 views

Covers of modular curves

I'm interested in covers of modular curves (especially cyclic covers) and I'm sure there's a lot of information out there available on this topic. However, I'm unable to locate any literature (on ...
2
votes
1answer
172 views

A problem in intersection theorem

I'm reading the paper: SGA 7 II, Intersections sur les surfaces regulieres. In Papge 6 , I cannot understand why there is sign $-1$ in the formula (1.10.4): Let $S$ be a trait, for any $\mathcal ...
2
votes
1answer
250 views

Pencil with desired Jet in Algebraic geometry(new!)

Let $k$ be an algebraic closed field. Let $n$ be a positive integer. Let $X$ be an irreducible, proper and smooth scheme over $k$ with an immersion $i:X\hookrightarrow E:=\mathbb P^N_k$ with $N$ ...
2
votes
1answer
173 views

A problem on Jets in algebraic geometry

Let $k$ be a perfect field, let $n$ and $m$ be two positive integers. Consider $X=\mathbb P_k^n\times \mathbb P_k^m$. Let $x_0=(1,0,\cdots,0;1,0,\cdots,0)\in X$ be fixed. For any pair of integers ...
3
votes
1answer
236 views

Are elliptic Kummer extensions big?

Loosely speaking, are elliptic Kummer extensions big? More concretely: Let $E$ be an elliptic curve over $\mathbb{Q}$, let $p$ be a prime, and let $F$ be a subfield of $\overline{\mathbb{Q}}$ ...
2
votes
1answer
217 views

Elliptic units and Euler system

Maybe this question is quite obscure and ambiguous. I am really sorry for such ambiguity. My question is, what is the good thing we get from defining elliptic units and Euler system? There are lots ...
9
votes
1answer
461 views

The Sato-Tate conjecture for hypersurfaces?

The Sato-Tate conjecture for elliptic curves $E$ predicts the distribution of the eigenvalues of Frobenius at $p$ on the Tate module of $E$ as $p$ varies in terms of the distribution of the ...
3
votes
2answers
257 views

isogeny and congruence subgroup

Let $G_1$ and $G_1$ be two semisimple algebraic groups defined over $\mathbb{Q}$, suppose we have a surjective homomorphism $f: G_1\to G_2$, with finite kernel contained in the center of $G_1$. By ...
4
votes
1answer
190 views

Is there a formula for a hyperelliptic curve over QQ, such that its Jacobian contains a rational torsion point of extact order n, for any given n?

Given a positive integer $n$, is there an algorithm (or even better a closed formula) that provides me with a hyperelliptic curve $C/\mathbb Q$, such that its Jacobian $J:=Jac(C)$ possesses a ...
6
votes
2answers
638 views

How many integer points does my favorite ellipse go through?

The equation of the ellipse interpolating the six lattice points $(0,0)$, $(1,0)$, $(0,1)$, $(d-1,d)$, $(d,d)$, $(d,d-1)$ in the plane for a fixed $d$ (at least 3) is $$ x^2+y^2 - ...
1
vote
1answer
482 views

“Descending cohomology, geometrically” by Mazur:

Exist texts of that talk or related texts: http://ttv.mit.edu/collections/harris60/videos/13881-problem-session-barry-mazur ?
2
votes
0answers
176 views

“Extended” Weil Cohomology Theories

According to Wikipedia, a Weil cohomology theory is a functor from the category of smooth projective varieties over a field $k$, to graded algebras over a field $K$ of characteristic zero, together ...
9
votes
0answers
177 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 ...
4
votes
1answer
288 views

Cubic forms and Hasse Principle

It's well-known that quadratic forms over the rational numbers $\mathbf{Q}$ satisfy the Hasse-Minkowski theorem. This is to say that they are isotropic over $\mathbf{Q}$ if and only if they are ...
8
votes
0answers
189 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 ...
1
vote
1answer
151 views

Are Isom-schemes geometrically connected

This question is about properties of Isom-schemes that are well-known over algebraically closed fields. Let $K$ be a field of characteristic zero, let $C$ be a smooth projective geometrically ...
13
votes
1answer
417 views

How fast can we numerically calculate Kloosterman sums?

Define the usual Kloosterman sum by $$S(m,n;c) = \sum_{\substack{x \pmod{c} \\ (x,c) = 1}} e\Big(\frac{mx + n\overline{x}}{c}\Big),$$ where $x \overline{x} \equiv 1 \pmod{c}$, and $e(x) = e^{2 \pi i ...
1
vote
0answers
87 views

topological invariance of direct image in the \'etale topology

Let $R$ be a complete local ring (even of dimension one if it helps) and write it as limit of artinian rings $R_n$. Let $X\rightarrow S=Spec(R)$ be proper, finite type even smooth outside the maximal ...
10
votes
0answers
381 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 ...
9
votes
2answers
307 views

Rational points on circular spirals

Is it the case that every unit-radius circular spiral, $$x = \cos(t)$$ $$y = \sin(t)$$ $$z = c \cdot t$$ for $c \in \mathbb{R}^+$ is dense in rational-coordinate points (i.e., all three coordinates ...
2
votes
1answer
179 views

Purely additive reduction of Jacobian of Hyperelliptic curve

For general, let X be an abelian variety of dimension g. We say that X has 'purely additive reduction' at prime p if the dimension of the unipotent radical of the special fiber of the Neron Model of ...
4
votes
1answer
247 views

Weil pairing, fixed field of a $p$-adic Galois representation

Let $A$ be an abelian variety over a $p$-adic field $K$. If $K(A_{p^\infty})$ is the field extension of $K$ obtained by adjoining the coordinates of all $p$-power division points of $A$. By the Weil ...
18
votes
2answers
1k views

Are most curves over Q pointless?

Fresh out of the arXiv press is the remarkable result of Manjul Bhargava saying that most hyperelliptic curves over $\mathbf{Q}$ have no rational points. Don Zagier suggests the paraphrase : Most ...
3
votes
0answers
121 views

Notion of good supersingular reduction for proper smooth variety over a $p$-adic field

Let $X$ be a proper smooth variety over a $p$-adic field $K$. Let $\mathcal{O}_K$ be the ring of integers of $K$ and $k$, its residue field. We say that $X$ has good ordinary reduction if there is a ...
1
vote
1answer
189 views

Unexplained techniques in Demjanenko's “Sums of 4 Cubes”:

A "not well understood" proof, do you know if one knows by now the conceptual background?: http://www.math.u-bordeaux1.fr/~cohen/sum4cub.ps
6
votes
0answers
90 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 ...