Showing 1–40 of 40 results for author: Sombra, M

Heights of complete intersections in toric varieties

Authors: Roberto Gualdi, Martín Sombra

Abstract: 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… ▽ More 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. △ Less

Submitted 20 December, 2024; originally announced December 2024.

Comments: 46 pages

MSC Class: Primary 14G40; Secondary 11G50; 14M25; 52A39

Approximation of adelic divisors and equidistribution of small points

Authors: François Ballaÿ, Martín Sombra

Abstract: We study the asymptotic distribution of Galois orbits of algebraic points with small height in a projective variety over a number field. Our main result is a generalization of Yuan's equidistribution theorem that does not require Zhang's lower bound for the essential minimum to be attained. It extends to all projective varieties a theorem of Burgos Gil, Philippon, Rivera-Letelier and the second au… ▽ More We study the asymptotic distribution of Galois orbits of algebraic points with small height in a projective variety over a number field. Our main result is a generalization of Yuan's equidistribution theorem that does not require Zhang's lower bound for the essential minimum to be attained. It extends to all projective varieties a theorem of Burgos Gil, Philippon, Rivera-Letelier and the second author for toric varieties, and implies the semiabelian equidistribution theorem of Kühne. We also generalize previous work of Chambert-Loir and Thuillier to prove new logarithmic equidistribution results. In the last section, we extend our main theorem to the quasi-projective setting recently introduced by Yuan and Zhang. △ Less

Submitted 20 July, 2024; originally announced July 2024.

Comments: 77 pages

Limit heights and special values of the Riemann zeta function

Authors: Roberto Gualdi, Martín Sombra

Abstract: We study the distribution of the height of the intersection between the projective line defined by the linear polynomial $x_{0}+x_{1}+x_{2}$ and its translate by a torsion point. We show that for a strict sequence of torsion points, the corresponding heights converge to a real number that is a rational multiple of a quotient of special values of the Riemann zeta function. We also determine the ran… ▽ More We study the distribution of the height of the intersection between the projective line defined by the linear polynomial $x_{0}+x_{1}+x_{2}$ and its translate by a torsion point. We show that for a strict sequence of torsion points, the corresponding heights converge to a real number that is a rational multiple of a quotient of special values of the Riemann zeta function. We also determine the range of these heights, characterize the extremal cases, and study their limit for sequences of torsion points that are strict in proper algebraic subgroups. In addition, we interpret our main result from the viewpoint of Arakelov geometry, showing that for a strict sequence of torsion points the limit of the corresponding heights coincides with an Arakelov height of the cycle of the projective plane over the integers defined by the same linear polynomial. This is a particular case of a conjectural asymptotic version of the arithmetic Bézout theorem. Using the interplay between arithmetic and convex objects from the Arakelov geometry of toric varieties, we show that this Arakelov height can be expressed as the mean of a piecewise linear function on the amoeba of the projective line, which in turn can be computed as the aforementioned real number. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: 47 pages, 6 figures

MSC Class: Primary 11G50; Secondary 11M06; 14G40

A note on the determinant 308 in Proskuryakov's linear algebra book

Authors: Antonio J. Di Scala, Martin Sombra

Abstract: 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 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. △ Less

Submitted 24 January, 2022; originally announced January 2022.

The Canny-Emiris conjecture for the sparse resultant

Authors: Carlos D'Andrea, Gabriela Jeronimo, Martin Sombra

Abstract: 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 princi… ▽ More 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. △ Less

Submitted 21 September, 2021; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: 52 pages, latex, uses kbordermatrix.sty, revised version accepted for publication at Journal of Foundation of Computational Mathematics

MSC Class: 13P15; 52B20

Convex analysis on polyhedral spaces

Authors: Ana María Botero, José Ignacio Burgos Gil, Martín Sombra

Abstract: 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 introduce notions of concavity for functions on balanced polyhedral spaces, and we show that concave functions on such spaces satisfy several strong continuity properties. △ Less

Submitted 13 September, 2021; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: Revised version, 40 pages, 5 figures. To appear in Mathematische Zeitschrift

The geometry of the flex locus of a hypersurface

Authors: Laurent Busé, Carlos D'Andrea, Martin Sombra, Martin Weimann

Abstract: 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 generi… ▽ More 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. △ Less

Submitted 28 August, 2019; v1 submitted 21 April, 2018; originally announced April 2018.

Comments: 16 pages. This paper has been accepted for publication in the Pacific Journal of Mathematics

MSC Class: 14J70; 13P15

