S. Encinas, H. Hauser
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 Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We give some necessary conditions for the existence of a symplectic resolution for quotient singularities. The McKay correspondence is also worked out for these resolutions.
We give canonical resolutions of singularities of several cone varieties arising from invariant theory. We establish a connection between our resolutions and resolutions of singularities of closure of conjugacy classes in classical Lie algebras.
We prove the uniqueness of crepant resolutions for some quotient singularities and for some nilpotent orbits. The finiteness of non-isomorphic symplectic resolutions for 4-dimenensional symplectic singularities is proved. We also give an example of symplectic singularity which admits two non-equivalent symplectic resolutions.
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.
This is a survey written in an expositional style on the topic of symplectic singularities and symplectic resolutions, which could also serve as an introduction to this subject.
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.
The dual complex can be associated to any resolution of singularities whose exceptional set is a divisor with simple normal crossings. It generalizes to higher dimensions the notion of the dual graph of a resolution of surface singularity. The homotopy type of the dual complex does not depend on the choice of a resolution and thus can be considered as an invariant of singularity. In this preprint we show that the dual complex is homotopy trivial for resolutions of 3-dimensional terminal singularities and for resolutions of Brieskorn singularities. We also review our earlier results on resoluti…
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.
This paper has been withdrawn by the author
Deformations of isolated cyclic quotient singularities in arbitrary characteristic
该研究证明了孤立循环商奇点在任意特征下均可变形，并验证了相关猜想。
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 investigate unibranched singularities of dual varieties of even-dimensional smooth projective varieties in characteristic 2.
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.
Logarithmic resolution of singularities in characteristic 0 using weighted blow-ups
本文研究特征零域上的奇点消解问题，核心方法是使用加权爆破，构造出例外因子呈简单正常交叉的对数消解。
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.
The dual complex associated to a resolution of singularities generalizes the notion of a resolution graph of a surface singularity to any dimension. We show that homotopy type of the dual complex is an invariant of an isolated singularity.
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.
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.
Resolution of singularities of the odd nilpotent cone of orthosymplectic Lie superalgebras
本文构造了正交辛李超代数osp(m|2n)奇nilpotent锥的Springer型奇点消解方法，解决奇点消解问题。
In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.
This is a note on toroidalization, formulated as the problem of resolution of singularities of morphisms in the logarithmic category. It is submitted to the proceedings of the Barrett conference held at the University of Tennessee at Knoxville in April 2002.
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.
This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.
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.
In this survey paper we give an overview on some aspects of singularities of algebraic varieties over an algebraically closed field of arbitrary characteristic. We review in particular results on equisingularity of plane curve singularities, classification of hypersurface singularities and determinacy of arbitrary singularities. The section on equisingularity has its roots in two important early papers by Antonio Campillo. One emphasis is on the differences between positive and zero characteristic and on open problems.
Let $(Z,o)$ be a three-dimensional terminal singularity of type $cA/r$. We prove that all exceptional divisors over $o$ with discrepancies $\le 1$ are rational.
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.
We study the classification of plane curve singularities in arbitrary characteristic. We first give a bound for the determinacy of a plane curve singularity with respect to pararametrization equivalence in terms of its conductor. Then we classify parametrization simple plane curve singularities which are irreducible by giving a concrete list of normal forms of equations and parametrizations. In characteristic zero, the classification of parametrization simple irreducible plane curve singularities was achieved by Bruce and Gaffney.
Regarding the resolution of singularities for the differential equations of Painlevé type, there are important differences between the second-order Painlevé equations and those of higher order. Unlike the second-order case, in higher order cases there may exist some meromorphic solution spaces with codimension 2. In this paper, we will give an explicit global resolution of singularities for a 3-parameter family of third-order differential systems with meromorphic solution spaces of codimension 2.
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.
Over $\C$, Henry Laufer classified all taut surface singularities. We adapt and extent his transcendental methods to positive characteristic. With this we show that if a normal surface singularity is taut over $\C$, then the normal surface singularities with isomorphic dual graph over algebraically closed fields of characteristic exponent $p>1$ are taut for all but finitely many $p$. We conjecture that this is actually "if and only if".
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.
Resolutions and deformations of cyclic quotient surface singularities
本文研究形如 C^2/G 的循环商奇点的最小分辨、G-Hilbert 方案、广义 McKay 对应、奇点形变和箭图簇之间的关系，提供统一阐述和丰富例子。
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$.
For a certain class of varieties X, we derive a formula for the valuation d_{X} on the arc space L(Y) of a smooth ambient space Y, in terms of an embedded resolution of singularities. A simple transformation rule yields a formula for the geometric Poincare series. Furthermore, we prove that for this class of varieties, the arithmetic and the geometric Poincare series coincide. We also study the geometric valuation for plane curves.
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.
We build two embedded resolution procedures of a quasi-ordinary singularity of complex analytic hypersurface, by using toric morphisms which depend only on the characteristic monomials associated to a quasi-ordinary projection of the singularity. This result answers an open problem of Lipman in Equisingularity and simultaneous resolution of singularities, Resolution of Singularities, Progress in Mathematics No. 181, 2000, 485-503. In the first procedure the singularity is embedded as hypersurface. In the second procedure, which is inspired by a work of Goldin and Teissier for plane curves (see…
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived categories of smooth varieties. This provides a categorical resolution of the singularity.
Tjurina Number Jumps and Unimodal Hypersurface Singularities in Positive Characteristic
本文通过扩展Tjurina数研究超曲面奇点的模性，证明Tjurina数跃迁必然提升模性，并在正特征p>3下对单模孤立超曲面奇点进行完整分类。
The objective of this paper is to discuss invariants of singularities of algebraic schemes over fields of positive characteristic, and to show how they yield the simplification of singularities. We focus here on invariants which arise in an inductive manner, namely by successive elimination of variables. When applied to hypersurface singularities they lead us to a refinement of the notion of multiplicity. The main theorem proves that, under some numerical conditions expressed by these invariants, singularities can be simplified by blowups at centers prescribed by this refinement.
Resolution of $1$-foliations singularities on surfaces and threefolds
本文研究了正特征中维数至多为3的簇上$1$-叶状结构奇点的解消问题，证明在允许使用温顺的正则Deligne--Mumford栈作为底层空间时可完全解消奇点，若限定底层簇则可将其简化为乘法奇点。
We investigate Cox rings of minimal resolutions of surface quotient singularities and provide two descriptions of these rings. The first one is the equation for the spectrum of a Cox ring, which is a hypersurface in an affine space. The second is the set of generators of the Cox ring viewed as a subring of the coordinate ring of a product of a torus and another surface quotient singularity. In addition, we obtain an explicit description of the minimal resolution as a divisor in a toric variety.
The Bogomolov-Gieseker-Koseki inequality on surfaces with canonical singularities in arbitrary characteristic
本文将Bogomolov-Gieseker不等式从特征零光滑射影曲面推广到任意特征、具典范奇点的射影曲面，并推广其若干经典应用。
Minimality of a toric embedded resolution of singularities after Bouvier-Gonzalez-Sprinberg
本文利用射流概形构造有理奇点的极小环面嵌入解消，并通过推广单纯锥的轮廓概念实现极小性。
We continue to study and present concrete examples in characteristic 2 of compound Du Val singularities defined over an algebraically closed field which have one dimensional singular loci but cannot be written as products (a rational double point) x (a curve) up to analytic isomorphism at any point of the loci. Unlike in other characteristics, we find a large number of such examples whose general hyperplane sections have rational double points of type D. We consider these compound Du Val singularities as a special class of canonical singularities, intend to complete classification in arbitrary…
A resolution of singularities of Drinfeld compactification with an Iwahori structure
本文通过修改Kontsevich紧化构造，提出了具有Iwahori结构的Drinfeld紧化的奇点消解方法，并据此证明了该紧化上!-扩张D-模的普遍局部非循环性。
This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction with respect to Mather-Jacobian discrepancies holds in arbitrary characteristic. Based on this fact we will reduce many geometric properties of the singularities into the problem on jet schemes and try to avoid discussions which are distinctive for characteristic 0.
On Steenbrink vanishing for rational singularities in positive characteristic
本文证明正特征有理奇点的 Steenbrink 消失特殊情形，并由此推出强 F-正则三维簇及特征 p>41 的 klt 三维簇均满足 Steenbrink 消失。
The problem of classification of real and complex singularities was initiated by Arnol'd in the sixties who classified simple, unimodal and bimodal w.r.t. right equivalence. The classification of right simple singularities in positive characteristic was achieved by Greuel and the author in 2014. In the present paper we classify right unimodal and bimodal singularities in positive characteristic by giving explicit normal forms. Moreover we completely determine all possible adjacencies of simple, unimodal and bimodal singularities. As an application we prove that, for singularities of right moda…
We investigate Cox rings of symplectic resolutions of quotients of $\mathbb{C}^{2n}$ by finite symplectic group actions. We propose a finite generating set of the Cox ring of a symplectic resolution and prove that under a condition concerning monomial valuations it is sufficient. Also, three 4-dimensional examples are described in detail. Generators of the (expected) Cox rings of symplectic resolutions are computed and in one case a resolution is constructed as a GIT quotient of the spectrum of the Cox ring.
In this revised version, the mistake of the author confusing the weak transform and strict transform, pointed out by E. Bierstone, is corrected. It gives a self-contained proof of (embedded) resolution of singularities over a field of characteristic zero following the inductive algorithm of Encinas and Villamayor. A chapter explaining the background motivation for the invariants used (based upon a lecture by Villamayor) and another containing some examples demonstrating the subtle points are added.
We discuss to what extent the local techniques of resolution of singularities over fields of characteristic zero can be applied to improve singularities in general. For certain interesting classes of singularities, this leads to an embedded resolution via blowing ups in regular centers. We illustrate this for generic determinantal varieties. The article is partially expository and is addressed to non-experts who aim to construct resolutions for other special classes of singularities in positive or mixed characteristic.
Gröbner Fans and Minimal Embedded Toric Resolutions of Rational Double Point Singularities
本文通过显式构造ADE奇点的Gröbner扇并利用profile概念进行加细，重构了有理二重点奇点的嵌入环面消解。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。