arXiv++ Combinatorics

We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fenchel duality. We also present a closed formula for the integral over a polytope of a function of one variable composed with a linear form. This allows us to compute the height of toric varieties with respect to some interesting metrics arising from polytopes. We also compute the height of toric projective curves with respect to the Fubini-Study metric, and of some toric bundles.

A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically exact. We improve on this result by introducing refined combinatorial invariants of polynomials and a generalization of the mixed volume of convex bodies: the mixed integral of concave functions. The proof is based on new techniques and results from relative toric geometry.