Related papers: Resolution of Singularities
This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the…
The relativistic membrane equation can be rewritten as a first order hyperbolic system. Making use of the characteristic decomposition method, a new blow-up theorem is established. As an application, it demonstrates the formation of…
Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent…
Let $Y$ be a complex projective variety of dimension $n$ with isolated singularities, $\pi:X\to Y$ a resolution of singularities, $G:=\pi^{-1}\left(\rm{Sing}(Y)\right)$ the exceptional locus. From the Decomposition Theorem one knows that…
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…
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…
In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the…
We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of…
Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…
We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and…
We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic…
We give a necessary and sufficient condition for the existence of a local solution of the inverse problem of calculus of variations in terms of the identical vanishing of the variation of a functional on an extended space (with the number…
We investigate the natural involutive structure on the blow-up of ${\Bbb R}^n$ in ${\Bbb C}^n$ extending the complex structure on the complement of the exceptional hypersurface. Our main result is that this structure is hypocomplex, meaning…
The main purpose of this paper is to establish some useful partial resolutions of singularities for pairs from the minimal model theoretic viewpoint. We first establish the existence of log canonical modifications of normal pairs under some…
We evaluate the physical viability and logical strength of an array of putative criteria for big bang singularity resolution in quantum cosmology. Based on this analysis, we propose a mutually consistent set of constitutive conditions,…
The goal of this paper is a classification theorem of the singularities according to a new invariant, Mather discrepancy. On the other hand, we show some evidences convincing us that Mather discrepancy is a considerable invariant: By…
We present a proof of embedded desingularization for closed subschemes which does not make use of Hilbert-Samuel function and avoids Hironaka's notion of normal flatness. This proof, already sketched in [A course on constructive…
In this paper we propose the concept of formal desingularizations as a substitute for the resolution of algebraic varieties. Though a usual resolution of algebraic varieties provides more information on the structure of singularities there…
Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that…
We prove an embedded local uniformization theroem for a valuation centered on a point of a quasi-excellent scheme of characteristic zero. The proof reduces to valuations of rank 1 and consists in desingularizing the ideal formed by the…