Quantization of minimal resolutions of Kleinian singularities.

DOI10.1016/J.AIM.2006.08.003MaRDI QIDQ876326zbMATH OpenOpenAlexFDO

Authors Mitya Boyarchenko

Publication date 18 April 2007

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0505165

zbMATH Keywords

\(\mathbb{Z}\)-algebrasKleinian singularitiesminimal resolutionnoncommutative deformationsquantizations

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Deformations of singularities (14B07) Geometric invariant theory (14L24) Module categories in associative algebras (16D90) Representations of associative Artinian rings (16G10) Rings arising from noncommutative algebraic geometry (16S38) Deformations of associative rings (16S80) Graded rings and modules (associative rings and algebras) (16W50) Modifications; resolution of singularities (complex-analytic aspects) (32S45)

Abstract: In this paper we prove an analogue of a recent result of Gordon and Stafford that relates the representation theory of certain noncommutative deformations of the coordinate ring of the n-th symmetric power of C^2 with the geometry of the Hilbert scheme of n points in C^2 through the formalism of Z-algebras. Our work produces, for every regular noncommutative deformation O^lambda of a Kleinian singularity X=C^2/Gamma, as defined by Crawley-Boevey and Holland, a filtered Z-algebra which is Morita equivalent to O^lambda, such that the associated graded Z-algebra is Morita equivalent to the minimal resolution of X. The construction uses the description of the algebras O^lambda as quantum Hamiltonian reductions, due to Holland, and a GIT construction of minimal resolutions of X, due to Cassens and Slodowy.

Review text

Let \(\Gamma\subset\text{SL}_2(\mathbb{C})\) be a finite nontrivial subgroup. Associated to \(\Gamma\) is a Kleinian singularity \(X:=\mathbb{C}^2/\Gamma\). \textit{W. Crawley-Boevey} and \textit{M. P. Holland} [Duke Math. J. 92, No. 3, 605-635 (1998; Zbl 0974.16007)] introduced a family \(\{\mathcal O^\lambda\}\) of (generally) noncommutative deformations of \(X\). The main result of this paper is the construction for certain \(\lambda\) with \(\mathcal O^\lambda\) having finite global dimension of a family of filtered \(\mathbb{Z}\)-algebras \(\{B^\lambda(\chi)\}\) with each \(B^\lambda(\chi)\) being Morita equivalent to \(\mathcal O^\lambda\). This is an analogue of a result of \textit{I. Gordon} and \textit{J. T. Stafford} [Adv. Math. 198, No. 1, 222-274 (2005; Zbl 1084.14005)] which states that certain rational Cherednik algebras are Morita equivalent to certain noncommutative deformations of a Hilbert scheme. Both of these results were conjectured by V. Ginzburg. This result provides a new approach to studying the representation theory of \(\mathcal O^\lambda\) which the author investigates in forthcoming work. Moreover, the associated graded \(\mathbb{Z}\)-algebra of \(B^\lambda(\chi)\) is shown to be Morita equivalent to the minimal resolution of \(X\). This affirmatively answers a question posed by \textit{M. P. Holland} [Ann. Sci. Éc. Norm. Supér. (4) 32, No. 6, 813-834 (1999; Zbl 1036.16024)]. In the sense of Holland's work, the algebra \(\mathcal O^\lambda\) can be considered as a `quantization' of \(X\), and Holland asked whether the minimal resolution of \(X\) admitted a quantization. This result shows that these graded algebras are such quantizations. The paper includes a discussion of quivers, particularly the McKay quiver of \(\Gamma\) which is needed for the definition of \(\mathcal O^\lambda\), as well as of the construction of minimal resolutions of \(X\). The author also discusses some fundamental notions about \(\mathbb{Z}\)-algebras and introduces the concept of a Morita \(\mathbb{Z}\)-algebra. A key step in the proof is a stronger version of a categorical equivalence result of Gordon and Stafford. It should be noted that using independent methods a slightly different version of the main result here has been proved by \textit{I. M. Musson} [J. Algebra 293, No. 1, 102-129 (2005; Zbl 1082.14008)] for Kleinian singularities of type \(A\).

Recommendations

• DG-models of projective modules and Nakajima quiver varieties.
• Noncommutative deformations of Kleinian singularities
• Quantization of the Marsden-Weinstein reduction for extended dynkin quivers
• Rational Cherednik algebras and Hilbert schemes
• Singularity categories of deformations of Kleinian singularities
• Rational Cherednik algebras and Hilbert schemes. II: Representations and sheaves
• Quiver Varieties, Category for Rational Cherednik Algebras, and Hecke Algebras
• Punctual Hilbert schemes for Kleinian singularities as quiver varieties
• Deformations of algebras defined by tilting bundles
• Derived equivalences for rational Cherednik algebras

Cites work

• Cohomologie étale. Seminaire de géométrie algébrique du Bois-Marie SGA 4 1/2 par P. Deligne, avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier
• Geometric Invariant Theory
• Geometry of the moment map for representations of quivers.
• Hilbert schemes and noncommutative deformations of type A Kleinian singularities
• scientific article; zbMATH DE number 4139959 (Why is no real title available?)
• scientific article; zbMATH DE number 1182823 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• Noncommutative deformations of Kleinian singularities
• Noncommutative Noetherian rings. With the cooperation of L. W. Small.
• Quantization of minimal resolutions of Kleinian singularities.
• Quantization of the Marsden-Weinstein reduction for extended dynkin quivers
• Rational Cherednik algebras and Hilbert schemes
• Rational Cherednik algebras and Hilbert schemes. II: Representations and sheaves
• Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism.
• Varieties Defined by Quadratic Equations
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)

Cited in

(12)

• Twisted traces and positive forms on quantized Kleinian singularities of type A
• Harish-Chandra homomorphisms and symplectic reflection algebras for wreath-products.
• Hilbert schemes and noncommutative deformations of type A Kleinian singularities
• \(\mathcal{N} = 2\) gauge theories, instanton moduli spaces and geometric representation theory
• Microlocal sheaves and quiver varieties
• Harish-Chandra bimodules for quantized Slodowy slices
• Quantum algebras and symplectic reflection algebras for wreath products
• Isomorphism problems of noncommutative deformations of type 𝐷 Kleinian singularities
• The Auslander-Gorenstein property for Z-algebras
• Isomorphisms of quantizations via quantization of resolutions
• Quantization of the Marsden-Weinstein reduction for extended dynkin quivers
• Quantization of minimal resolutions of Kleinian singularities.

This page was built for publication: Quantization of minimal resolutions of Kleinian singularities.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876326)