Related papers: New Ideas for Resolution of Singularities in Arbit…

We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a…

Let $X$ be an integral affine or projective scheme of finite presentation over a perfect field. We prove that $X$ admits a resolution, that is, there exists a smooth scheme $\widetilde X$ and a projective birational morphism from…

While sporadic examples of virtual resolutions with homology have been constructed, their occurrence is not well understood or controlled. Our results build a new set of tools for studying virtual resolutions of monomial ideals as arising…

We consider the problem of birationally modifying a morphism of complete varieties to make it a morphism from a nonsingular variety to a normal variety. Our main result is to give a counterexample to this problem. This example also is a…

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…

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

By the famous ADE classification rational double points are simple. Rational triple points are also simple. We conjecture that the simple normal surface singularities are exactly those rational singularities, whose resolution graph can be…

We use purely topological methods to prove the semicontinuity of the mod 2 spectrum of local isolated hypersurface singularities in $\mathbb{C}^{n+1}$, using Seifert forms of high-dimensional non-spherical links, the Levine--Tristram…

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…

A cusp singularity is a surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in naturally dual pairs. Looijenga proved in 1981 that if a cusp singularity is…

This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the exceptional divisor in the minimal…

It is shown that, for any reduced algebraic variety in characteristic zero, one can resolve all but simple normal crossings (snc) singularities by a finite sequence of blowings-up with smooth centres which, at every step, avoids points…

We prove two theorems on the removal of singularities on the boundary of a pseudo-holomorphic curve. In one theorem, we need no apriori assumption on the area of the curve. The proof uses a doubling argument with the goal of converting…

Locally analytically, any isolated double point occurs as a double covering of a smooth surface. It can be desingularized via the canonical resolution, as it is well-known. In this paper we explicitly compute the fundamental cycle of both…

In this note we give a positive answer to a question asked by Y. Colin de Verdi\`ere concerning the converse of the following theorem, due to A. N. Varchenko: two germs of volume forms are equivalent with respect to diffeomorphisms…

The Separatrix Theorem of C. Camacho and P. Sad guarantees the existence of invariant curve (separatrix) passing through the singularity of germ of holomorphic foliation on complex surface, when the surface underlying the foliation is…

We consider cosmological solutions of string and M-theory compactified to four dimensions by giving a general prescription to construct four-dimensional modular cosmologies with two commuting Killing vectors from vacuum solutions. By…

In this paper we construct a combinatorial algorithm of resolution of singularities for binomial ideals, over a field of arbitrary characteristic. This algorithm is applied to any binomial ideal. This means ideals generated by binomial…

This doctoral thesis has two objectives. The first objective is to introduce a notion of equivalence for singular foliations that preserves their transverse geometry and is compatible with the notions of Morita equivalence of the holonomy…

In the 1960s, Atkinson introduced an abstract algebraic setting for multiparameter eigenvalue problems. He showed that a nonsingular multiparameter eigenvalue problem is equivalent to the associated system of generalized eigenvalue…