Arakelov theory

Arakelov theory
Name	Arakelov theory
Field	Algebraic geometry, Number theory
Introduced	1974
Founder	Suren Arakelov
Main contributors	Paul Vojta, Gerd Faltings, Jean-Benoît Bost, Christophe Soulé, Shouwu Zhang, Spencer Bloch, Benedict Gross, David Mumford, Pierre Deligne
Key concepts	Arakelov divisor, Hermitian line bundle, Green function, arithmetic intersection, Arakelov height, Faltings height

Arakelov theory is a framework in Algebraic geometry and Number theory that extends intersection theory on algebraic curves and higher-dimensional varieties over Spec Z by incorporating analytic data at archimedean places. It unifies ideas from Suren Arakelov's original work, the Riemann–Roch theorem tradition from Bernhard Riemann and Riemann, the arithmetic of Weil and Grothendieck, and the diophantine applications developed by Paul Vojta, Gerd Faltings, and Shouwu Zhang.

History and motivation

Arakelov introduced his approach in the milieu shaped by Igor Shafarevich, Yuri Manin, Ostrowski, John Tate, Michael Artin, and Alexander Grothendieck to treat diophantine problems by combining tools used by Gauss and Euler with analytic methods from Riemann and Riemann's successors. The motivation drew on earlier results of André Weil on heights, insights from Jean-Pierre Serre and Grothendieck-Riemann–Roch ideas propagated by Pierre Deligne, and explicit diophantine achievements by Gerd Faltings in his proof of the Mordell conjecture which relied on notions later formalized by Arakelov. Subsequent development was driven by contributors including Jean-Benoît Bost, Christophe Soulé, Spencer Bloch, Mandelbrot-adjacent analytic techniques, Benedict Gross, and participants in the Iwasawa theory community such as Ralph Greenberg and John Coates.

Foundations and basic definitions

Foundational concepts in Arakelov's framework synthesize constructions from scheme theory by Grothendieck, the analytic theory on complex manifolds by Poincaré and Élie Cartan, and metric notions influenced by Bernhard Riemann and André Weil. A projective arithmetic variety over Spec Z is treated by combining its algebraic model from Grothendieck with complex analytic fibers equipped with metrics introduced by Arakelov and systematized by Deligne and Bismut-Freed style analytic torsion techniques related to Ray–Singer metric developments. Basic definitions invoke line bundles studied by David Mumford, divisors with Green functions akin to constructions used by Conway and Milnor in differential topology, and use canonical metrics inspired by work of Atiyah–Singer contributors such as Michael Atiyah and Isadore Singer.

Arakelov divisors and intersection theory

An Arakelov divisor combines a Cartier divisor on the algebraic model studied by Grothendieck with a collection of Green functions on complex fibers as in analytic studies by de Vries and Poincaré. Intersection theory extends the Chow ring framework from William Fulton and Thom to include contributions at infinite places, following methods of Pierre Deligne and Weyl-style spectral asymptotics. Pairings of Arakelov divisors produce arithmetic intersection numbers central to results by Faltings, Shouwu Zhang, and Bost, connecting to canonical heights of Néron and computations associated with Jacobians studied by Grothendieck and Serre.

Hermitian line bundles and metrics

Hermitian line bundles on complex fibers play the role of metrized line bundles introduced by Arakelov and formalized by Deligne and Faltings. Choices of smooth positive metrics, often canonical or admissible in the sense used by Remy and Bismut-Gillet-Soulé theory, determine curvature forms linked to Chern classes as in foundational work of Chern and Ahlfors. The arithmetic degree of a Hermitian line bundle generalizes the degree of line bundles studied by David Mumford and appears in height formulas used by Néron, Tate, Lang and refined by Shouwu Zhang and Bost.

Arithmetic Riemann–Roch and height pairings

Arakelov theory yields an arithmetic Riemann–Roch theorem building on the Grothendieck–Riemann–Roch theorem and the analytic torsion methods of Ray–Singer and Bismut–Gillet–Soulé, producing formulas employed by Deligne and Quillen-related index theory. These results give explicit relations between determinant of cohomology, metrized line bundles, and arithmetic intersection numbers used in height pairings by Faltings and Zhang; applications include refinements of height inequalities central to techniques of Paul Vojta, Gerd Faltings, and Joseph Silverman in the study of rational points and dynamical systems on varieties.

Applications and examples

Arakelov techniques underpin proofs and refinements in diophantine geometry such as Faltings's finiteness results for rational points on curves, height computations on elliptic curves tied to work by John Tate and André Weil, and explicit equidistribution theorems related to contributions by Shouwu Zhang and Rumely. They appear in explicit computations for modular curves studied by Pierre Deligne and Serre, in analytic number theory contexts involving Hecke operators and modular forms influenced by Atkin–Lehner theory, and in arithmetic dynamics connected to results by Matt Baker and Robert Rumely.

Extensions and related theories

Extensions of Arakelov ideas interact with non-archimedean analytic geometry such as Berkovich theory by Vladimir Berkovich, p-adic Arakelov variants influenced by Fontaine and Kato, and motivic approaches linked to Beilinson and Bloch. Further developments connect to Iwasawa theory studied by John Coates and Robert Greenberg and to categorical formulations shaped by Max Lieblich and Jacob Lurie-adjacent higher categorical techniques. Contemporary work by researchers including Jean-Benoît Bost, Christophe Soulé, Shouwu Zhang, Spencer Bloch, and Benedict Gross continues to relate Arakelov methods to problems in Langlands program-adjacent arithmetic geometry and transcendence theory initiated by Grothendieck and André Weil.

Category:Algebraic geometry