Combinatorial constructions of derived equivalences

Halpern-Leistner, Daniel; Sam, Steven

doi:10.1090/jams/940

Combinatorial constructions of derived equivalences
HTML articles powered by AMS MathViewer

by Daniel Halpern-Leistner and Steven V Sam;

J. Amer. Math. Soc. 33 (2020), 735-773

DOI: https://doi.org/10.1090/jams/940

Published electronically: May 5, 2020

HTML | PDF

Abstract:

Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of Špenko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves of its various geometric invariant theory (GIT) quotients for suitably generic stability parameters. These variations of GIT quotient are examples of more complicated wall crossings than the balanced wall crossings studied in recent work on derived categories and variation of GIT quotients.

Our construction is algorithmic and quite explicit, allowing us to: 1) describe a tilting vector bundle which generates the derived category of such a GIT quotient, 2) provide a combinatorial basis for the $K$-theory of the GIT quotient in terms of the representation theory of $G$, and 3) show that our derived equivalences satisfy certain relations, leading to a representation of the fundamental groupoid of a “Kähler moduli space” on the derived category of such a GIT quotient. Finally, we use graded categories of singularities to construct derived equivalences between all Deligne–Mumford hyperkähler quotients of a symplectic linear representation of a reductive group (at the zero fiber of the algebraic moment map and subject to a certain genericity hypothesis on the representation), and we likewise construct actions of the fundamental groupoid of the corresponding Kähler moduli space.

References

