-
Quasi-projective and formal-analytic arithmetic surfaces
Authors:
Jean-Benoît Bost,
François Charles
Abstract:
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve. Formal-analytic surfaces provide a natural framework for arithmetic algebraization theorems, old and new.
Formal-analytic arithmetic surfaces admit a rich geometry which p…
▽ More
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve. Formal-analytic surfaces provide a natural framework for arithmetic algebraization theorems, old and new.
Formal-analytic arithmetic surfaces admit a rich geometry which parallels the geometry of complex analytic surfaces. Notably the dichotomy between pseudoconvexity and pseudoconcavity plays a central role in their geometry.
Our study of formal-analytic arithmetic surfaces relies crucially on the use of real-valued invariants. Some of these are intersection-theoretic, in the spirit of Arakelov intersection theory. Some other invariants involve infinite-dimensional geometry of numbers.
Relating our new intersection-theoretic invariants to more classical invariants of Arakelov geometry leads us to investigate a new invariant, the Archimedean overflow, attached to an analytic map from a pointed compact Riemann surface with boundary to a Riemann surface. It is related to the characteristic functions of Nevanlinna theory.
Our results on the geometry of formal-analytic arithmetic surfaces admit applications to concrete problems of arithmetic geometry. Notably we generalize the arithmetic holonomicity theorem of Calegari-Dimitrov-Tang regarding the dimension of spaces of power series with integral coefficients satisfying some convergence conditions.
We also establish an arithmetic counterpart of theorems of Lefschetz and Nori by providing a bound on the index, in the étale fundamental group of an arithmetic surface, of the closed subgroup generated by the étale fundamental groups of some arithmetic curve and of some compact Riemann surfaces mapping to the arithmetic surface.
△ Less
Submitted 14 September, 2022; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Euclidean lattices, theta invariants, and thermodynamic formalism
Authors:
Jean-Benoît Bost
Abstract:
These are the notes of lectures delivered at Grenoble's summer school on \emph{Arakelov Geo\-me\-try and Diophantine Applications}, in June 2017. They constitute an introduction to the study of Euclidean lattices and of their invariants defined in terms of theta series.
Recall that Euclidean lattice is defined as a pair $\bar{E}:= (E, \Vert .\Vert)$ where $E$ is some free $\mathbb{Z}$-module of…
▽ More
These are the notes of lectures delivered at Grenoble's summer school on \emph{Arakelov Geo\-me\-try and Diophantine Applications}, in June 2017. They constitute an introduction to the study of Euclidean lattices and of their invariants defined in terms of theta series.
Recall that Euclidean lattice is defined as a pair $\bar{E}:= (E, \Vert .\Vert)$ where $E$ is some free $\mathbb{Z}$-module of finite rank $E$ and $\Vert. \Vert$ is some Euclidean norm on the real vector space $E_\mathbb{R} := E \otimes \mathbb{R}$. The most basic of these invariants is the non-negative real number: $$h^0_θ(\bar{E}) := \log \sum_{v \in E} e^{- π\Vert v \Vert^2}.$$
In these notes, we explain how such invariants naturally arise when one investigates basic questions concerning classical invariants of Euclidean lattices, such as their successive minima, their covering radius, or the number of lattice points in balls of a given radius.
We notably discuss their significance from the perspective of Arakelov geometry and of the analogy between number fields and function fields, their role (discovered by Banaszczyk) in the derivation of optimal transference estimates, and their interpretation in terms of the formalism of statistical thermodynamics.
These notes have been primarily written for an audience of arithmetic geometers, but should also be suited to a wider circle of mathematicians and theoretical physicists with some interest in Euclidean lattices or in the mathematical foundations of statistical physics.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Theta invariants of euclidean lattices and infinite-dimensional hermitian vector bundles over arithmetic curves
Authors:
Jean-Benoît Bost
Abstract:
In this monograph, we lay some foundations of a theory of infinite dimensional Euclidean lattices - and more generally, of infinite dimensional Hermitian vector bundles over some "arithmetic curve" ${\rm Spec}\,\mathcal{O}_K$ attached to the ring of integers $\mathcal{O}_K$ of some number field $K$ - with a view towards applications to transcendence theory and Diophantine geometry.
In the first…
▽ More
In this monograph, we lay some foundations of a theory of infinite dimensional Euclidean lattices - and more generally, of infinite dimensional Hermitian vector bundles over some "arithmetic curve" ${\rm Spec}\,\mathcal{O}_K$ attached to the ring of integers $\mathcal{O}_K$ of some number field $K$ - with a view towards applications to transcendence theory and Diophantine geometry.
In the first chapters of this monograph, we study the properties of the invariant $h^0_θ(\overline{E})$ attached to some Euclidean lattice $\overline{E}:= (E, \Vert.\Vert)$, defined by the expression $$h^0_θ(\overline{E}) := \log \sum_{v \in E} e^{- π\Vert v \Vert^2},$$ and, more generally, attached to some finite rank Hermitian vector bundle $\overline{E}$ over an arithmetic curve.
Then we construct categories of infinite dimensional Hermitian vector bundles and we show that it is possible to associate generalized $θ$-invariants to these objects, so that they satisfy suitable subadditivity and summability properties.
In the last chapter, we present a first application of this formalism to Diophantine geometry: we show how it allows one to establish some algebraicity criterion à la Chudnovsky concerning formal curves over number fields embedded in some projective space, by arguments that are direct counterparts of classical algebraization proofs in complex analytic and formal geometry.
△ Less
Submitted 28 December, 2017; v1 submitted 30 December, 2015;
originally announced December 2015.
-
Some remarks concerning the Grothendieck Period Conjecture
Authors:
Jean-Benoît Bost,
François Charles
Abstract:
We discuss various results and questions around the Grothendieck period conjecture, which is a counterpart, concerning the de Rham-Betti realization of algebraic varieties over number fields, of the classical conjectures of Hodge and Tate. These results give new evidence towards the conjectures of Grothendieck and Kontsevich-Zagier concerning transcendence properties of the torsors of periods of v…
▽ More
We discuss various results and questions around the Grothendieck period conjecture, which is a counterpart, concerning the de Rham-Betti realization of algebraic varieties over number fields, of the classical conjectures of Hodge and Tate. These results give new evidence towards the conjectures of Grothendieck and Kontsevich-Zagier concerning transcendence properties of the torsors of periods of varieties over number fields.
We notably establish that the Grothendieck period conjecture holds in degree 1 for products of curves, of abelian varieties, and of K3 surfaces, and that it holds in degree 2 for smooth cubic fourfolds.
△ Less
Submitted 9 April, 2014; v1 submitted 3 July, 2013;
originally announced July 2013.
-
Algebraization, transcendence, and D-group schemes
Authors:
Jean-Benoit Bost
Abstract:
We present a conjecture in Diophantine geometry concerning the construction of line bundles over smooth projective varieties over $\bar{\mathbb Q}}$. This conjecture, closely related to the Grothendieck Period Conjecture for cycles of codimension 1, is also motivated by classical algebraization results in analytic and formal geometry and in transcendence theory. Its formulation involves the consid…
▽ More
We present a conjecture in Diophantine geometry concerning the construction of line bundles over smooth projective varieties over $\bar{\mathbb Q}}$. This conjecture, closely related to the Grothendieck Period Conjecture for cycles of codimension 1, is also motivated by classical algebraization results in analytic and formal geometry and in transcendence theory. Its formulation involves the consideration of $D$-group schemes attached to abelian schemes over algebraic curves over $\bar{\mathbb Q}}$. We also derive the Grothendieck Period Conjecture for cycles of codimension 1 in abelian varieties over $\bar{\mathbb Q}}$ from a classical transcendence theorem à la Schneider-Lang.
△ Less
Submitted 21 June, 2013; v1 submitted 17 January, 2013;
originally announced January 2013.
-
Concerning the semistability of tensor products in Arakelov geometry
Authors:
Jean-Benoît Bost,
Huayi Chen
Abstract:
We study the semistability of the tensor product of hermitian vector bundles by using the $\varepsilon$-tensor product and the geometric (semi)stability of vector subspaces in the tensor product of two vector spaces.
We study the semistability of the tensor product of hermitian vector bundles by using the $\varepsilon$-tensor product and the geometric (semi)stability of vector subspaces in the tensor product of two vector spaces.
△ Less
Submitted 1 March, 2012;
originally announced March 2012.
-
Hermitian vector bundles and extension groups on arithmetic schemes. II. The arithmetic Atiyah extension
Authors:
Jean-Benoit Bost,
Klaus Kuennemann
Abstract:
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstru…
▽ More
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure.
We develop basic properties of the arithmetic Atiyah class and study its vanishing in the case of hermitian line bundles. This may be translated into a concrete problem of diophantine geometry, concerning rational points of the universal vector extension of the Picard variety of $X$. We investigate this problem, which was already considered and solved in some cases by Bertrand, by using a classical transcendence result of Schneider-Lang, and we derive a finiteness result.
We also consider a geometric analog of our arithmetic situation, namely a smooth, projective variety $X$ which is fibered on a curve $C$ defined over some field $k$ of characteristic zero. To any line bundle $L$ over $X$ is attached its relative Atiyah class ${\rm at}_{X/C}L$. We describe precisely when this class vanishes. In particular, when the fixed part of the relative Picard variety of $X$ over $C$ is trivial, this holds only when the restriction of $L$ to the generic fiber $X_K$ of $X$ over $C$ is a torsion line bundle.
△ Less
Submitted 15 October, 2008; v1 submitted 28 July, 2008;
originally announced July 2008.
-
Analytic curves in algebraic varieties over number fields
Authors:
Jean-Benoît Bost,
Antoine Chambert-Loir
Abstract:
We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and Pólya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field.
The formulation and the proof of these crite…
▽ More
We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and Pólya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field.
The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.
△ Less
Submitted 2 October, 2008; v1 submitted 20 February, 2007;
originally announced February 2007.
-
Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers
Authors:
Jean-Benoit Bost,
Klaus Kuennemann
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 $Ø_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 s…
▽ More
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 $Ø_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 $\Spec Ø_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.
△ Less
Submitted 12 January, 2007;
originally announced January 2007.