Journal ref: Pacific J. Math. 304 (2020) 419-437

Factorization of bivariate sparse polynomials

Authors: Francesco Amoroso, Martín Sombra

Abstract: We prove a function field analogue of a conjecture of Schinzel on the factorization of univariate polynomials over the rationals. We derive from it a finiteness theorem for the irreducible factorizations of the bivariate Laurent polynomials in families with fixed set of complex coefficients and varying exponents. Roughly speaking, this result shows that the truly bivariate irreducible factors of t… ▽ More We prove a function field analogue of a conjecture of Schinzel on the factorization of univariate polynomials over the rationals. We derive from it a finiteness theorem for the irreducible factorizations of the bivariate Laurent polynomials in families with fixed set of complex coefficients and varying exponents. Roughly speaking, this result shows that the truly bivariate irreducible factors of these sparse Laurent polynomials, are also sparse. The proofs are based on a variant of the toric Bertini's theorem due to Zannier and Fuchs, Mantova and Zannier. △ Less

Submitted 18 December, 2018; v1 submitted 31 October, 2017; originally announced October 2017.

Comments: 16 pages

MSC Class: Primary 13P05; Secondary 12Y05

Bounds for multivariate residues and for the polynomials in the elimination theorem

Authors: Martin Sombra, Alain Yger

Abstract: 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 el… ▽ More 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. △ Less

Submitted 23 March, 2021; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: 41 pages

MSC Class: Primary 32A27; Secondary 11G50; 14Q20

Journal ref: Moscow Mathematical Journal 21 (2021) 129-173

Orbits of Polynomial Dynamical Systems Modulo Primes

Authors: Mei-Chu Chang, Carlos D'Andrea, Alina Ostafe, Igor E. Shparlinski, Martin Sombra

Abstract: We present lower bounds for the orbit length of reduction modulo primes of parametric polynomial dynamical systems defined over the integers, under a suitable hypothesis on its set of preperiodic points over $\mathbb C$. Applying recent results of Baker and DeMarco~(2011) and of Ghioca, Krieger, Nguyen and Ye~(2017), we obtain explicit families of parametric polynomials and initial points such tha… ▽ More We present lower bounds for the orbit length of reduction modulo primes of parametric polynomial dynamical systems defined over the integers, under a suitable hypothesis on its set of preperiodic points over $\mathbb C$. Applying recent results of Baker and DeMarco~(2011) and of Ghioca, Krieger, Nguyen and Ye~(2017), we obtain explicit families of parametric polynomials and initial points such that the reductions modulo primes have long orbits, for all but a finite number of values of the parameters. This generalizes a previous lower bound due to Chang~(2015). As a by-product, we also slighly improve a result of Silverman~(2008) and recover a result of Akbary and Ghioca~(2009) as special extreme cases of our estimates. △ Less

Submitted 7 February, 2017; originally announced February 2017.

An arithmetic Bernštein-Kušnirenko inequality

Authors: César Martínez, Martín Sombra

Abstract: We present an upper bound for the height of the isolated zeros in the torus of a system of Laurent polynomials over an adelic field satisfying the product formula. This upper bound is expressed in terms of the mixed integrals of the local roof functions associated to the chosen height function and to the system of Laurent polynomials. We also show that this bound is close to optimal in some famili… ▽ More We present an upper bound for the height of the isolated zeros in the torus of a system of Laurent polynomials over an adelic field satisfying the product formula. This upper bound is expressed in terms of the mixed integrals of the local roof functions associated to the chosen height function and to the system of Laurent polynomials. We also show that this bound is close to optimal in some families of examples. This result is an arithmetic analogue of the classical Bernštein-Kušnirenko theorem. Its proof is based on arithmetic intersection theory on toric varieties. △ Less

Submitted 14 June, 2018; v1 submitted 2 September, 2016; originally announced September 2016.

Comments: Revised version to appear in Mathematische Zeitschrift, 34 pages

MSC Class: Primary 14G40; Secondary 14C17; 14M25; 52A41

Quantitative equidistribution of Galois orbits of small points in the N-dimensional torus

Authors: Carlos D'Andrea, Marta Narváez-Clauss, Martín Sombra

Abstract: We present a quantitative version of Bilu's theorem on the limit distribution of Galois orbits of sequences of points of small height in the $N$-dimensional algebraic torus. Our result gives, for a given point, an explicit bound for the discrepancy between its Galois orbit and the uniform distribution on the compact subtorus, in terms of the height and the generalized degree of the point. We present a quantitative version of Bilu's theorem on the limit distribution of Galois orbits of sequences of points of small height in the $N$-dimensional algebraic torus. Our result gives, for a given point, an explicit bound for the discrepancy between its Galois orbit and the uniform distribution on the compact subtorus, in terms of the height and the generalized degree of the point. △ Less

