Shuffling functors and spherical twists on D^b(O₀)

DOI10.1016/J.JALGEBRA.2021.02.024MaRDI QIDQ2664495zbMATH OpenOpenAlexFDO

Publication date 20 April 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.10700

braid groups category \(\mathcal{O}\)derived categories Lie algebras shuffling functors spherical functors

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Universal enveloping algebras of Lie algebras (16S30) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Universal enveloping (super)algebras (17B35) Homological methods in Lie (super)algebras (17B55) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Representations of Lie and real algebraic groups: algebraic methods (Verma modules, etc.) (22E47)

Abstract: For a semisimple complex Lie algebra

m a t h f r a k g

, the BGG category

m a t h c a l O

is of particular interest in representation theory. It is known that Irving's shuffling functors

m a t h r m {S h}_{w}

, indexed by elements

w i n W

of the Weyl group, induce an action of the braid group

B_{W}

associated to

W

on the derived categories

D^{m} a t h r m b (m a t h c a l O_{l} a m b d a)

of blocks of

m a t h c a l O

. We show that for maximal parabolic subalgebras

m a t h f r a k p

of

m a t h f r a k {s l}_{n}

corresponding to the parabolic subgroup

W_{m} a t h f r a k p = S_{n - 1} i m e s S_{1}

of

S_{n}

, the derived shuffling functors

m a t h b f L m a t h r m S h s_{i}

are instances of Seidel and Thomas' spherical twist functors. Namely, we show that certain parabolic indecomposable projectives

P^{m} a t h f r a k p (w)

are spherical objects, and the associated twist functors are naturally isomorphic to

m a t h b f L m a t h r m S h w [1]

as auto-equivalences of

D^{m} a t h r m b (m a t h c a l O^{m} a t h f r a k p)

. We give an overview of the main properties of the BGG category

m a t h c a l O

, the construction of shuffling and spherical twist functors, and give some examples how to determine images of both. To this end, we employ the equivalence of blocks of

m a t h c a l O

and the module categories of certain path algebras.

Recommendations

Cites work

Cited in

(1)

Twisting functors on 𝒪

This page was built for publication: Shuffling functors and spherical twists on \(D^{\mathrm{b}}(\mathcal{O}_0)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2664495)