All Questions
Tagged with ag.algebraic-geometry arithmetic-geometry
102
questions
50
votes
8
answers
27k
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 ...
42
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 ...
16
votes
2
answers
2k
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
3
answers
1k
views
Is the map on étale fundamental groups of a quasi-projective variety, upon base change between algebraically closed fields, an isomorphism?
$\DeclareMathOperator\Spec{Spec}$Let $k \subset L$ be two algebraically closed fields of characteristic $0$. Let $U \subset \mathbb P^n_k$ be a smooth quasi-projective variety and let $U_L$ denote the ...
43
votes
1
answer
19k
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 ...
20
votes
3
answers
2k
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 ...
15
votes
3
answers
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 ...
9
votes
1
answer
1k
views
Nonabelian $H^2$ and Galois descent
I would like to know whether the following metatheorem on nonabelian $H^2$ has been ever stated and/or proved.
Let $k$ be a perfect field and $k^s$ its fixed separable closure.
Let $X^s$ be a variety ...
55
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 ...
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 $\...
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 ...
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 ...
26
votes
4
answers
1k
views
Variety acquiring rational point over any quadratic extension
Does there exist a variety $X$ over $\mathbb{Q}$ (or a number field) such that it has no rational points over $\mathbb{Q}$ but acquires points over any quadratic extension $\mathbb{Q}(\sqrt{d})$?
If ...
24
votes
3
answers
3k
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?
24
votes
2
answers
1k
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 ...