Questions tagged [arithmetic-geometry]
Diophantine equations, rational points, abelian varieties, Arakelov theory, Iwasawa theory.
2,042
questions
148
votes
2
answers
21k
views
What is a Frobenioid?
Since there will be a long digression in a moment, let me start by reassuring you that my intention really is to ask the question in the title.
Recently, there has been a flurry of new discussion ...
145
votes
4
answers
66k
views
What are "perfectoid spaces"?
This talk is about a theory of "perfectoid spaces", which "compares objects in characteristic p with objects in characteristic 0". What are those spaces, where can one read about them?
Edit: A bit ...
86
votes
9
answers
13k
views
Why should I believe the Mordell Conjecture?
It was Faltings who first proved in 1983 the Mordell conjecture, that a curve of genus 2 or more over a number field has only finitely many rational points.
I am interested to know why Mordell and ...
75
votes
1
answer
14k
views
What is an étale theta function?
Let me start out by urging you to take seriously that whatever I write about the papers surrounding IUTT really are questions. If you would like to use it as a guide to the mathematics in any way, ...
70
votes
7
answers
27k
views
Have there been any updates on Mochizuki's proposed proof of the abc conjecture?
In August 2012, a proof of the abc conjecture was proposed by Shinichi Mochizuki. However, the proof was based on a "Inter-universal Teichmüller theory" which Mochizuki himself pioneered. It was known ...
61
votes
11
answers
7k
views
Why certain diophantine equations are interesting (and others are not) ?
It is quite clear why certain differential equations, among the jungle of possible diff equations that is possible to conceive, are studied: some come from physical problems, or from "spontaneous" ...
60
votes
2
answers
11k
views
What is a good roadmap for learning Shimura curves?
I am interested in learning about Shimura curves. Unlike most of the people who post reference requests however (see this question for example), my problem is not sorting through an abundance of books ...
60
votes
1
answer
6k
views
What were the main ideas and gaps in Yoichi Miyaoka's attempted proof (1988) of Fermat's Last Theorem?
Out of sheer curiosity I have been reading Stewert and Tall's "Algebraic Number Theory and Fermat's Last Theorem" (2001). As it contains various bits of history, I found out to my own shame that I was ...
56
votes
2
answers
9k
views
What is prismatic cohomology?
Prismatic cohomology is a new theory developed by Bhatt and Scholze; see, for instance, these course notes. For the sake of the community, it would be great if the following question is discussed in ...
55
votes
1
answer
8k
views
IMO 2017/6 via arithmetic geometry
The (very nice) final problem of IMO 2017 asked contestants to show:
If $S$ is a finite set of lattice points $(x,y)$ with $\gcd(x,y)=1$, then there is a nonconstant homogeneous polyonmial $f \in \...
54
votes
8
answers
8k
views
Questions about analogy between Spec Z and 3-manifolds
I'm not sure if the questions make sense:
Conc. primes as knots and Spec Z as 3-manifold - fits that to the Poincare conjecture? Topologists view 3-manifolds as Kirby-equivalence classes of framed ...
50
votes
6
answers
6k
views
Intuition for the last step in Serre's proof of the three-squares theorem
Serre's A Course in Arithmetic gives essentially the following proof of the three-squares theorem, which says that an integer $a$ is the sum of three squares if and only if it is not of the form $4^m (...
49
votes
8
answers
25k
views
Roadmap for studying arithmetic geometry
I have read Hartshorne's Algebraic Geometry from chapter 1 to chapter 4, so I'd like to find some suggestions about the next step to study arithmetic geometry.
I want to know how to use scheme ...
48
votes
4
answers
4k
views
Fermat's last theorem over larger fields
Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here $\...
47
votes
2
answers
8k
views
current status of crystalline cohomology?
The great references given on Ilya's question make me wonder about the current status of the many conjectures and open questions in Illusie's survey from 1994 on crystalline cohomology. Obviously (...
46
votes
2
answers
4k
views
What are the potential applications of perfectoid spaces to homotopy theory?
This year's Arizona Winter School was on perfectoid spaces, and there were quite a few homotopy theorists in the audience. I'd like to get a "big list" of reasons homotopy theorists might care about ...
45
votes
3
answers
5k
views
"Cute" applications of the étale fundamental group
When I was an undergrad student, the first application that was given to me of the construction of the fundamental group was the non-retraction lemma : there is no continuous map from the disk to the ...
44
votes
2
answers
3k
views
Langlands in dimension 2: the Yoshida conjecture
Background:
One prominent part of the Langlands program is the conjecture that
all motives are automorphic.
It is of interest to consider special cases that are more precise, if less
sweeping. ...
42
votes
1
answer
18k
views
What is inter-universal geometry?
I wonder what Mochizuki's inter-universal geometry and his generalisation of anabelian geometry is, e.g. why the ABC-conjecture involves nested inclusions of sets as hinted in the slides, or why such ...
41
votes
2
answers
9k
views
Intuition behind the Eichler-Shimura relation?
The modular curve $X_0(N)$ has good reduction at all primes $p$ not dividing $N$. At such a prime, the Eichler-Shimura relation expresses the Hecke operator $T_p$ (as an element of the ring of ...
41
votes
2
answers
3k
views
Perfectoid universal covers
It is often said, with varying degrees of rigor or enthusiasm, that every rigid space (say over $\mathbb{C}_p$) has a pro-etale cover which is 'topologically trivial' in some sense. For example, this ...
41
votes
1
answer
4k
views
A mysterious connection between Ramanujan-type formulas for $1/\pi^k$ and hypergeometric motives
The question below is the follow-up of this question on MathOverflow.
Motivation: As is stated in the former question, those identities(formula (35)-(44)) of $1/\pi$ attributed to Ramanujan are ...
40
votes
2
answers
8k
views
What should I read before reading about Arakelov theory?
I tried reading about Arakelov theory before, but I could never get very far. It seems that this theory draws its motivation from geometric ideas that I'm not very familiar with.
What should I read ...
40
votes
4
answers
3k
views
Why are Green functions involved in intersection theory?
I've been learning Arakelov geometry on surfaces for a while. Formally I've understood how things work, but I'm still missing a big picture.
Summary:
Let $X$ be an arithmetic surface over $\...
39
votes
1
answer
5k
views
Clausen's modified Hodge Conjecture
In a recent talk at the University of Geneve, Dustin Clausen presented a "modified Hodge Conjecture". I found the abstract intriguing but couldn't find videos or notes available online.
If I'...
39
votes
1
answer
13k
views
Why is Faltings' "almost purity theorem" a purity theorem?
My understanding of purity theorems is that they come in several flavors:
1) Those of the form "this Galois representation is pure, i.e. the eigenvalues of $Frob_p$ are algebraic numbers all of whose ...
36
votes
1
answer
9k
views
Fontaine-Mazur for GL_1
For any number field $K$, the Fontaine-Mazur conjecture predicts that any potentially semistable $p$-adic representation of the absolute Galois group $G_K$ of $K$ that is almost everywhere unramified ...
35
votes
2
answers
3k
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 ...
35
votes
1
answer
2k
views
The modularity theorem as a special case of the Bloch-Kato conjecture
In the homepage for the CRM's special semester this year, I found the interesting statement that the modularity theorem (formerly the Taniyama-Shimura-Weil conjecture) is a special case of the Bloch-...
35
votes
2
answers
2k
views
Durov approach to Arakelov geometry and $\mathbb{F}_1$
Durov's thesis on algebraic geometry over generalized rings looks extremely intriguing: it promises to unify scheme based and Arakelov geometry, even in singular cases, as well as including geometry ...
33
votes
3
answers
3k
views
Arithmetic geometry examples
(This is inspired by Algebraic geometry examples.)
I want to collect here (counter)examples in arithmetic geometry.
Curves violating the Hasse principle: The Selmer curve $3X^3 + 4Y^3 + 5Z^3 = 0$. ...
33
votes
1
answer
1k
views
Is the group of integer points on a finite-type group scheme over Z finitely presented?
Let $G$ be a group scheme of finite type over $\mathbf{Z}$. Must $G(\mathbf{Z})$ be finitely presented?
(The question is inspired by a not yet successful attempt to answer a question of Brian Conrad....
32
votes
4
answers
5k
views
Why is this "the first elliptic curve in nature"?
The LMFDB describes the elliptic curve 11a3 (or 11.a3) as "The first elliptic curve in nature". It has minimal Weierstraß equation
$$
y^2 + y = x^3 - x^2.
$$
My guess is that there is some ...
32
votes
1
answer
7k
views
$p$-adic Hodge Theory for rigid spaces, after P. Scholze
I was going over P. Scholze's paper on $p$-adic Hodge Theory for rigid analytic varieties.
This question is around the "Poincaré Lemma" in the paper.
Throughout, let $X$ be a proper smooth rigid ...
32
votes
4
answers
4k
views
Over which fields does the Mordell-Weil theorem hold?
According to a well-known theorem of Mordell, the group of rational points $E(\mathbf{Q})$ of an elliptic curve $E/\mathbf{Q}$ is finitely generated. Weil generalized this theorem to abelian varieties ...
31
votes
4
answers
6k
views
Is there any theory why (for Bitcoin) the discrete logarithm problem is so hard to solve?
Note I am an active member and contributor at the sister site https://bitcoin.stackexchange.com while studying Bitcoin and as a person who studied mathematics 10 years ago there is one thing I kept ...
31
votes
2
answers
1k
views
The Sylvester-Gallai theorem over $p$-adic fields
The famous Sylvester-Gallai theorem states that for any finite set $X$ of points in the plane $\mathbf{R}^2$, not all on a line, there is a line passing through exactly two points of $X$.
What ...
31
votes
1
answer
2k
views
Do all curves have Néron models
Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$.
Does there exist a Néron model $\mathcal X$ for $X$ over $O_K$?
By a Néron model, I mean ...
31
votes
3
answers
1k
views
Consequences of Shafarevich conjecture
The Shafarevich conjecture states that the Galois group $\mathrm{Gal}({\overline{\mathbf{Q}}/\mathbf{Q}^{ab}})$ is a free profinite group, where $\mathbf{Q}^{ab}$ is the maximal abelian extension of $\...
30
votes
2
answers
15k
views
A road to inter-universal Teichmuller theory
What would be a study path for someone in the level of Hartshorne's Algebraic Geometry to understand and study inter-universal Teichmuller (IUT) theory? I know that it heavily relies on anabelian ...
30
votes
2
answers
1k
views
On determinants of Laplacians on Riemann surfaces
History of the formula: In their famous paper "On determinants of Laplacians on Riemann surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the ...
29
votes
1
answer
4k
views
What was achieved on IUT summit, RIMS workshop? [closed]
I would like to know what was achieved in the workshop towards the verification of abc conjecture's proof and the advance of understanding of IUT in general.
A comment from a participant:
C ...
28
votes
3
answers
8k
views
Learning path for the proof of the Weil Conjectures
Assume you are an algebraic geometry advanced student who has mastered Hartshorne's book supplemented on the arithmetic side by the introduction of Lorenzini - "An Invitation to Arithmetic Geometry" ...
28
votes
1
answer
919
views
Relation between Schanuel's theorem and class number equation
(Crossposted on math stack exchange: https://math.stackexchange.com/questions/4040249/relation-between-schanuels-theorem-and-class-number-equation)
It was recently brought to my attention that there ...
28
votes
1
answer
2k
views
Intuitive reason why the $j$-invariant is a cube?
Let $\tau$ be a CM point of discriminant $D$. Assume that $D$ is not divisible by $3$. Then $j(\tau)$ is an algebraic integer of degree equal to the class number $h(D)$. Let $ \gamma_2(\tau)=j(\tau)^{...
27
votes
6
answers
4k
views
Does the moduli space of smooth curves of genus g contain an elliptic curve
Let $M_g$ be the moduli space of smooth projective geometrically connected curves over a field $k$ with $g\geq 2$. Note that $M_g$ is not complete.
Does $M_g$ contain an elliptic curve?
The answer ...
27
votes
3
answers
5k
views
Why to believe the Fargues geometrization conjecture?
In the study of the arithmetic local Langlands correspondence, there is a conjecture that was recently (in this decade) formulated by Fargues.
I can't even concisely state the conjecture so I will ...
27
votes
1
answer
1k
views
Analogies between classical geometry on complex surfaces and Arakelov geometry
This is my first question on this wonderful site. The following question about Arakelov geometry is gonna be quite long and wide; to be clear one of that kind of questions that are usually ignored. ...
27
votes
1
answer
4k
views
Degeneration of the Hodge spectral sequence
Let $f\colon 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:
$R^af_*\Omega^b_{X/S}$ is locally free for ...
26
votes
1
answer
897
views
What automorphic forms are expected to occur in the zeta function of moduli space of curves?
Assume $g \geq 1$ and $n \geq 0$, the moduli stack ${\mathcal {M}}_{g,n}$ classifies families of smooth projective curves of genus $g$ with $n$ marked points , together with their isomorphisms. It has ...