Questions tagged [anabelian-geometry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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, ...
Minhyong Kim's user avatar
  • 13.5k
30 votes
2 answers
5k views

Grothendieck's "La longue Marche à travers la théorie de Galois"

It seems that Grothendieck's familly has given permission for the distribution of his unpublished works, so I hope it is ok to ask this. Is there any way to obtain a copy (online or not) of "La ...
Myshkin's user avatar
  • 17.4k
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 ...
terett's user avatar
  • 1,069
26 votes
1 answer
2k views

Why does the Section Conjecture exclude curves of genus 1?

Let $X$ be an integral proper normal curve over a (perfect) field $F$, of genus $\geq 2$. One variant of Grothendieck's "section conjecture" states that the sections $G_F \rightarrow \pi_1(X)$ of the ...
KristianJS's user avatar
24 votes
3 answers
3k views

How are motives related to anabelian geometry and Galois-Teichmuller theory?

In Recoltes et Semailles, Grothendieck remarks that the theory of motives is related to anabelian geometry and Galois-Teichmuller theory. My understanding of these subjects is not very solid at this ...
Anton Hilado's user avatar
  • 3,269
24 votes
5 answers
7k views

Anabelian geometry study materials?

I want to study anabelian geometry, but unfortunately I'm having difficulties in finding some materials about it. If you could offer me some books/papers/articles I would be glad.
terett's user avatar
  • 1,069
20 votes
2 answers
4k 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,...
Thomas Riepe's user avatar
  • 10.7k
20 votes
2 answers
5k views

Why should the anabelian geometry conjectures be true?

I had probed friends of mine about Grothendieck's motivation for making the anabelian geometry conjectures, and they gave me the following explanation: If $X$ is a hyperbolic curve over some field $K$...
Makhalan Duff's user avatar
18 votes
1 answer
855 views

Pop's proof that $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})=\mathrm{Aut}\underline\pi^{alg}_{\overline{\mathbb{Q}}}$

I've heard of this result in a paper on which Yves André proves the p-adic analogue (that is, $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)=\mathrm{Aut}\underline\pi^{temp}_{{\mathbb{C}}_p}$), ...
Myshkin's user avatar
  • 17.4k
17 votes
1 answer
3k views

Why is the section conjecture important?

As in the title, I want to know the reason for importance of the section conjecture. Of course, the statement of conjecture is important as itself, even I cannot fully grasp the soul of it. However, ...
Kevin.lijh's user avatar
15 votes
1 answer
1k views

What can we say about center of rational absolute Galois group?

Well the question is in the title. I asked myself this question while thinking about something in Grothendieck-Teichmüller theory. I guess class field theory gives some insight into this, or I am ...
krolik's user avatar
  • 283
15 votes
2 answers
2k views

What conjectures in anabelian geometry are false?

Proving things suspected to be true in anabelian geometry is usually very hard. Maybe it is easier to disprove things suspected to be false? In particular, I am interested in false generalizations of ...
Will Sawin's user avatar
  • 135k
15 votes
0 answers
2k views

Inter-Universal Teichmuller Theory and the Field with One Element

The idea of the "field with one element", or $\mathbb{F}_{1}$, is supposed to allow us to do for number fields what we can do for function fields. Hence this idea often comes up regarding problems ...
Anton Hilado's user avatar
  • 3,269
15 votes
0 answers
1k views

reference - Grothendieck on Thurston's work

In his 'dernières' years Grothendieck gets "interested" in Thurston's work. "[...] je me suis intéressé ces dernières années - la géométrie hyperbolique à la Thurston et ses relations au groupe de ...
tttbase's user avatar
  • 1,700
15 votes
0 answers
453 views

Is the absolute Galois group of the rationals Hopfian?

Is every continuous epimorphism from the absolute Galois group of $\mathbb{Q}$ to itself injective?
Pablo's user avatar
  • 11.2k
14 votes
0 answers
1k views

Status of the "anabelian dream" ($\mathrm{dim} \leq 1$)

The anabelian conjectures for small dimensions have been known for quite some time. In full generality the results are: Dimension 0. Finitely generated fields are anabelian (Pop) Dimension 1. ...
Myshkin's user avatar
  • 17.4k
13 votes
1 answer
745 views

Abelian $\ell$-adic representations in $\widehat{\mathrm{SL}(2,\mathbb{Z})}$

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Gal{Gal}\newcommand{\Z}{\mathbb{Z}}$In Grothendieck's Esquisse he claims that the action of $$\Gal(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\...
Tian An's user avatar
  • 3,689
13 votes
1 answer
1k views

Applications of anabelian geometry to Galois representations?

One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and $...
Tian An's user avatar
  • 3,689
10 votes
2 answers
771 views

Exotic automorphisms of the fundamental group of a curve?

A while back, Jordan S. Ellenberg brought the following problem to my attention. If $G$ is a residually finite group, let $\widehat G$ be its profinite completion. Let $S$ be a closed surface of ...
Autumn Kent's user avatar
  • 10.6k
10 votes
0 answers
428 views

Discretifications of the fundamental group functor

Grothendieck calls a "discretification" of a profinite group $\widehat G$, a discrete group $G$ whose profinite completion is isomorphic to $\widehat G$. Does Grothendieck also define a notion of ...
o a's user avatar
  • 468
9 votes
1 answer
2k views

Anabelian geometry ~ higher category theory

Note: I'm worried this question might be taken as controversial, because it relates to Shinichi Mochizuki’s work on the abc conjecture. However, my question has nothing to do with the correctness of ...
prdnr's user avatar
  • 111
8 votes
0 answers
505 views

Galois rigidity for ℙ¹ with infinitely many punctures

A well-known result (due first to Nakamura I think) is that given a number field $K$, and a variety $U = \mathbb P^1 \setminus (\text{finitely many points})$ over $K$, the étale fundamental group of $...
Mark OSS's user avatar
  • 159
7 votes
1 answer
596 views

Is $\mathcal M _{g,n}$ anabelian?

Are the moduli spaces $\mathcal M _{g,n}$ expected to be anabelian? Is there anything known in that direction? Thank you very much for your help in any case!
user5831's user avatar
  • 2,009
7 votes
1 answer
1k views

Neukirch's papers and theorem

Have any of Neukirch's papers on anabelian geometry been translated? I'm mostly interested in: Kennzeichnung der p-adischen und der endlichen algebraischen Zahlkörper (1969) Kennzeichnung der ...
Myshkin's user avatar
  • 17.4k
6 votes
2 answers
2k views

Basics on anabelian geometry and Grothendieck's section conjecture

Even I can find similar questions and some answers on that questions, most of them are not quite unsatisfactory to me. Maybe this is a very stupid question, but there is no other place that I can ask ...
Kevin.lijh's user avatar
6 votes
1 answer
710 views

Relation - Anabelian geometry and Tate conjecture

A lot has been said about the relation between Anabelian algebraic geometry and Mordell conjecture. I would like to know what is the relation between Anabelian algebraic geometry and Tate ...
tttbase's user avatar
  • 1,700
5 votes
1 answer
1k views

Galois groups of number fields

It seems that it is conjectured, that the absolute Galois group of a number field determines already the number field up to isomorphism. I would like to know if there is a profinite group G such that ...
Markus Ulke's user avatar
5 votes
1 answer
541 views

Reconstruction of hyperbolic curves using the fundamental group

In the paper Curves and their Fundamental Groups written by Gerd Faltings, Mochizuki's proof of Grothendick's conjecture on anabelian curves is explained. In the proof, he shows that for two ...
camilo's user avatar
  • 527
4 votes
1 answer
204 views

Conjugacy-invariance of sections of etale homotopy exact sequence

My questions arise on page xiv of Stix's Rational Points and Arithmetic of Fundamental Groups. Here is an excerpt: Given a geometrically connected variety $X/k$, a fixed separable closure $\bar{k}/k$,...
PrimeRibeyeDeal's user avatar
4 votes
0 answers
151 views

Constructing motivic representations through extensions of $\mathrm{SL}(2, \mathbb{Z})$

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$In the Esquisse, Grothendieck explains how to find the representations of $G_{\mathbb{Q}}$ on Tate modules of Jacobians through its action on $\...
user149000's user avatar
3 votes
1 answer
508 views

representation of algebraic fundamental group of projective line minus three point

everyone, I want to ask is there any result in the literature similar to the following: Let $ X=\mathbb{P}^1\backslash \{0,1,\infty\}$, then $X$ is defined over $\mathbb{Z}$. Let $X_{\mathbb{Q}}$ ...
Lan's user avatar
  • 699
3 votes
2 answers
567 views

Down to earth, intuition behind a Anabelian group [closed]

An anabelian group is a group that is “far from being an abelian group” in a precise sense: It is a non-trivial group for which every finite index subgroup has trivial center. I would like to know ...
Javier's user avatar
  • 39
1 vote
1 answer
511 views

Field of definition of a finite etale cover of an anabelian curve

Let $X$ be an anabelian curve over a number field $K$ and let $p:Y\rightarrow X$ be a finite etale cover. Then is anything known (or has anything been conjectured) about the field of definition of $Y$?...
Adam Harris's user avatar
  • 1,895