The diagram category of framed tangles and invariants of quantized symplectic group (Q2309652)

One possible rephrasing of the First and the Second Fundamental Theorems of invariant theory for a pair \(\left(H,V\right)\) ask for a presentation, in terms of generators and relations, of the algebra \(\mathsf{End}_H\left(V^{\otimes r}\right)\) for all \(r\geq 0\), where \(H\) is a Hopf algebra and \(V\) is an \(H\)-module. The main result of the paper, Theorem 4.8, provides an analogue of the First and Second Fundamental Theorems of invariant theory for \(U_q(\mathfrak{sp}_{2m})\), the quantized symplectic group, in the spirit of Theorem 4.8 in [\textit{G. I. Lehrer} and \textit{R. B. Zhang}, J. Eur. Math. Soc. (JEMS) 17, No. 9, 2311--2351 (2015; Zbl 1328.14079)]. Namely, from a suitable linearisation \(\mathbb{D}(\mathfrak{sp}_{2m})\) over the field \(\mathbb{Q}(q)\) of the category of (framed) tangles [\textit{P. J. Freyd} and \textit{D. N. Yetter}, Adv. Math. 77, No. 2, 156--182 (1989; Zbl 0679.57003)], called the diagram category of framed tangles, one has a natural functor \(F\), the Reshetikhin-Turaev functor, landing into the full monoidal subcategory of \(U_q(\mathfrak{sp}_{2m})\)-modules composed by the tensor powers of the natural representation \(V=\mathbb{Q}(q)^{2m}\) of \(U_q(\mathfrak{sp}_{2m})\). The authors prove that this functor is full, exhibiting in particular the endomorphism algebra \(\mathsf{End}_{U_q(\mathfrak{sp}_{2m})}(V^{\otimes n})\) as the image of a Kauffman's tangle algebra [\textit{L. H. Kauffman}, Trans. Am. Math. Soc. 318, No. 2, 417--471 (1990; Zbl 0763.57004)], and describe the kernels of the associated hom-set functions.