Anabelian geometry


Anabelian geometry is a theory in number theory, which describes the way in which the algebraic fundamental group G of a certain arithmetic variety V, or some related geometric object, can help to restore V. The first traditional conjectures, originating from Alexander Grothendieck and introduced in Esquisse d'un Programme were about how topological homomorphisms between two groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and Akio Tamagawa, while complete proofs were given by Shinichi Mochizuki. Before anabelian geometry proper began with the famous letter to Gerd Faltings and Esquisse d'un Programme, the Neukirch–Uchida theorem hinted at the program from the perspective of Galois groups, which themselves can be shown to be étale fundamental groups.
More recently, Mochizuki introduced and developed a so called mono-anabelian geometry which restores, for a certain class of hyperbolic curves over number fields, the curve from its algebraic fundamental group. Key results of mono-anabelian geometry were published in Mochizuki's "Topics in Absolute Anabelian Geometry."

Formulation of a conjecture of Grothendieck on curves

The "anabelian question" has been formulated as
A concrete example is the case of curves, which may be affine as well as projective. Suppose given a hyperbolic curve C, i.e. the complement of n points in a projective algebraic curve of genus g, taken to be smooth and irreducible, defined over a field K that is finitely generated, such that
Grothendieck conjectured that the algebraic fundamental group G of C, a profinite group, determines C itself. This was proved by Mochizuki. An example is for the case of and, when the isomorphism class of C is determined by the cross-ratio in K of the four points removed. There are also results for the case of K a local field.