Equivariant resolution of singularities in characteristic 0 (Q1364810)

In this paper the authors reprove the following theorem. This theorem is a weak version of the equivariant case of Hironaka's famous theorem on resolution of singularities. It was announced by Hironaka, but a complete proof wasn't easily accessible for a long time. Theorem. Let \(X\) be a projective variety of finite type over \(k\), and let \(Z\subset X\) be a proper closed subset. Let \(G\subset \Aut_k(Z \subset X)\) be a finite group. Then there is a \(G\)-equivariant modification \(r:X_1\to X\) such that \(X_1\) is a nonsingular projective variety, and \(r^{-1} (Z_{\text{red}})\) is a \(G\)-strict divisor with normal crossings. The proof takes a completely different approach. It uses two ingredients: First, we assume that we know the existence of resolution of singularities without group actions; second, we use equivariant toroidal resolution of singularities. The authors devote section 2 to the proof of the following theorem. Theorem. Let \({\mathcal U}\subset X\) be a strict toroidal embedding, and \(G\subset \Aut (U\subset X)\) be a finite group acting toroidally. Then there is a \(G\)-equivariant toroidal ideal sheaf \({\mathcal I}\) such that the normalized blow-up of \(X\) along \({\mathcal I}\) is a nonsingular \(G\)-strict toroidal embedding.