Hermitian vector bundles and extension groups on arithmetic schemes. I: Geometry of numbers

DOI10.1016/J.AIM.2009.09.005MaRDI QIDQ2655797zbMATH OpenOpenAlexFDO

Authors Jean-Benoît Bost, Klaus Künnemann

Publication date 26 January 2010

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0701343, https://epub.uni-regensburg.de/13828/1/MP77.pdf

Arakelov geometry extension groups geometry of numbers Hermitian vector bundles Voronoi's theory

Lattice packing and covering (number-theoretic aspects) (11H31) Quadratic forms (reduction theory, extreme forms, etc.) (11H55) Arithmetic varieties and schemes; Arakelov theory; heights (14G40) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)

Abstract: We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to

O_{X}

-modules over an arithmetic scheme

X

. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over

X

- and we especially consider the case when

X

is an 'arithmetic curve', namely the spectrum

S p e c O_{K}

of the ring of integers in some number field

K

. Then the study of arithmetic extensions over

X

is related to old and new problems concerning lattices and the geometry of numbers.

Review text

The goal of Arakelov Theory is to produce (deep) arithmetic results by combining tools from algebraic geometry over Spec~\(\mathbb Z\) with those from complex geometry. Indeed, it was first invented with the hope of proving the Mordell conjecture on the finiteness of the set of rational points on a curve of genus at least two over a number field. (This dream was eventually realized by \textit{G. Faltings} [Invent. Math. 73, 349--366 (1983; Zbl 0588.14026)].) When interpreted with hindsight, the simplest example of the Arakelov philosophy is Minkowski's geometry of numbers, which has been described beautifully by \textit{L. Szpiro} [Astérisque 127, 11--28 (1985; Zbl 1182.11029)]. In the paper under review, the authors begin a sequence of investigations of arithmetic extension groups. Let \(X\) be an arithmetic scheme --- i.e., a separated scheme that is flat and of finite type over Spec \(\mathbb Z\), and such that the associated complex variety \(X_{\mathbb C}\) is smooth. If \(F\) and \(G\) are locally free coherent \({\mathcal O}_X\)-modules (vector bundles on \(X\)), an \textit{arithmetic extension} \(({\mathcal E}, s)\) of \(F\) by \(G\) is an extension of \({\mathcal O}_X\)-modules \({\mathcal E}: 0 \to G \to E \to F \to 0\) together with a complex-conjugation-invariant \({\mathcal C}^\infty\)-splitting \(s: F_{\mathbb C} \to E_{\mathbb C}\) of the associated extension of complex vector bundles over the manifold of complex points \(X(\mathbb C)\). The set of isomorphism classes of arithmetic extensions, denoted \(\widehat{\text{Ext}}^1_X(F, G)\), becomes an Abelian group when equipped with the Baer sum operation. Arithmetic extensions arise naturally in Arakelov geometry via \textit{admissible extensions}: if \(\overline{F}\) and \(\overline{G}\) are Hermitian vector bundles on \(X\), then an admissible extension of \(\overline{F}\) by \(\overline{G}\) is an exact sequence of Hermitian vector bundles \(\overline{{\mathcal E}}: 0 \to \overline{G} \to \overline{E} \to \overline{F} \to 0\) for which the metrics on \(\overline{F}\) and \(\overline{G}\) agree with the quotient and subspace metrics induced by \(\overline{E}\), respectively. The authors observe that, in this context, isomorphism classes of arithmetic extensions of \(F\) by \(G\) are in bijective correspondence with isomorphism classes of admissible extensions of \(\overline{F}\) by \(\overline{G}\). As an important special case, if \({\mathcal O}_K\) is the ring of integers in a number field \(K\) and \(X = \text{Spec} \, {\mathcal O}_K\) is the associated arithmetic curve, then any locally free coherent \({\mathcal O}_X\)-module can be endowed with a Hermitian metric (by choosing a basis for the associated complex vector space), and hence every arithmetic extension of \({\mathcal O}_X\)-modules arises as an admissible extension. The authors explain how the group of arithmetic extensions \(\widehat{\text{Ext}}^1_X(F, G)\) itself arises as an extension of the ``classical extension group \(\text{Ext}^1_{{\mathcal O}_X}(F, G)\) by a group of analytic type. They give various functorial properties of this group, and discuss the relationship between their notion of arithmetic extension and the ``arithmetic torsors of \textit{A. Chambert-Loir} and \textit{Y. Tschinkel} [Prog. Math. 199, 37--70 (2001; Zbl 1001.14005)]. The later part of the paper is devoted to studying slopes of arithmetic extensions over arithmetic curves. A number of classical results in the geometry of numbers and the reduction theory of quadratic forms are examined in this framework. For example, Theorem~4.3.1 exhibits the phenomenon of ``bounded distortion for the splitting of lattices: any \({\mathcal O}_K\)-lattice in \(\mathbb C^n\) differs from a rectangular lattice by a bounded amount, depending only on \(K\) and \(n\). The authors plan to extend their results in two subsequent papers to discuss the arithmetic Atiyah extension, the arithmetic Hodge extension, and the arithmetic Schwarz extension. A sketch of these ideas is given in the introduction to the present paper.

Recommendations

Cites work

Cited in

(19)

This page was built for publication: Hermitian vector bundles and extension groups on arithmetic schemes. I: Geometry of numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655797)