1995年7月26日，在加州大学圣克鲁兹分校，一位年轻的荷兰数学家Aise Johan de Jong在正特征或混合特征簇的算术、几何和上同调理论的研究中进行了一场革命。他发表的演讲是题为“光滑簇的主导变种“的三个系列中的第一个，有一个中心主题：节点曲线纤维化的系统应用。在数以百计的敬畏击中成员的观众，与会者的美国数学学会夏季研究所代数几何，许多认识到巨大的潜力约翰德容的想法，即使是复杂的代数品种，并确实很快更多的结果沿着这些路线开始形成。这篇论文是我们为1997年9月7-14日在奥地利蒂罗尔州奥贝格尔举行的关于奇点的分解的工作周所准备的课程材料的产物。正如我们在研讨会上所做的那样，我们打算详细解释Johan de Jong的结果，并给出一些遵循相同范式的其他结果，以及一些应用，包括算术和特征零。我们希望读者能来分享我们在圣克鲁斯美丽的七月一天所感受到的兴奋。
英文摘要：
On July 26, 1995, at the University of California, Santa Cruz, a young Dutch mathematician by the name Aise Johan de Jong made a revolution in the study of the arithmetic, geometry and cohomology theory of varieties in positive or mixed characteristic. The talk he delivered, first in a series of three entitled "Dominating Varieties by Smooth Varieties", had a central theme: a systematic application of fibrations by nodal curves. Among the hundreds of awe struck members of the audience, participants of the American Mathematical Society Summer Research Institute on Algebraic Geometry, many recognized the great potential of Johan de Jong's ideas even for complex algebraic varieties, and indeed soon more results along these lines began to form.
This paper is an outgrowth of our course material prepared for the Working Week on Resolution of Singularities, which was held during September 7-14, 1997 in Obergurgl, Tirol, Austria. As we did in the workshop, we intend to explain Johan de Jong's results in some detail, and give some other results following the same paradigm, as well as a few applications, both arithmetic and in characteristic zero. We hope that the reader will come to share some of the excitement we felt on that beautiful July day in Santa Cruz.
For a normal F-finite variety $X$ and a boundary divisor $Δ$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,Δ)$. Our description is in terms of regular alterations over $X$, and one consequence of it is a common characterization of rational singularities (in characteristic zero) and F-rational singularities (in characteristic $p$) by the surjectivity of the trace map $π_* ω_Y \to ω_X$ for every such alteration $π\: Y \to X$. Furthermore, building on work of B. Bhatt, we establish …
In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities.
A total mass is the weighted count of continuous homomorphisms from the absolute Galois group of a local field to a finite group. In the preceding paper, the authors observed that in a particular example, two total masses coming from two different weightings are dual to each other. We discuss the problem how general such a duality holds and relate it to the existence of simultaneous resolution of singularities, using the wild McKay correspondence and the Poincaré duality for stringy invariants. We also exhibit several examples.
In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. The McKay principle for weight homology implies McKay principle for the homotopy type of the…
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 $\widetilde X$ onto $X$.
Let $X$ be an algebraic variety with Gorenstein singularities. We define the notion of a wonderful resolution of singularities of $X$ by analogy with the theory of wonderful compactifications of semi-simple linear algebraic groups. We prove that if $X$ has rational singularities and has a wonderful resolution of singularities, then $X$ admits a categorical crepant resolution of singularities. As an immediate corollary, we get that all determinantal varieties defined by the minors of a generic square/symmetric/skew-symmetric matrix admit categorical crepant resolution of singularities. We also …
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
We will describe a combinatorial game that models the problem of resolution of singularities of algebraic varieties over a field of characteristic zero. By giving a winning strategy for this game, we give another proof of the existence of resolution.
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.
The work is a detailed study of rational singularities of multiplicity 3 (RTP-singularities, for short). We give a list of nonisolated hypersurface singularities of which normalisations are the RTP-singularities, and construct their minimal resolution graphs by means of a subdivision of Newton polygons of those -- a method introduced by M. Oka for isolated complete intersection singularities. We show that nonisolated forms of RTP-singularities and their normalisations are both Newton non-degenerate.
We consider minimal resolutions of the singularities for weighted projective planes of type $\mathbb{P}(e^2, f^2, g^2)$, where $e, f, g$ satisfy the Markoff equation $ e^2 + f^2 + g^2 = 3efg$. We give a complete classification of such resolutions in terms of continued fractions similar to classical work of Frobenius. In particular, we investigate the behaviour of resolutions under mutations and describe a Cantor set emerging as limits of continued fractions.
In this paper, we show a condition for two-parameter Gorenstein cyclic quotient singularities to have a crepant resolution by using the remainder polynomial in any dimension.
Using the structure of the jet schemes of rational double point singularities, we construct "minimal embedded toric resolutions" of these singularities. We also establish, for these singularities, a correspondence between a natural class of irreducible components of the jet schemes centered at the singular locus and the set of divisors which appear on every "minimal embedded toric resolution". We prove that this correspondence is bijective except for the $E_8$ singulartiy. This can be thought as an embedded Nash correspondence for rational double point singularities.
We study symplectic resolutions of the Hilbert scheme of two points on a surface with one ADE-singularity. We also characterize such singularities by central fibers of their symplectic resolutions. As an application, we show that these singularities are isomorphic to the Slodowy slices which are transversal to the `sub-subregular' orbits in the nilpotent cones of ADE-types.
We show a sufficient condition for Fujiki-Oka resolutions of Gorenstein abelian quotient singularities to be crepant in all dimensions by using Ashikaga's continuous fractions. Moreover, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant resolution as a corollary. This alternative proof of existence needs only simple computations comparing with the results ever known.
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 previous structures. In the case of characteristic zero one may use these structures to obtain a resolution of singularities.
We study Cox rings of crepant resolutions of quotient singularities $\mathbb{C}^3/G$ where $G$ is a finite subgroup of $SL(3,\mathbb{C})$. We use them to obtain information on the geometric structure of these resolutions, number of different resolutions and relations between them. In particular, we treat explicitly several examples where $G$ contains elements of age 2.
We prove that the tangent developables of the varieties appearing in the third row of the Tits-Freudenthal magic square admit categorical crepant resolutions of singularities.
We prove that any three dimensional terminal singularity $P \in X$ can be resolved by a sequence of divisorial contractions with minimal discrepancies which are weighted blowups over points.
We construct a local invariant for resolution of singularities of 2-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito.
Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program) Part II. Basic invariants associated to the idealistic filtration and their properties
In this article we study the triangulated category of singularities associated with a non-commutative resolution of singularities. In particular, we give a complete description of this category in the case of a curve with nodal singularities, classifying its indecomposable objects and computing its Auslander-Reiten quiver and K-group.
We describe combinatorial aspects of classical resolution of singularities that are free of characteristic and can be applied to singular foliations and vector fields as well as to functions and varieties. In particular, we give a combinatorial version of Hironaka's maximal contact theory in terms of characteristic polyhedra systems and we show the global existence of maximal contact in this context.
Determinantal singularities are an important class of singularities, generalizing complete intersections, which recently have seen a large amount of interest. They are defined as preimage of $M^{t}_{m,n}$ the sets of matrices of rank less than $t$. The linear algebraic structure $M^{t}_{m,n}$ gives rise to some interesting structures on determinantal singularities. In this article we will focus on one of these, namely the Tjurina transform. We will show some properties of it, and discuss how it can and how can not be used to find resolutions of determinantal singularities.
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, leading to joint work on toroidal orbifolds with Michael Temkin and Jarosław Włodarczyk.
We introduce the notion of a poset scheme and study the categories of quasi-coherent sheaves on such spaces. We then show that smooth poset schemes may be used to obtain categorical resolutions of singularities for usual singular schemes. We prove that a singular variety $X$ possesses such a resolution if and only if $X$ has Du Bois singularities. Finally we show that the de Rham-Du Bois complex for an algebraic variety $Y$ may be defined using any smooth poset scheme which satisfies the descent over $Y$ in the classical topology.
In this paper we present new proofs using real spectra of the finiteness theorem on Nash trivial simultaneous resolution and the finiteness theorem on Blow-Nash triviality for isolated real algebraic singularities. That is, we prove that a family of Nash sets in a Nash manifold indexed by a semialgebraic set always admits a Nash trivial simultaneous resolution after a partition of the parameter space into finitely many semialgebraic pieces and in the case of isolated singularities it admits a finite Blow-Nash trivialization. We also complement the finiteness results with recursive bounds.
We state a version of the crepant resolution conjecture for total ancestor potentials for surface singularities, and reduce the conjecture to the quantum McKay correspondence conjecture of J.Bryan and A.Gholampour and a vanishing conjecture for Hurwitz-Hodge integrals. In particular, for singularities of type A, we prove the conjecture. We also suggest an approach towards a proof for the general cases by Teleman's reconstruction theorem for semisimple cohomological field theories.
We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$.
In this paper we construct free resolutions of certain class of closed subvarieties of affine space of symmetric matrices (of a given size). Our class covers the symmetric determinantal varieties (i.e., determinantal varieties in the space of symmetric matrices), whose resolutions were first constructed by Józefiak-Pragacz-Weyman. Our approach follows the techniques developed in Free Resolutions of Some Schubert Singularities by Kummini-Lakshmibai-Sastry-Seshadri, and uses the geometry of Schubert varieties.
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 sheaves on a scheme $X$. We prove that $D(X)$ has a canonical categorical resolution if the base field is perfect and $X$ is a separated scheme of finite type with a dualizing complex.
Toric embedded resolutions of quasi-ordinary hypersurface singularities
利用复解析超曲面的复环态射，建立了复解析超曲面的拟寻常奇点的两个嵌入式分解过程，其中复环态射只依赖于奇点的拟寻常投影的特征单项式.这个结果回答了Lipman在Equisingularity and simultaneous奇点的分解，奇点的分解，Progress in Mathematics No.181，2000，485-503中的一个公开问题。在第一个过程中，奇异性被嵌入为超曲面。在第二个过程中，这是灵感的工作戈尔丁和Teissier的平面曲线（见解决奇异的平面解析分支与一个环面态射，loc。引用，第315-340页），我们以一个环面态射提供其嵌入分辨率的方式将奇点重新嵌入到更大维度的仿射空间中。我们比较这两个程序，我们表明，他们符合适当的假设。
We show an effective method to compute the Łojasiewicz exponent of an arbitrary sheaf of ideals of $\OO_X$, where $X$ is a non-singular scheme. This method is based on the algorithm of resolution of singularities.
In this paper we generalize standard results about non-commutative resolutions of quotient singularities for finite groups to arbitrary reductive groups. We show in particular that quotient singularities for reductive groups always have non-commutative resolutions in an appropriate sense. Moreover we exhibit a large class of such singularities which have (twisted) non-commutative crepant resolutions. We discuss a number of examples, both new and old, that can be treated using our methods. Notably we prove that twisted non-commutative crepant resolutions exist in previously unknown cases for de…
