Computing the Newton polytope of the discriminant from the fiber polytope. (Q2759232)

The author studies the Newton polytope \(\mathcal P(a_0a_n\Delta _Yf)\) of the discriminant \(\Delta _Yf\) of a polynomial \(F=\sum_{i=0}^n a_i(\underline{X})Y^i\in \mathbb{C}[X_1, \dots, X_d][Y]\).NEWLINEThe roots \(\phi\) such that \(F(x_1,\dots,x_N,\phi)=0\) can be constructed as fractional power series expansions \(\phi(x_1,\dots, x_N)\) by a method generalizing the classical Newton-Puiseux theorem [cf. \textit{J. McDonald}, NEWLINEJ. Pure Appl. Algebra 104, No. 2, 213--233 (1995; Zbl 0842.52009)]. The author proves that the exponents of \(\phi\) lie in the maximal cones of a fan compatible with the Newton polyhedron of \(\Delta _YF\) and the fiber polyhedron \({\mathcal Q}(F)\) [the latter was introduced by \textit{L. I. Billera} and \textit{B. Sturmfels}, Ann. Math., II. Ser. 135, 527--549 (1992; Zbl 0762.52003)]. More precisely, for \(a_0a_n\neq 0\), \(\mathcal P(a_0a_n\Delta _Yf)\subseteq {\mathcal Q}(F)\) holds with equality in the generic gase. Explicit applications to the computation of the Newton polyhedron of the discriminant are given.NEWLINENEWLINEFor the entire collection see [Zbl 0974.00043].