Submitted 24 May, 2017; v1 submitted 14 June, 2016; originally announced June 2016.

Comments: Revised version accepted for publication in Algebra & Number Theory, 23 pages, amslatex

MSC Class: 11G50 (Primary); 11K38; 43A25 (Secondary)

Journal ref: Alg. Number Th. 11 (2017) 1627-1655

The distribution of Galois orbits of points of small height in toric varieties

Authors: José Ignacio Burgos Gil, Patrice Philippon, Juan Rivera-Letelier, Martín Sombra

Abstract: We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, whe… ▽ More We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, when this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of the ambient toric variety. We also study the $v$-adic modulus distribution of Galois orbits of small points. We characterize, in terms of the given toric semipositive metrized divisor, the cluster measures of $v$-adic valuations of Galois orbits of generic small sequences. The Bogomolov property now says that a subvariety of the principal orbit of a proper toric variety that has the same essential minimum than the toric variety with respect to a monocritical toric metrized divisor, must be a translate of a subtorus. We also give several examples, including a non-monocritical divisor for which the Bogomolov property does not hold. △ Less

Submitted 3 September, 2015; originally announced September 2015.

Comments: 51 pages, 3 figures

MSC Class: Primary 11G50; Secondary 11G35; 14G40; 14M25; 52A41

Reductions Modulo Primes of Systems of Polynomial Equations and Algebraic Dynamical Systems

Authors: Carlos D'Andrea, Alina Ostafe, Igor E. Shparlinski, Martin Sombra

Abstract: We give bounds for the number and the size of the primes $p$ such that a reduction modulo $p$ of a system of multivariate polynomials over the integers with a finite number $T$ of complex zeros, does not have exactly $T$ zeros over the algebraic closure of the field with $p$ elements. We apply these bounds to study the periodic points and the intersection of orbits of algebraic dynamical systems… ▽ More We give bounds for the number and the size of the primes $p$ such that a reduction modulo $p$ of a system of multivariate polynomials over the integers with a finite number $T$ of complex zeros, does not have exactly $T$ zeros over the algebraic closure of the field with $p$ elements. We apply these bounds to study the periodic points and the intersection of orbits of algebraic dynamical systems over finite fields. In particular, we establish some links between these problems and the uniform dynamical Mordell-Lang conjecture. △ Less

Submitted 27 April, 2017; v1 submitted 21 May, 2015; originally announced May 2015.

Unlikely intersections and multiple roots of sparse polynomials

Authors: F. Amoroso, M. Sombra, U. Zannier

Abstract: We present a structure theorem for the multiple non-cyclotomic irreducible factors appearing in the family of all univariate polynomials with a given set of coefficients and varying exponents. Roughly speaking, this result shows that the multiple non-cyclotomic irreducible factors of a sparse polynomial, are also sparse. To prove this, we give a variant of a theorem of Bombieri and Zannier on th… ▽ More We present a structure theorem for the multiple non-cyclotomic irreducible factors appearing in the family of all univariate polynomials with a given set of coefficients and varying exponents. Roughly speaking, this result shows that the multiple non-cyclotomic irreducible factors of a sparse polynomial, are also sparse. To prove this, we give a variant of a theorem of Bombieri and Zannier on the intersection of a fixed subvariety of codimension 2 of the multiplicative group with all the torsion curves, with bounds having an explicit dependence on the height of the subvariety. We also use this latter result to give some evidence on a conjecture of Bolognesi and Pirola. △ Less

Submitted 3 September, 2015; v1 submitted 27 December, 2014; originally announced December 2014.

Comments: to appear in Mathematische Zeitschrift, 17 pages

MSC Class: Primary 11C08; Secondary 11G50

Height of varieties over finitely generated fields

Authors: Jose Ignacio Burgos Gil, Patrice Philippon, Martin Sombra

Abstract: We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and extend our combinatorial formulae for the height to compute some arithmetic intersection numbers of non toric arithmetic varieties over the rational numbers. We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and extend our combinatorial formulae for the height to compute some arithmetic intersection numbers of non toric arithmetic varieties over the rational numbers. △ Less

Submitted 3 December, 2014; v1 submitted 14 August, 2014; originally announced August 2014.

Comments: Revised version, 16 pages. To appear in Kyoto Journal of Mathematics

