Multivariate ultrametric root counting

zbMATH Open1244.11096arXiv1107.1162MaRDI QIDQ3105508FDOQ3105508

Authors:

Publication date: 5 January 2012

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.

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

Recommendations

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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)