R. Bezrukavnikov, D. Kaledin
Let $V$ be a finite-dimensional symplectic vector space over a field of characteristic 0, and let $G \subset Sp(V)$ be a finite subgroup. We prove that for any crepant resolution $X \to V/G$, the bounded derived category $D^b(Coh(X))$ of coherent sheaves on $X$ is equivalent to the bounded derived category $D^b_G(Coh(V))$ of $G$-equivariant coherent sheaves on $V$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
This is a write-up of my talk at the Conference on algebraic structures in Montreal, July 2003. I try to give a brief informal introduction to the proof of Y. Ruan's conjecture on orbifold cohomology multiplication for symplectic quotient singularities given in V. Ginzburg and D. Kaledin, math.AG/0212279. Version 2: minor changes, added some references.
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$.
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.
Non-Commutative Deformations of Derived McKay Correspondence for A(n) singularities
本文证明导出McKay对应可扩展到A(n)环面曲面奇点的交换与非交换crepant解消的半泛非交换形变之间，从而推广了经典的导出等价结果。
We give a conceptual proof that the Poincaré series of the coordinate algebra of a Kleinian singularity and of a Fuchsian singularity of genus 0 is the quotient of the characteristic polynomials of two Coxeter elements. These Coxeter elements are interpreted geometrically, using triangulated categories and spherical twist functors.
A weak version of the McKay correspondence for cyclic quotient singularities
本文将McKay对应弱版本从SL(n,C)有限子群推广至GL(n,C)有限循环群，利用连分数所得环面解消构建对应，证明循环商奇点的相关欧拉数与群共轭类数的关系。
Revisiting the Classical McKay Correspondence, Derived Equivalences and the Spectrum of Kleinian Surface Singularities: A Look Through the Mirror
本文通过同调镜对称重访经典McKay对应，将其表述为Kleinian曲面奇点消没范畴与商轨形完美复形范畴间的导出等价，并借此用二元多面体群的表示论数据解释奇点的谱。
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 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.
When the quotient of a symplectic vector space by the action of a finite subgroup of symplectic automorphisms admits as a crepant projective resolution of singularities the Hilbert scheme of regular orbits of Nakamura, then there is a natural isomorphism between the Grothendieck group of this resolution and the representation ring of the group, given by the Bridgeland-King-Reid map. However, this isomorphism is not compatible with the ring structures. For the Hilbert scheme of points on the affine plane, we study the multiplicative behavior of this map.
McKay correspondence and orbifold equivalence
本文证明由McKay对应变换相关的一对奇点具有orbifold等价性，并由此推导出矩阵分解范畴的McKay型等价的新证明。
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 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.
The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of singularities and the representations of the group. For the Hilbert scheme of points on the affine plane, we study how different correspondences (McKay, dual McKay and multiplicative McKay) are related to each other.
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 prove the quantum McKay correspondence formulae conjectured by J. Bryan and A. Gholampour for the type D (binary) polyhedral groups in SU(2) and SO(3). We use the method of induction by the WDVV equation and from the normal subgroups by J. Bryan and A. Gholampour, and the polynomiality technique developed in this article. We are also based on the validity of the corresponding conjecture for type A groups, which is proved by T. Coates, A. Corti, H. Iritani, and H.-H. Tseng.
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.
The wild McKay correspondence, a variant of the McKay correspondence in positive characteristics, shows that stringy motives of quotient varieties equal some motivic integrals on the moduli space of of the Galois covers of a formal disk. In this paper, we determine when the integrals converge for the the case of cyclic groups of prime power order. As an application, we give a criterion for the quotient variety being canonical or log canonical.
In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. The McKay principle for weight homology implies McKay principle for the homotopy type of the…
The McKay correspondence in type $D_4$ via VGIT
本文通过显式GIT构造实现了$D_4$型曲面奇点的极小消解与轨道折叠消解，基于Tannakian方法，原则上适用于任意商奇点。
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$-…
A finite subgroup of ${\rm SL}_2(\CC)$ defines a (Kleinian) rational surface singularity. The McKay correspondence yields a relation between the Poincaré series of the algebra of invariants of such a group and the characteristic polynomials of certain Coxeter elements determined by the corresponding singularity. Here we consider some non-abelian finite subgroups $G$ of ${\rm SL}_3(\CC)$. They define non-isolated three-dimensional Gorenstein quotient singularities. We consider suitable hyperplane sections of such singularities which are Kleinian or Fuchsian surface singularities. We show that w…
Crepant resolutions of log-terminal singularities via Artin stacks
本文证明任意 log-terminal 奇点簇均可由光滑 Artin 叠实现 crepant 消解，并建立相应 McKay 对应，用光滑叠弧空间上的动机积分表达 Q-Gorenstein 簇的弦不变量。
Let G be a polyhedral group, namely a finite subgroup of SO(3). Nakamura's G-Hilbert scheme provides a preferred Calabi-Yau resolution Y of the polyhedral singularity C^3/G. The classical McKay correspondence describes the classical geometry of Y in terms of the representation theory of G. In this paper we describe the quantum geometry of Y in terms of R, an ADE root system associated to G. Namely, we give an explicit formula for the Gromov-Witten partition function of Y as a product over the positive roots of R. In terms of counts of BPS states (Gopakumar-Vafa invariants), our result can be s…
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.
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…
A McKay Correspondence in Positive Characteristic
本文在正特征下为 SL₂ 的有限线性约化子群概形建立 McKay 对应，并应用于 p≥7 的有理二重点，同时通过 G-Hilbert 概形构造二维典范提升的同步消解。
Euler characteristic of crepant resolutions of specific modular quotient singularities
本文研究正特征下特殊线性群有限子群商奇点双解析解欧拉示性数的McKay对应推广，利用有限域上wild McKay对应证明其对特定半直积群成立，并提出模情形下的猜想。
We globalize the derived version of the McKay correspondence of Bridgeland-King-Reid, proven by Kawamata in the case of abelian quotient singularities, to certain log algebraic stacks with locally free log structure. The two sides of the correspondence are given respectively by the infinite root stack and by a certain version of the valuativization (the projective limit of every possible log blow-up). Our results imply, in particular, that in good cases the category of coherent parabolic sheaves with rational weights is invariant under log blow-up, up to Morita equivalence.
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.
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 …
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.
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.
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…
For a finite subgroup $Γ\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/Γ$ as a Nakajima quiver variety for the framed McKay quiver of $Γ$, taken at a specific non-generic stability parameter. We deduce that this Hilbert scheme is irreducible (a result previously due to Zheng), normal, and admits a unique symplectic resolution. More generally, we introduce a class of algebras obtained from the preprojective algebra of the framed McKay quiver by a process called cornering, a…
We discuss a particular class of rational Gorenstein singularities, which we call symplectic. A normal variety V has symplectic singularities if its smooth part carries a closed symplectic 2-form whose pull-back in any resolution X --> V extends to a holomorphic 2-form on X . Our main result is the classification of isolated symplectic singularities with smooth projective tangent cone. They are in one-to-one correspondence with simple complex Lie algebras: to a Lie algebra g corresponds the singularity at 0 of the closure of the minimal (nonzero) nilpotent adjoint orbit in g .
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.
In this paper we shall prove that the singular locus of a symplectic singularity has no codimension 3 irreducible components. As a corollary, a symplectic singularity is terminal if and only if its singular locus has codimension $\geq 4$. It is hoped that a symplectic singularity has much stronger properties.
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.
Given an action of a finite group $G$ on the derived category of a smooth projective variety $X$ we relate the fixed loci of the induced $G$-action on moduli spaces of stable objects in $D^b(\mathrm{Coh}(X))$ with moduli spaces of stable objects in the equivariant category $D^b(\mathrm{Coh}(X))_G$. As an application we obtain a criterion for the equivariant category of a symplectic action on the derived category of a symplectic surface to be equivalent to the derived category of a surface. This generalizes the derived McKay correspondence, and yields a general framework for describing fixed lo…
We consider symplectic singularities in the sense of A. Beauville as examples of Poisson schemes. Using Poisson methods, we prove that a symplectic singularity admits a finite stratification with smooth symplectic strata. We also prove that in the formal neighborhood of a closed point in some stratum, the singularity is a product of the stratum and a transversal slice. The transversal slice is also a symplectic singularity, and the product decomposition is compatible with natural Poisson structures. Moreover, we prove that the transversal slice admits a $C^*$-action dilating the symplectic for…
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.
For positive integers N and d, there are only finite number of conical symplectic varieties of dimension 2d with maximal weights N, up to isomorphism. The maximal weight of a conical symplectic variety X is, by definition, the maximal weight of the minimal homogeneous generators of the coordinate ring R of X.
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…
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.
A remark on isolated symplectic singularities with trivial local fundamental group
本文提出了一种简单方法构造任意维度的孤立辛奇点，其局部基本群为平凡群，回应了Beauville的问题。
This paper is based on a talk at the conference `The McKay correspondence, mutation and related topics' from July 2020. We provide an introduction to joint work of the author with Søren Gammelgaard, Ádám Gyenge and Balázs Szendrői that constructs the reduced scheme underlying the Hilbert scheme of $n$ points on an ADE singularity as a Nakajima quiver variety for a particular stability parameter. After drawing a parallel with two well-known constructions of the Hilbert scheme of $n$ points in $\mathbb{A}^2$, we summarise results of the author and Gwyn Bellamy before describing the main result b…
Let (X, ω) be an affine symplectic variety. Assume that X has a C^*-action with positive weights and ωis homogeneous with respect to the C^*-action. We prove that the algebraic fundamental group of the smooth locus X_{reg} is finite. This is a collorary to a more general theorem: If an affine variety X has a C^*action with positive weights and the log pair (X, 0) has klt singularities, then the algebraic fundamental group of X_{reg} is finite.
Let X be an affine normal variety with a C^*-action having only positive weights. Assume that X_{reg} has a symplectic 2-form w of weight l. We prove that, when l is not zero, the w is a unique symplectic 2-form of weight l up to C^*-equivariant automorphism When $l = 0$, we have a counter-example to this statement. In the latter half of the article, we associate to X a projective variety P(X) and prove that P(X) has a contact orbifold structure. Moreover, when X has canonical singularities, the contact orbifold structure is rigid under a small deformation. By using the contact structure on P(…
We present a method based on mutations of helices which leads to the construction (in the large volume limit) of exceptional coherent sheaves associated with the $(\sum_al_a=0)$ orbits in Gepner models. This is explicitly verified for a few examples including some cases where the ambient weighted projective space has singularities not inherited by the Calabi-Yau hypersurface. The method is based on two conjectures which lead to the analog,in the general case, of the Beilinson quiver for $\BP^n$. We discuss how one recovers the McKay quiver using the gauged linear sigma model (GLSM) near the or…
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 GL_n(C). A study is made of the ways in which resolutions of the quotient space C^n / G can parametrise G-constellations, that is, G-regular finite length sheaves. These generalise G-clusters, which are used in the McKay correspondence to construct resolutions of orbifold singularities. A complete classification theorem is achieved, in which all the natural families of G-constellations are shown to correspond to certain finite sets of G-Weil divisors, which are a special sort of rational Weil divisor, introduced in this paper. Moreover, it is shown that the number…
Equivariant Moduli Theory on $ K3 $ Surfaces
本文研究有限群辛作用下$K3$曲面上层的等变模空间，利用Gieseker与Bridgeland模空间的联系及导出McKay对应，证明其为与点的Hilbert概形形变等价的不可约辛流形。
We study the local symplectic algebra of the 1-dimensional isolated complete intersection singularity of type Sμ. We use the method of algebraic restrictions to classify symplectic Sμ singularities. We distinguish these symplectic singularities by discrete symplectic invariants. We also give the geometric description of them.
We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated.
Towards a characterization of toric hyperkähler varieties among symplectic singularities II
本文在前文基础上回答了问题5.10，证明了在特定条件下，锥形辛流形与环形超kähler流形存在equivariant代数同构。
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.
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…
This is the final draft, containing very minor proof-reading corrections. Let G in SL(n,\C) be a finite subgroup and \fie: Y -> X = \C^n/G any resolution of singularities of the quotient space. We prove that crepant exceptional prime divisors of Y correspond one-to-one with ``junior'' conjugacy classes of G. When n = 2 this is a version of the McKay correspondence (with irreducible representations of G replaced by conjugacy classes). In the case n = 3, a resolution with K_Y = 0 is known to exist by work of Roan and others; we prove the existence of a basis of H^*(Y, \Q) by algebraic cycles in …
Coulomb Branches have symplectic singularities
本文证明了3维$\mathcal{N}=4$超对称规范理论的Coulomb分支具有辛奇点，从而证实了Braverman-Finkelberg-Nakajima的猜想。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。