Related papers: Functoriality in resolution of singularities

The concept of the maximal contact is the key in Hironaka's resolution theory. It treats local theory, and it is not effective in positive characteristics. This is the essential reason why Hironaka's theory treats only the case of…

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.…

For proper morphisms, we give a functorial flatification algorithm by blow-ups in the spirit of Hironaka's flatification algorithm. In characteristic zero, this gives functorial flatification by blow-ups in smooth centers. We also give a…

These expository notes, addressed to non-experts, are intended to present some of Hironaka's ideas on his theorem of resolution of singularities. We focus particularly on those aspects which have played a central role in the constructive…

Given a homological epimorphism $\pi:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity…

This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka).…

Let $X$ be any variety in characteristic zero. Let $V \subset X$ be an open subset that has toroidal singularities. We show the existence of a canonical desingularization of $X$ except for V. It is a morphism $f: Y \to X$ , which does not…

We discuss Hironaka's theorem on resolution of singularities in charactetistic 0 as well as more recent progress, both on simplifying and improving Hironaka's method of proof and on new results and directions on families of varieties,…

We present a classification algorithm for isolated hypersurface singularities of corank 2 and modality 1 over the real numbers. For a singularity given by a polynomial over the rationals, the algorithm determines its right equivalence class…

We prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to…

Using a version of Hironaka's resolution of singularities for real-analytic functions, any elliptic multiplier $\mathrm{Op}(p)$ of order $d>0$, real-analytic near $p^{-1}(0)$, has a fundamental solution $\mu_0$. We give an integral…

Let $X$ be a fs logarithmic scheme that is generically logarithmically smooth, and that admits a strict closed embedding into a logarithmically smooth scheme $Y$ over a field $\kk$ of characteristic zero. We construct a simple and fast…

Hironaka's concept of characteristic polyhedron of a singularity has been one of the most powerful and fruitful ideas of the last decades in singularity theory. In fact, since then combinatorics have become a major tool in many important…

Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We…

When $X$ is a $d$-dimensional variety defined over a field $k$ of characteristic zero, a constructive resolution of singularities can be achieved by successively lowering the maximum multiplicity via blow ups at smooth equimultiple centers.…

We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the…

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

We prove an equivariant version of Hironaka's theorem on elimination of points of indeterminacy. Our arguments rely on canonical resolution of singularities.

We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history,…

The article is about a "desingularization principle" common to various canonical desingularization algorithms in characteristic zero, and the roles played by the exceptional divisors in the underlying local construction. We compare…