Nondegenerate ideals in formal power series rings (Q1880816)

Let \(A\) be the formal power series ring \(\mathbb{C}[[x_1,\dots, x_n]]\) over \(\mathbb{C}\). For \(k=(k_1,\dots, k_n)\in \mathbb{Z}^n_+\), put \(x^k= x^{k_1}_1\cdots x^{k_n}_n\) and an element \(g= \sum a_{k_1,\dots, k_n} x^{k_1}_1\cdots x^{k_n}_n\) of \(A\) is written as \(g=\sum a_k x^k\). For an element \(g= \sum a_k x^k\) and an ideal \(I\) of \(A\), put \(\text{supp}(g)= \{k\in \mathbb{Z}^n_+\mid a_k\neq 0\}\) and \(\text{supp}(I)= \bigcup\{\text{supp}(g)\mid g\in I\}\). Then the Newton polyhedron \(\Gamma_+(I)\) of \(I\) is the convex hull of the set \(\{k+ v\mid k\in\text{supp}(I)\), \(v\in\mathbb{R}^n_+\}\). For a compact face \(\Delta\) of \(\Gamma_+(I)\), \(C(\Delta)\) denotes the cone obtained by half lines joining the origin and the points of \(\Delta\) and \(A_\Delta\) is the subring \(\{g\in A\mid\text{supp}(g)\subset C(\Delta)\}\) of \(A\), which is a complete local ring of dimension \(\dim\Delta+ 1\). For an element \(g=\sum a_kx^k\) of \(A\), put \(g_\Delta= \sum_{k\in\text{supp}(g)\cap \Delta} a_k x^k\). Then \(I\) is said to be (Newton) nondegenerate if for some (or any) system of generators \(g_1,\dots, g_s\) of \(I\) and any compact face \(\Delta\) of \(\Gamma_+(I)\), the ideal of \(A_\Delta\) generated by \((g_1)_\Delta,\dots, (g_s)_\Delta\) has finite colength. Any monomial ideal is nondegenerate. The main result of this paper states that for an ideal \(I\) of finite colength of \(A\) the following conditions are equivalent: (1) \(I\) is nondegenerate, (2) \(e(I)= n!v(I)\), where \(v(I)\) is the \(n\)-dimensional volume of \(\mathbb{R}^n_+- \Gamma_+(I)\), (3) the integral closure \(\overline I\) of \(I\) is generated by monomials (more precisely, \(\overline I\) is generated by \(\{x^k\mid k\in\Gamma_+(I)\}\)), (4) \(\Gamma_+(I)= \Gamma_+(K_I)\), where \(K_I\) is the ideal of \(A\) generated by the monomials \(x^k\) in \(\overline I\). Then using these results, the author shows the following fact: If \(I= (x^{k_1},\dots, x^{k_s})\) is a monomial ideal of finite colength of \(A\) and we put \(f= x^{k_1}+\cdots+ x^{k_s}\), then \(J= (x_1\partial f/\partial x_1,\dots, x_n\partial f/\partial x_n)\) is a minimal reduction of \(I\).