Let $V$ be a complex vector space on which a finite group $G$ acts by linear transformations. Let $W = V \oplus V^*$ be the sum of $V$ with its dual $V^*$. We prove that if the quotient $W/G$ admits a smooth crepant resolution, then the subgroup $G \subset Aut V$ is generated by complex reflections. We also obtain some results on the structure of smooth crepant resolutions of the quotients $W/G$, where $W$ is a symplectic vector space, and $G \subset Aut W$ is a finite group of symplectic linear transformations of the vector space $W$.
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 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.
In characteristic zero, if a quotient variety has a crepant resolution, the Euler characteristic of the crepant resolution is equal to the number of conjugacy classes of the acting group, by Batyrev's theorem. This is one of the McKay correspondence. It is natural to consider the analogue statement in the positive characteristic. In this paper, we present sequences of crepant resolutions of quotient varieties in the positive characteristic and show that one of the sequences gives a counterexample to the analogue statement of Batyrev's 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.
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.
Let G be a finite subgroup of SL(n,C), then the quotient C^n/G has a Gorenstein canonical singularity. Bridgeland-King-Reid proved that the G-Hilbert scheme Hilb^G(C^3) gives a crepant resolution of the quotient C^3/G for any finite subgroup G of SL(3,C). However, in dimension 4, very few crepant resolutions are known. In this paper, we will show several examples of crepant resolutions in dimension 4 and show examples in which Hilb^G(C^4) is blow-up of certain crepant resolutions for C^4/G, or Hilb^G(C^4) has singularity.
A formula for calculating the Lefschetz number of an automorphism acting on a crepant resolution for a quotient of a Kahler manifold derived from an equivariant version of McKay correspondence. The latter is proven in some cases. As an application the Lefschetz numbers of of involutions acting on Calabi-Yau threefolds and their mirrors are compared.
For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein abelian quotient singularities, which are embeddable as complete intersections of hypersurfaces in an affine space, have torus-equivariant projective crepant resolutions in all dimensions. We us…
Folding of ADE-Dynkin diagrams according to graph automorphisms yields irreducible Dynkin diagrams of ABCDEFG-types. This folding procedure allows to trace back the properties of the corresponding simple Lie algebras or groups to those of ADE-type. In this article, we implement the techniques of folding by graph automorphisms for Hitchin integrable systems. We show that the fixed point loci of these automorphisms are isomorphic as algebraic integrable systems to the Hitchin systems of the folded groups away from singular fibers. The latter Hitchin systems are isomorphic to the intermediate Jac…
Resolutions of linear $p$-cyclic quotient singularities
Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo（东京大学宇宙木理论研究所）；Institute of Science Tokyo（东京科学大学）；The University of Tokyo（东京大学）
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.
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…
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 study the orbifold Gromov-Witten theory of the quotient C^3/Z_3 in all genera. Our first result is a proof of the holomorphic anomaly equations in the precise form predicted by B-model physics. Our second result is an exact crepant resolution correspondence relating the Gromov-Witten theories of C^3/Z_3 and local CP2. The proof of the correspondence requires an identity proven in the Appendix by T. Coates and H. Iritani.
For a finite abelian subgroup $G\subset SL_n(\mathbb{C})$, we study whether a given crepant resolution $X$ of the quotient variety $\mathbb{C}^n/G$ is obtained as a moduli space of $G$-constellations. In particular we show that, if $X$ admits a natural $G$-constellation family in the sense of Logvinenko over it with all fibers being indecomposable as $\mathbb{C}[\mathbb{C}^n]$-modules, then $X$ is isomorphic to the normalization of a fine moduli space of $G$-constellations.
After fixing a non-degenerate bilinear form on a vector space V we define an involution of the manifold of flags F in V by taking a flag to its orthogonal complement. When V is of dimension 3 we check that the Crepant Resolution Conjecture of J. Bryan and T. Graber holds: the genus zero (orbifold) Gromov-Witten potential function of [F / Z_2] agrees (up to unstable terms) with the genus zero Gromov-Witten potential function of a crepant resolution Y of the quotient scheme F / Z_2, after setting a quantum parameter to -1, making a linear change of variables, and analytically continuing coeffici…
We consider geometrical problems on Gorenstein hypersurface orbifolds of dimension $n \geq 4$ through the theory of Hilbert scheme of group orbits. For a linear special group $G$ acting on $\CZ^n$, we study the $G$-Hilbert scheme, $\hl^G(\CZ^n)$, and crepant resolutions of $\CZ^n/G$ for $G$=the $A$-type abelian group $ A_r(n)$. For $n=4$, we obtain the explicit structure of $\hl^{A_r(4)}(\CZ^4)$. The crepant resolutions of $\CZ^4/A_r(4)$ are constructed through their relation with $\hl^{A_r(4)}(\CZ^4)$, and the connections between these crepant resolutions are found by the "flop" procedure of …
We develop a method of finding a Cox ring of a crepant resolution of a quotient singularity with a torus action and apply it to examples of symplectic quotient singularities in dimension 4. In addition we obtain a bound on the degrees of homogeneous generators of the Cox ring in a more general setup, based on the multigraded Castelnuovo-Mumford regularity and Kawamata-Viehweg vanishing.
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 3-fold terminal quotient singularity X=C^3/G admits the economic resolution Y-> X, which is "close to being crepant". This paper proves that the economic resolution Y is isomorphic to a distinguished component of a moduli space of certain G-equivariant objects using the the King stability condition $θ$ introduced by Kędzierski.
The notion of age of elements of complex linear groups was introduced by M. Reid and is of importance in algebraic geometry, in particular in the study of crepant resolutions and of quotients of Calabi-Yau varieties. In this paper, we solve a problem raised by J. Kollar and M. Larsen on the structure of finite irreducible linear groups generated by elements of age at most 1. More generally, we bound the dimension of finite irreducible linear groups generated by elements of bounded deviation. As a consequence of our main results, we derive some properties of symmetric spaces for the unitayr gro…
The aim of this paper is to construct Calabi-Yau 4-folds as crepant resolutions of the quotients of a hyperkähler 4-fold $X$ by a non symplectic involution $α$. We first compute the Hodge numbers of a Calabi-Yau constructed in this way in a general setting and then we apply the results to several specific examples of non symplectic involutions, producing Calabi-Yau 4-folds with different Hodge diamonds. Then we restrict ourselves to the case where $X$ is the Hilbert scheme of two points on a K3 surface $S$ and the involution $α$ is induced by a non symplectic involution on the K3 surface. In t…
We consider the quotients $X = V/G$ of a symplectic complex vector space $V$ by a finite subgroup $G \subset Sp(V)$ which admit a smooth crepant resolution $Y \to X$. For such quotients, we prove the homological McKay correspondence conjectured by M. Reid. Namely, we construct a natural basis in the homology space $H_\cdot(Y,\Q)$ whose elements are numbered by the conjugacy classes in the finite group $G$.
We prove that all projective crepant resolutions of Nakajima quiver varieties satisfying natural conditions are also Nakajima quiver varieties. More generally, we classify the small birational models of many Geometric Invariant Theory (GIT) quotients by introducing a sufficient condition for the GIT quotient of an affine variety $V$ by the action of a reductive group $G$ to be a relative Mori Dream Space. Two surprising examples illustrate that our new condition is optimal. When the condition holds, we show that the linearisation map identifies a region of the GIT fan with the Mori chamber dec…
We present an algorithm that finds all toric noncommutative crepant resolutions of a given toric 3-dimensional Gorenstein singularity. The algorithm embeds the quivers of these algebras inside a real 3-dimensional torus such that the relations are homotopy relations. One can project these embedded quivers down to a 2-dimensional torus to obtain the corresponding dimer models. We discuss some examples and use the algorithm to show that all toric noncommutative crepant resolutions of a finite quotient of the conifold singularity can be obtained by mutating one basic dimer model. We also discuss …
We introduce special classes of non-commutative crepant resolutions (= NCCR) which we call steady and splitting. We show that a singularity has a steady splitting NCCR if and only if it is a quotient singularity by a finite abelian group. We apply our results to toric singularities and dimer models.
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…
It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima's classification theorem and of some special techniques from toric and discrete geometry.
Gabrielov numbers describe certain Coxeter-Dynkin diagrams of the 14 exceptional unimodal singularities and play a role in Arnold's strange duality. In a previous paper, the authors defined Gabrielov numbers of a cusp singularity with an action of a finite abelian subgroup $G$ of ${\rm SL}(3,\CC)$ using the Gabrielov numbers of the cusp singularity and data of the group $G$. Here we consider a crepant resolution $Y \to \CC^3/G$ and the preimage $Z$ of the image of the Milnor fibre of the cusp singularity under the natural projection $\CC^3 \to \CC^3/G$. Using the McKay correspondence, we compu…
The purpose of this paper is to construct a crepant resolution of quotient singularities by trihedral groups ( finite subgroups of SL(3,C) of certain type ), and prove that each Euler number of the minimal model is equal to the number of conjugacy classes. Trihedral singularities are 3-dimensional version of D_n-singularities, and they are non-isolated and many of them are not complete intersections. The resolution is similar to one of D_n-singularities. There is a nice combination of the toric resolution and Calabi-Yau resolution.
The three-dimensional McKay correspondence seeks to relate the geometry of crepant resolutions of Gorenstein $3$-fold quotient singularities $\mathbb{A}^3/G$ with the representation theory of the group $G$. The first crepant resolution studied in depth was the $G$-Hilbert scheme $G\text{-Hilb}\,\mathbb{A}^3$, which is also a moduli space of $θ$-stable representations of the McKay quiver associated to $G$. As the stability parameter $θ$ varies, we obtain many other crepant resolutions. In this paper we focus on the case where $G$ is abelian, and compute explicit inequalities for the chamber of …
We show that all toric noncommutative crepant resolutions (NCCRs) of affine GIT quotients of "weakly symmetric" unimodular torus representations are derived equivalent. This yields evidence for a non-commutative extension of a well known conjecture by Bondal and Orlov stating that all crepant resolutions of a Gorenstein singularity are derived equivalent. We prove our result by showing that all toric NCCRs of the affine GIT quotient are derived equivalent to a fixed Deligne-Mumford GIT quotient stack associated to a generic character of the torus. This extends a result by Halpern-Leistner and …
We prove that a quotient singularity $\mathbb{C}^n/G $ by a finite subgroup $G\subset SL_n(\mathbb{C})$ has a crepant resolution only if $G $ is generated by junior elements. This is a generalization of the result of Verbitsky [V]. We also give a procedure to compute the Cox ring of a minimal model of a given $\mathbb{C}^n/G$ explicitly from information of $G$. As an application, we investigate the smoothness of minimal models of some quotient singularities. Together with work of Bellamy and Schedler, this completes the classification of symplectically imprimitive quotient singularities which …
This paper shows that the motivic BPS invariants associated to a noncommutative crepant resolution of a compound Du-Val singularity are controlled by the labelled Dynkin combinatorics appearing in the work of Iyama--Wemyss. In particular, we show that the invariants vanish for dimension vectors which are not a multiple of a restricted root obtained from the affine root system under a natural quotient map. An immediate corollary is a description of the curve classes for which the Gopakumar--Vafa invariants of geometric crepant resolutions vanish, generalising a recent result of Nabijou--Wemyss …
As a continuation of a general program started in two previous publications, in the present paper we study the Kähler quotient resolution of the orbifold $\mathbb{C}^3/\mathbb{Z}_4$, comparing with the results of a toric description of the same. In this way we determine the algebraic structure of the exceptional divisor, whose compact component is the second Hirzebruch surface $\mathbb F_2$. We determine the explicit Kähler geometry of the smooth resolved manifold $Y$, which is the total space of the canonical bundle of $\mathbb F_2$. We study in detail the chamber structure of the space of st…
We compute motivic Donaldson-Thomas invariants for crepant resolutions of quotients of affine three-space by even dihedral groups in terms of an affine type D root system, using double dimensional reduction and the representation theory of affine type D quivers.
For a finite subgroup G in SL(3,C), Bridgeland, King and Reid proved that the moduli space of G-clusters is a crepant resolution of the quotient C^3/G. This paper considers the moduli spaces M_θ, introduced by Kronheimer and further studied by Sardo Infirri, which coincide with G-Hilb for a particular choice of the GIT parameter θ. For G Abelian, we prove that every projective crepant resolution of C^3/G is isomorphic to M_θfor some parameter θ. The key step is the description of GIT chambers in terms of the K-theory of the moduli space via the appropriate Fourier--Mukai transform. We also unc…
We study crepant resolutions of Weierstrass models of $\text{SU}(2)\!\times\!\text{SU}(3)$-models, whose gauge group describes the non-abelian sector of the Standard Model. The $\text{SU}(2)\!\times\!\text{SU}(3)$-models are elliptic fibrations characterized by the collision of two Kodaira fibers with dual graphs that are affine Dynkin diagrams of type $\widetilde{\text{A}}_1$ and $\widetilde{\text{A}}_2$. Once we eliminate those collisions that do not have crepant resolutions, we are left with six distinct collisions that are related to each other by deformations. Each of these six collisions…
We give an equivalence of triangulated categories between the derived category of finitely generated representations of symplectic reflection algebras associated with wreath products (with parameter t=0) and the derived category of coherent sheaves on a crepant resolution of the spectrum of the centre of these algebras.
In this note, we consider crepant resolutions of the quotient varieties of smooth quintic threefolds by Gorenstein group actions. We compute their Hodge numbers via McKay correspondence. In this way, we find some new pairs $(h^{1,1},\;h^{2,1})$ of Hodge numbers of Calabi-Yau threefolds.
Let X be the toric variety (P^1)^4 associated with its four-dimensional polytope. Consider a resolution of the singular Fano variety associated with the dual polytope of X. Generically, anti-canonical sections Y of X and anticanonical sections of the resolution are mirror partners in the sense of Batyrev. Our main result is the following: the Hodge-theoretic mirror of the quotient Z associated to a maximal admissible pair (Y,G) in X is not a quotient associated to an admissible pair in the resolution. Nevertheless, it is possible to construct a mirror orbifold of Z by means of a quotient of a …
