Multivariate ultrametric root counting

Authors

Publication date 5 January 2012

Full work available at URL https://arxiv.org/abs/1107.1162

tropical varieties Hensel's Lemma root counting Sturm's Theorem ultrametric fields valuation fields

Polynomials (11S05) Number-theoretic algorithms; complexity (11Y16) Polynomials in general fields (irreducibility, etc.) (12E05) Valuation rings (13F30)

Abstract: Let

K

be a field, complete with respect to a discrete non-archimedian valuation and let

k

be the residue field. Consider a system

F

of

n

polynomial equations in

K v a r s

. Our first result is a reformulation of the classical Hensel's Lemma in the language of tropical geometry: we show sufficient conditions (semiregularity at

w

) that guarantee that the first digit map

d e l t a : (K^{a} s t)^{n} o (k^{a} s t)^{n}

is a one to one correspondence between the solutions of

F

in

(K^{a} s t)^{n}

with valuation

w

and the solutions in

(k^{a} s t)^{n}

of the initial form system

{m i n}_{w} (F)

. Using this result, we provide an explicit formula for the number of solutions in

(K^{a} s t)^{n}

of a certain class of systems of polynomial equations (called regular), characterized by having finite tropical prevariety, by having initial forms consisting only of binomials, and by being semiregular at any point in the tropical prevariety. Finally, as a consequence of the root counting formula, we obtain the expected number of roots in

(K^{a} s t)

of univariate polynomials with given support and random coefficients.

Recommendations

Cited in

(3)

This page was built for publication: Multivariate ultrametric root counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3105508)