Diophantine equations, elliptic curves, Mordell conjecture, Arakelov theory, Iwasawa theory, Mochizuki theory.
6
votes
1answer
186 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
1answer
438 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
0answers
147 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 ...
11
votes
2answers
478 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
0answers
182 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
1answer
88 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 ...
8
votes
0answers
185 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$....
9
votes
2answers
577 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
1answer
257 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
0answers
158 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
0answers
112 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
0answers
120 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
1answer
224 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
1answer
294 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
0answers
72 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
0answers
180 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
1answer
219 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
1answer
192 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
1answer
361 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
0answers
193 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
0answers
130 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
1answer
183 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
0answers
266 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
2answers
448 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
1answer
372 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
1answer
235 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
0answers
166 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
0answers
310 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
0answers
137 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
0answers
163 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
0answers
184 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
0answers
133 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
0answers
73 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
1answer
203 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
2answers
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
3answers
254 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
0answers
62 views
Log canonical thresholds of decomposable forms
This question is related to Comparisons of log canonical thresholds, but I restrict here to polynomials of the form $$F(x_1,\dots,x_m)=L_1(x_1,\dots,x_m)\dots L_n(x_1,\dots,x_m)$$ where $L_i(x_1,\dots,...
2
votes
0answers
47 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
1answer
163 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
1answer
159 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 ...
11
votes
1answer
816 views
How to visualize the Frobenius endomorphism?
As the question title asks for, how do others "visualize" the Frobenius endomorphism? I asked some people in real life and they said they didn't know and that I could go and ask on MO and possibly get ...
7
votes
1answer
362 views
Mordel's conjecture for function fields in positive characteristic
Manin proves Mordel's conjecture for function fields in characteristic zero.his proof has a gap but Coleman fill this gap and restate Manin proof in a more modern language.both of them work over ...
3
votes
1answer
221 views
An explicit correspondence for reductions of modular curves $Y(N)$
Let $Y(N)$ be the modular curve associated with the principal congruence subgroup $\Gamma(N) \subset \mathrm{SL}(2, \mathbb{Z})$ of level $N \in \mathbb{N}$. It is well known that this curve has a ...
1
vote
1answer
247 views
Points of infinite level modular curve
Let us consider the anticanonical adic tower of modular curves which is described in Peter Scholze's paper "On torsion in the cohomology of locally symmetric varieties", and let us call $\mathcal{X}_{\...
8
votes
0answers
196 views
Moduli interpretation of Fargues-Fontaine curve
The Fargues-Fontaine curve is, in his schematic version, a noetherian regular scheme $X$ of dimension 1 associated to a pair $(E,F)$, where $E$ is a local field (i.e. complete w.r.t. a discrete ...
9
votes
0answers
167 views
What are the possible bad reductions for an abelian variety of dimension $g$ and a maximal endomorphism ring?
Perhaps the most basic fact about abelian varieties with CM is they have an everywhere potential good reduction (Serre-Tate). On the face of it it might appear that there isn't much more to be added ...
6
votes
0answers
196 views
Smooth morphisms to the moduli stack of elliptic curves
Fix a prime $p$, and let $\overline{M}$ be the Deligne-Mumford compactification of the moduli stack $M$ of elliptic curves (which, concretely, is the open substack of the stack of cubic curves which ...
4
votes
0answers
214 views
Strengthened supercongruences for Ramanujan-type formulas for $1/\pi^k$
The question below is again a follow-up of an old question.
Motivation: Zhi-Wei Sun listed a number of supercongruences attached to Ramanujan-type $1/\pi$ formulas in the arXiv paper which can be ...
2
votes
0answers
123 views
Specialization map on geometric points
Let $\mathcal{X}$ be a proper and smooth scheme over $\text{Spec}(\mathbf{Z}_p)$, and let’s call $X$ the geometric generic fiber of $\mathcal{X}$, and $X_0$ the geometric special fiber of $\mathcal{X}$...
1
vote
0answers
101 views
Lefschetz trace formula and Frobenius elements
Let $\mathcal{X}$ be a smooth and proper scheme over $\text{Spec}(\mathbf{Z}_p)$ (with $\mathbf{Z}_p$ the $p$-adic integers).
Let’s call $X$ its geometric generic fiber $X := \mathcal{X}_{\overline{\...
