Braiding on type A Soergel bimodules: semistrictness and naturality

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.