Monomial principalization in the singular setting (Q901025): Difference between revisions

The aim of this paper is to generalize to general schemes of finite type over a field a principalization algorithm for monomial schemes due to \textit{R. A. Goward jun.} [Trans. Am. Math. Soc. 357, No. 12, 4805--4812 (2005; Zbl 1079.14021)] in the non-singular setting. If \(Y_1,\dots, Y_n\) are Cartier divisors of a scheme \(X\) (of finite type over a field) we say that \(\{Y_1,\dots, Y_n\}\) has \textit{regular crossings} if for every \(A \subset \{Y_1,\dots, Y_n\}\) and every point \(p \in \bigcap_{Y \in A}Y\), the local equations for the \(Y\in A\) form a regular sequence at \(p\). Then the main theorem is that if \(D_1,\dots, D_h\) are linear combinations of the \(Y_i\) with positive coefficients, then the ideal sheaf \(\mathcal I_{D_1} + \cdots + \mathcal I_{D_h}\) can be transformed into a principal ideal sheaf by a sequence of monomial blowups.