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 resolutions of rational and hypersurface singularities.
We classify six-dimensional exceptional quotient singularities and show that seven-dimensional exceptional quotient singularities do not exist. Inter alia we prove that the irreducible six-dimensional projective representation of the sporadic simple Hall--Janko group gives rise to an exceptional quotient singularity.
This paper studies hypersurface exceptional singularities in $\mathbb C^n$ defined by non-degenerate function. For each canonical hypersurface singularity, there exists a weighted homogeneous singularity such that the former is exceptional if and only if the latter is exceptional. So we study the weighted homogeneous case and prove that the number of weights of weighted homogeneous exceptional singularities are finite. Then we determine all exceptional singularities of the Brieskorn type of dimension 3.
All varieties, extremal contractions, singularities are divided on exceptional and non-exceptional ones. Roughly speaking, there are the infinite families of non-exceptional varieties, extremal contractions or singularities and only the finite number of the types of exceptional ones. This subdivision is well demonstrated by the example of Du Val singularities. There are two infinite series of non-exceptional singularities: $A_n$ and $D_n$ and only three types of exceptional ones: $E_6$, $E_7$ and $E_8$. Also the importance of exceptionality phenomenon follows from the next observation: A). If …
In this paper the detailed classification of three-dimensional exceptional canonical hypersurface singularities which don't satisfy the condition of well-formedness is given. This result completes the classification of three-dimensional exceptional log canonical hypersurface singularities started in [4] (math.AG 0201025).
A singularity is said to be exceptional (in the sense of V. Shokurov), if for any log canonical boundary, there is at most one exceptional divisor of discrepancy -1. In our previous paper (math.AG/9805004) we found two examples of exceptional canonical singularities: these are quotients by Klein's simple group of order 168 or by its central extension of order 504. Now we classify all the three-dimensional exceptional quotient singularities.
A singularity is said to be weakly-exceptional if it has a unique purely log terminal blow up. This is a natural generalization of the surface singularities of types $D_{n}$, $E_{6}$, $E_{7}$ and $E_{8}$. Since this idea was introduced, quotient singularities of this type have been classified in dimensions up to $5$. This paper looks at such singularities in dimension $p$, where $p$ is an arbitrary prime number.
It is known that ambient bilipschitz equivalence preserves tangent cones. This paper explores the behavior of the Nash cone and, in particular, exceptional rays under ambient bilipschitz equivalence for real surfaces in $R^3$ with isolated singularity.
A singularity is said to be weakly-exceptional if it has a unique purely log terminal blow up. This is a natural generalization of the surface singularities of types $D_{n}$, $E_{6}$, $E_{7}$ and $E_{8}$. Since this idea was introduced, quotient singularities of this type have been classified in dimensions up to most $4$. This note extends that classification to dimension $5$.
Normally one assumes isolated surface singularities to be normal. The purpose of this paper is to show that it can be useful to look at nonnormal singularities. By deforming them interesting normal singularities can be constructed, such as isolated, non Cohen-Macaulay threefold singularities. They arise by a small contraction of a smooth rational curve, whose normal bundle has a sufficiently positive subbundle. We study such singularities from their nonnormal general hyperplane section.
This note shows that the orbifold Jacobian algebra associated to each invertible polynomial defining an exceptional unimodal singularity is isomorphic to the (usual) Jacobian algebra of the Berglund-Hübsch transform of an invertible polynomial defining the strange dual singularity in the sense of Arnold.
This is a short note on the relation between the graded stable derived categories of 14 exceptional unimodal singularities and the derived category of K3 surfaces obtained as compactifications of the Milnor fibers. As a corollary, we obtain a basis of the numerical Grothendieck group similar to the one given by Ebeling and Ploog (arXiv:0809.2738).
We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients. We introduce $(n,Γ_0)$-decomposable $\mathbb{R}$-complements, and show its existence for pairs with DCC coefficients.
We study exceptional quotient singularities. In particular, we prove an exceptionality criterion in terms of the $α$-invariant of Tian, and utilize it to classify four-dimensional and five-dimensional exceptional quotient singularities.
We investigate combinatorial aspects of exceptional sequences in the derived category of coherent sheaves on certain smooth and complete algebraic surfaces. We show that to any such sequence there is canonically associated a complete toric surface whose torus fixpoints are either smooth or cyclic T-singularities (in the sense of Wahl) of type $\frac{1}{r^2}(1, kr - 1)$. We also show that any exceptional sequence can be transformed by mutation into an exceptional sequence which consists only of objects of rank one.
We show that infinitely many Gorenstein weakly-exceptional quotient singularities exist in all dimensions, we prove a weak-exceptionality criterion for five-dimensional quotient singularities, and we find a sufficient condition for being weakly-exceptional for six-dimensional quotient singularities. The proof is naturally linked to various classical geometrical constructions related to subvarieties of small degree in projective spaces, in particular Bordiga surfaces and Bordiga threefolds.
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.
A singularity is said to be weakly--exceptional if it has a unique purely log terminal blow up. In dimension $2$, V. Shokurov proved that weakly--exceptional quotient singularities are exactly those of types $D_{n}$, $E_{6}$, $E_{7}$, $E_{8}$. This paper classifies the weakly--exceptional quotient singularities in dimensions $3$ and $4$.
Nash proved that every irreducible component of the space of arcs through a singularity corresponds to an exceptional divisor that occurs on every resolution. He asked if the converse also holds: does every such exceptional divisor correspond to an arc family? We prove that the converse holds for toric singularities but fails in general.
We consider the singuralities of 2-dimensional moduli spaces of semi-stable sheaves on K3 surfaces. We show that the moduli space is normal, in particular the singuralities are rational double points. We also describe the exceptional locus on the resolution in terms of exceptional sheaves.
We give formulas for the degrees of the spaces of foliations in P2 with a dicritical singularity of prescribed order. Blowing up such singularity induces, generically, a foliation with all but finitely many leaves transversal to the exceptional line; we also find the degree of the locus defined by imposing a leaf of total contact with the exceptional line.
We show that the only sporadic simple group such that some of its faithful representations or some faithful representations of its stem extensions give rise to exceptional (weakly-exceptional but not exceptional, respectively) quotient singularities is the Hall-Janko group (the Suzuki group, respectively).
We show the existence of a full exceptional collection in the graded stable derived category of a Gorenstein isolated quotient singularity using a result of Orlov (arXiv:math/0503632). We also show that the equivariant graded stable derived category of a Gorenstein Veronese subring of a polynomial ring with respect to an action of a finite group has a full strong exceptional collection, even if the corresponding quotient singularity is neither isolated nor Gorenstein.
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.
We give a full exceptional collection in the triangulated category of singularities in the sense of Orlov for a hypersurface singularity of Fermat type, and discuss its relation with homological mirror symmetry for simple elliptic hypersurface singularities.
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.
In this paper, we prove the mirror symmetry conjecture between the Saito-Givental theory of exceptional unimodular singularities on Landau-Ginzburg B-side and the Fan-Jarvis-Ruan-Witten theory of their mirror partners on Landau-Ginzburg A-side. On the B-side, we compute the genus-zero generating function from a perturbative formula of primitive forms introduced by the first three authors recently. This computation matches the orbifold-Grothendieck-Riemann-Roch and WDVV calculations in FJRW theory on the A-side. The coincidence of the full data at all genera is established by reconstruction tec…
We study lattice polarizations of five exceptional pairs of families of K3 surfaces obtained via compactifications of strange dual pairs of bimodal singularities. We show that the polarizations induced by embedding these paired families in paired toric varieties obtained from polar dual reflexive polytopes cannot be mirror lattices and identify mirror sublattices.
A T-variety is an algebraic variety X with an effective regular action of an algebraic torus T. Altmann and Hausen gave a combinatorial description of an affine T-variety X by means of polyhedral divisors. In this paper we compute the higher direct images of the structure sheaf of a desingularization of X in terms of this combinatorial data. As a consequence, we give a criterion as to when a T-variety has rational singularities. We also provide a partial criterion for a T-variety to be Cohen-Macaulay. As an application we characterize in this terms quasihomogeneous elliptic singularities of su…
We provide several results on splice-quotient singularities: a combinatorial expression of the dimension of the first cohomology of all `natural' line bundles, an equivariant Campillo-Delgado-Gusein-Zade type formula about the dimension of relative sections of line bundles (proving that the equivariant, divisorial multi-variable Hilbert series is topological), a combinatorial description of divisors of analytic function-germs, and an expression for the multiplicity of the singularity from its resolution graph. Additional, we establish a new formula for the Seiberg-Witten invariants of any rati…
We study the normal bundles of the exceptional sets of isolated simple small singularities in the higher dimension when the Picard group of the exceptional set is $\mathbb{Z}$ and the normal bundle of it has some good filtration. In particular, for the exceptional set is a projective space with the split normal bundle, we generalized Nakayama and Ando's results to higher dimension. Moreover, we also generalize Laufer's results of rationality and embedding dimension to higher dimension.
We provide combinatorial/topological formula for the multiplicity of a complex analytic normal surface singularity whenever the analytic structure on the fixed topological type is generic.
This paper proposes seven combinatorial problems around formulas for the characteristic polynomial and the spectral numbers of a quasihomogeneous singularity. One of them is a new conjecture on the characteristic polynomial. It is an amendment to an old conjecture of Orlik on the integral monodromy of a quasihomogeneous singularity. The search for a combinatorial proof of the new conjecture led us to the seven purely combinatorial problems.
It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundamental group of the Milnor fibre has been known for all except the three exceptional families $\mathcal B_2^3(p), \mathcal C^3_2(p),$ and $\mathcal C^3_3(p)$. In this paper, we settle these cases. We p…
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.
For a weighted quasihomogeneous two dimensional hypersurface singularity, we define a smoothing with unipotent monodromy and an isolated graded normal singularity. We study the natural weighted blow up of both the smoothing and the surface. In particular, we describe our construction for the quasihomogeneous singularities of type I, the 14 unimodal exceptional singularities and we relate it to their stable replacement.
A boundary singularity is a singularity of a function on a manifold with boundary. The simple and unimodal boundary singularities were classified by V. I. Arnold and V. I. Matov. The McKay correspondence can be generalized to the simple boundary singularities. We consider the monodromy of the simple, parabolic, and exceptional unimodal boundary singularities. We show that the characteristic polynomial of the monodromy is related to the Poincaré series of the coordinate algebra of the ambient singularity.
We show that simultaneous log resolutions of simply elliptic singularities can be constructed inside suitable stacks of principal bundles over elliptic curves. In particular, we give a direct geometrical construction of del Pezzo surfaces from the corresponding exceptional simple algebraic groups.
The subject of this paper is the big quantum cohomology rings of symplectic isotropic Grassmannians $\text{IG}(2, 2n)$. We show that these rings are regular. In particular, by "generic smoothness", we obtain a conceptual proof of generic semisimplicity of the big quantum cohomology for $\text{IG}(2, 2n)$. Further, by a general result of Claus Hertling, the regularity of these rings implies that they have a description in terms of isolated hypersurface singularities, which we show in this case to be of type $A_{n-1}$. By the homological mirror symmetry conjecture, these results suggest the exis…
In a previous work we have introduced and studied the notion of embedded $\mathbf{Q}$-resolution, which essentially consists in allowing the final ambient space to contain abelian quotient singularities. Here we explicitly compute an embedded $\mathbf{Q}$-resolution of a Yomdin-Lê surface singularity $(V,0)$ in terms of a (global) embedded $\mathbf{Q}$-resolution of their tangent cone by means of just weighted blow-ups at points. The generalized A'Campo's formula in this setting is applied so as to compute the characteristic polynomial. As a consequence, an exceptional divisor in the resolutio…
The quotient singularities of dimensions two and three obtained from polyhedral groups and the corresponding binary polyhedral groups admit natural resolutions of singularities as Hilbert schemes of regular orbits whose exceptional fibres over the origin reveal similar properties. We construct a morphism between these two resolutions, contracting exactly the excess part of the exceptional fibre. This construction is motivated by the study of some pencils of K3-surfaces arising as minimal resolutions of quotients of nodal surfaces with high symmetries.
For an isolated hypersurface singularity which is neither simple nor simple elliptic, it is shown that there exists a distinguished basis of vanishing cycles which contains two basis elements with an arbitrary intersection number. This implies that the set of Coxeter-Dynkin diagrams of such a singularity is infinite, whereas it is finite for the simple and simple elliptic singularities. For the simple elliptic singularities, it is shown that the set of distinguished bases of vanishing cycles is also infinite. We also show that some of the hyperbolic unimodal singularities have Coxeter-Dynkin d…
This paper deals with the Nash problem, which claims that there are as many families of arcs on a singular germ of surface $U$ as there are essential components of the exceptional divisor in the desingularisation of this singularity. Let $\mathcal{H}=\bigcup \bar{N_α}$ be a particular decomposition of the set of arcs on $U$, described later on. We give two new conditions to insure that $\bar{N_α}\not \subset \bar{N_β}$, $α\not = β$; more precisely,for the first one, we claim that if there exists $f \in {\mathcal{O}}_{U}$ such that $ord_{E_α}(f)<ord_{E_β}(f)$, where $E_α, E_β$ are exceptional d…
We find that the equation of $E_8$-singularity possesses two distinct symmetry groups and modular parametrizations. One is the classical icosahedral equation with icosahedral symmetry, the associated modular forms are theta constants of order five. The other is given by the group $\text{PSL}(2, 13)$, the associated modular forms are theta constants of order $13$. As a consequence, we show that $E_8$ is not uniquely determined by the icosahedron. This solves a problem of Brieskorn in his ICM 1970 talk on the mysterious relation between exotic spheres, the icosahedron and $E_8$. Simultaneously, …
Restriction varieties in the orthogonal Grassmannian are subvarieties of $OG(k, n)$ defined by rank conditions given by a flag that is not necessarily isotropic with respect to the relevant symmetric bilinear form. In particular, Schubert varieties of Type B and D are examples of restriction varieties. In this paper, we introduce a resolution of singularities for restriction varieties in $OG(k, n)$, and give a description of their singular locus by studying components of the exceptional locus of the resolution.
Let p be a singular point of a variety. Consider a resolution where the preimage of p is a simple normal crossing divisor E. The combinatorial structure of E is described by a cell complex D(E), called the dual graph or dual complex of E. It is known that the homotopy type of D(E) depends only on p, not on the resolution chosen. We prove that this homotopy type can be arbitrary. We also describe which homotopy types can be obtained from rational singularities.
We study the first step of the weight filtration on the cohomology of a proper complex algebraic variety, which we call the combinatorial part. We obtain a natural upper bound on its size, which gives rather strong information about the topology of rational singularities.
We list combinatorial criteria of some singularities, which appear in the Minimal Model Program or in the study of (singular) Fano varieties, for spherical varieties. Most of the results of this paper are already known or are quite easy corollary of known results. We collect these results, we precise some proofs and add few results to get a coherent and complete survey.
In 1981 J. Wahl described smoothings of surface quotient singularities with no vanishing cycles. Given a smoothing of a projective surface X of this type, we construct an associated exceptional vector bundle on the nearby fiber Y in the case H^{2,0}(Y)=H^1(Y)=0. If Y is the projective plane we show that our construction establishes a bijective correspondence between the possible degenerate surfaces X and exceptional bundles on Y modulo dualizing and tensoring by line bundles. If Y is of general type then our construction establishes a connection between components of the boundary of the moduli…
The weighted dual graph of a two-dimensional normal singularity $(X, x)$ represents the topological nature of the exceptional locus of its minimal log resolution. $(X, x)$ and its graph are said to be taut if the singularity can be uniquely determined by the graph. Laufer gave a complete list of taut singularities over $\mathbb{C}$. In positive characteristics, taut graphs over $\mathbb{C}$ are not necessarily taut and tautness have been studied only for special cases. In this paper, we prove the tautness of $F$-regular singularities. We also discuss the tautness of $F$-pure rational singulari…
