This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Arakelov | |
|---|---|
| Name | Arakelov |
| Known for | Arakelov theory |
Arakelov is a mathematical name associated with a synthesis of ideas in arithmetic geometry, diophantine geometry, and algebraic geometry producing tools to study schemes over rings of integers by importing analytic methods from complex geometry, differential geometry, and number theory. It connects the work of several figures and institutions in twentieth century mathematics and provides a framework that links classical algebraic geometry over number fields with analytic invariants on Riemann surfaces and Hermitian metrics on vector bundles. The subject has influenced research connected to the Mordell conjecture, Faltings, Zhang, and modern approaches to height pairings, L-functions, and moduli problems.
Arakelov denotes a collection of concepts and techniques that enhance the study of an arithmetic surface or arithmetic variety by adjoining archimedean data to the usual scheme-theoretic and cohomological structures. The scope includes the introduction of metrized line bundles on models over the ring of integers of a Number field, intersection pairings incorporating contributions from complex places, and analytic torsion invariants related to the work of Ray–Singer and Quillen. Central actors and objects in the scope are metrized invertible sheaves, Green functions on Riemann surfaces, capacity theory inspired by Potential theory on P^1(C), and comparisons with classical intersection theory on Algebraic surfaces.
The ideas originated in the 1970s as part of a response to problems posed in diophantine geometry and were developed in dialogue with research by mathematicians and institutions working on Diophantine geometry, Arithmetic geometry, and analytic techniques. Early developments drew on contributions from researchers associated with Moscow State University, Harvard University, Princeton University, and various European universities; subsequent elaborations involved links to results by Faltings on the Tate conjecture and the proof of the Mordell conjecture. Influences include analogies with the intersection theory of Grothendieck and constructions from Serre's duality, while later extensions connected to analytic torsion by Ray–Singer and determinant line bundles by Quillen.
In arithmetic geometry, Arakelov theory provides a formalism to treat an arithmetic variety X over the spectrum of the ring of integers O_K of a number field K by equipping line bundles on a proper regular model with continuous metrics at each archimedean embedding σ: K → C. The theory blends scheme-theoretic techniques from Grothendieck's algebraic geometry with analytic objects on the complex manifolds X(σ)(C), using Green currents from Hodge theory and curvature forms analogous to Chern class forms in Differential geometry. Key constructions mirror those in the work of Deligne on determinant bundles and in the theory of Height functions developed by Néron and Tate.
Arakelov intersection theory defines an intersection pairing for metrized line bundles that combines algebraic intersections on the special fibers with archimedean contributions computed using integrals of curvature forms and Green functions on associated Riemann surfaces. The metric data are often chosen to be smooth Hermitian metrics compatible with canonical metrics studied by Arakelov-inspired authors, or to be admissible metrics related to work by Faltings and Zhang. Determinant of cohomology constructions and anomaly formulas derived from Quillen metrics, and analytic torsion invariants from Ray–Singer theory, enter into refined arithmetic Riemann–Roch theorems influenced by Grothendieck–Riemann–Roch and Bismut–Gillet–Soulé.
Arakelov-style methods underpin results linking height pairings and equidistribution theorems such as those involving Szpiro, Faltings, and Zhang. Applications include effective and qualitative statements on rational points related to the Mordell–Lang conjecture and to modularity results that intersect with the work of Wiles and Taylor. Arakelov invariants contribute to the study of special values of L-functions, comparisons with the Beilinson conjectures, and formulations of arithmetic analogues of classical results like the Noether formula and Riemann–Roch theorem in an arithmetic setting.
Concrete examples include Arakelov intersection computations for arithmetic surfaces such as models of elliptic curves studied in the context of Szpiro conjecture and height calculations for modular curves linked to Hecke operators and Gross–Zagier formulas. Explicit metrics on line bundles over curves such as canonical Green functions on P^1(C) and on compact Riemann surfaces permit direct calculation of admissible pairings used in work by Faltings and Zhang. Determinant line bundle evaluations and analytic torsion computations appear in examples related to families treated by Deligne and in comparisons with invariants used in the study of Moduli spaces such as M_g.
Related frameworks and generalizations include non-archimedean analytic analogues developed using Berkovich spaces, the introduction of hybrid metrics bridging Berkovich and complex analytic techniques, and extensions to higher-dimensional arithmetic varieties connecting to Arakelov–Gillet–Soulé theory and to arithmetic analogues of the Grothendieck–Riemann–Roch theorem. Intersections with the study of automorphic forms via Langlands program perspectives, with the theory of motives in the spirit of Beilinson and Bloch, and with computational aspects linked to explicit class field theory and Complex multiplication further broaden the landscape.