Combinatorial constructions of derived equivalences

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 <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -theory of the GIT quotient in terms of the representation theory of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , 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.

Topics & Concepts