Invariance of Hironaka's characteristic polyhedron (Q2331758)

Let \((R,\mathfrak{m})\) be a regular local ring, \(J\subset R\) a non-zero ideal and \(u=(u_1,\ldots,u_d)\) a system of regular elements that can be extended to a regular system of parameters of \(R\). To this data Hironaka associates the characterisctic polyhedron \(\Delta(J;u)\) (see [\textit{H. Hironaka}, J. Math. Kyoto Univ. 7, 251--293 (1967; Zbl 0159.50502)]). It is proved that the polyhedron depends only on \(R/J\) and \(u\) mod \(J\). This implies that numerical data obtained from the polyhedron are invariants of the singularity \(R/J\).