## The derived category of a GIT quotient

HTML articles powered by AMS MathViewer

- by Daniel Halpern-Leistner PDF
- J. Amer. Math. Soc.
**28**(2015), 871-912

## Abstract:

Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical descriptions of the category of coherent sheaves on projective space and categorifies several results in the theory of Hamiltonian group actions on projective manifolds.

This perspective generalizes and provides new insight into examples of derived equivalences between birational varieties. We provide a criterion under which two different GIT quotients are derived equivalent, and apply it to prove that any two generic GIT quotients of an equivariantly Calabi-Yau projective-over-affine manifold by a torus are derived equivalent.

## References

- Pramod N. Achar and David Treumann,
*Baric structures on triangulated categories and coherent sheaves*, Int. Math. Res. Not. IMRN**16**(2011), 3688–3743. MR**2824842**, DOI 10.1093/imrn/rnq226 - Dmitry Arinkin and Roman Bezrukavnikov,
*Perverse coherent sheaves*, Mosc. Math. J.**10**(2010), no. 1, 3–29, 271 (English, with English and Russian summaries). MR**2668828**, DOI 10.17323/1609-4514-2010-10-1-3-29 - M. Artin and J. J. Zhang,
*Noncommutative projective schemes*, Adv. Math.**109**(1994), no. 2, 228–287. MR**1304753**, DOI 10.1006/aima.1994.1087 - M. Ballard, D. Favero, and L. Katzarkov. Variation of geometric invariant theory quotients and derived categories.
*ArXiv e-prints*, March 2012. - David Ben-Zvi, John Francis, and David Nadler,
*Integral transforms and Drinfeld centers in derived algebraic geometry*, J. Amer. Math. Soc.**23**(2010), no. 4, 909–966. MR**2669705**, DOI 10.1090/S0894-0347-10-00669-7 - A. Bondal and D. Orlov,
*Semiorthogonal decomposition for algebraic varieties*.*eprint arXiv:alg-geom/9506012*. - A. Bondal and D. Orlov,
*Derived categories of coherent sheaves*, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) Higher Ed. Press, Beijing, 2002, pp. 47–56. MR**1957019** - Patrick Brosnan,
*On motivic decompositions arising from the method of Białynicki-Birula*, Invent. Math.**161**(2005), no. 1, 91–111. MR**2178658**, DOI 10.1007/s00222-004-0419-7 - Sabin Cautis, Joel Kamnitzer, and Anthony Licata,
*Coherent sheaves and categorical $\mathfrak {sl}_2$ actions*, Duke Math. J.**154**(2010), no. 1, 135–179. MR**2668555**, DOI 10.1215/00127094-2010-035 - Igor V. Dolgachev and Yi Hu,
*Variation of geometric invariant theory quotients*, Inst. Hautes Études Sci. Publ. Math.**87**(1998), 5–56. With an appendix by Nicolas Ressayre. MR**1659282**, DOI 10.1007/BF02698859 - Will Donovan and Ed Segal,
*Window shifts, flop equivalences and Grassmannian twists*, Compos. Math.**150**(2014), no. 6, 942–978. MR**3223878**, DOI 10.1112/S0010437X13007641 - Will Donovan,
*Grassmannian twists on the derived category via spherical functors*, Proc. Lond. Math. Soc. (3)**107**(2013), no. 5, 1053–1090. MR**3126391**, DOI 10.1112/plms/pdt008 - Megumi Harada and Gregory D. Landweber,
*Surjectivity for Hamiltonian $G$-spaces in $K$-theory*, Trans. Amer. Math. Soc.**359**(2007), no. 12, 6001–6025. MR**2336314**, DOI 10.1090/S0002-9947-07-04164-5 - M. Herbst, K. Hori, and D. Page.
*Phases of $n=2$ theories in $1+1$ dimensions with boundary*.*eprint arXiv:hep-th/0803.2045*, 2008. - M. Herbst, K. Hori, and D. Page,
*B-type D-branes in toric Calabi-Yau varieties*, Homological mirror symmetry, Lecture Notes in Phys., vol. 757, Springer, Berlin, 2009, pp. 27–44. MR**2596634** - M. M. Kapranov,
*Derived category of coherent sheaves on Grassmann manifolds*, Izv. Akad. Nauk SSSR Ser. Mat.**48**(1984), no. 1, 192–202 (Russian). MR**733363** - Yujiro Kawamata,
*Derived categories of toric varieties*, Michigan Math. J.**54**(2006), no. 3, 517–535. MR**2280493**, DOI 10.1307/mmj/1163789913 - Frances Clare Kirwan,
*Cohomology of quotients in symplectic and algebraic geometry*, Mathematical Notes, vol. 31, Princeton University Press, Princeton, NJ, 1984. MR**766741**, DOI 10.2307/j.ctv10vm2m8 - Marco Manetti,
*Differential graded Lie algebras and formal deformation theory*, Algebraic geometry—Seattle 2005. Part 2, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 785–810. MR**2483955**, DOI 10.1090/pspum/080.2/2483955 - D. O. Orlov,
*Derived categories of coherent sheaves, and motives*, Uspekhi Mat. Nauk**60**(2005), no. 6(366), 231–232 (Russian); English transl., Russian Math. Surveys**60**(2005), no. 6, 1242–1244. MR**2225203**, DOI 10.1070/RM2005v060n06ABEH004292 - Dmitri Orlov,
*Derived categories of coherent sheaves and triangulated categories of singularities*, Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Vol. II, Progr. Math., vol. 270, Birkhäuser Boston, Boston, MA, 2009, pp. 503–531. MR**2641200**, DOI 10.1007/978-0-8176-4747-6_{1}6 - Dmitri Orlov,
*Matrix factorizations for nonaffine LG-models*, Math. Ann.**353**(2012), no. 1, 95–108. MR**2910782**, DOI 10.1007/s00208-011-0676-x - Raphaël Rouquier,
*Dimensions of triangulated categories*, J. K-Theory**1**(2008), no. 2, 193–256. MR**2434186**, DOI 10.1017/is007011012jkt010 - Ed Segal,
*Equivalence between GIT quotients of Landau-Ginzburg B-models*, Comm. Math. Phys.**304**(2011), no. 2, 411–432. MR**2795327**, DOI 10.1007/s00220-011-1232-y - Ian Shipman,
*A geometric approach to Orlov’s theorem*, Compos. Math.**148**(2012), no. 5, 1365–1389. MR**2982435**, DOI 10.1112/S0010437X12000255 - Constantin Teleman,
*The quantization conjecture revisited*, Ann. of Math. (2)**152**(2000), no. 1, 1–43. MR**1792291**, DOI 10.2307/2661378 - Michael Thaddeus,
*Geometric invariant theory and flips*, J. Amer. Math. Soc.**9**(1996), no. 3, 691–723. MR**1333296**, DOI 10.1090/S0894-0347-96-00204-4

## Additional Information

**Daniel Halpern-Leistner**- Affiliation: School of Mathematics, Institute for Advanced Study, Einstein Drive, Princeton, New Jersey 08540
- MR Author ID: 1101864
- Email: danhl@math.columbia.edu
- Received by editor(s): December 31, 2012
- Received by editor(s) in revised form: March 7, 2014, and May 19, 2014
- Published electronically: October 31, 2014
- © Copyright 2014 Daniel Halpern-Leistner
- Journal: J. Amer. Math. Soc.
**28**(2015), 871-912 - MSC (2010): Primary 14F05, 14L25, 14L30; Secondary 19L47
- DOI: https://doi.org/10.1090/S0894-0347-2014-00815-8
- MathSciNet review: 3327537

Dedicated: Dedicated to Ernst Halpern, who inspired my scientific pursuits