Shuffle algebras and perverse sheaves (Q2214891)

This paper gives an interpretation of shuffle algebras, in the sense of \textit{W. D. Nichols} [Commun. Algebra 6, 1521--1552 (1978; Zbl 0408.16007)], \textit{B. L. Feigin} and \textit{A. V. Odesskij} [Transl. Math. Monogr. 185, 65--84 (1998; Zbl 0916.16014)] and \textit{M. Rosso} [Invent. Math. 133, No. 2, 399--416 (1998; Zbl 0912.17005)], by collections of perverse sheaves on symmetric products of the complex line. The first main result is Theorem 3.3.1, which gives an equivalence \(L\) (localization functor) between the category \(\operatorname{PV}(\mathcal{V})\) of primitive bialgebras (Definition 2.4.10), which are braided Hopf algebras of a certain type, and the category \(\operatorname{FPS}(\mathcal{V})\) of factorizable collections of perverse sheaves on symmetric products of the complex line (Definition 3.2.5), for an abelian braided category \(\mathcal{V}\). The second main result is Theorem 3.3.3, which shows that the equivalence \(L\) takes tensor, cotensor and Nichols (or true shuffle) algebras to the perverse sheaves obtained by natural functors \(j_!\), \(j_*\) and \(j_{!*}\) of perverse sheaves, respectively. The shuffle algebra side is completely of algebraic nature, and the perverse side is based on the method of totally real skeleta, briefly explained in \S 1.C and developed in \S 2 in this paper.