No label defined (Q4234789)

Let \(I\) be an ideal in the ring of complex holomorphic germs or real analytic germs, let \(\overline I\) be its integral closure. The variables are denoted by \(x=(x_1,\dots,x_n)\), \(\Gamma_+ (I)\) is the Newton polyhedra of I, \(\Gamma (I)\) the union of the compact faces of \(\Gamma_+ (I)\), \(C(\overline I):=\cup \{ m\mid x^m \in \overline I\}\). There are two main results in this paper. Theorem 1.11: Suppose \(I\) of finite codimension, then \(m \in \mathbb{R}^n _+ \in C(\overline I)\) iff for every compact face \(F\) of \(\Gamma_+ (I)\) denote \(H\) the hyperplane parallel to \(F\), as close as possible to the origin and such that \(H^+ \cap \text{positive octant} \subset \Gamma_+ (I)\), then \(m\in H^+\). Propositions 2.5 and 2.6: Let \(g\) be a germ with isolated singularity at 0, \(I:= \langle x_i{\partial g \over x_i}\), \(1 \leq i \leq n\rangle\), \(\varepsilon (g)\) the convex hull generated by \(C(\overline I)\), then \(\varepsilon (g)\subset \Gamma_+ (I)\), with equality if \(\Gamma_+ (I)\) is non-degenerate, furthermore, there is a technical characterization of \(\varepsilon (g)\). The proofs use two main ingredients~: Teissier's growth condition which characterizes \(\overline I\) and Teissier's condition of Whitney's equisingularity.