# Questions tagged [arithmetic-geometry]

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

**5**

votes

**1**answer

173 views

### The $\mathbb{Q}$-rational cuspidal group of $J_0(N)$

Let $N$ be a positive integer and consider the modular curve $X_0(N)$ over $\mathbb{Q}$. Also, consider the Jacobian variety $J_0(N)$ of $X_0(N)$, which is an abelian variety defined over $\mathbb{Q}$....

**2**

votes

**0**answers

121 views

### Non-cuspidal Hecke eigenforms and Eisenstein series

It's a direct check that ${\displaystyle E_{2k}(z )=\frac{\zeta(1-2k)}{2}+\sum _{n=1}^{\infty }\sigma _{2k-1}(n)q^{n}}$ is an eigenform for every Hecke operator $T_n$ with eigenvalue $\sigma_{2k-1}(n)$...

**11**

votes

**0**answers

208 views

### Deligne's theorem on finite flat group schemes and generalizations

Recall Deligne's theorem that for a finite flat commutative group scheme $G$ of order $n$, the multiplication by $n$ map $[n]: G \to G$ is the zero map.
I have seen the proof a few times but I can't ...

**3**

votes

**1**answer

144 views

### Classes of hyperplane sections in cohomology

Let $X$ be a smooth projective variety over the algebraic closure of a finite field with Galois group $G$.
Is it true that the vector space $H^{2k}(X,\mathbf{Q}_{\ell}(k))^G$ has always positive ...

**6**

votes

**1**answer

204 views

### Frobenius eigenvalues algebraic numbers

Let $X$ be a smooth projective variety over $\mathbf{F}_q$ and $\overline{X}$ its base change to $\overline{\mathbf{F}_q}$.
By Deligne’s Weil I, the eigenvalues of the geometric Frobenius acting on $...

**7**

votes

**1**answer

223 views

### Schoof's Algorithm for Hyperelliptic curves over $\mathbb{F}_q$ : Question regarding computation of resultant: Gaudry

I am new to StackExchange and I am currently going through Gaudry's paper on counting points on hyperelliptic curves (see https://hal.inria.fr/inria-00512403/document). As a part of the generalization ...

**4**

votes

**1**answer

168 views

### When is this localization map injective, if at all?

Let $K$ be a number field and $E$ be an elliptic curve defined over $\mathbb{Q}$. Consider the localization map
$$
E(K)\otimes \mathbb{Q}_p/ \mathbb{Z}_p \rightarrow \bigoplus_{v|p} E(K_v)\otimes \...

**4**

votes

**1**answer

502 views

### Prerequisites for reading papers of arithmetic such as Ribet, Mazur, Faltings, Wiles

I've studied some fundamentals of algebraic geometry and number theory, and now I want to read papers which seem to be the "main stream" of frontier research on arithmetic.
I've heard that Mazur's "...

**14**

votes

**1**answer

399 views

### What is the automorphic interpretation of the Weil conjectures over finite fields

I am very much a beginner in the theory of automorphic forms and I might (will?) make mistakes in what follows. Please correct me.
A loose interpretation of the Langland's philosophy is that to any ...

**1**

vote

**0**answers

45 views

### Finite generation for a restricted ramification idele module

Let $k$ be a number field, let $\bar k \subseteq \mathbb{C}$ be a fixed algebraic closure of $k$, and let $S$ be the set of infinite primes of $k$. Denote by $k_S$ the maximal extension of $k$ inside $...

**6**

votes

**1**answer

267 views

### How to visualize local complete intersection morphisms?

As the question title asks for, how do others visualize local complete intersection morphisms? My experiment in asking people in real life didn't pan out, so I'm consulting the MO algebraic geometry ...

**10**

votes

**1**answer

489 views

### Euler factors of L-function at bad primes

