In this paper we use the connections between tropical algebraic geometry and rigid analytic geometry in order to prove two main results. We use tropical methods to prove a theorem about the Newton polygon for convergent power series in several variables: if f_1,...,f_n are n convergent power series in n variables with coefficients in a non-Archimedean field K, we give a formula for the valuations and multiplicities of the common zeros of f_1,...,f_n. We use rigid-analytic methods to show that stable complete intersections of tropical hypersurfaces compute algebraic multiplicities even when the intersection is not tropically proper. These results are naturally formulated and proved using the theory of tropicalizations of rigid-analytic spaces, as introduced by Einsiedler-Kapranov-Lind [EKL06] and Gubler [Gub07b]. We have written this paper to be as readable as possible both to tropical and arithmetic geometers.
Tropical Newton-Puiseux polynomials defined as piece-wise linear functions with rational coefficients at the variables, play a role of tropical algebraic functions. We provide explicit formulas for tropical Newton-Puiseux polynomials being the tropical zeroes of a univariate tropical polynomial with parametric coefficients.
We introduce tropical Newton-Puiseux polynomials admitting rational exponents. A resolution of a tropical hypersurface is defined by means of a tropical Newton-Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied. Tropical Newton-Puiseux rational functions are introduced, and we prove that any tropical polynomial has a resolution in tropical Newton-Puiseux rational functions (this can be treated as a tropical analog of the algebraic closedness of the f…
In this paper, we shall precise the asymptotic behaviour of Newton polygons of $L$ functions associated to character sums, coming from some $n$ variable Laurent polynomials. In order to do this, we use the free sum on convex polytopes. This operation allows the determination of the limit of generic Newton polygons for the sum $Δ=Δ_1\oplus Δ_2$ when we know the limit of generic Newton polygons for each factor. To our knowledge, these are the first results concerning the asymptotic behaviour of Newton polygons for multivariable polynomials.
In this paper we compute the first vertex of a generic Newton polygon in some special cases, and the corresponding Hasse polynomial. This allows us to show the nonexistence of $p$-cyclic coverings of the projective line in characteristic $p$ with supersingular jacobian for some (infinite families of) genera.
Abstractly, tropical hyperelliptic curves are metric graphs that admit a two-to-one harmonic morphism to a tree. They also appear as embedded tropical curves in the plane arising from triangulations of polygons with all interior lattice points collinear. We prove that hyperelliptic graphs can only arise from such polygons. Along the way we will prove certain graphs do not embed tropically in the plane due to entirely combinatorial obstructions, regardless of whether their metric is actually hyperelliptic.
We study the $p$-adic absolute value of the roots of the $L$-functions associated to certain twisted character sums, and additive character sums associated to polynomials $P(x^d)$, when $P$ varies among the space of polynomial of fixed degree $e$ over a finite field of characteristic $p$. For sufficiently large $p$, we determine in both cases generic Newton polygons for these $L$-functions, which is a lower bound for the Newton polygons, and the set of polynomials of degree $e$ for which this generic polygon is attained. In the case of twisted sums, we show that the lower polygon defined in \c…
Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field $k$ of characteristic $p>0$ and $B \subset X(k)$ is a finite, possibly empty, set of points. The Newton polygon of a degree $p$ Galois cover of $X$ with branch locus $B$ depends on the ramification invariants of the cover. When $X$ is ordinary, for every possible set of branch points and ramification invariants, we prove that there exists such a cover whose Newton polygon is minimal or close to minimal.
We study the variation of the convergence Newton polygon of a differential equation along a smooth Berkovich curve over a non-archimedean complete valued field of characteristic 0. Relying on work of the second author who investigated its properties on affinoid domains of the affine line, we prove that its slopes give rise to continuous functions that factorize by the retraction through a locally finite subgraph of the curve.
For a convenient and Newton non-degenerate singularity, the Milnor number is computed from the complement of its Newton diagram in the first quadrant, so-called Kouchnirenko's formula. In this paper, we consider tropical curves dual to subdivisions of this complement for a plane curve singularity and show the existence of a tropical curve satisfying a certain formula, which looks like a well-known formula for a real morsification due to A'Campo and Gusein-Zade.
We present our implementation of an algorithm which functions as a numerical oracle for the Newton polytope of a hypersurface in the Macaulay2 package NumericalNP.m2. We propose a tropical membership test, relying on this algorithm, for higher codimension varieties based on ideas from Hept and Theobald. To showcase this software, we investigate the Newton polytope of both a hypersurface coming from algebraic vision and the Luroth invariant.
Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations.
There are open questions about which Newton polygons and Ekedahl-Oort types occur for Jacobians of smooth curves of genus $g$ in positive characteristic $p$. In this chapter, I survey the current state of knowledge about these questions. I include a new result, joint with Karemaker, which verifies, for each odd prime $p$, that there exist supersingular curves of genus $g$ defined over $\overline{\mathbb F}_p$ for infinitely many new values of $g$. I sketch a proof of Faber and Van der Geer's theorem about the geometry of the $p$-rank stratification of the moduli space of curves. The chapter en…
The isomorphism number (resp. isogeny cutoff) of a p-divisible group D over an algebraically closed field is the least positive integer m such that D[p^m] determines D up to isomorphism (resp. up to isogeny). We show that these invariants are lower semicontinuous in families of p-divisible groups of constant Newton polygon. Thus they allow refinements of Newton polygon strata. In each isogeny class of p-divisible groups, we determine the maximal value of isogeny cutoffs and give an upper bound for isomorphism numbers, which is shown to be optimal in the isoclinic case. In particular, the latte…
We survey results and open questions about the $p$-ranks and Newton polygons of Jacobians of curves in positive characteristic $p$. We prove some geometric results about the $p$-rank stratification of the moduli space of (hyperelliptic) curves. For example, if $0 \leq f \leq g-1$, we prove that every component of the $p$-rank $f+1$ stratum of ${\mathcal M}_g$ contains a component of the $p$-rank $f$ stratum in its closure. We prove that the $p$-rank $f$ stratum of $\overline{\mathcal M}_g$ is connected. For all primes $p$ and all $g \geq 4$, we demonstrate the existence of a Jacobian of a smoo…
We construct a family of compactifications of the affine cone of the Grassmannian variety of 2-planes. We show that both the tropical variety of the Plücker ideal and familiar valuations associated to the construction of Newton-Okounkov bodies for the Grassmannian variety can be recovered from these compactifications. In this way, we unite various perspectives for constructing toric degenerations of flag varieties.
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $Γ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials …
In this paper we consider the Newton polygons of $L$-functions coming from additive exponential sums associated to a polynomial over a finite field $\F_q$. These polygons define a stratification of the space of polynomials of fixed degree. We determine the open stratum: we give the generic Newton polygon for polynomials of degree $d\geq 2$ when the characteristic $p$ is greater than 3d, and the Hasse polynomial, i.e. the equation defining the hypersurface complementary to the open stratum.
We consider p-divisible groups (also called Barsotti-Tate groups) in characteristic p, their deformations, and we draw some conclusions. For such a group we can define its Newton polygon (abbreviated NP). This is invariant under isogeny. For an abelian variety (in characteristic p) the Newton polygon of its p-divisible group is ``symmetric''. In 1963 Manin conjectured that conversely any symmetric Newton polygon is ``algebroid''; i.e., it is the Newton polygon of an abelian variety. This conjecture was shown to be true and was proved with the help of the ``Honda-Serre-Tate theory''. We give an…
R. Crew conjectured that every overconvergent F-isocrystal over k((t)) (k a field of positive characteristic) is quasi-unipotent (equivalently, potentially semistable), and so has ``generic'' and ``special'' Newton polygons. It is easy to construct a Newton polygon for an arbitrary overconvergent F-crystal that coincides with the generic Newton polygon for potentially semistable crystals. We give an analogous construction for the special Newton polygon, by showing that the F-crystal can be trivialized over a large auxiliary ring. In a subsequent preprint, we use this construction to prove the …
The ring of conditions defined by C. De Concini and C. Procesi is an intersection theory for algebraic cycles in a spherical homogeneous space. In the paper we consider the ring of conditions for the group $(C^*)^n$. Up to a big extend this ring can be reduced to the cohomology rings of smooth projective toric varieties. This ring also can be described using tropical geometry. We recall these known results and provide a new description of this ring in terms of convex integral polyhedra.
Let P(x) be a one-variable Laurent polynomial of degree (d_1,d_2) over a finite field of characteristic p. For any fixed positive integer s not divisible by p, we prove that the (normalized) p-adic Newton polygon of the L-functions of exponential sums of P(x^s) has a tight lower bound which we call `Hodge-Stickelberger polygon', depending only on d_1,d_2,s, and (p mod s). This Hodge-Stickelberger polygon is a weighted convolution of a `Hodge polygon' for L-function of exponential sum of P(x) and the `Newton polygon' for L-function of exponential sum of x^s (given by the classical Stickelberger…
Let p be a prime and let F_pbar be the algebraic closure of the finite field of p elements. Let f(x) be any one variable rational function over F_pbar with n poles of orders d_1, ...,d_n. Suppose p is coprime to d_i for every i. We prove that there exists a Hodge polygon, depending only on d_i's, which is a lower bound to the Newton polygon of L functions of exponential sums of f(x). Moreover, we show that these two polygons coincide if p=1 mod d_i for every i=1,...,n. As a corollary, we obtain a tight lower bound of Newton polygon of Artin-Schreier curve.
Let $A$ be an abelian variety of Mumford's type. This paper determines all possible Newton polygons of $A$ in char $p$. This work generalizes a result of R. Noot.
Let K be a local field of characteristic zero, O its ring of integers and F(x) a monic irreducible polynomial with coefficients in O. K. Okutsu attached to F(x) certain primitive divisor polynomials F_1(x),..., F_r(x), that are specially close to F(x) with respect to their degree. In this paper we characterize the Okutsu families [F_1,..., F_r] in terms of certain Newton polygons of higher order, and we derive some applications: closed formulas for certain Okutsu invariants, the discovery of new Okutsu invariants, or the construction of Montes approximations to F(x); these are monic irreducibl…
In this paper we characterize, in two different ways, the Newton polygons which are jacobian Newton polygons of a branch. These characterizations give in particular combinatorial criteria of irreducibility for complex series in two variables and necessary conditions which a complex curve has to satisfy in order to be the discriminant of a complex plane branch.
Let $C$ be a generic complex plane plane curve with a given Newton polygon $P$. We compute the number of its inflection points and bitangents (equivalently, the number of singularities of the projectively dual curve $C^\vee$). We also prove that $C^\vee$ has no singularities other than nodes and cusps for large enough polygons $P$.
The L-function of a non-degenerate twisted Witt extension is proved to be a polynomial. Its Newton polygon is proved to lie above the Hodge polygon of that extension. And the Newton polygons of the Gauss-Heilbronn sums are explicitly determined, generalizing the Stickelberger theorem.
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.
Tropical geometry and the theory of Newton-Okounkov bodies are two methods which produce toric degenerations of an irreducible complex projective variety. Kaveh-Manon showed that the two are related. We give geometric maps between the Newton-Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $X$. Under a technical condition, we produce a natural "algebraic wall-crossing" map on the underlying value semigroups (of the corresponding valuations). In the case of the tropical Grassmannian $Gr(2,m)$, we prove that the algebraic wall-crossing map i…
Adapting the Newton-Puiseux Polygon process to nonlinear q-difference equations of any order and degree, we compute their power series solutions, study the properties of the set of exponents of the solutions and give a bound for their $q-$Gevrey order in terms of the order of the original equation.
The twisted $T$-adic exponential sum associated to $x^{d}+λx$ is studied. If $λ\neq0,$ then an explicit arithmetic polygon is proved to be the Newton polygon of the twisted $C$-function of the T-adic exponential sum. It gives the Newton polygons of the $L$-functions of twisted $p$-power order exponential sums.
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 obta…
The Newton--Okounkov body of a big divisor D on a smooth surface is a numerical invariant in the form of a convex polygon. We study the geometric significance of the shape of Newton--Okounkov polygons of ample divisors, showing that they share several important properties of Newton polygons on toric surfaces. In concrete terms, sides of the polygon are associated to some particular irreducible curves, and their lengths are determined by the intersection numbers of these curves with D. As a consequence of our description we determine the numbers k such that D admits some k-gon as a Newton--Okou…
In this article, we use Robba's method to give an estimate of the Newton polygon for the L function on torus and we can draw the Newton polygon in some special cases.
The twisted $T$-adic exponential sum associated to a polynomial in one variable is studied. An explicit arithmetic polygon is proved to be the generic Newton polygon of the twisted $C$-function of the T-adic exponential sum. It gives the generic Newton polygon of the twisted $L$-functions of $p^m$-power order exponential sums, for all $m$.
The $T$-adic exponential sum associated to a Laurent polynomial in one variable is studied. An explicit arithmetic polygon is proved to be the generic Newton polygon of the $C$-function of the T-adic exponential sum. It gives the generic Newton polygon of $L$-functions of $p$-power order exponential sums.
In this work, we discuss graph like image of curves under moment maps and their relation with the Newton polygon of the curve, which has applications to Lagrangian torus fibration of Calabi-Yau manifolds.
We consider polynomially and rationally parameterized curves, where the polynomials in the parameterization have fixed supports and generic coefficients. We apply sparse (or toric) elimination theory in order to determine the vertex representation of its implicit polygon, i.e. of the implicit equation's Newton polygon. In particular, we consider mixed subdivisions of the input Newton polygons and regular triangulations of point sets defined by Cayley's trick. We distinguish polynomial and rational parameterizations, where the latter may have the same or different denominators; the implicit pol…
Let $g_1, ..., g_k$ be tropical polynomials in $n$ variables with Newton polytopes $P_1, ..., P_k$. We study combinatorial questions on the intersection of the tropical hypersurfaces defined by $g_1, ..., g_k$, such as the $f$-vector, the number of unbounded faces and (in case of a curve) the genus. Our point of departure is Vigeland's work who considered the special case $k=n-1$ and where all Newton polytopes are standard simplices. We generalize these results to arbitrary $k$ and arbitrary Newton polytopes $P_1, ..., P_k$. This provides new formulas for the number of faces and the genus in t…
The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in several variables over complex numbers. The exposition is aimed for a general audience in mathematics and we hope to be accessible to undergraduate as well as advance high school students. The topics discussed belong to relatively new, and closely related branches of algebraic geometry which are usually referred to as tropical geometry and toric geometry. These ar…
The $T$-adic exponential sum of a polynomial in one variable is studied. An explicit arithmetic polygon in terms of the highest two exponents of the polynomial is proved to be a lower bound of the Newton polygon of the $C$-function of the T-adic exponential sum. This bound gives lower bounds for the Newton polygon of the $L$-function of exponential sums of $p$-power order.
In this paper, we determine the bifurcation set of a real polynomial function of two variables for non-degenerate case in the sense of Newton polygons by using a toric compactification. We also count the number of singular phenomena at infinity, called "cleaving" and "vanishing" in the same setting. Finally, we give an upper bound of the number of elements in the bifurcation set in terms of its Newton polygon. To obtain the upper bound, we apply toric modifications to the singularities at infinity successively.
A p-divisible group over a base scheme in characteristic p in general does not admit a slope filtration. Let X be a p-divisible group with constant Newton polygon over a normal noetherian scheme S; we prove that there exists an isogeny from X to Y such that Y admits a slope filtration. In case S is regular this was proved by N. Katz for dim(S) = 1 and by T. Zink for dim(S) > 0. We give an example of a p-divisible group over a non-normal base which does not admit an isogeny to a p-divisible group with a slope filtration.
We give a combinatorial upper bound for the gonality of a curve that is defined by a bivariate Laurent polynomial with given Newton polygon. We conjecture that this bound is generically attained, and provide proofs in a considerable number of special cases. One proof technique uses recent work of M. Baker on linear systems on graphs, by means of which we reduce our conjecture to a purely combinatorial statement.
If (Q,A) is a marked polygon with one interior point, then a general polynomial f in K[x,y] with support A defines an elliptic curve C on the toric surface X_A. If K has a non-archimedean valuation into the real numbers we can tropicalize C to get a tropical curve Trop(C). If the Newton subdivision induced by f is a triangulation, then Trop(C) will be a graph of genus one and we show that the lattice length of the cycle of that graph is the negative of the valuation of the j-invariant of C.
We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials…
The algebraic foundation of tropical polynomial algebra provides the framework for the geometric construction of the supplement and the reversal of tropical varieties, thereby inducing a duality of reduced tropical varieties; for classes of tropical hypersurfaces the corresponding point symmetry is obtained for their Newton polytopes and lattice polytopes.
We study the classical result by Bruijn and Erd\H os regarding the bound on the number of lines determined by a $n$-point configuration in the plane, and in the light of the recently proven Tropical Sylvester-Gallai theorem, come up with a tropical version of the above-mentioned result. In this work, we introduce stable tropical lines, which help in answering questions pertaining to incidence geometry in the tropical plane. Projective duality in the tropical plane helps in translating the question for stable lines to stable intersections that have been previously studied in depth. Invoking dua…
