# Tagged Questions

**14**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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 ...