We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Successive minima and asymptotic slopes in Arakelov Geometry

Abstract: Let $X$ be a normal and geometrically integral projective variety over a global field $K$ and let $\overline{D}$ be an adelic Cartier divisor on $X$. We prove a conjecture of Chen, showing that the essential minimum $\zeta_{\mathrm{ess}}(\overline{D})$ of $\overline{D}$ equals its asymptotic maximal slope under mild positivity assumptions. As an application, we see that $\zeta_{\mathrm{ess}}(\overline{D})$ can be read on the Okounkov body of the underlying divisor $D$ via the Boucksom--Chen concave transform. This gives a new interpretation of Zhang's inequalities on successive minima and a criterion for equality generalizing to arbitrary projective varieties a result of Burgos Gil, Philippon and Sombra concerning toric metrized divisors on toric varieties. When applied to a projective space $X = \mathbb{P}_K^d$, our main result has several applications to the study of successive minima of hermitian vector spaces. We obtain an absolute transference theorem with a linear upper bound, answering a question raised by Gaudron. We also give new comparisons between successive slopes and absolute minima, extending results of Gaudron and R\'emond.
Comments: 34 pages. Minor revisions in the introduction, results unchanged
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
MSC classes: 14G40 (Primary) 11G50, 11H06 (Secondary)
Cite as: arXiv:2002.06026 [math.AG]
  (or arXiv:2002.06026v3 [math.AG] for this version)

Submission history

From: François Ballaÿ [view email]
[v1] Fri, 14 Feb 2020 13:23:44 GMT (48kb)
[v2] Tue, 3 Mar 2020 17:33:14 GMT (48kb)
[v3] Mon, 8 Jun 2020 12:13:55 GMT (37kb)

Link back to: arXiv, form interface, contact.