derived smooth geometry
In anabelian geometry one studies how much information about a space (specifically: an algebraic variety) is contained already in its first étale homotopy group (specifically: the algebraic fundamental group).
The term “anabelian” is alluding to “the less abelian is, the more information it carries about .” Precisely: an anabelian group is a non-trivial group for which every finite index subgroup has trivial center.
Accordingly, an algebraic variety whose isomorphism class is entirely determined by is called an anabelian variety.
An early conjecture motivating the theory (in Grothendieck) was that all hyperbolic curves? over number fields are anabelian varieties. This was eventually proven by various authors in various cases. In (Uchida) and (Neukirch) it was shown that an isomorphism between Galois groups of number fields implies the existence of an isomorphism between those number fields. For algebraic curves over finite fields, over number fields and over p-adic field the statement was eventually completed by (Mochizuki 96).
Grothendieck also conjectured the existence of higher-dimensional anabelian varieties, but these are still very mysterious.
algebraic fundamental group also called the ‘geometric fundamental group’ by Grothendieck.
child's drawing/ Dessins d’enfant.
The notion of anabelian geometry originates in
There is some discussion of the area in
A quick survey is on page 60 (2) of
A comprehensive introduction is in
Examples are discussed in
The classification of anabelian varieties for number fields was shown in
J. Neukirch, Über die absoluten Galoisgruppen algebraischer Zahlkörper, Journées Arithmétiques de Caen (Univ. Caen, Caen, 1976), pp. 67–79. Asterisque, No. 41-42, Soc. Math. France, Paris (1977)
K. Uchida. Isomorphisms of Galois groups, J. Math. Soc. Japan 28 (1976), no. 4, 617–620.
and for algebraic curves in