We establish a correspondence between orbifold and singular elliptic genera of a global quotient. While the former is defined in terms of the fixed point set of the action, the latter is defined in terms of the resolution of singularities. As a byproduct, the second quantization formula of Dijkgraaf, Moore, Verlinde and Verlinde is extended to arbitrary Kawamata log-terminal pairs.
We prove an equivariant version of the McKay correspondence for the elliptic genus on open varieties with a torus action. As a consequence, we will prove the equivariant DMVV formula for the Hilbert scheme of points on $\C^2$.
We define the singular orbifold elliptic genus and $E$-function for all normal surfaces without strictly log-canonical singularities, and prove the analogue of the McKay correspondence in this setting. Our invariants generalize the stringy invariants defined by Willem Veys for this class of singularities. We show that the ability to define these invariants is closely linked to rigidity phenomena associated to the elliptic genus.
We revisit the construction of elliptic class given by Borisov and Libgober for singular algebraic varieties. Assuming torus action we adjust the theory to equivariant local situation. We study theta function identities having geometric origin. In the case of quotient singularities $\mathbb C^n/G$, where $G$ is a finite group the theta identities arise from McKay correspondence. The symplectic singularities are of special interest. The Du Val surface singularity $A_n$ leads to a remarkable formula.
We introduce equivariant elliptic genera for open varieties with a torus action and prove the equivariant elliptic genus version of the McKay correspondence for ALE spaces.
We discuss an algebro-geometric description of Witten's phases of N=2 theories and propose a definition of their elliptic genus provided some conditions on singularities of the phases are met. For Landau-Ginzburg phase one recovers elliptic genus of LG models proposed in physics literature in early 90s. For certain transitions between phases we derive invariance of elliptic genus from an equivariant form of McKay correspondence for elliptic genus. As special cases one obtains Landau-Giznburg/Calabi-Yau correspondence for elliptic genus of weighted homogeneous potentials as well as certain hybr…
We show that elliptic classes introduced in our earlier paper for spaces with infinite fundamental groups yield Novikov's type higher elliptic genera which are invariants of K-equivalence. This include, as a special case, the birational invariance of higher Todd classes studied recently by J.Rosenberg and J.Block-S.Weinberger. We also prove the modular properties of these genera, show that they satisfy a McKay correspondence, and consider their twist by discrete torsion.
In this paper, we investigate the stability manifold of local models of orbifold quotients of elliptic curves. In particular, we describe a component of the stability manifold which maps as a covering space onto the universal unfolding space of the mirror singularity. The construction requires a detailed study of the McKay correspondence for $A_N$ surface singularities and a study of wall-crossing phenomena.
The purpose of this paper is to show how the motivic integration methods of Kontsevich, Denef-Loeser and Looijenga can be adapted to prove the McKay-Ruan correspondence, a generalization of the McKay-Reid correspondence to orbifolds that are not necessarily global quotients.
The present work is devoted to the study of motivic integration on quotient singularities. We give a new proof of a form of the McKay correspondence previously proved by Batyrev. The paper contains also some general results on motivic integration on arbitrary singular spaces.
Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant resolution of X=M/G and that there is a derived equivalence (Fourier- Mukai transform) between coherent sheaves on Y and coherent G-sheaves on M. This identifies the K theory of Y with the equivariant K theory of M, and thus generalises the classical McKay correspondence. Some higher dimensional extensions are possible.
There are many generalizations of the McKay correspondence for higher dimensional Gorenstein quotient singularities and there are some applications to compute the topological invariants today. But some of the invariants are completely different from the classical invariants, in particular for non-Gorenstein cases. In this paper, we would like to discuss the McKay correspondence for 2-dimensional quotient singularities via "special" representations which gives the classical topological invariants and give a new characterization of the special representations for cyclic quotient singularities in…
We prove that the equivariant derived category for a finite subgroup of GL(3,C) has a semi-orthogonal decomposition into the derived category of a certain partial resolution, called a maximal Q-factorial terminalization, of the corresponding quotient singularity and a relative exceptional collection. This is a generalization of a result of Bridgeland, King and Reid.
We propose a three dimensional generalization of the geometric McKay correspondence described by Gonzales-Sprinberg and Verdier in dimension two. We work it out in detail when G is abelian and C^3/G has a single isolated singularity. More precisely, we show that the Bridgeland-King-Reid derived category equivalence induces a natural geometric correspondence between irreducible representations of G and subschemes of the exceptional set of G-Hilb (C^3). This correspondence appears to be related to Reid's recipe.
We show that the derived category of coherent sheaves on the quotient stack of the affine plane by a finite small subgroup of the general linear group is obtained from the derived category of coherent sheaves on the minimal resolution by adding a semiorthogonal summand with a full exceptional collection. The proof is based on an explicit construction in the abelian case, together with the analysis of the behavior of the derived categories of coherent sheaves under root constructions.
Multi-fan is an analogous notion of fan. As a fan is associated to a toric variety a multi-fan is associated to a torus orbifold. Orbifold elliptic class and orbifold elliptic genus are defined for a triple of a multi-fan, a set of generating integral vectors of one dimensional cones and a $\mathbb{Q}$ divisor. They are shown to behave functorially with respect to birational morphisms between these triples. The result may be considered as a combinatorial or topological analogue of the main result of Borisov and Libgober, McKay correspondence for elliptic genera, Ann. of Math., 161 (2005).
We study the behavior of a dimer model under the operation of removing a corner from the lattice polygon and taking the convex hull of the rest. This refines an operation of Gulotta, and the special McKay correspondence plays an essential role in this refinement. As a corollary, we show that for any lattice polygon, there is a dimer model such that the derived category of finitely-generated modules over the path algebra of the corresponding quiver with relations is equivalent to the derived category of coherent sheaves on a toric Calabi-Yau 3-fold determined by the lattice polygon. Our proof i…
We give a new moduli construction of the minimal resolution of the singularity of type 1/r(1,a) by introducing the Special McKay quiver. To demonstrate that our construction trumps that of the G-Hilbert scheme, we show that the induced tautological line bundles freely generate the bounded derived category of coherent sheaves on X by establishing a suitable derived equivalence. This gives a moduli construction of the Special McKay correspondence for abelian subgroups of GL(2).
We show Mckay correspondence of Betti numbers of Chen-Ruan coho- mology for omnioriented quasitoric orbifolds. In previous articles with M. Poddar [8], [9], we proved the correspondence for four dimension and six dimensions. Here we deal with the general case.
The boundary chiral ring of a 2d gauged linear sigma model on a Kähler manifold $X$ classifies the topological D-brane sectors and the massless open strings between them. While it is determined at small volume by simple group theory, its continuation to generic volume provides highly non-trivial information about the $D$-branes on $X$, related to the derived category $D^\flat(X)$. We use this correspondence to elaborate on an extended notion of McKay correspondence that captures more general than orbifold singularities. As an illustration, we work out this new notion of McKay correspondence fo…
The classical McKay correspondence establishes an explicit link from the representation theory of a finite subgroup G of SU(2) and the geometry of the minimal resolution of the quotient of the affine plane by G. In this paper we discuss a possible generalization of the McKay correspondence to the case when G is replaced with a cocompact discrete subgroup of the universal cover of SU(1,1) such that its image in PSU(1,1) is a cocompact fuchsian group with quotient of genus 0. We establish a correspondence between a certain class of finite-dimensional unitary representations of G and vector bundl…
In this paper we prove an analogue of the McKay correspondence for Landau-Ginzburg models. Our proof is based on the ideas introduced by T. Bridgeland, A. King and M. Reid, which reformulate and generalize the McKay correspondence in the language of derived categories, along with the techniques introduced by J.-C. Chen.
A Calabi-Yau orbifold is locally modeled on C^n/G where G is a finite subgroup of SL(n, C). In dimension n=3 a crepant resolution is given by Nakamura's G-Hilbert scheme. This crepant resolution has a description as a GIT/symplectic quotient. We use tools from global analysis to give a geometrical generalization of the McKay Correspondence to this case.
Canonical orders, introduced in the minimal model program for orders, are simultaneous generalisations of Kleinian singularities and their associated skew group rings. In this paper, we construct minimal resolutions of canonical orders via non-commutative cyclic covers and skew group rings. This allows us to exhibit a derived equivalence between minimal resolutions of canonical orders and the skew group ring form of the canonical order in all but one case. The Fourier-Mukai transform used to construct this equivalence allows us to make explicit, the numerical version of the McKay correspondenc…
Let $G$ be a finite subgroup of $\mbox{GL}(2)$ acting on $\mathbf{A}^2\setminus\{0\}$ freely. The $G$-orbit Hilbert scheme $G\mbox{-Hilb}(\mathbf{A}^2)$ is a minimal resolution of the quotient $\mathbf{A}^2/G$. We determine the generator sheaf of the ideal defining the universal $G$-cluster over $G\mbox{-Hilb}(\mathbf{A}^2)$, which somewhat strengthens the well-known McKay correspondence for a finite subgroup of $\mbox{SL}(2)$. We also study the quiver structure of $G\mbox{-Hilb}(\mathbf{A}^2)$ at every $G$-cluster $O_{Z_y}=O_{\mathbf{A}^2}/I_y$ in terms of a collection of sort of minimal $G$-…
We prove the generalised McKay correspondence for isolated singularities using Floer theory. Given an isolated singularity \C^n/G for a finite subgroup G in SL(n,\C) and any crepant resolution Y, we prove that the rank of positive symplectic cohomology SH_+(Y) is the number of conjugacy classes of G, and that twice the age grading on conjugacy classes is the \Z-grading on SH_+(Y) by the Conley-Zehnder index. The generalised McKay correspondence follows as SH_+(Y) is naturally isomorphic to ordinary cohomology H(Y), due to a vanishing result for full symplectic cohomology. In the Appendix we co…
We survey some features of equivariant instanton partition functions of topological gauge theories on four and six dimensional toric Kahler varieties, and their geometric and algebraic counterparts in the enumerative problem of counting holomorphic curves. We discuss the relations of instanton counting to representations of affine Lie algebras in the four-dimensional case, and to Donaldson-Thomas theory for ideal sheaves on Calabi-Yau threefolds. For resolutions of toric singularities, an algebraic structure induced by a quiver determines the instanton moduli space through the McKay correspond…
In this note, we describe a a systematic procedure to find toric crepant resolutions of orbifold vertex, and show that the generating series of certain disc invariants of the orbifold vertex can be suitably identified with the generating series of certain disc invariants of its toric crepant resolutions.
Let $Γ$ be a finite group acting linearly on $\C^n$, freely outside the origin. In previous work a generalisation of Kronheimer's construction of moduli of Hermitian-Yang-Mills bundles with certain invariance properties was given. This produced varieties $X_ζ$ (parameterised by $ζ\in\Q^N$) which are partial resolutions of $\C^n/Γ$. In this article, it is shown the same $X_ζ$ can be described as moduli spaces of representations of the McKay quiver associated to the action of $Γ$. It it shown that, for abelian groups, $X_ζ$ are toric varieties defined by convex polyhedra which are the solution s…
Let $G\subset SL_2(C)\subset SL_3(C)$ be a finite group. We compute motivic Pandharipande-Thomas and Donaldson-Thomas invariants of the crepant resolution $Hilb^G(C^3)$ of $C^3/G$ generalizing results of Gholampour and Jiang who computed numerical DT/PT invariants using localization techniques. Our formulas rely on the computation of motivic Donaldson-Thomas invariants for a special class of quivers with potentials. We show that these motivic Donaldson-Thomas invariants are closely related to the polynomials counting absolutely indecomposable quiver representations over finite fields introduce…
Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a derived equivalence between coherent sheaves on the Hilbert scheme and coherent sheaves on the orbifold quotient of ${\mathbb A}^{2n}$ by the symmetric group $S_n$. A short proof of a similar derived …
We construct a noncommutative desingularization of the discriminant of a finite reflection group $G$ as a quotient of the skew group ring $A=S*G$. If $G$ is generated by order two reflections, then this quotient identifies with the endomorphism ring of the reflection arrangement $\mathcal{A}(G)$ viewed as a module over the coordinate ring $S^G/(Δ)$ of the discriminant of $G$. This yields, in particular, a correspondence between the nontrivial irreducible representations of $G$ to certain maximal Cohen--Macaulay modules over the coordinate ring $S^G/(Δ)$. These maximal Cohen--Macaulay modules a…
We formulate a Crepant Resolution Correspondence for open Gromov-Witten invariants (OCRC) of toric Calabi-Yau orbifolds by viewing the open theories as sections of Givental's symplectic vector space and the correspondence as a linear map of Givental spaces which identifies them. We deduce a Bryan-Graber-type statement for disk invariants and extend it to arbitrary genus zero topologies in the Hard Lefschetz case. Upon leveraging Iritani's theory of integral structures to equivariant quantum cohomology, we conjecture a general form of the symplectomorphism entering the OCRC which arises from a …
Let X/G be a 3-dimensional Calabi-Yau orbifold with codimension 2 singularities. The topology of crepant resolutions of X/G is described by the McKay correspondence (Reid, Ito). We study Calabi-Yau 3-folds Y that arise by deforming the complex structure of X/G. The McKay correspondence does not hold for such Y. We describe the topology of Y using the `Weyl group' of the singular set of X/G. Even in simple examples, this can give many different ways to desingularize X/G. It would be interesting to interpret these results in String Theory, which should lead to a generalization of the idea of orb…
We advocate that a generalized Kronheimer construction of the Kähler quotient crepant resolution $\mathcal{M}_ζ\longrightarrow \mathbb{C}^3/Γ$ of an orbifold singularity where $Γ\subset \mathrm{SU(3)}$ is a finite subgroup naturally defines the field content and interaction structure of a superconformal Chern-Simons Gauge Theory. This is supposedly the dual of an M2-brane solution of $D=11$ supergravity with $\mathbb{C}\times\mathcal{M}_ζ$ as transverse space. We illustrate and discuss many aspects of this of constructions emphasizing that the equation $\pmb{p}\wedge\pmb{p}=0$ which provides t…
Lectures on resolutions à la Kronheimer of orbifold singularities, McKay quivers for Gauge Theories on D3 branes, and the issue of Ricci flat metrics on the resolved three-folds
This paper surveys the authors recent work on two variable elliptic genus of singular varieties. The last section calculates a generating function for the elliptic genera of symmetric products. This generalizes the classical results of Macdonald and Zagier.
Noncommutative Donaldson-Thomas invariants for abelian orbifold singularities can be studied via the enumeration of instanton solutions in a six-dimensional noncommutative N=2 gauge theory; this construction is based on the generalized McKay correspondence and identifies the instanton counting with the counting of framed representations of a quiver which is naturally associated to the geometry of the singularity. We extend these constructions to compute BPS partition functions for higher-rank refined and motivic noncommutative Donaldson-Thomas invariants in the Coulomb branch in terms of gauge…
We match the elliptic genus of a Berglund-Hübsch model with the supertrace of $y^{J[0]}q^{L[0]}$ on a vertex algebra $V_{{\bf 1}, {\bf 1}}$. We show that it is a weak Jacobi form and the elliptic genus of one theory is equal to (up to a sign) the elliptic genus of its mirror.
We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.
We propose a new definition of the elliptic genera for complete intersections, not necessarily nonsingular, in projective spaces. We also prove they coincide with the expressions obtained from Landau-Ginzburg model by an elementary argument.
Borisov and Libgober recently proved a conjecture of Dijkgraaf, Moore, Verlinde, and Verlinde on the elliptic genus of a Hilbert scheme of points on a surface. We show how their result can be used together with our work on complex genera of generalised Kummer varieties to deduce a formula for the elliptic genus of a generalised Kummer variety.
We show that equivariant elliptic genera of toric Calabi-Yau 3-folds are generalized weak Jacobi forms. We also introduce a notion of averaged equivariant elliptic genera of toric Calabi-Yau 3-folds, and show that they are ordinary weak Jacobi forms given by an explicit formula predicted by Eguchi and Sugawara.
The paper contains a proof that elliptic genus of a Calabi-Yau manifold is a Jacobi form, finds in which dimensions the elliptic genus is determined by the Hodge numbers and shows that elliptic genera of a Calabi-Yau hypersurface in a toric variety and its mirror coincide up to sign. The proof of the mirror property is based on the extension of elliptic genus to Calabi-Yau hypersurfaces in toric varieties with Gorenstein singularities.
The first part surveys the push forward formula for elliptic class and various applications obtained in the papers by L.Borisov and the author. In the remaining part we discuss the ring of quasi-Jacobi forms which allow to characterize the functions which are the elliptic genera of almost complex manifolds and extension of Ochanine elliptic genus to certain singular real algebraic varieties.