MSC Class: Primary 14G40; Secondary 11G50; 14M25

Journal ref: Kyoto J. Math. 56, no. 1 (2016), 13-32

Polynomial partitioning on varieties of codimension two and point-hypersurface incidences in four dimensions

Authors: Saugata Basu, Martin Sombra

Abstract: We present a polynomial partitioning theorem for finite sets of points in the real locus of an irreducible complex algebraic variety of codimension at most two. This result generalizes the polynomial partitioning theorem on the Euclidean space of Guth and Katz, and its extension to hypersurfaces by Zahl and by Kaplan, Matoušek, Sharir and Safernová. We also present a bound for the number of inci… ▽ More We present a polynomial partitioning theorem for finite sets of points in the real locus of an irreducible complex algebraic variety of codimension at most two. This result generalizes the polynomial partitioning theorem on the Euclidean space of Guth and Katz, and its extension to hypersurfaces by Zahl and by Kaplan, Matoušek, Sharir and Safernová. We also present a bound for the number of incidences between points and hypersurfaces in the four-dimensional Euclidean space. It is an application of our partitioning theorem together with the refined bounds for the number of connected components of a semi-algebraic set by Barone and Basu. △ Less

Submitted 20 September, 2015; v1 submitted 9 June, 2014; originally announced June 2014.

Comments: 23 pages. Some explanations added

MSC Class: Primary 52C10; Secondary 13D40; 14P25 ACM Class: G.2.1

Successive minima of toric height functions

Authors: Jose Ignacio Burgos Gil, Patrice Philippon, Martin Sombra

Abstract: Given a toric metrized R-divisor on a toric variety over a global field, we give a formula for the essential minimum of the associated height function. Under suitable positivity conditions, we also give formulae for all the successive minima. We apply these results to the study, in the toric setting, of the relation between the successive minima and other arithmetic invariants like the height and… ▽ More Given a toric metrized R-divisor on a toric variety over a global field, we give a formula for the essential minimum of the associated height function. Under suitable positivity conditions, we also give formulae for all the successive minima. We apply these results to the study, in the toric setting, of the relation between the successive minima and other arithmetic invariants like the height and the arithmetic volume. We also apply our formulae to compute the successive minima for several families of examples, including weighted projective spaces, toric bundles and translates of subtori. △ Less

Submitted 5 September, 2015; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: To appear in Annales de l'Institut Fourier (Grenoble), 40 pages, 5 figures

MSC Class: Primary 14G40; Secondary 14M25; 52A41

A Poisson formula for the sparse resultant

Authors: Carlos D'Andrea, Martin Sombra

Abstract: We present a Poisson formula for sparse resultants and a formula for the product of the roots of a family of Laurent polynomials, which are valid for arbitrary families of supports. To obtain these formulae, we show that the sparse resultant associated to a family of supports can be identified with the resultant of a suitable multiprojective toric cycle in the sense of Remond. This connection allo… ▽ More We present a Poisson formula for sparse resultants and a formula for the product of the roots of a family of Laurent polynomials, which are valid for arbitrary families of supports. To obtain these formulae, we show that the sparse resultant associated to a family of supports can be identified with the resultant of a suitable multiprojective toric cycle in the sense of Remond. This connection allows to study sparse resultants using multiprojective elimination theory and intersection theory of toric varieties. △ Less

Submitted 17 December, 2014; v1 submitted 24 October, 2013; originally announced October 2013.

Comments: 35 pages, latex file, revised version accepted for publication in the Proceedings of the London Mathematical Society

MSC Class: 14M25; 13P15; 52B20

Overdetermined systems of sparse polynomial equations

Authors: Francesco Amoroso, Louis Leroux, Martin Sombra

Abstract: We show that, for a system of univariate polynomials given in sparse encoding, we can compute a single polynomial defining the same zero set, in time quasi-linear in the logarithm of the degree. In particular, it is possible to determine whether such a system of polynomials does have a zero in time quasi-linear in the logarithm of the degree. The underlying algorithm relies on a result of Bombieri… ▽ More We show that, for a system of univariate polynomials given in sparse encoding, we can compute a single polynomial defining the same zero set, in time quasi-linear in the logarithm of the degree. In particular, it is possible to determine whether such a system of polynomials does have a zero in time quasi-linear in the logarithm of the degree. The underlying algorithm relies on a result of Bombieri and Zannier on multiplicatively dependent points in subvarieties of an algebraic torus. We also present the following conditional partial extension to the higher dimensional setting. Assume that the effective Zilber conjecture holds. Then, for a system of multivariate polynomials given in sparse encoding, we can compute a finite collection of complete intersections outside hypersurfaces that defines the same zero set, in time quasi-linear in the logarithm of the degree. △ Less

