2008/07/28 by Jean-Benoît Bost, Bost, Jean-Benoit, Kuennemann, Klaus · 1 citation
Mathematics · #11J81 #14F05 #14G40 (Primary) #32L10 (Secondary) #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.0807.4374
openalex publication_date 2008/07/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 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 atX/CL. 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 XK of X over C is a torsion line bundle.