# Questions tagged [arithmetic-geometry]

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

106 questions
5answers
5k views

### Rational points on a sphere in $\mathbb{R}^d$

Call a point of $\mathbb{R}^d$ rational if all its $d$ coordinates are rational numbers. Q1. Are the rational points dense on the unit sphere $S :\; x_1^2 +\cdots+ x_d^2 = 1$, i.e. does $S$ ...
9answers
10k 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 ...
2answers
2k 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 ...
3answers
1k views

### what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.) We are ...
4answers
42k 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 ...
8answers
15k 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 ...
1answer
16k 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 ...
1answer
3k 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 ...
3answers
3k views

### Existence of fine moduli space for curves and elliptic curves

For the moduli problem of a curve of genus $g$ with $n$ marked points, how large an $n$ is needed to ensure the existence of a fine moduli space? For this question, terminology is that of Mumford's ...
2answers
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 ...
8answers
6k 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 ...
2answers
6k 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 ...
2answers
2k views

### unboundedness of number of integral points on elliptic curves?

If $E/\mathbf{Q}$ is an elliptic curve and we put it into minimal Weierstrass form, we can count how many integral points it has. A theorem of Siegel tells us that this number $n(E)$ is finite, and ...
6answers
2k views

### SAT and Arithmetic Geometry

This is an agglomeration of several questions, linked by a single observation: SAT is equivalent to determining the existence of roots for a system of polynomial equations over $\mathbb{F}_2$ (note ...
3answers
2k views

### Some arithmetic terminology: “universal domain”, “specialization”, “Chow point”

As a non-connoisseur of arithmetic and arithmetic geometry, I would like to ask about some terminology, which meaning I haven't been able to find out on some books, nor on wikipedia, nor by google. ...
4answers
2k views

### reduction of CM elliptic curves

Can someone indicate how to prove the following equivalences for a CM elliptic curve $E$: (i) $p$ is inert in End($E$) (ii) $E_p$ is supersingular (iii) The trace of the Frobenius at $p$ is $0$ [...
3answers
2k views

### Crux of Dwork's proof of rationality of the zeta function?

As the question title suggests, what is the crux of Dwork's proof of the rationality of the zeta function? What is the intuition behind the proof, what are the key steps that the proof boils down to?
2answers
943 views

### Why it is difficult to define cohomology groups in Arakelov theory?

I have been puzzled by the following Faltings' remark in his paper Calculus on arithemetic surfaces (page 394) for a few months. He says: If $D$ is a divisor on $X$, we would like to define a ...
2answers
452 views

### transcendence of canonical heights

Are there known examples of rational points on elliptic curves/abelian varieties over number fields with transcendental canonical height? Thanks.
1answer
248 views

3answers
4k 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" ...
5answers
16k 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 ...
1answer
3k views

### Kapranov's analogies

I just wonder about Kapranov's "Analogies between Langlands Correspondence and topological QFT". I would like to read a more detailed exposition and how one turns that analogy into concrete ...
1answer
3k views

### Crystalline cohomology of abelian varieties

I am trying to learn a little bit about crystalline cohomology (I am interested in applications to ordinariness). Whenever I try to read anything about it, I quickly encounter divided power ...
2answers
3k views

### “Fermat's last theorem” and anabelian geometry?

Do I remember a remark in "Sketch of a program" or "Letter to Faltings" correctly, that acc. to Grothendieck anabelian geometry should not only enable finiteness proofs, but a proof of FLT too? If yes,...
2answers
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. ...
3answers
1k views

### Integer points (very naive question)

Well, I don't have any notion of arithmetic geometry, but I would like to understand what arithmetic geometers mean when they say "integer point of a variety/scheme $X$" (like e.g. in "integer points ...
4answers
4k views

1answer
3k 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 ...
1answer
2k views

### De Rham cohomology of formal groups

Let $G$ be some (dimension $1$, to simplify) formal group over a characteristic $0$ field $K$. The law of $G$ is denoted by $\oplus$. If $w(X) \in K[[X]] dX$ is a differential form, let $F_w(X)$ be ...
3answers
1k views

0answers
711 views

### Finiteness of etale cohomology for arithmetic schemes

By an arithmetic scheme I mean a finite type flat regular integral scheme over $\mathrm{Spec} \, \mathbb{Z}$. Let $X$ be an arithmetic scheme. Then is $H_{et}^2(X,\mathbb{Z}/n\mathbb{Z})$ finite ...