Submitted 13 April, 2014; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: 29 pages. To appear in Foundations of Computational Mathematics

MSC Class: Primary 11Y16; Secondary 12Y05; 68W30

Arithmetic positivity on toric varieties

Authors: Jose Ignacio Burgos Gil, Atsushi Moriwaki, Patrice Philippon, Martin Sombra

Abstract: 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 appli… ▽ More 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. △ Less

Submitted 20 July, 2022; v1 submitted 29 October, 2012; originally announced October 2012.

Comments: 54 pages, published in Journal of Algebraic Geometry 25 (2016) 201-272. The present version corrects a mistake in the published version of Corollary 6.2

MSC Class: 14M25 (Primary) 14G40; 52A41 (Secondary)

Quantitative equidistribution for the solutions of systems of sparse polynomial equations

Authors: Carlos D'Andrea, André Galligo, Martín Sombra

Abstract: For a system of Laurent polynomials f_1,..., f_n \in C[x_1^{\pm1},..., x_n^{\pm1}] whose coefficients are not too big with respect to its directional resultants, we show that the solutions in the algebraic n-th dimensional complex torus of the system of equations f_1=\dots=f_n=0, are approximately equidistributed near the unit polycircle. This generalizes to the multivariate case a classical resul… ▽ More For a system of Laurent polynomials f_1,..., f_n \in C[x_1^{\pm1},..., x_n^{\pm1}] whose coefficients are not too big with respect to its directional resultants, we show that the solutions in the algebraic n-th dimensional complex torus of the system of equations f_1=\dots=f_n=0, are approximately equidistributed near the unit polycircle. This generalizes to the multivariate case a classical result due to Erdos and Turan on the distribution of the arguments of the roots of a univariate polynomial. We apply this result to bound the number of real roots of a system of Laurent polynomials, and to study the asymptotic distribution of the roots of systems of Laurent polynomials with integer coefficients, and of random systems of Laurent polynomials with complex coefficients. △ Less

Submitted 6 August, 2014; v1 submitted 8 March, 2012; originally announced March 2012.

Comments: 29 pages, 2 figures. Revised version, accepted for publication in the American Journal of Mathematics

MSC Class: 30C15; 11K38; 13P15; 42B05

Arithmetic geometry of toric varieties. Metrics, measures and heights

Authors: José Ignacio Burgos Gil, Patrice Philippon, Martín Sombra

Abstract: 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 height… ▽ More 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. △ Less

Submitted 25 April, 2014; v1 submitted 27 May, 2011; originally announced May 2011.

Comments: Revised version, 230 pages, 3 figures

MSC Class: 14M25 (Primary) 14G40; 52A41 (Secondary)

Journal ref: Asterisque vol. 360 (2014)

Heights of varieties in multiprojective spaces and arithmetic Nullstellensatze

Authors: Carlos D'Andrea, Teresa Krick, Martin Sombra

Abstract: We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A k… ▽ More We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A key role is played by the notion of canonical mixed height of a multiprojective variety. We study this notion from the point of view of resultant theory and establish some of its basic properties, including its behavior with respect to intersections, projections and products. We obtain analogous results for the function field case, including a parametric Nullstellensatz. △ Less

Submitted 20 October, 2012; v1 submitted 23 March, 2011; originally announced March 2011.

Comments: 73 pages, 2 figures. To appear in Annales Scientifiques de l'ENS

MSC Class: 11G50; 14Q20; 13P15

When do the recession cones of a polyhedral complex form a fan?

Authors: José Ignacio Burgos Gil, Martín Sombra

Abstract: We study the problem of when the collection of the recession cones of a polyhedral complex forms also a complex. We exhibit an example showing that this is no always the case. We also show that if the support of the given polyhedral complex satisfies a Minkowski-Weyl type condition, then the answer is positive. As a consequence, we obtain a classification theorem for proper toric schemes over a di… ▽ More We study the problem of when the collection of the recession cones of a polyhedral complex forms also a complex. We exhibit an example showing that this is no always the case. We also show that if the support of the given polyhedral complex satisfies a Minkowski-Weyl type condition, then the answer is positive. As a consequence, we obtain a classification theorem for proper toric schemes over a discrete valuation ring in terms of complete strongly convex rational polyhedral complexes. △ Less

