New Approach to Arakelov Geometry

Abstract

This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesn't require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of generalized rings and schemes, which include classical rings and schemes together with "exotic" objects such as F_1 ("field with one element"), Z_\infty ("real integers"), T (tropical numbers) etc., thus providing a systematic way of studying such objects. This theory of generalized rings and schemes is developed up to construction of algebraic K-theory, intersection theory and Chern classes. Then existence of Arakelov models of algebraic varieties over Q is shown, and our general results are applied to such models.

568 pages, with hyperlinks

Cited by in corpus (31)

• Hawking radiation, Unruh radiation and the equivalence principle
• Exercices de style: a homotopy theory for set theory, I
• Lambda-rings and the field with one element
• Equivariant Cohomotopy implies orientifold tadpole cancellation
• Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
• Cyclotomy and analytic geometry over F_1
• Dagger Geometry As Banach Algebraic Geometry
• F1-schemes and toric varieties
• Contramodules
• The geometry of blueprints. Part I: Algebraic background and scheme theory
• On the Hall algebra of semigroup representations over F_1
• Analytic geometry over F_1 and the Fargues-Fontaine curve
• On the notion of geometry over $\F_1$
• Closed graph theorems for bornological spaces
• Absolute algebra and Segal's Gamma sets
• Commutative $\nu$-algebra and supertropical algebraic geometry
• Representations of Quivers over F1
• Overconvergent global analytic geometry
• On the Hall algebra of coherent sheaves on P^1 over F_1
• Exact Sequences of Semimodules over Semirings
• ${\mathbb{F}}_1$ for everyone
• Exact Sequences in Non-Exact Categories (An Application to Semimodules)
• Quasicoherent sheaves on projective schemes over F_1
• Classifying Vectoids and Generalisations of Operads
• Nonstandard Mathematics and New Zeta and L-Functions
• The Hopf algebra of skew shapes, torsion sheaves on A^n/F_1, and ideals in Hall algebras of monoid representations
• Non-Noetherian representation categories of generalized fields
• A Noncommutative Version of the Natural Numbers
• An arithmetic site of Connes-Consani type for imaginary quadratic fields with class number 1
• Algebraic K-theory of the infinite place
• On the algebraic K-theory of Spec Z^N