NEUKIRCH-UCHIDA // BELYI MAPS // SECTION CONJECTURE // MOCHIZUKI RIGIDITY
In his 1983 letter to Faltings, Grothendieck proposed a revolutionary vision: certain schemes X should be completely determined by their fundamental group pi_1^et(X). He called such schemes "anabelian" — their fundamental groups are so far from abelian that they encode all geometric and arithmetic information.
The key examples: hyperbolic curves (genus g, n punctures with 2g-2+n > 0), moduli spaces of curves, and higher-dimensional analogs. Affine line A^1 is NOT anabelian (pi_1 is trivial), but P^1 minus 3 points IS.
The first triumph of anabelian geometry: number fields are determined by their absolute Galois groups. If Gal(K^sep/K) ~ Gal(L^sep/L) as profinite groups, then K ~ L as fields. This was proven by Neukirch (for number fields with the same normal closure) and completed by Uchida and Iwasawa.
The isomorphism of Galois groups forces compatibility of all decomposition groups, inertia groups, and Frobenius elements — enough to reconstruct the field.
Belyi proved: a smooth projective curve X over C is defined over a number field if and only if there exists a finite map X -> P^1 ramified only over {0, 1, infinity}. Such maps are "dessins d'enfants" — combinatorial drawings on surfaces that encode the curve's arithmetic. Grothendieck was electrified by this — it means the absolute Galois group Gal(Q/Q) acts faithfully on combinatorial-topological objects.
Grothendieck's section conjecture: for a hyperbolic curve X over a number field k, sections of the exact sequence 1 -> pi_1^geom -> pi_1^et -> Gal(k) -> 1 are in bijection with rational points X(k). Equivalently: splittings of this group extension correspond to k-rational points. This would give a purely group-theoretic characterization of rational points.
Mochizuki proved: for hyperbolic curves over sub-p-adic fields, the curve is determined by its fundamental group. More precisely, isomorphisms of fundamental groups (as outer Galois representations) induce isomorphisms of curves. This is absolute anabelian geometry — the strongest possible rigidity result.