Sharp bounds on the height of K-semistable Fano varieties I, the toric case

Abstract

Inspired by Fujita's algebro-geometric result that complex projective space has maximal degree among all K-semistable complex Fano varieties, we conjecture that the height of a K-semistable metrized arithmetic Fano variety X of relative dimension n is maximal when X is the projective space over the integers, endowed with the Fubini-Study metric. Our main result establishes the conjecture for the canonical integral model of a toric Fano variety when n is less than or equal to 6 (the extension to higher dimensions is conditioned on a conjectural "gap hypothesis" for the degree). Translated into toric Kähler geometry this result yields a sharp lower bound on a toric invariant introduced by Donaldson, defined as the minimum of the toric Mabuchi functional. We furthermore reformulate our conjecture as an optimal lower bound on Odaka's modular height. In any dimension n it is shown how to control the height of the canonical toric model X, with respect to the Kähler-Einstein metric, by the degree of X. In a sequel to this paper our height conjecture is established for any projective diagonal Fano hypersurface, by exploiting a more general logarithmic setup.

arXiv comment39 pages. v3: Changed title. Accepted for publication in Compositio Math

References in corpus (8)

• A generalization of Ross-Thomas' slope theory
• Optimal destabilizing centers and equivariant K-stability
• Convexity of the extended K-energy and the large time behaviour of the weak Calabi flow
• The volume of singular Kähler-Einstein Fano varieties
• Characterization of projective spaces by Seshadri constants
• An arithmetic Hilbert-Samuel theorem for singular hermitian line bundles and cusp forms
• A fixed point formula of Lefschetz type in Arakelov geometry III: representations of Chevalley schemes and heights of flag varieties
• Canonical Kahler metrics and Arithmetics -- Generalising Faltings heights