Some remarks on the planar Kouchnirenko's theorem (Q365139): Difference between revisions

Let \(K\) be an algebraically closed field, \(x=(x_1, \dots, x_n)\) and \(f=\sum a_\alpha X^\alpha\in K[[x]]\). The Newton polyhedron \(\Gamma_+(f)\) is the convex hull of \(\bigcup_{\alpha\in \text{Supp}(f)}(\alpha + \mathbb{R}^n_{\geq 0})\). The union of the compact faces is the Newton diagram \(\Gamma(f)\). Different notions of non-degeneracy are discussed. \(f\) is called Newton non-degenerate if for every face \(\Delta\) of \(\Gamma(f)\) the Jacobian ideal \(J(f_\Delta)\) has no zero in \((K^\ast)^n\), \(f_\Delta\) is the restriction of \(f\) to the face \(\Delta\). This condition (NND) was introduced by Kouchnirenko. \(f\) is called inner Newton non-degenerate (INND) if for all inner faces (i.e. faces not contained in any coordinate hyperplane) and for each zero \(q\) of the Jacobian ideal \(J(f_\Delta)\) the face \(\Delta\) contains no point of \(H_q:=\bigcap_{q_i=0}\{x_i=0\}\). This condition was introduced by Wall. \(f\) is called weakly non-degenerate (WNND) if for all top-dimensional faces \(\Delta\) the Tjurina ideal \(T(f_\Delta)\) has no zero in \((K^\ast)^n\), a notion introduced by Beelen-Pellikaan. The non-degeneracy conditions are specially studied for plane curve singularities, i.e. \(n=2\). A new notion of weighted homogeneous Newton non-degeneracy (WHNND) is introduced: for a maximal face \(\Delta\) write \(f_\Delta\)=monomial\(\cdot\prod_{i=1}^s (a_ix_1^{m_0}+b_ix_2^{n_0})^{r_i}\), gcd \((m_0, n_0)=1\) and \(f=f_d^w + f_{d+1}^w+\cdots\) with \(f_j^w\neq 0\) the \((n_0, m_0)\)-weighted homogeneous decomposition of \(f\). \(f\) is WHNND if for all \(1\)-dimensional faces \(\Delta\) either \(r_i=1\) for \(i=1, \dots, s\) or \((a_ix_1^{m_0}+b_ix_2^{n_0})\) does not divide \(f_{d+1}^w\). It is proved for the Milnor number \(\mu\) and the delta invariant \(\delta\) we have \(\mu=\mu_N\) resp. \(\delta=\delta_N\) if and only if \(f\) is INND resp. WHNND. Here \(\mu_N(f)=\sum(-1)^{n-k!}V_k\) with \(V_k\) being the sum of all \(k\)-dimensional volumes of \(\mathbb{R}^n_{\geq 0}\smallsetminus \Gamma_+(f)\) intersected with the \(k\)-dimensional coordinate planes. \(\delta_N(f)=V_2-\frac{1}{2} V_1+\frac{1}{2}\sum_{i=1}^kl(E_i)\) with \(E_1, \dots, E_n\) being the edges of the Newton diagram and \(l(E_i)\) the lattice length of \(E_i\) (i.e. the number of lattice points on \(E_i\), minus one).