Submitted 8 December, 2010; v1 submitted 16 August, 2010; originally announced August 2010.

Comments: To appear in Discrete and Computational Geometry, 8 pp

MSC Class: Primary 52B99; Secondary 52B20; 14L32

The Newton polygon of a rational plane curve

Authors: Carlos D'Andrea, Martin Sombra

Abstract: The Newton polygon of the implicit equation of a rational plane curve is explicitly determined by the multiplicities of any of its parametrizations. We give an intersection-theoretical proof of this fact based on a refinement of the Kushnirenko-Bernstein theorem. We apply this result to the determination of the Newton polygon of a curve parameterized by generic Laurent polynomials or by generic… ▽ More The Newton polygon of the implicit equation of a rational plane curve is explicitly determined by the multiplicities of any of its parametrizations. We give an intersection-theoretical proof of this fact based on a refinement of the Kushnirenko-Bernstein theorem. We apply this result to the determination of the Newton polygon of a curve parameterized by generic Laurent polynomials or by generic rational functions, with explicit genericity conditions. We also show that the variety of rational curves with given Newton polygon is unirational and we compute its dimension. As a consequence, we obtain that any convex lattice polygon with positive area is the Newton polygon of a rational plane curve. △ Less

Submitted 24 February, 2010; v1 submitted 4 October, 2007; originally announced October 2007.

Comments: To appear in Mathematics of Computer Science, 26 pp.

MSC Class: 14H50 (Primary) 14Q05; 14C17; 52B20 (Secondary)

A refinement of the Kushnirenko-Bernstein estimate

Authors: Patrice Philippon, Martin Sombra

Abstract: 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… ▽ More 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. △ Less

Submitted 5 December, 2007; v1 submitted 20 September, 2007; originally announced September 2007.

Comments: 45 pp., 6 figures

MSC Class: 14C17 (Primary); 14M25; 52A3 (Secondary)

Essential minimum and obstruction degrees of translates of subtori

Authors: Patrice Philippon, Martin Sombra

Abstract: We study the obstruction degrees of translates of sub-tori of multiplicative tori and we show how they are connected to lower bounds for the essential minimum of these varieties. In particular, we combine our computations with results of A. Schinzel and of F. Amoroso - R. Dvornicich, that we thus extend to translates of sub-tori defined over CM fields. This shows that the essential minimum of th… ▽ More We study the obstruction degrees of translates of sub-tori of multiplicative tori and we show how they are connected to lower bounds for the essential minimum of these varieties. In particular, we combine our computations with results of A. Schinzel and of F. Amoroso - R. Dvornicich, that we thus extend to translates of sub-tori defined over CM fields. This shows that the essential minimum of these varieties have a geometric behavior similar to that of varieties which are not translates of sub-tori. We also refine and extend to translates of sub-tori a lower bound obtained by D. Bertrand in connexion with relations of multiplicative dependence of algebraic points. Finaly, we prove that in the functional case the conjectural lower bound for the essential minimum of sub-varieties of multiplicative tori is true and its proof is elementary. △ Less

Submitted 12 October, 2006; originally announced October 2006.

Comments: 19 pages, in French

MSC Class: Primary: 11G50; Secondary: 14G40; 14M25

Factoring bivariate sparse (lacunary) polynomials

Authors: Martin Avendano, Teresa Krick, Martin Sombra

Abstract: We present a deterministic algorithm for computing all irreducible factors of degree $\le d$ of a given bivariate polynomial $f\in K[x,y]$ over an algebraic number field $K$ and their multiplicities, whose running time is polynomial in the bit length of the sparse encoding of the input and in $d$. Moreover, we show that the factors over $\Qbarra$ of degree $\le d$ which are not binomials can als… ▽ More We present a deterministic algorithm for computing all irreducible factors of degree $\le d$ of a given bivariate polynomial $f\in K[x,y]$ over an algebraic number field $K$ and their multiplicities, whose running time is polynomial in the bit length of the sparse encoding of the input and in $d$. Moreover, we show that the factors over $\Qbarra$ of degree $\le d$ which are not binomials can also be computed in time polynomial in the sparse length of the input and in $d$. △ Less

Submitted 7 February, 2006; originally announced February 2006.

Comments: 20 pp, Latex 2e. We learned on January 23th, 2006, that a multivariate version of Theorem 1 had independently been achieved by Erich Kaltofen and Pascal Koiran

MSC Class: Primary 11Y05; Secondary 11Y16; 11G50

Diophantine geometry and toric varieties

Authors: Patrice Philippon, Martin Sombra

