6
$\begingroup$

The field of Puiseux series over an algebraically closed field of characteristic zero is also an algebraically closed field, and furthermore it has a valuation so that our Puiseux series can be tropicalized.

Is the tropicalization of the solutions of a monic polynomial equation over them the same as the solution of the tropicalization of the polynomial equation?

I.e. informally, can we get the degree of the largest pole of the series that solves the equation only from the information of the largest poles in the coefficients of the polynomial?

$\endgroup$
2
  • 1
    $\begingroup$ You are considering a monic polynomial equation in one variable? $\endgroup$
    – Will Sawin
    Commented Jul 17, 2021 at 17:37
  • $\begingroup$ @WillSawin Yes. $\endgroup$
    – saolof
    Commented Jul 18, 2021 at 14:19

1 Answer 1

6
$\begingroup$

Yes.

This is normally expressed in terms of the Newton polygon of the polynomial. Specifically, given an arbitrary field $K$ with a valuation, and a polynomial $f(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0$, the Newton polygon of $f$ is the lower side of the convex hull of the set of points $(i, v(a_i))$.

If $K$ is algebraically closed, then the valuations of the $n$ roots of $f$ are exactly minus the slopes of the Newton polygon over the $n$ intervals $[0,1], [1,2], \dots, [n-1,n]$.

The most straightforward way I know to check this is to first, completely factor $f$ into linear factors, i.e. $a_n \prod_{i=1}^n (x- \alpha_i)$, with the $\alpha_i$ in order of increasing valuation, write $a_i$ in terms of the $\alpha_j$, and then check that $$v(a_{n-k}) \geq v(a_0) + \sum_{i=1}^k v(\alpha_i)$$ with equality if $v(\alpha_i) < v(\alpha_j)$, so that the Newton polygon is contained in the polygon with slopes $- v(\alpha_1),\dots, -v(\alpha_n)$, and contains the corners of that polygon, hence is equal to that polygon. This inequality and equality can be checked using the definition of valuation.

Similarly, one can check that the tropicalization of a polynomial equation is a piecewise linear function with corners at minus the slopes of the Newton polygon (in fact, it is dual to the Newton polygon in a certain sense, so the edges of the tropicalization correspond to vertices of the Newton polygon and vice versa), and so the solutions of the tropicalization are also minus the slopes of the Newton polygon.

$\endgroup$
2
  • $\begingroup$ Followup question: is this a special case of Kapranov's theorem or is that a misapplication of it? $\endgroup$
    – saolof
    Commented Jul 23, 2021 at 11:21
  • $\begingroup$ @saolof I'm not an expert, but I believe this is a special case. $\endgroup$
    – Will Sawin
    Commented Jul 23, 2021 at 12:41

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .