Anabelian geometry

From Wikipedia, the free encyclopedia
Not to be confused with Noncommutative 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 results for number fields and their absolute Galois groups were obtained by Jürgen Neukirch, Masatoshi Gündüz Ikeda, Kenkichi Iwasawa, and Kôji Uchida (Neukirch–Uchida theorem) prior to conjectures made about hyperbolic curves over number fields by Alexander Grothendieck. As introduced in Esquisse d'un Programme the latter were about how topological homomorphisms between two arithmetic fundamental groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and  [ja], while complete proofs were given by Shinichi Mochizuki.

More recently, Mochizuki introduced and developed a so called mono-anabelian geometry which restores, for a certain class of hyperbolic curves over number fields or some other fields, the curve from its algebraic fundamental group. Key results of mono-anabelian geometry were published in Mochizuki's "Topics in Absolute Anabelian Geometry."

Anabelian geometry can be viewed as one of generalizations of class field theory. Unlike two other generalizations — abelian higher class field theory and representation theoretic Langlands program — anabelian geometry is highly non-linear and non-abelian.

Formulation of a conjecture of Grothendieck on curves[]

The "anabelian question" has been formulated as

How much information about the isomorphism class of the variety X is contained in the knowledge of the étale fundamental group?[1]

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 (over its prime field), such that

.

Grothendieck conjectured that the algebraic fundamental group G of C, a profinite group, determines C itself (i.e., the isomorphism class of G determines that of C). This was proved by Mochizuki.[2] An example is for the case of (the projective line) and , when the isomorphism class of C is determined by the cross-ratio in K of the four points removed (almost, there being an order to the four points in a cross-ratio, but not in the points removed).[3] There are also results for the case of K a local field.[4]

See also[]

Notes[]

  1. ^ Schneps, Leila (1997). "Grothendieck's "Long march through Galois theory"". In Schneps; Lochak, Pierre (eds.). Geometric Galois actions. 1. London Mathematical Society Lecture Note Series. Vol. 242. Cambridge: Cambridge University Press. pp. 59–66. MR 1483109.
  2. ^ Mochizuki, Shinichi (1996). "The profinite Grothendieck conjecture for closed hyperbolic curves over number fields". J. Math. Sci. Univ. Tokyo. 3 (3): 571–627. hdl:2261/1381. MR 1432110.
  3. ^ Ihara, Yasutaka; Nakamura, Hiroaki (1997). "Some illustrative examples for anabelian geometry in high dimensions" (PDF). In Schneps, Leila; Lochak, Pierre (eds.). Geometric Galois actions. 1. London Mathematical Society Lecture Note Series. Vol. 242. Cambridge: Cambridge University Press. pp. 127–138. MR 1483114.
  4. ^ Mochizuki, Shinichi (2003). "The absolute anabelian geometry of canonical curves" (PDF). Documenta Mathematica. Extra Vol., Kazuya Kato's fiftieth birthday: 609–640. MR 2046610.

External links[]

Retrieved from ""