Integral closedness of \(MI\) and the formula of Hoskin and Deligne for finitely supported complete ideals (Q855327)

Let \(I\) be a finitely supported monomial complete ideal of a regular local ring \((R,M)\) of dimension at least three. If the residual field \(R/M\) is algebraically closed, then the author proves that \(MI\) is integrally clsoed if and only if \(\mu (I) = \begin{pmatrix} o(I) + d -1 \\ d-1 \end{pmatrix},\) where \(\mu (I)\) is the minimal numbers of generators of \(I\) and \(o(I)\) is the \(M\)-adic order of \(I\). The main ingredient in the proof is a higher-dimensional analogue of the formula of Hoskin and Deligne which expresses the length of a finitely supported complete ideal in terms of the order of the strict transform of \(I\).