Good points and constructive resolution of singularities

In this paper the authors present a new algorithm of resolution of singularities over fields of characteristic zero, making use of invariants that come from Abhyankar's good point theory as follows: \(\text{(A1}_s)\) They require that the exceptional locus of \(W_s\to W_0\) be \(E_s=\{H_1,\dots,H_s\}\), a union of regular hypersurfaces having only normal crossings. \(\text{(A2}_s)\) If \(X_s\neq\emptyset\), an assignment of a function \(\psi_{{\mathcal P}_s}:X_s\to(I,\leq)\), uppersemi-continuous and taking only finitely different values, such that \(\underline{\text{Max}} \psi_{{\mathcal P}_s}(\subseteq X_s)\) is regular and closed in \(W_s\) and has only normal crossings with \(E_\infty\). (B) For each pair \((X_0,W_0)\) there is an index \(s\geq 0\) so that \(\underline{\text{Max}} \psi_{{\mathcal P}_s}=X_s\). (C) With the setting of (B), if \(X_0\) is reduced, then \(X_s\) is regular (having normal crossings with \(E_{s}\) by \((A2_s))\). The last condition (C) is that of a so-called ``embedded desingularization of \(X\subseteq W\). Note that \((\text{A1}_s)\) is empty if \(s=0\), and for \(s<0\) guaranteed by \((\text{A2}_{s-1})\). This is an algorithm for resolution (with values at \((I,\leq))\), namely an assignment with the conditions \((A),(B)\) and \((C)\).

Recommendations

Cites work

Cited in

(32)

This page was built for publication: Good points and constructive resolution of singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1273531)