No Arabic abstract
Let $mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $mathfrak{g}$ acts on $D^b(mathcal{C})$ by Rickard complexes, providing a triangulated equivalence $Theta_{w_0}:D^b(mathcal{C}_mu) to D^b(mathcal{C}_{w_0(mu)})$, where $mu$ is a weight of $V$ and $Theta_{w_0}$ is a positive lift of the longest element of the Weyl group. We prove that this equivalence is t-exact up to shift when $V$ is isotypic, generalising a fundamental result of Chuang and Rouquier in the case $mathfrak{g}=mathfrak{sl}_2$. For general $V$, we prove that $Theta_{w_0}$ is a perverse equivalence with respect to a Jordan-Holder filtration of $mathcal{C}$. Using these results we construct, from the action of $B$ on $V$, an action of the cactus group on the crystal of $V$. This recovers the cactus group action on $V$ defined via generalised Schutzenberger involutions, and provides a new connection between categorical representation theory and crystal bases. We also use these results to give new proofs of theorems of Berenstein-Zelevinsky, Rhoades, and Stembridge regarding the action of symmetric group on the Kazhdan-Lusztig basis of its Specht modules.
The crystals for a finite-dimensional complex reductive Lie algebra $mathfrak{g}$ encode the structure of its representations, yet can also reveal surprising new structure of their own. We study the cactus group $C_{mathfrak{g}}$, constructed using the Dynkin diagram of $mathfrak{g}$, and its combinatorial action on any $mathfrak{g}$-crystal via Sch{u}tzenberger involutions. We compare this action with that of the Berenstein-Kirillov group on Gelfand-Tsetlin patterns. Henriques and Kamnitzer define an action of $C_n=C_{mathfrak{gl}_n}$ on $n$-tensor products of $mathfrak{g}$-crystals, for any $mathfrak{g}$ as above. We discuss the crystal corresponding to the $mathfrak{gl}_n times mathfrak{gl}_m$-representation $Lambda^N(mathbb{C}^n otimes mathbb{C}^m),$ derive skew Howe duality on the crystal level and show that the two types of cactus group actions agree in this setting. A future application of this result is discussed in studying two families of maximal commutative subalgebras of the universal enveloping algebra, the shift of argument and Gaudin algebras, where an algebraically constructed monodromy action matches that of the cactus group.
We construct a 2-representation categorifying the symmetric Howe representation of $mathfrak{gl}_m$ using a deformation of an algebra introduced by Webster. As a consequence, we obtain a categorical braid group action taking values in a homotopy category.
We study a presentation of Khovanov - Lauda - Rouquiers candidate $2$-categorification of a quantum group using algebraic rewriting methods. We use a computational approach based on rewriting modulo the isotopy axioms of its pivotal structure to compute a family of linear bases for all the vector spaces of $2$-cells in this $2$-category. We show that these bases correspond to Khovanov and Laudas conjectured generating sets, proving the non-degeneracy of their diagrammatic calculus. This implies that this $2$-category is a categorification of Lusztigs idempotent and integral quantum group $bf{U}_{q}(mathfrak{g})$ associated to a symmetrizable simply-laced Kac-Moody algebra $mathfrak{g}$.
The irreducible representations of two intermediate Casimir elements associated to the recoupling of three identical irreducible representations of $U_q(mathfrak{sl}_2)$ are considered. It is shown that these intermediate Casimirs are related by a conjugation involving braid group representations. Consequently, the entries of the braid group matrices are explicitly given in terms of the $q$-Racah polynomials which appear as $6j$-symbols in the Racah problem for $U_q(mathfrak{sl}_2)$. Formulas for these polynomials are derived from the algebraic relations satisfied by the braid group representations.
We develop a theory of localization for braid group representations associated with objects in braided fusion categories and, more generally, to Yang-Baxter operators in monoidal categories. The essential problem is to determine when a family of braid representations can be uniformly modelled upon a tensor power of a fixed vector space in such a way that the braid group generators act locally. Although related to the notion of (quasi-)fiber functors for fusion categories, remarkably, such localizations can exist for representations associated with objects of non-integral dimension. We conjecture that such localizations exist precisely when the object in question has dimension the square-root of an integer and prove several key special cases of the conjecture.