mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, Hodge–Arakelov theory of

elliptic curve In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...

s is an analogue of classical and

p-adic Hodge theory In mathematics, ''p''-adic Hodge theory is a theory that provides a way to classify and study ''p''-adic Galois representations of characteristic 0 local fields with residual characteristic ''p'' (such as Q''p''). The theory has its beginnings in ...

for elliptic curves carried out in the framework of

Arakelov theory In mathematics, Arakelov theory (or Arakelov geometry) is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions. Background The main motivation behind Arakelov geometry is t ...

. It was introduced by . It bears the name of two mathematicians,

Suren Arakelov Suren Yurievich Arakelov (russian: Суре́н Ю́рьевич Араке́лов, arm, Սուրե՛ն Յուրիի՛ Առաքելո՛վ) (born October 16, 1947 in Kharkiv) is a Soviet mathematician of Armenian descent known for developing Arakel ...

and W. V. D. Hodge. The main comparison in his theory remains unpublished as of 2019. Mochizuki's main comparison theorem in Hodge–Arakelov theory states (roughly) that the space of

polynomial function In mathematics, a polynomial is an expression (mathematics), expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addition, subtrac ...

s of degree less than ''d'' on the universal extension of a smooth elliptic curve in characteristic 0 is naturally

isomorphic In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...

(via restriction) to the ''d''²-dimensional space of functions on the ''d''- torsion points. It is called a 'comparison theorem' as it is an analogue for Arakelov theory of comparison theorems in cohomology relating

de Rham cohomology In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapte ...

singular cohomology In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...

of complex varieties or

étale cohomology In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjecture ...

of ''p''-adic varieties. In and he pointed out that arithmetic

Kodaira–Spencer map In mathematics, the Kodaira–Spencer map, introduced by Kunihiko Kodaira and Donald C. Spencer, is a map associated to a deformation of a scheme or complex manifold ''X'', taking a tangent space of a point of the deformation space to the first co ...

and

Gauss–Manin connection In mathematics, the Gauss–Manin connection is a connection on a certain vector bundle over a base space ''S'' of a family of algebraic varieties V_s. The fibers of the vector bundle are the de Rham cohomology groups H^k_(V_s) of the fibers V_s ...

may give some important hints for

Vojta's conjecture In mathematics, Vojta's conjecture is a conjecture introduced by about heights of points on algebraic varieties over number fields. The conjecture was motivated by an analogy between diophantine approximation and Nevanlinna theory (value distributi ...

ABC conjecture The ''abc'' conjecture (also known as the Oesterlé–Masser conjecture) is a conjecture in number theory that arose out of a discussion of Joseph Oesterlé and David Masser in 1985. It is stated in terms of three positive integers ''a'', ''b'' ...

and so on; in 2012, he published his Inter-universal Teichmuller theory, in which he didn't use Hodge-Arakelov theory but used the theory of

frobenioid In arithmetic geometry, a Frobenioid is a category with some extra structure that generalizes the theory of line bundles on models of finite extensions of global fields. Frobenioids were introduced by . The word "Frobenioid" is a portmanteau of Fro ...

s, anabelioids and mono-anabelian geometry.

References

* * * {{DEFAULTSORT:Hodge-Arakelov theory Number theory Algebraic geometry

See also

References