The Long-Moody construction and polynomial functors (Q2326259)

Let \(\mathbb B_n\) denote the braid group on \(n\) strand. In [\textit{D. D. Long}, Commun. Anal. Geom. 2, No. 2, 217--238 (1994; Zbl 0845.20028)], the author gives a method to obtain a linear representation \(\mathcal{LM}(\rho):\mathbb B_n\to\operatorname{GL}(V^{\oplus n})\) of \(\mathbb B_n\) from a linear representation \(\rho:\mathbb B_{n+1}\to\operatorname{GL}(V)\). The present article focuses on this construction (called Long-Moody construction) using a functorial viewpoint. Let \(\mathfrak U\beta\) denote the category associated with braid groups, where \(\beta\) denotes the braid groupoid. The objects of \(\mathfrak U\beta\) are the natural numbers, and for each object \(n\in\mathbb N\) of \(\mathfrak U\beta\), the automorphism group \(\operatorname{Aut}_{\mathfrak U\beta}(n)=\mathbb B_n\). Let \(\mathbb K\) be a commutative ring and \(\mathbb K\)-\(\mathfrak{Mod}\) the category of \(\mathbb K\)-modules. In the first main theorem of the article, the author shows the following. Given two coherent families of morphisms \(\{a_n:\mathbb B_n\to\operatorname{Aut}(\mathbb F_n)\}_{n\in\mathbb N}\) and \(\{\zeta_n:\mathbb F_n\to\mathbb B_{n+1}\}_{n\in\mathbb N}\), there is an endo-functor \(LM_{a,\zeta}\) of the category of functors \(\operatorname{Fct}(\mathfrak U\beta,\mathbb K\operatorname{-mod})\), called the Long-Moody functor with respect to \(\{a_n\}_{n\in\mathbb N}\) and \(\{\zeta_n\}_{n\in\mathbb N}\), subject to \(LM_{a,\zeta}(M)(\sigma)=\mathcal{LM}(M_n)(\sigma)\) for \(M\) an object of \(\operatorname{Fct}(\mathfrak U\beta,\mathbb K\operatorname{-mod})\) and \(\beta\in\mathbb B_n\). In the above category of functors, the strong polynomial functors play an important role. Elaborating on [\textit{A. Djament} and \textit{C. Vespa}, Int. Math. Res. Not. 2019, No. 2, 321--391 (2019; Zbl 1433.18003)] and [\textit{O. Randal-Williams} and \textit{N. Wahl}, Adv. Math. 318, 534--626 (2017; Zbl 1393.18006)], the author introduces the notion of very strong polynomial functor and proves that, given a very strong polynomial functor \(M\) in \(\operatorname{Fct}(\mathfrak U\beta,\mathbb K\operatorname{-mod})\) of degree \(n\), and coherent reliable families of morphisms \(\{a_n\}_{n\in\mathbb N}\) and \(\{\zeta_n\}_{n\in\mathbb N}\), then \(LM_{a,\zeta}(M)\) is a very strong polynomial functor of degree \(n+1\).