Braiding on type A Soergel bimodules: semistrictness and naturality
Abstract
We consider categories of Soergel bimodules for the symmetric groups S_n in their gl(n)-realizations for all n and assemble them into a locally linear monoidal bicategory. Chain complexes of Soergel bimodules likewise form a locally dg-monoidal bicategory which can be equipped with the structure of a braiding, whose data includes the Rouquier complexes of shuffle braids. The braiding, together with a uniqueness result, was established in an infinity-categorical setting in recent work with Yu Leon Liu, Aaron Mazel-Gee and David Reutter. In the present article, we construct this braiding explicitly and describe its requisite coherent naturality structure in a concrete dg-model for the morphism categories. To this end, we first assemble the Elias-Khovanov-Williamson diagrammatic Hecke categories as well as categories of chain complexes thereover into locally linear semistrict monoidal 2-categories. Along the way, we prove strictness results for certain standard categorical constructions, which may be of independent interest. In a second step, we provide explicit (higher) homotopies for the naturality of the braiding with respect to generating morphisms of the Elias-Khovanov-Williamson diagrammatic calculus. Rather surprisingly, we observe hereby that higher homotopies appear already for height move relations of generating morphisms. Finally, we extend the homotopy-coherent naturality data for the braiding to all chain complexes using cohomology-vanishing arguments.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2412.20587
- Bibcode:
- 2024arXiv241220587S
- Keywords:
-
- Mathematics - Quantum Algebra;
- Mathematics - Category Theory;
- Mathematics - Representation Theory
- E-Print:
- 68 pages, comments welcome