The arithmetic-geometry tag has no wiki summary.

**10**

votes

**3**answers

340 views

### Circles avoiding rational points of height $\le h$

Q. Which origin-centered circles $C(r)$ (or spheres in dimension $d$)
of radius $r < 1$ avoid all rational points
of height $\le h$?
A rational point is a point all of whose coordinates ...

**4**

votes

**1**answer

156 views

### Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...

**6**

votes

**1**answer

219 views

### Is the Tate conjecture known for etale covers of products of curves

Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...

**18**

votes

**0**answers

497 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

114 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

88 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

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

**1**

vote

**0**answers

102 views

### Points with minimal height

Let $K$ be an algebraically number field and $$\phi : \mathbb P^n (K) \to \mathbb P^m (K)$$ a polynomial map, such that $\forall \alpha \in \mathbb P^n$, where $\alpha = [\alpha_0, \dots , \alpha_n]$, ...

**0**

votes

**1**answer

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

**1**

vote

**0**answers

130 views

### Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...

**2**

votes

**2**answers

398 views

### Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then
Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$?
Next
...

**4**

votes

**0**answers

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

**0**

votes

**2**answers

215 views

### Absolute Hodge implies Galois invariant?

Let $X$ be an Abelian variety defined over a number field $K$, suppose that it has a good reduction over a fine place $\mathfrak{p}$ of $K$. Let $G_{\mathfrak{p}}$ be the local Galois group for ...

**6**

votes

**1**answer

389 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

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

**3**

votes

**1**answer

216 views

### Specialization Map of family of abelian varieties

In Lang's Survey on Diophantine Geometry, page 40, he said the following:
Let $F=k(Y)$ be a function field of variety $Y$ over the constant field $k$ and $X_F$ a non-singular projective variety over ...

**1**

vote

**2**answers

134 views

### kernel of isogeny becomes constant after base change

Let $S = Spec(O_K)$ be the spectrum of the rings of integers of a number field $K$. Let $A/S \setminus T$ be an Abelian scheme over an open subscheme $S \setminus T \subseteq S$. Does the kernel of ...

**3**

votes

**2**answers

372 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

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

**3**

votes

**2**answers

237 views

### Families of Fano varieties over non-hyperbolic curves

Let $C$ be a non-hyperbolic (smooth quasi-projective connected complex algebraic) curve. That is, $C$ is isomorphic to $\mathbb P^1, \mathbb A^1, \mathbb G_m$, or an elliptic curve.
Let $f:X\to C$ be ...

**5**

votes

**1**answer

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

**6**

votes

**3**answers

350 views

### Torsion group of the following elliptic curve

Let $p_1=2, p_2 = 3,\ldots,$ be the prime numbers, and define $n_i = \prod_{j=1}^i p_j$. Moreover, let $E_i $ be the elliptic curve defined by $y^2 = x^3 + n_i$.
Can one compute the torsion group ...

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

**8**

votes

**1**answer

252 views

### Example of a variety over a number field with non-semisimple Galois representation on $\ell$-adic cohomology

This question is inspired by the question: Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?
Let $K$ be a number field (or finitely generated field of ...

**4**

votes

**1**answer

131 views

### log smooth curve vs pointed node curve

F.Kato has a statement said that a log smooth curve $f:(X, M,\alpha)\to (k,N,\beta)$ where $k$ is an algebraic closed field and $N$ is some fine log structure on $k$, is equvalent to pointed node ...

**3**

votes

**0**answers

132 views

### log structure on Witt ring and Frobenius map

I am a little confused about the log structure of Witt ring and its Frobenius map.
Let $k=\bar{\mathbb{F}}_p$, $W:=W(k)$ the Witt ring.
We know that to deal with the semistable reduction, i.e. scheme ...

**3**

votes

**1**answer

125 views

### Deforming curves to other curves over the field of rational numbers

Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two.
If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...

**7**

votes

**2**answers

392 views

### Is a Deligne-Mumford curve defined over Qbar if and only if its coarse moduli space is

Let $\mathcal X$ be a smooth proper finite type Deligne-Mumford stack over $\mathbb C$ that is generically a scheme. Let $X$ be its coarse moduli space.
If $\mathcal X$ can be defined over ...

**0**

votes

**0**answers

91 views

### Question about the “middle” intermediate Jacobian

Suppose $Y$ is a smooth projective variety of dimension $2p-1$ over $\mathbb{C}$. I have a few questions about the $p^{~\text{ th}}$ intermediate Jacobian $J^p(Y)$ of $Y$.
Does it come from (i.e. is ...

**0**

votes

**0**answers

101 views

### Are there generating functions of rational or integral solutions of Diophantine equation that

As we know,there are generating functions for c.e.languages which are some retricted rational or algebraic or transcendental functions dependent on the class of languages like regular ...

**2**

votes

**1**answer

240 views

### representation of algebraic fundamental group of projective line minus three point

everyone, I want to ask is there any result in the literature
similar to the following:
Let $ X=\mathbb{P}^1\backslash \{0,1,\infty\}$, then $X$ is defined over $\mathbb{Z}$. Let $X_{\mathbb{Q}}$ ...

**1**

vote

**0**answers

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

**11**

votes

**3**answers

575 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

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

**2**

votes

**0**answers

150 views

### integral hard Lefschetz

I am looking for examples $(X,\eta)$ where the integral hard Lefschetz is an isomorphism:
$X/k$ is a smooth projective variety of dimension $d$ over an algebraic closure of a finite field and $\eta ...

**1**

vote

**1**answer

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

**-1**

votes

**1**answer

179 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

253 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

123 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$?

**1**

vote

**1**answer

170 views

### Etale cohomology and restricted direct product

[migrated from math.stackexchange: http://math.stackexchange.com/questions/727896/etale-cohomology-and-restricted-direct-product]
$\newcommand{\h}{\operatorname{H}}$
Let $k$ be a global field, $A$ an ...

**3**

votes

**0**answers

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

**2**

votes

**0**answers

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

**9**

votes

**1**answer

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

**9**

votes

**0**answers

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

**9**

votes

**1**answer

277 views

### Extended Deformation Theory (dg-Lie algebra principle in positive characteristic?)

Recently, I looked at articles that make use of Deligne's idea that "in characteristic 0 every deformation problem is governed by a differential graded
Lie algebra" as explained first in ...

**7**

votes

**1**answer

240 views

### Finite morphisms to projective space

Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism.
Let $d^\prime ...

**10**

votes

**1**answer

366 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

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

**2**

votes

**1**answer

124 views

### Potential good reduction of abelian varieties

In Corollary 3 on page 498 of the article "Good reduction of abelian varieties" it says that, under some specified conditions, the minimal subextension $L/K$ of $\overline{K}/K$ over which an abelian ...

**3**

votes

**1**answer

295 views

### Base change in crystalline cohomology?

Does one have a base change theorem in crystalline cohomology like in étale cohomology?
Suppose one has the following cartesian diagram
$$
...