Martín Sombra

The height of a toric variety and that of its hypersurfaces can be expressed in convex-analytic terms as an adelic sum of mixed integrals of their roof functions and duals of their Ronkin functions. Here we extend these results to the $2$-codimensional situation by presenting a limit formula predicting the typical height of the intersection of two hypersurfaces on a toric variety. More precisely, we prove that the height of the intersection cycle of two effective divisors translated by a strict sequence of torsion points converges to an adelic sum of mixed integrals of roof and duals of Ronkin functions. This partially confirms a previous conjecture of the authors about the average height of families of complete intersections in toric varieties.

We continue with our study of the arithmetic geometry of toric varieties. In this text, we study the positivity properties of metrized R-divisors in the toric setting. For a toric metrized R-divisor, we give formulae for its arithmetic volume and its chi-arithmetic volume, and we characterize when it is arithmetically ample, nef, big or pseudo-effective, in terms of combinatorial data. As an application, we prove a Dirichlet's unit theorem on toric varieties, we give a characterization for the existence of a Zariski decomposition of a toric metrized R-divisor, and we prove a toric arithmetic Fujita approximation theorem.

We put in evidence and correct a mistake in the formula for the determinant 308 in Proskuryakov's linear algebra book. We apply this formula to reprove the well-known fact that the Fubini-Study metric on the complex projective space is Einstein.

We introduce notions of concavity for functions on balanced polyhedral spaces, and we show that concave functions on such spaces satisfy several strong continuity properties.

We present a product formula for the initial parts of the sparse resultant associated to an arbitrary family of supports, generalising a previous result by Sturmfels. This allows to compute the homogeneities and degrees of the sparse resultant, and its evaluation at systems of Laurent polynomials with smaller supports. We obtain a similar product formula for some of the initial parts of the principal minors of the Sylvester-type square matrix associated to a mixed subdivision of a polytope. Applying these results, we prove that the sparse resultant can be computed as the quotient of the determinant of such a square matrix by a certain principal minor, under suitable hypothesis. This generalises the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and Emiris.

We introduce notions of concavity for functions on balanced polyhedral spaces, and we show that concave functions on such spaces satisfy several strong continuity properties.

We present several upper bounds for the height of global residues of rational forms on an affine variety. As a consequence, we deduce upper bounds for the height of the coefficients in the Bergman-Weil trace formula. We also present upper bounds for the degree and the height of the polynomials in the elimination theorem on an affine variety. This is an arithmetic analogue of Jelonek's effective elimination theorem, that plays a crucial role in the proof of our bounds for the height of global residues.

We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generic flex line is unique and has the expected order of contact with the hypersurface.