In this paper we review the classification of isolated quotient singularities over the field of complex numbers due to H. Zassenhaus, G. Vincent, and G. A. Wolf. As an application we describe Gorenstein isolated quotient singularities over C, generalizing a result of K. Kurano and S. Nishi.
We define and calculate the weighted multiplicities of non Gorenstein terminal singularities on threefolds and some quotient singularities. We improve freeness conditions on threefolds.
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.
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.
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 prove an equivalence of triangulated categories between Orlov's triangulated category of singularities for a Gorenstein cyclic quotient singularity and the derived category of representations of a quiver with relations which is obtained from the McKay quiver by removing one vertex and half of the arrows.
In this note we prove that a conjectural formula for the class $λ_g \mathrm{DR}_g(a,-a)\in R^{2g}(\overline{\mathcal{M}}_{g,2})$ proposed recently by Buryak-Iglesias-Shadrin is true in the Gorenstein quotient of the ring $R^*(\overline{\mathcal{M}}_{g,2})$. As a corollary we prove the strong $\mathrm{DR} \backslash \mathrm{DZ}$ equivalence conjecture for one-point correlators.
An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces $\Bbb{C}^{r}/G$ in dimensions $r\geq 4$ would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit necessary and sufficient conditions under which 2-parameter series of Gorenstein cyclic quotient singularities have torus-equivariant resolutions of this specific sort in all dimensions.
We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.
We classify nonrational Fano threefolds $X$ with terminal Gorenstein singularities such that $\mathrm{\rk}\, \mathrm{\Pic}(X)=1$, $(-K_X)^3\ge 8$, and $\mathrm{\rk}\, \mathrm{\Cl}(X)\le 2$.
Let $X$ be a Gorenstein canonical Fano variety of coindex $4$ and dimension $n$ with $H$ fundamental divisor. Assume $h^0(X, H) \geq n -2$. We prove that a general element of the linear system $|mH|$ has at worst canonical singularities for any integer $m \geq 1$. When $X$ has terminal singularities and $n \geq 5$, we show that a general element of $|mH|$ has at worst terminal singularities for any integer $m \geq 1$. When $n=4$, we give an example of Gorenstein terminal Fano fourfold $X$ such that a general element of $|H|$ does not have terminal singularities.
We consider Fano threefolds $X$ with canonical Gorenstein singularities. Under additional assumption that $X$ has at least one non-cDV point we prove a sharp bound of the degree: $-K_X^3\le 72$.
We consider the deformation spaces of some singular product-quotient surfaces $X=(C_1 \times C_2)/G$, where the curves $C_i$ have genus 3 and the group $G$ is isomorphic to $\mathbb{Z}_4$. As a by-product, we give a new construction of Todorov surfaces with $p_g=1$, $q=0$ and $2\le K^2\le 8$ by using $\mathbb{Q}$-Gorenstein smoothings.
We generalize the result of Kawamata concerning the strong version of Fujita's freeness conjecture for smooth 3-folds to some singular cases, namely, Gorenstein terminal singularities and quotient singularities of type 1/r(1,1,1) and of type 1/r(1,1,-1). We generalize furthermore the result of that to projective threefolds with only canonical singularities for canonical and not terminal singularities. It turns out that the estimates in the first three cases are better than the one for the smooth case, which it is not in the fourth case. We also give explicit examples which show the estimate in…
Gorenstein isolated quotient singularities of odd prime dimension are cyclic. In the case where the dimension is bigger than 1 and is not an odd prime number, then there exist Gorenstein isolated non-cyclic quotient singularities.
The main propose of this paper is to show that Bridgeland's moduli space of perverse point sheaves for certain flopping contractions gives the flops, and the Fourier-Mukai transform given by the birational correspondence of the flop is an equivalence between bounded derived categories.
In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log canonical singularities in our sense. As a corollary, we give an affirmative answer to a conjecture of Broustet and Höring.
We point out an interesting relation between hypersurface elliptic singularities and log Enriques surfaces: with a few exceptions, every hypersurface elliptic singularity define some klt log Enriques surface $(S,Diff)$. In many cases, the log canonical cover of $(S,Diff)$ is a Du Val K3 surface with ``large'' nonsymplectic automorphism group.
The main message of the paper is that for Gorenstein singularities, whose (real) link is rational homology sphere, the Artin--Laufer program can be continued. Here we give the complete answer in the case of elliptic singularities. The main result of the paper says that in the case of an elliptic Gorenstein singularity whose link is rational homology sphere, the geometric genus is a topological invariant. Actually, it is exactly the length of the elliptic sequence in the minimal resolution (or, equivalently, in S. S.-T. Yau's terminology: these singularities are maximally elliptic). In the pape…
In this paper we prove that a normal Gorenstein surface dominated by the projective plane P^2 is isomorphic to a quotient P^2/G, where G is a finite group of automorphisms of P^2 (except possibly for one surface V_8'). We can completely classify all such quotients. Some natural conjectures when the surface is not Gorenstein are also stated.
We prove the analogue of Viehweg's hyperbolicity conjecture for Whitney equisingular families of projective varieties with Gorenstein rational singularities whose geometric generic fiber has a good minimal model. Namely, for such families with maximal variation, the base spaces are of log general type. The main new ingredient is the use of intersection complexes as Hodge modules in the construction of logarithmic Higgs sheaves by Viehweg-Zuo and Popa-Schnell. This construction suggests an equisingular stratification of the moduli space of varieties of general type, with each stratum being hype…
We investigate the nearly Gorenstein property among $d$-dimensional cyclic quotient singularities $\Bbbk[[x_1,\dots,x_d]]^G$, where $\Bbbk$ is an algebraically closed field and $G\subseteq{\rm GL}(d,\Bbbk)$ is a finite small cyclic group whose order is invertible in $\Bbbk$. We prove a necessary and sufficient condition to be nearly Gorenstein that also allows us to find several new classes of such rings.
We study the geometry of Gorenstein curve singularities of genus two, and of their stable limits. These singularities come in two families, corresponding to either Weierstrass or conjugate points on a semistable tail. For every $1\leq m <n$, a stability condition - using one of the markings as a reference point, and therefore not $\mathfrak S_n$-symmetric - defines proper Deligne-Mumford stacks $\overline{\mathcal M}_{2,n}^{(m)}$ containing the locus of smooth curves as a dense open substack.
We give an equivalent definition of the local volume of an isolated singularity Vol_{BdFF}(X,0) given in [BdFF12] in the Q-Gorenstein case and we generalize it to the non-Q-Gorenstein case. We prove that there is a positive lower bound depending only on the dimension for the non-zero local volume of an isolated singularity if X is Gorenstein. We also give a non-Q-Gorenstein example with Vol_{BdFF}(X,0)=0, which does not allow a boundary Δsuch that the pair (X,Δ) is log canonical.
We give a generalization of the duality of a zero-dimensional complete intersection to the case of one-dimensional almost complete intersections, which results in a {\em Gorenstein module} $M=I/J$. In the real case the resulting pairing has a signature, which we show to be constant under flat deformations. In the special case of a non-isolated real hypersurface singularity $f$ with a one-dimensional critical locus, we relate the signature on the jacobian module $I/J_f$ to the Euler characteristic of the positive and negative Milnor fibre, generalising the result for isolated critical points. A…
For affine toric varieties, the vector space T1 (containing the infinitesimal deformations) will be interpreted via Minkowski summands of cross cuts of the defining polyhedral cone. This result will be applied to study the deformation theory of (in particular non-isolated) three-dimensional Gorenstein singularities.
We describe all connected components of the space of hyperbolic Gorenstein quasi-homogeneous surface singularities. We prove that any connected component is homeomorphic to a quotient of R^d by a discrete group.
Firstly, we see that the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities are quite restricted. In particular, we classify the analytic germs of embedding dimension $\leq 2$ which are the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities. Secondly, we show that the deformation spaces of isolated Gorenstein toric $3$-fold singularities appear, in a weak sense, as singularities of the K-moduli stack of K-semistable Fano varieties of every dimension $\geq 3$. As a consequence, we prove that the number of local …
In this paper we prove that the Gorenstein cyclic quotient singularities of type \frac 1l (1,..., 1,l-(r-1)) with $l\geq r\geq 2$, have a \textit{unique}torus-equivariant projective, crepant, partial resolution, which is ``full'' iff either $l\equiv 0$ mod $% (r-1) $ or $l\equiv 1$ mod $(r-1) $. As it turns out, if one of these two conditions is fulfilled, then the exceptional locus of the full desingularization consists of $\lfloor \frac{l}{r-1} \rfloor$ prime divisors, $\lfloor \frac{l}{r-1}\rfloor - 1$ of which are isomorphic to the total spaces of $\Bbb{P}_{\Bbb{C}}^1$-bundles over $\Bbb{P…
We consider a surface that admits a $\mathbb{Q}$-Gorenstein degeneration to a cyclic quotient singularity $\frac{1}{dn^2}(1,dna-1)$. Under several technical assumptions, we construct $d$ exceptional vector bundles of rank $n$ which are orthogonal to each other.
The purpose of this paper is to construct a crepant resolution of quotient singularities by finite subgroups of SL(3,C) of monomial type, and prove that the Euler number of the resolution is equal to the number of conjugacy classes. This result is a part of conjecture II in previous paper "Crepant resolution of trihedral singularities" (alg-geom 9404008). These singularities are different from trihedral, but main idea of the proof is based on the method of trihedral case.
A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls.
We classify simple flops on smooth threefolds, or equivalently, Gorenstein threefold singularities with irreducible small resolution. There are only six families of such singularities, distinguished by Koll{á}r's {\em length} invariant. The method is to apply invariant theory to Pinkham's construction of small resolutions. As a by-product, generators of the ring of invariants are given for the standard action of the Weyl group of each of the irreducible root systems.
In this paper we study the deformation and Q-Gorenstein deformation theory of schemes with non-isolated singularities. We obtain obstruction spaces for the existence of deformations and also for local deformations to exist globally. Finally we obtain explicit criteria in order for a pure and reduced scheme of finite type over a field $k$ to have smoothings and Q-Gorenstein smoothings.
We study Serre duality in the singularity category of an isolated Gorenstein singularity and find an explicit formula for the duality pairing in terms of generalised fractions and residues. For hypersurfaces we recover the residue formula of the string theorists Kapustin and Li. These results are obtained from an explicit construction of complete injective resolutions of maximal Cohen-Macaulay modules.
As is well known, the "usual discrepancy" is defined for a normal Q-Gorenstein variety. By using this discrepancy we can define a canonical singularity and a log canonical singularity. In the same way, by using a new notion, Mather-Jacobian discrepancy introduced in recent papers we can define a "canonical singularity" and a "log canonical singularity" for not necessarily normal or Q-Gorenstein varieties. In this paper, we show basic properties of these singularities, behavior of these singularities under deformations and determine all these singularities of dimension up to 2.
We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with complement a finite set of points, there is a proper birational morphism f : Y --> X such that f is an isomorphism over U and Y has only semi-rational (respectively, semi-log canonical) singularities. We proceed by passing to the normalization and then gluing along the conductor in an appropriate rationalification or log-canonicalization of the normalization …
Let $(X,o)$ be a germ of a 3-dimensional terminal singularity of index $m\geq 2$. If $(X,o)$ has type cAx/4, cD/3-3, cD/2-2, or cE/2, then assume that the standard equation of $X$ in $\mathbb{C}^4/\mathbb{Z}_m$ is non-degenerate with respect to its Newton diagram. Let $π\colon Y\to X$ be a resolution. We show that there are not more than 2 non-rational divisors $E_i$, $i=1,2$, on $Y$ such that $π(E_i)=o$ and discrepancy $a(E_i,X)\leq 1$. When such divisors exist, we describe them as exceptional divisors of certain blowups of $X$ and study their birational type.
Consider a normal complex analytic surface singularity. It is called Gorenstein if the canonical line bundle is holomorphically trivial in some punctured neighborhood of the singular point and is called numerically Gorenstein if this line bundle is topologically trivial. The second notion depends only on the topological type of the singularity. Laufer proved in 1977 that, given a numerically Gorenstein topological type of singularity, every analytical realization of it is Gorenstein if and only if one has either a Kleinian or a minimally elliptic topological type. The question to know if any n…
We classify equivariantly Gorenstein log del Pezzo surfaces with boundaries at infinity and with finite group actions such that the quotient surface modulo the finite group has Picard number one. We also determine the corresponding finite groups. Better figures are available upon request.
For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Up…
The stringy Euler number and stringy E-function are interesting invariants of log terminal singularities, introduced by Batyrev. He used them to formulate a topological mirror symmetry test for pairs of certain Calabi-Yau varieties, and to show a version of the McKay correspondence. It is a natural question whether one can extend these invariants beyond the log terminal case. Assuming the Minimal Model Program, we introduce very general stringy invariants, associated to 'almost all' singularities, more precisely to all singularities which are not strictly log canonical. They specialize to the …
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.
We examine some recent work of Phillip Griffith on étale covers and fibered products from the point of view of tight closure theory. While it is known that cyclic covers of Gorenstein rings with rational singularities are Cohen-Macaulay, we show this is not true in general in the absence of the Gorenstein hypothesis. Specifically, we show that the canonical cover of a $\mathbb Q$-Gorenstein ring with rational singularities need not be Cohen-Macaulay.
In "Singularities on Normal Varieties", de Fernex and Hacon started the study of singularities on non-Q-Gorenstein varieties using pullbacks of Weil divisors. In "Log Terminal Singularities", the author of this paper and Urbinati introduce a new class of singularities, called log terminal+, or simply lt+, which they prove is rather well behaved. In this paper we will continue the study of lt+ singularities, and we will show that they satisfy a Bertini type result, inversion of adjunction and small deformation invariance, and that they are naturally related to rational singularities. Finally, w…
We introduce the notion of stringy E-function for an arbitrary normal irreducible algebraic variety X with at worst log-terminal singularities. We prove some basic properties of stringy E-functions and compute them explicitly for arbitrary Q-Gorenstein toric varieties. Using stringy E-functions, we propose a general method to define stringy Hodge numbers for projective algebraic varieties with at worst Gorenstein canonical singularities. This allows us to formulate the topological mirror duality test for arbitrary Calabi-Yau varieties with canonical singularities. In Appendix we explain non-Ar…
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.
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.