Abstract: We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a Bézout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima. We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a Bézout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima. △ Less

Submitted 18 January, 2005; originally announced January 2005.

Comments: Submitted to the C. R. Acad. Sci. Paris; in French

Quelques aspects diophantiens des varietes toriques projectives

Authors: Patrice Philippon, Martin Sombra

Abstract: Some diophantine aspects of projective toric varieties: We present several faces of projective toric varieties, of interest from the point of view of diophantine geometry. We make explicit the theory on a number of meaningful examples and we also prove a Bezout type theorem for Chow weight of projective varieties. Some diophantine aspects of projective toric varieties: We present several faces of projective toric varieties, of interest from the point of view of diophantine geometry. We make explicit the theory on a number of meaningful examples and we also prove a Bezout type theorem for Chow weight of projective varieties. △ Less

Submitted 29 May, 2006; v1 submitted 4 November, 2004; originally announced November 2004.

Comments: Major revisions since last uploaded version. To appear in H.P. Schlickewei, K. Schmidt and R. Tichy (eds.), volume in the honor of Wolfgang Schmidt, 40 pp., in French

MSC Class: Primary: 11G50; Secondary: 14G40; 14M25

Normalized height of projective toric varieties

Authors: Patrice Philippon, Martin Sombra

Abstract: We present an explicit expression for the normalized height of a projective toric variety. This expression decomposes as a sum of local contributions, each term being the integral of a certain function, concave and piecewise linear-affine. More generally, we obtain an explicit expression for the normalized multiheight of a torus with respect to several monomial embeddings. The set of functions… ▽ More We present an explicit expression for the normalized height of a projective toric variety. This expression decomposes as a sum of local contributions, each term being the integral of a certain function, concave and piecewise linear-affine. More generally, we obtain an explicit expression for the normalized multiheight of a torus with respect to several monomial embeddings. The set of functions introduced behaves as an arithmetic analog of the polytope classically associated with the torus action. Besides the formulae for the height and multiheight, we show that this object behaves in a natural way with respect to several standard constructions: decomposition into orbits, joins, Segre products and Veronese embeddings. The proof follows an indirect way: instead of the definition of the normalized height, we rely on the computation of an appropriate arithmetic Hilbert function. △ Less

Submitted 23 June, 2004; originally announced June 2004.

Comments: 38 pages, 5 figures

MSC Class: Primary: 11G50; Secondary: 14G40; 14M25

The Cayley-Menger determinant is irreducible for $n\geq 3$

Authors: Carlos D'Andrea, Martin Sombra

Abstract: We prove that the Cayley-Menger determinant of an $n$-dimensional simplex is an absolutely irreducible polynomial for $n\geq3.$ We also study the irreducibility of polynomials associated to related geometric constructions. We prove that the Cayley-Menger determinant of an $n$-dimensional simplex is an absolutely irreducible polynomial for $n\geq3.$ We also study the irreducibility of polynomials associated to related geometric constructions. △ Less

Submitted 17 June, 2004; originally announced June 2004.

Comments: 7 pages, 4 figures

MSC Class: Primary 12E05; Secondary 52A38

The height of the mixed sparse resultant

Authors: Martin Sombra

Abstract: We present an upper bound for the height of the mixed sparse resultant, defined as the logarithm of the maximum modulus of its coefficients. We obtain a similar estimate for its Mahler measure. We present an upper bound for the height of the mixed sparse resultant, defined as the logarithm of the maximum modulus of its coefficients. We obtain a similar estimate for its Mahler measure. △ Less

Submitted 28 November, 2002; originally announced November 2002.

Comments: 7 pages, Latex2e

MSC Class: Primary 11G50; Secondary 13P99

The computational complexity of the Chow form

Authors: Gabriela Jeronimo, Teresa Krick, Juan Sabia, Martin Sombra

Abstract: We present a bounded probability algorithm for the computation of the Chow forms of the equidimensional components of an algebraic variety. Its complexity is polynomial in the length and in the geometric degree of the input equation system defining the variety. In particular, it provides an alternative algorithm for the equidimensional decomposition of a variety. As an application we obtain an… ▽ More We present a bounded probability algorithm for the computation of the Chow forms of the equidimensional components of an algebraic variety. Its complexity is polynomial in the length and in the geometric degree of the input equation system defining the variety. In particular, it provides an alternative algorithm for the equidimensional decomposition of a variety. As an application we obtain an algorithm for the computation of a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As a further application, we derive an algorithm for the computation of the (unique) solution of a generic over-determined equation system. △ Less

