Partial resolution by toroidal blow-ups (Q1728182): Difference between revisions

A \textit{snc pair} $(X,\Delta)$ is given by a smooth variety $X$ over a field and a simple normal crossing divisor $\Delta = \sum D_i$ on $X$. The irreducible components of the intersections $D_{i_1} \cap \cdots \cap D_{i_r}$ are called \textit{strata} of the pair and the blow-up of a stratum is called \textit{toroidal}. For a snc pair $(X,\Delta)$, an ideal sheaf $J\subset \mathcal{O}_X$ is \textit{toroidally resolved} if the support of $\mathcal{O}_X / J$ does not contain any strata. \par The main result of the paper under review (cf. Theorem 10) shows that, given a snc pair $(X,\Delta)$ and an ideal sheaf $J\subset \mathcal{O}_X$, there exists a sequence of toroidal blow-ups which toroidally resolves $J$. This answers a question by S. Keel (cf. Question 2). The key ingredient in the proof is the construction of the \textit{toroidal hull} $J^t \supset J$ (cf. Definition-Theorem 17). This reduces the problem to the resolution of a toroidal ideal, which is known by the work of \textit{E. Bierstone} and \textit{P. D. Milman} in [J. Algebraic Geom. 15, No. 3, 443--486 (2006; Zbl 1120.14009)]. \par In Corollary 5, the author of the paper under review recovers a result by \textit{J. Tevelev} [Am. J. Math. 129, No. 4, 1087--1104 (2007; Zbl 1154.14039)].