Braiding on type A Soergel bimodules: semistrictness and naturality
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929651567296512 |
|---|---|
| author | Stroppel, Catharina Wedrich, Paul |
| author_facet | Stroppel, Catharina Wedrich, Paul |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_20587 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Braiding on type A Soergel bimodules: semistrictness and naturality Stroppel, Catharina Wedrich, Paul Quantum Algebra Category Theory Representation Theory 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. |
| title | Braiding on type A Soergel bimodules: semistrictness and naturality |
| topic | Quantum Algebra Category Theory Representation Theory |
| url | https://arxiv.org/abs/2412.20587 |