This is of course a very-well known problem, but still let me ask the questions my way. Let $L(s)$ be a "motivic" $L$-function, whatever that means: in particular, it has an Euler product (including ...

**6**

votes

**0**answers

173 views

### An abelian variety has good reduction $\iff$ the Neron model is proper

Let $R$ be a D.V.R. with the fraction field $K$, $A$ a $K$- abelian variety, $\mathfrak{A} \to \operatorname{Spec}R$ the Neron model of $A$.
We say $A$ has good reduction if there exists a smooth ...

**12**

votes

**2**answers

537 views

### Defining abstract varieties and their morphisms over a finitely generated subfield of the base field

Let $k$ be an algebraically closed field.
By a finitely generated subfield of $k$ I mean a subfield $k_0\subset k$ that is finitely generated over the prime subfield of $k$ (that is, over $\mathbb Q$ ...

**1**

vote

**0**answers

202 views

### Hardy-Littlewood vs heuristics on the zeta zeros

The first Hardy-Littlewood Conjecture asserts:
Conjecture 1: Fix integers $0< a_1 < \ldots < a_k$. The density of those primes $p\le x$ such that $p + 2a_1,\ldots, p+2a_k$ are also primes, ...

**0**

votes

**1**answer

107 views

### Smooth loci and formal neighborhoods

Let $R$ be a Noetherian local ring with maximal ideal $I$.
Suppose we have a morphism of smooth $R$-algebras $f : A\to B$ such that its reduction modulo $I^n$
$$f_n : A/I^n \to B/I^n$$
is an ...

**10**

votes

**0**answers

213 views

### Zeros of $p$-adic power series and rationality

Let $K$ be a non-archimedean field with valuation ring $(V,\mathfrak{m})$, and $K\langle t_1,\ldots, t_n\rangle$ a Tate algebra of convergent power series.
Fix $f \in V\langle t_1,\ldots, t_n\rangle$....

**2**

votes

**0**answers

144 views

### Solving solutions to systems of polynomial equations over $\mathbb Z$

Macaulay Resultants help identify common root in $\mathbb P^{n-1}(\mathbb K)$ of $n$ homogeneous polynomials in $n$ variables when $\mathbb K$ is algebraically closed. Is it possible that some type of ...

**11**

votes

**2**answers

709 views

### How to visualize finiteness of class number?

As the question title asks for, how do others "visualize" the finiteness of class number with algebro-geometric insight? I just think of it as a result in algebraic number theory and not one in ...

**4**

votes

**1**answer

274 views

### Submersion implies many rational points in image?

Let $A \colon V \to W$ be a surjective linear map
(defined over $\mathbb{Z}$),
inducing a projection
$\alpha \colon \mathbb{P}(V) \to \mathbb{P}(W)$.
Let $X \subseteq \mathbb{P}(V)$ and $Y \...

**2**

votes

**0**answers

172 views

### Is there a Hodge structure for smooth proper varieties over $\mathbb{C_p}$? [duplicate]

For smooth proper varieties over $\mathbb{Q_p}$, we have several comparison theorems in p-adic Hodge theory, in particular a p-adic Hodge structure.
Now for $\mathbb{C_p}$, is there any such results ...

**3**

votes

**0**answers

118 views

### Is there a way to reduce this problem to two variables through functions coming from arithmetic?

Consider following diophantine equation in $\mathbb Z[x,y,z]$ in three integer variables $x,y,z$
$$x^2+L(y,z)x+L_1(y)L_2(z)=0$$ where $L(y,z)$ is a non-homogeneous linear polynomial in $y,z$ and $L_1(...

**2**

votes

**0**answers

125 views

### The growth of class number in $\mathbb{Z}_p$-extensions of function fields

Let $X$ be a curve (proper, smooth, ...) over a finite field $\mathbb F_q$ where $q$. Suppose also that $\mathbb F_q$ contains the $p$-th roots of unity, in this case we have the following (unique) ...

**4**

votes

**1**answer

230 views

### Interpolation of families of local fields

Let $\Sigma$ be the set of all places of $\mathbf{Q}$. We’ll call, for any $v\in\Sigma$, a local field complete with respect to an absolute value lying over $v$ and of finite degree over $\mathbf{Q}_v$...

**11**

votes

**1**answer

317 views

### “Algebraization" of $p$-adic fields

Part 1: a single finite place. Let $K$ be a finite extension of $\mathbf{Q}_p$.
Does there exist a number field $F/\mathbf{Q}$ and a finite place $v$ lying over $p$, such that for the completion ...

**3**

votes

**0**answers

83 views

### Differential of p-divisible groups

Setting: Let $p$ be a prime number and let $S$ be a scheme such that $p$ is locally nilpotent on $\mathcal O_S$ ($p^N=0$). Let $X$ be a $p$-divisible group over $S$. Let $X[p^n] $ be the kernel of ...

**6**

votes

**0**answers

206 views

### Galois actions on cohomology rings of algebraic varieties

Let $k$ be an arithmetic field. Let $G_k$ be its absolute Galois group.
$G_k$ is often studied via its linear action on cohomology (etale, crystalline, ...) "groups" of algebraic varieties over $k$.
...

**7**

votes

**1**answer

257 views

### analogue of Theorem of Mattuck for Abelian varieties over $\mathbf{F}_q(\!(t)\!)$

By a theorem of Mattuck [Abelian Varieties over $p$-Adic Ground Fields, Annals of Mathematics, Second Series, Vol. 62, No. 1 (Jul., 1955), pp. 92-119], for an Abelian variety $A$ of dimension $g$ over ...

**8**

votes

**1**answer

223 views

### Analogue of the original Birch–Swinnerton-Dyer conjecture for abelian varieties

$\newcommand{\Q}{\Bbb Q}
\newcommand{\N}{\Bbb N}
\newcommand{\R}{\Bbb R}
\newcommand{\Z}{\Bbb Z}
\newcommand{\C}{\Bbb C}
\newcommand{\F}{\Bbb F}
\newcommand{\p}{\mathfrak{p}}
$
Let $A$ be an abelian ...

**7**

votes

**1**answer

385 views

### Vector space objects in schemes - confusion

Let $R$ be the ring $\mathbf{C}\times\mathbf{C}$, and consider the affine line $\mathbf{A}^1_R$.
$\mathbf{A}^1_R$ can be given the structure of additive group scheme over $R$, denoted $(\mathbf{G}_a)...

**9**

votes

**0**answers

224 views

### Examples for a conjecture of Beilinson

Beilinson has conjectured that for a regular, complete, geometrically irreducible curve $C$ of genus $g$ over a number field $k$, $rank(K_2(C))=g[k:\mathbb{Q}]$. As far as I know it is not known in ...

**4**

votes

**0**answers

150 views

### Harder-Narasimhan over arbitrary coefficients

Let $X$ be an $n$ dimensional smooth projective variety over $k$. Let $H$ be a hyperplane section. Define the slope $\mu(E)=\frac{c_1(E).H^{n-1}}{rank(E)}$ for vector bundles on $X$. Does the Harder-...

**9**

votes

**1**answer

198 views

### Existence of certain endomorphism of supersingular elliptic curve

Let $E$ be a supersingular elliptic curve over an algebraically closed field $K$ of characteristic $p$. Let $R = \operatorname{End}(E)$ be its ring of endomorphisms. Then, it is known $R \otimes_{\...

**6**

votes

**0**answers

270 views

### Embeddings of number fields into $\mathbb{C}$ or $\bar{\mathbb{Q}}_l$

When studying arithmetic Galois representations for a number field $F$ one often fixes at the outset an embedding of its algebraic closure $\bar{F}$ into $\mathbb{C}$ or $\bar{\mathbb{Q}}_l$ and ...

**10**

votes

**2**answers

616 views

### Good introductory references on moduli (stacks), for arithmetic objects

I've studied some fundation of algebraic geometry, such as Hartshorne's "Algebraic Geometry", Liu's "Algebraic Geometry and Arithmetic Curves", Silverman's "The Arithmetic of Elliptic Curves", and ...

**13**

votes

**1**answer

454 views

### BSD conjecture for rank 1 elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve. The weak Birch and Swinnerton-Dyer conjecture predicts that
$$\text{ord}_{s=1}L(E, s)=\text{rank} E(\mathbb{Q}).$$
Thanks to the work of Gross-Zagier and ...

**5**

votes

**1**answer

265 views

### What is the spectral interpretation of the arithmetic zeta function?

I recently stumbled upon the slides of a talk given by Kedlaya, in which the following appears:
For $X$ of finite type over $F_q$, a Weil cohomology theory, mapping $X$ to
certain vector spaces $...

**5**

votes

**0**answers

205 views

### Ext group for commutative finite group schemes

EDIT: all group schemes are commutative. Thanks @R. van Dobben de Bruyn!
Could anyone provide a reference request about extensions of finite group schemes / Ext groups.
As far as I know the category ...

**13**

votes

**0**answers

333 views

### Lifting automorphic Galois representations to arithmetic fundamental groups and their quotients

Suppose $V$ is an algebraic variety over a number field $K$. The absolute Galois group $G_K$ of $K$ acts by outer automorphisms on the étale fundamental group $\pi_1(V_{\bar{K}})$ where $\bar{K}$ is ...

**2**

votes

**0**answers

140 views

### Categorical representations of absolute Galois groups

I am looking for interesting examples of categorical representations of absolute Galois groups of arithmetic fields. Pointers to the literature would be appreciated.

**3**

votes

**0**answers

174 views

### Automorphy of families of motives

I have a couple of elementary questions regarding automorphy of Galois representations arising from geometric families.
Suppose we have an algebraic family of varieties over a number field, and ...

**3**

votes

**0**answers

194 views

### Visualization of hidden structures in numbers

[Please allow me a note: The way desribed below allows to depict functions $f:X^2 \rightarrow Y$ completely in two dimensions (without hiding or omitting any information). This allows for depicting ...

**3**

votes

**0**answers

141 views

### Extension of Galois representations from geometry

Let $K$ be a number field. Take two representations $A$, $B$ of $G_K=\mathrm{Gal}(\bar{K}/K)$ over some ring $\Lambda$ (in fact, I only consider the case $\Lambda$ is a field, usually of ...

**5**

votes

**0**answers

101 views

### Frey-Mazur for abelian varieties

Let $K$ be a number field. The Frey-Mazur conjecture asserts the existence of a constant $N_K$ such that for all primes $p>N_K$, and all pairs of elliptic curves $E_1$, $E_2/K$, if $\overline{\rho}...

**7**

votes

**1**answer

221 views

### Do arithmetic schemes have non-singular alterations?

Let $X$ be an integral normal flat finite type scheme over $\mathbb{Z}$.
Does there exist a proper surjective generically finite morphism of schemes $Y\to X$ with $Y$ an integral regular ...

**28**

votes

**2**answers

2k views

### How to visualize Dirichlet’s unit theorem?

As the question title asks for, how do others "visualize" Dirichlet’s unit theorem? I just think of it as a result in algebraic number theory and not one in algebraic geometry. Bonus points for ...

**7**

votes

**3**answers

270 views

### Infinite Galois descent for finitely generated commutative algebras over a field

Let $k_0$ be a field of characteristic 0, and let $k$ is a fixed algebraic closure of $k_0$.
Write $G={\rm Gal}(k/k_0)$.
Let $A_0$ be a finitely generated commutative $k_0$-algebra with a unit.
Then ...

**2**

votes

**0**answers

53 views

### Uniformity of the set of poles of Igusa local zeta functions

Let $Ω_p$ denote the set of the real parts of the poles of the Igusa zeta function of a polynomial $f∈\mathbb{Z}[X_1,…,X_m]$ (assume $f(0)=0$ so that $\Omega_p\ne \emptyset$) at the prime p. From ...

**4**

votes

**1**answer

191 views

### Pairing on arithmetic surfaces

Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to ...

**3**

votes

**1**answer

213 views

### Comparisons of log canonical thresholds

Premise
Let $K$ be a field of characteristic zero and $f\in K[X_1,\dots,X_m]$. By Hironaka's theorem, there exists a log resolution (over $K$) of the ideal $(f)$. Let $\{(N_i,\nu_i)\}_i$ be the ...