Table of Contents
Fetching ...

KLR-Schur algebra of coherent sheaves on the projective line: Tilting and PBW bases

Olivier Schiffmann, Fang Yang

Abstract

We begin the study of Khovanov-Lauda-Rouquier type algebras associated to moduli stacks of coherent sheaves on smooth projective curves. We consider the case of $\mathbb{P}^1$ and define, for any pair $(r,d)$ of a rank and a degree, the KLR and Schur algebras $A_{r,d}, \mathcal{R}_{r,d}$ as suitable convolution algebras in the Borel-Moore homology of an analog of the Steinberg stack built from the stacks $Coh_{r,d}(\mathbb{P}^1)$. We use the tilting equivalence and Bridgeland stability conditions to construct an interpolation between the KLR or Schur algebras of the categories of coherent sheaves on $\mathbb{P}^1$ and the KLR or Schur algebras of the categories of representations of the Kronecker quiver. We also introduce a stratification of the Steinberg stacks into cohomologically pure pieces and use this to construct a PBW basis of the corresponding algebra.

KLR-Schur algebra of coherent sheaves on the projective line: Tilting and PBW bases

Abstract

We begin the study of Khovanov-Lauda-Rouquier type algebras associated to moduli stacks of coherent sheaves on smooth projective curves. We consider the case of and define, for any pair of a rank and a degree, the KLR and Schur algebras as suitable convolution algebras in the Borel-Moore homology of an analog of the Steinberg stack built from the stacks . We use the tilting equivalence and Bridgeland stability conditions to construct an interpolation between the KLR or Schur algebras of the categories of coherent sheaves on and the KLR or Schur algebras of the categories of representations of the Kronecker quiver. We also introduce a stratification of the Steinberg stacks into cohomologically pure pieces and use this to construct a PBW basis of the corresponding algebra.
Paper Structure (40 sections, 34 theorems, 210 equations, 4 figures)

This paper contains 40 sections, 34 theorems, 210 equations, 4 figures.

Key Result

Theorem A

For any $\alpha \in ({\mathbb Z}^2)^+$, there is a canonical isomorphism of associative algebras

Figures (4)

  • Figure 1: The split, cross and merge sequence
  • Figure 2: The permutation associated to $s=4, l=3$.
  • Figure 3: Regions and partitions
  • Figure 4: A PBW basis element

Theorems & Definitions (67)

  • Theorem A: Corollary \ref{['cor:LimitConstruction']}
  • Conjecture : Conjecture \ref{['conj:PolyRep']}
  • Theorem B: Theorem \ref{['thm:PBWbases']}
  • Corollary
  • Lemma 1.1
  • Lemma 1.2
  • proof
  • Proposition 1.3
  • Theorem 1.4: Atiyah-Bott, Heinloth
  • proof
  • ...and 57 more