Abstract
If G is a reductive group acting on a linearized smooth scheme X then we show that under suitable standard conditions the derived category \({{{\mathcal {D}}}}(X^{ss}{/}G)\) of the corresponding GIT quotient stack \(X^{ss}{/}G\) has a semi-orthogonal decomposition consisting of derived categories of coherent sheaves of rings on \(X^{ss}{/\!\!/}G\) which are locally of finite global dimension. One of the components of the decomposition is a certain non-commutative resolution of \(X^{ss}{/\!\!/}G\) constructed earlier by the authors. As a concrete example we obtain in the case of odd Pfaffians a semi-orthogonal decomposition of the corresponding quotient stack in which all the parts are certain specific non-commutative crepant resolutions of Pfaffians of lower or equal rank which had also been constructed earlier by the authors. In particular this semi-orthogonal decomposition cannot be refined further since its parts are Calabi–Yau. The results in this paper complement results by Halpern–Leistner, Ballard–Favero–Katzarkov and Donovan–Segal that assert the existence of a semi-orthogonal decomposition of \({{{\mathcal {D}}}}(X/G)\) in which one of the parts is \({{{\mathcal {D}}}}(X^{ss}/G)\).
Similar content being viewed by others
Notes
Variety here means an integral separated noetherian k-scheme.
The indecomposability of (twisted) NCCR’s seems to be well known to experts. It may be easily proved in a similar way as [23, Lemma A.4].
Such a K-flat resolution is constructed in the same way as for DG-algebras (see [12, Theorem 3.1.b]). One starts from the observation that for every \(M\in D(\Lambda )\) there is a morphism \(\bigoplus _{i\in I} j_{i!}(\Lambda {\mid } U_i)\rightarrow M\) with open immersions \((j_i:U_i\rightarrow X/\!\!/G)_{i\in I}\), which is an epimorphism on the level of cohomology.
Replacing \({\text {Hom}}_{X/G}(P_{G,{{{\mathcal {L}}}}},P_{G,\chi })\) with its projective resolution over \({\text {End}}_{X/G}(P_{G,{{{\mathcal {L}}}}})\).
Here we use that X is affine to identify global and local \({\text {Hom}}\)’s.
If the \(G_m\)-action is denoted by \(\gamma \) then this condition may also be written as \(Y=X^\gamma \), \(X=X^{\gamma ,-}\).
The proof follows from the Koszul resolution of \(k[X^{\lambda ,+}]\) and Bott’s theorem.
We emphasize that points in \(X^{{\mathbf {s}}}\) have trivial stabilizer. The same notation is sometimes reserved for points with closed orbit and finite stabilizer.
That is a genericity type condition that we require on \(\varepsilon \). In particular, we do not require here that \(\varepsilon \) in (weakly) generic.
References
Białynicki-Birula, A.: Some theorems on actions of algebraic groups. Ann. Math. (2) 98, 480–497 (1973)
Ballard, M., Favero, D., Katzarkov, L.: Variation of geometric invariant theory quotients and derived categories. arXiv:1203.6643 [math.AG], to appear in J. Reine Angew. Math
Buchweitz, R.-O., Leuschke, G.J., Van den Bergh, M.: Non-commutative desingularization of determinantal varieties, II: Arbitrary minors. arXiv:1106.1833 (2011)
Brion, M.: Introduction to actions of algebraic groups, Notes de la rencontre “Actions hamiltoniennes”: invariants et classification”. CIRM, Luminy (2009)
Drinfeld, B.: On algebraic spaces with an action of \(G_m\). arXiv:1308.2604 [math.AG] (2013)
Donovan, W., Segal, E.: Window shifts, flop equivalences and Grassmannian twists. Compos. Math. 150(6), 942–978 (2014)
Halpern-Leistner, D.: The derived category of a GIT quotient. J. Am. Math. Soc. 28(3), 871–912 (2015)
Halpern-Leistner, D., Sam, S.: Combinatorial constructions of derived equivalences. arXiv:1601.02030 [math.AG] (2016)
Hall, J., Neeman, A., Rydh, D.: One positive and two negative results for derived categories of algebraic stacks. arXiv:1405.1888 [math.AG]
Hall, J., Rydh, D.: Perfect complexes on algebraic stacks. Compos. Math. 153(11), 2318–2367 (2017)
Jantzen, J.C.: Representations of Algebraic Groups, Pure and Applied Mathematics, vol. 131. Academic Press Inc, Boston (1987)
Keller, B.: Deriving DG-categories. ANNSE2 27, 63–102 (1994)
Leuschke, G.J.: Non-commutative Crepant Resolutions: Scenes from Categorical Geometry, Progress in Commutative Algebra 1, pp. 293–361. de Gruyter, Berlin (2012)
Lunts, V.A., Schnürer, O.M.: Smoothness of equivariant derived categories. Proc. Lond. Math. Soc. (3) 108(5), 1226–1276 (2014)
Luna, D.: Slices étales, Sur les groupes algébriques, Soc. Math. France, Paris, pp. 81–105. Bull. Soc. Math. France, Paris, Mémoire 33 (1973)
Mumford, D., Fogarty, J., Kirwan, F.: Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], 3rd edn, vol. 34. Springer, Berlin (1994)
Neeman, A.: The connection between the \({K}\)-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel. Ann. Sci. École Norm. Sup. (4) 25(5), 547–566 (1992)
Neeman, A.: The Grothendieck duality theorem via Bousfield’s techniques and Brown representability. J. Am. Math. Soc. 9(1), 205–236 (1996)
Popov, V.L.: Homological dimension of algebras of invariants. J. Reine Angew. Math. 341, 157–173 (1983)
Seshadri, C.S.: Quotient spaces modulo reductive algebraic groups. Ann. of Math. (2) 95, 511–556 (1972). (errata, ibid. (2) 96 (1972), 599)
Springer, T.A.: Linear Algebraic Groups, Progress in Mathematics, vol. 9, 2nd edn. Birkhäuser Boston Inc, Boston (1998)
Špenko, Š., Van den Bergh, M.: Non-commutative resolutions of quotient singularities for reductive groups. Invent. Math. 210, 3–67 (2017)
Špenko, Š., Van den Bergh, M.: Noncommutative crepant resolutions for some toric singularities II. arXiv: 1707.08245 [math.AG] (2017)
Van den Bergh, M.: Non-commutative Crepant Resolutions, The Legacy of Niels Henrik Abel, pp. 749–770. Springer, Berlin (2004)
Wemyss, M.: Noncommutative Resolutions, Noncommutative Algebraic Geometry, Publications of the Research Institute for Mathematical Sciences, vol. 64, pp. 239–306. Cambridge University Press, New York (2016)
Acknowledgements
The second author thanks Jørgen Vold Rennemo and Ed Segal for interesting discussions regarding this paper. The authors thank Agnieszka Bodzenta and Alexey Bondal for their interest in this work and for useful comments on the first version of this paper. They also thank the referees for pointing out many typos and for the suggestions which improved the exposition of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Š. Špenko is a FWO [PEGASUS\(]^2\) Marie Skłodowska-Curie fellow at the Free University of Brussels (funded by the European Union Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665501 with the Research Foundation Flanders (FWO)). During part of this work she was also a postdoc with Sue Sierra at the University of Edinburgh. Partly she was supported by L’Oréal-UNESCO scholarship “For women in science”. M. Van den Bergh is a senior researcher at the Research Foundation Flanders (FWO). While working on this project he was supported by the FWO Grant G0D8616N: “Hochschild cohomology and deformation theory of triangulated categories”. Substantial progress on this project was made during visits of the authors to each other’s host institutions. They respectively thank the University of Hasselt and the University of Edinburgh for their hospitality and support.
Rights and permissions
About this article
Cite this article
Špenko, Š., Van den Bergh, M. Semi-orthogonal decompositions of GIT quotient stacks. Sel. Math. New Ser. 27, 16 (2021). https://doi.org/10.1007/s00029-021-00628-3
Accepted:
Published:
DOI: https://doi.org/10.1007/s00029-021-00628-3