Principalization of ideals on toroidal orbifolds

DOI10.4171/JEMS/997MaRDI QIDQ2216747zbMATH OpenFDO

Authors Dan Abramovich, Jarosław Włodarczyk, Michael Temkin

Publication date 17 December 2020

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.03185

algebraic stacks logarithmic geometry resolution of singularities

Generalizations (algebraic spaces, stacks) (14A20) Logarithmic algebraic geometry, log schemes (14A21) Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

Abstract: Given an ideal

m a t h c a l I

on a variety

X

with toroidal singularities, we produce a modification

X^{'} o X

, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack

X^{'}

. We do this by adapting the methods of [W{l}o05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first step in our program to apply logarithmic desingularization to a morphism

Z o B

, aiming to prove functorial semistable reduction theorems.

Review text

A theory of the resolution of singularities should not only prove that every space \(Z\) can be resolved by a modification \(Z' \to Z\), but the resolution should be \begin{itemize} \item canonical in the sense that the theory distinguishes one resolution \(Z_{res} \to Z\); \item constructive in the sense that there is an explicit algorithmic procedure to obtain the distinguished resolution \(Z_{res} \to Z\); \item functorial in the sense that for every smooth morphism \(Y \to Z\), the resolution \(Y_{res} \to Y\) is the pull-back (in the appropriate category) of \(Z_{res} \to Z\). \end{itemize} The article is the first in an announced series which establishes such a resolution for morphisms \(Z \to B\) of fine saturated logarithmic Deligne-Mumford stacks. The article itself deals only with the case \(B = \mathrm{Spec}(k)\) the trivial log point, i.e., with the absolute case. The starting point is resolution of logarithmic schemes. The authors ask for an extended functoriality principle, i.e., the resolution should not only be functorial for classically smooth maps \(Y \to Z\) but also for log smooth maps \(Y \to Z\). This makes it necessary to resolve via blowups of Kummer centers, i.e., ideals in the Kummer étale topology of \(Z\). Such a blowup is not necessarily a logarithmic scheme but a logarithmic Deligne-Mumford stack; thus the natural setup for the resolution are (fine saturated) logarithmic Deligne-Mumford stacks. A log smooth Deligne-Mumford stack is called a toroidal orbifold. The algorithm comes in two versions, an embedded one -- the principalization of ideals on a toroidal orbifold -- and a non-embedded one -- the resolution of singularities. The algorithm does not specialize to a classical one for trivial logarithmic structures. When it starts with a variety \(Z\) with trivial logarithmic structure, then \(Z_{res}\), in general, neither has trivial logarithmic structure nor is a scheme but a honest toroidal orbifold. The algorithm is less complicated than algorithms for resolving singularities of classical schemes since it does not need to take separate care about the exceptional divisor, but it is nonetheless intricate. It employs a logarithmic version of the induction over hypersurfaces of maximal contact to reduce the log order of marked ideals. Additionally, in several so-called cleaning processes it must be ensured that the ideal to resolve has a nice interplay with the logarithmic structure. After this article was finished, Ming Hao Quek -- a student of one of the authors -- has found a simpler, more canonical, and presumably faster algorithm to resolve logarithmic singularities in the same setup, see [\textit{M.~H.~Quek}, ``Logarithmic resolution via weighted toroidal blow-ups, Preprint, \url{arXiv:2005.05939}]. This is achieved by allowing more general centers which are no longer ideals in the Kummer étale topology; it is a logarithmic variant of the \emph{dream algorithm} of [\textit{D.~Abramovich} et al., ``Functorial embedded resolution via weighted blowings up, Preprint, \url{arXiv:1906.07106}].

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Principalization of ideals on toroidal orbifolds

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