Submitted 1 October, 2002; originally announced October 2002.

Comments: 60 pages, Latex2e

MSC Class: 14Q15; 68W30

Successive minima of projective toric varieties

Authors: Martin Sombra

Abstract: We compute the successive minima of the projective toric variety $X_\cA$ associated to a finite set $ \cA \subset \Z^n$. As a consequence of this computation and of the results of S.-W. Zhang on the distribution of small points, we derive estimates for the height of the subvariety $X_\cA$ and of the $\cA$-resultant. These estimates allow us to obtain an arithmetic analogue of the Bezout-Kushnir… ▽ More We compute the successive minima of the projective toric variety $X_\cA$ associated to a finite set $ \cA \subset \Z^n$. As a consequence of this computation and of the results of S.-W. Zhang on the distribution of small points, we derive estimates for the height of the subvariety $X_\cA$ and of the $\cA$-resultant. These estimates allow us to obtain an arithmetic analogue of the Bezout-Kushnirenko's theorem concerning the number of solutions of a system of polynomial equations. As an application of this result, we improve the known estimates for the height of the polynomials in the sparse Nullstellensatz. △ Less

Submitted 2 June, 2004; v1 submitted 16 September, 2002; originally announced September 2002.

Comments: Revised version. In French, 25 pp

MSC Class: Primary: 11G50; Secondary: 14G40; 14M25

Intrinsic palindromic numbers

Authors: Antonio J. Di Scala, Martin Sombra

Abstract: We introduce a notion of palindromicity of a natural number which is independent of the base. We study the existence and density of palindromic and multiple palindromic numbers, and we raise several related questions. We introduce a notion of palindromicity of a natural number which is independent of the base. We study the existence and density of palindromic and multiple palindromic numbers, and we raise several related questions. △ Less

Submitted 3 May, 2001; originally announced May 2001.

Comments: 6 pages, Latex2e

Sharp estimates for the arithmetic Nullstellensatz

Authors: Teresa Krick, Luis Miguel Pardo, Martin Sombra

Abstract: We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over $\Z$. The result improves previous work of Philippon, Berenstein-Yger and Krick-Pardo. We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application, we derive an effective arithmetic Nullstel… ▽ More We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over $\Z$. The result improves previous work of Philippon, Berenstein-Yger and Krick-Pardo. We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application, we derive an effective arithmetic Nullstellensatz for sparse polynomial systems. The proof of these results relies heavily on the notion of local height of an affine variety defined over a number field. We introduce this notion and study its basic properties. △ Less

Submitted 13 November, 1999; originally announced November 1999.

Comments: 55 pages, LaTeX2e

MSC Class: Primary: 11G35; Secondary: 13P10

A sparse effective Nullstellensatz

Authors: Mart'in Sombra

Abstract: We present bounds for the sparseness and for the degrees of the polynomials in the Nullstellensatz. Our bounds depend mainly on the unmixed volume of the input polynomial system. The degree bounds can substantially improve the known ones when this polynomial system is sparse, and they are, in the worst case, simply exponential in terms of the number of variables and the maximum degree of the inp… ▽ More We present bounds for the sparseness and for the degrees of the polynomials in the Nullstellensatz. Our bounds depend mainly on the unmixed volume of the input polynomial system. The degree bounds can substantially improve the known ones when this polynomial system is sparse, and they are, in the worst case, simply exponential in terms of the number of variables and the maximum degree of the input polynomials. △ Less

Submitted 1 October, 1997; originally announced October 1997.

Comments: 24 pages, Latex2e, available at http://www.dm.uba.ar/tera/ and http://hilbert.matesco.unican.es/tera/

MSC Class: 13P10

Bounds for the Hilbert function of polynomial ideals and for the degrees in the Nullstellensatz

Authors: Martin Sombra

Abstract: We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the system of equations}. The obtained bound is polynomial in these parameters. It is essentially optimal in the general case, and it substantially improves the e… ▽ More We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the system of equations}. The obtained bound is polynomial in these parameters. It is essentially optimal in the general case, and it substantially improves the existent bounds in some special cases. The proof of this result is combinatorial, and it relies on global estimations for the Hilbert function of homogeneous polynomial ideals. In this direction, we obtain a lower bound for the Hilbert function of an arbitrary homogeneous polynomial ideal, and an upper bound for the Hilbert function of a generic hypersurface section of an unmixed radical polynomial ideal. △ Less

Submitted 4 October, 1996; originally announced October 1996.

Comments: 37 pages, Latex 2e