Rina Anno, Roman Bezrukavnikov, and Ivan Mirković, Stability conditions for Slodowy slices and real variations of stability, arXiv:1108.1563v6.
Matthew Ballard, David Favero, and Ludmil Katzarkov, Variation of geometric invariant theory quotients and derived categories, J. Reine Angew. Math. 746 (2019), 235–303. MR 3895631, DOI 10.1515/crelle-2015-0096
David Ben-Zvi, David Nadler, and Anatoly Preygel, Integral transforms for coherent sheaves, arXiv:1312.7164v1.
R. V. Bezrukavnikov and D. B. Kaledin, McKay equivalence for symplectic resolutions of quotient singularities, Tr. Mat. Inst. Steklova 246 (2004), no. Algebr. Geom. Metody, Svyazi i Prilozh., 20–42 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 3(246) (2004), 13–33. MR 2101282
Roman Bezrukavnikov, Ivan Mirković, and Dmitriy Rumynin, Localization of modules for a semisimple Lie algebra in prime characteristic, Ann. of Math. (2) 167 (2008), no. 3, 945–991. With an appendix by Bezrukavnikov and Simon Riche. MR 2415389, DOI 10.4007/annals.2008.167.945
Roman Bezrukavnikov and Simon Riche, Affine braid group actions on derived categories of Springer resolutions, Ann. Sci. Éc. Norm. Supér. (4) 45 (2012), no. 4, 535–599 (2013) (English, with English and French summaries). MR 3059241, DOI 10.24033/asens.2173
Anthony Blanc, Topological K-theory of complex noncommutative spaces, Compos. Math. 152 (2016), no. 3, 489–555. MR 3477639, DOI 10.1112/S0010437X15007617
Dorin Boger, A parameterization of D equivalences of coherent sheaves of symplectic resolutions of a given symplectic singularity, arXiv:1601.0244v2.
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
Tom Bridgeland, Flops and derived categories, Invent. Math. 147 (2002), no. 3, 613–632. MR 1893007, DOI 10.1007/s002220100185
Ronald Brown, Topology and groupoids, BookSurge, LLC, Charleston, SC, 2006. Third edition of Elements of modern topology [McGraw-Hill, New York, 1968; MR0227979]; With 1 CD-ROM (Windows, Macintosh and UNIX). MR 2273730
Sabin Cautis and Joel Kamnitzer, Braiding via geometric Lie algebra actions, Compos. Math. 148 (2012), no. 2, 464–506. MR 2904194, DOI 10.1112/S0010437X1100724X
Sabin Cautis, Joel Kamnitzer, and Anthony Licata, Coherent sheaves on quiver varieties and categorification, Math. Ann. 357 (2013), no. 3, 805–854. MR 3118615, DOI 10.1007/s00208-013-0921-6
Vladimir Drinfeld and Dennis Gaitsgory, On some finiteness questions for algebraic stacks, Geom. Funct. Anal. 23 (2013), no. 1, 149–294. MR 3037900, DOI 10.1007/s00039-012-0204-5
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
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 and Ed Segal, Mixed braid group actions from deformations of surface singularities, Comm. Math. Phys. 335 (2015), no. 1, 497–543. MR 3314511, DOI 10.1007/s00220-014-2226-3
Geir Ellingsrud and Stein Arild Strømme, On the Chow ring of a geometric quotient, Ann. of Math. (2) 130 (1989), no. 1, 159–187. MR 1005610, DOI 10.2307/1971479
Daniel Halpern-Leistner, The derived category of a GIT quotient, J. Amer. Math. Soc. 28 (2015), no. 3, 871–912. MR 3327537, DOI 10.1090/S0894-0347-2014-00815-8
Daniel Halpern-Leistner and Daniel Pomerleano, Equivariant Hodge theory and noncommutative geometry, arXiv:1507.01924v1.
Manfred Herbst, Kentaro Hori, and David Page, Phases of $N= 2$ theories in $1+ 1$ dimensions with boundary, arXiv:0803.2045v1.
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
Yuki Hirano, Equivalences of derived factorization categories of gauged Landau-Ginzburg models, Adv. Math. 306 (2017), 200–278. MR 3581302, DOI 10.1016/j.aim.2016.10.023
Yuki Hirano, Derived Knörrer periodicity and Orlov’s theorem for gauged Landau-Ginzburg models, Compos. Math. 153 (2017), no. 5, 973–1007. MR 3631231, DOI 10.1112/S0010437X16008344
Yi Hu and Sean Keel, A GIT proof of the weighted weak factorization theorem, arXiv:math/9904146v1.
Mehmet Umut Isik, Equivalence of the derived category of a variety with a singularity category, Int. Math. Res. Not. IMRN 12 (2013), 2787–2808. MR 3071664, DOI 10.1093/imrn/rns125
Jens Carsten Jantzen, Representations of algebraic groups, 2nd ed., Mathematical Surveys and Monographs, vol. 107, American Mathematical Society, Providence, RI, 2003. MR 2015057
Dmitry Kaledin, Derived equivalences by quantization, Geom. Funct. Anal. 17 (2008), no. 6, 1968–2004. MR 2399089, DOI 10.1007/s00039-007-0623-x
Yujiro Kawamata, Derived categories of toric varieties III, Eur. J. Math. 2 (2016), no. 1, 196–207. MR 3454097, DOI 10.1007/s40879-015-0065-1
Mikhail Khovanov and Richard Thomas, Braid cobordisms, triangulated categories, and flag varieties, Homology Homotopy Appl. 9 (2007), no. 2, 19–94. MR 2366943
Jacob Lurie, Rotation invariance in algebraic K-theory, available from http://www.math.harvard.edu/~lurie/.
Davesh Maulik and Andrei Okounkov, Quantum groups and quantum cohomology, Astérisque 408 (2019), ix+209 (English, with English and French summaries). MR 3951025, DOI 10.24033/ast
P. McMullen, On zonotopes, Trans. Amer. Math. Soc. 159 (1971), 91–109. MR 279689, DOI 10.1090/S0002-9947-1971-0279689-2
Hiraku Nakajima, Lectures on Hilbert schemes of points on surfaces, University Lecture Series, vol. 18, American Mathematical Society, Providence, RI, 1999. MR 1711344, DOI 10.1090/ulect/018
Hiraku Nakajima, Quiver varieties and branching, SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), Paper 003, 37. MR 2470410, DOI 10.3842/SIGMA.2009.003
Dmitri Orlov, Triangulated categories of singularities and D-branes in Landau-Ginzburg models, arXiv:math/0302304.
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
Luis Paris, On the fundamental group of the complement of a complex hyperplane arrangement, Arrangements—Tokyo 1998, Adv. Stud. Pure Math., vol. 27, Kinokuniya, Tokyo, 2000, pp. 257–272. MR 1796904, DOI 10.2969/aspm/02710257
Anatoly Preygel, Thom-Sebastiani & duality for matrix factorizations, arXiv:1101.5834v1.
M. Salvetti, Topology of the complement of real hyperplanes in $\textbf {C}^N$, Invent. Math. 88 (1987), no. 3, 603–618. MR 884802, DOI 10.1007/BF01391833
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
Špela Špenko and Michel Van den Bergh, Non-commutative resolutions of quotient singularities for reductive groups, Invent. Math. 210 (2017), no. 1, 3–67. MR 3698338, DOI 10.1007/s00222-017-0723-7
Michel Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math. J. 122 (2004), no. 3, 423–455. MR 2057015, DOI 10.1215/S0012-7094-04-12231-6
Jerzy Weyman, Cohomology of vector bundles and syzygies, Cambridge Tracts in Mathematics, vol. 149, Cambridge University Press, Cambridge, 2003. MR 1988690, DOI 10.1017/CBO9780511546556