2021/12/13 by Dan Abramovich, Ming Hao Quek · 1 citation
Computer Science · Engineering · #math.AG
paper · pdf · doi:10.46298/epiga.2024.9793
We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka. Specifically, for a singular, reduced closed subscheme X of a smooth scheme Y over a field of characteristic zero, we resolve the singularities of X by taking proper transforms Xi ⊂ Yi along a sequence of multi-weighted blow-ups YN → YN-1 → \dotsb → Y0 = Y which satisfies the following properties: (i) the Yi are smooth Artin stacks with simple normal crossing exceptional loci; (ii) at each step we always blow up the worst singular locus of Xi, and witness on Xi+1 an immediate improvement in singularities; (iii) and finally, the singular locus of X is transformed into a simple normal crossing divisor on XN.