Related papers: A multi-dimensional resolution of singularities wi…
An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…
Algorithms for resolution of singularities in characteristic zero are based on Hironaka's idea of reducing the problem to a simpler question of desingularization of an "idealistic exponent" (or "marked ideal"). How can we determine whether…
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…
We show that a version of the desingularization theorem of Hironaka holds for certain classes of infinitely differentiable functions (essentially, for subrings that exclude flat functions and are closed under differentiation and the…
For a small disk D centered at the origin in R^2, a smooth real-valued function S(x,y) on D, and a positive epsilon, we consider the measure of the points in D where |S(x,y)| < epsilon, as well as oscillatory integral analogues.…
We give explicit real-analytic functions whose zero sets characterize the images of the standard maps of wave-front singularities. Such functions are realizations of the main-analytic sets in the sense of Ishikawa-Koike-Shiota (1984). More…
Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable)…
Existing algorithms for isolating real solutions of zero-dimensional polynomial systems do not compute the multiplicities of the solutions. In this paper, we define in a natural way the multiplicity of solutions of zero-dimensional…
In this paper, a geometric resolution of singularities algorithm is developed. This method is elementary in its statement and proof, using explicit coordinate systems as much as possible. Each coordinate change used in the resolution…
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…
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.…
Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and…
The elementary resolution of singularities algorithm of the author's earlier paper (math.CA/0609217) is developed further, replacing the quasibump functions in the blown up coordinates with the characteristic function of a rectangle times a…
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
We present a theorem of resolution of singularities for real analytic constrained differential systems $A(x)\dot{x} = F(x)$ defined on a 2-manifold with corners having impasse set $\{x; \det A(x) = 0\}$. This result can be seen as a…
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.…
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 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…
We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…
These are the notes for my lecture ``Resolution of Sigularities in Charcteristic 0" given at the AMS Summer Institute at Seattle. It gives a self contained proof of the strong Hironaka resolution theorem.