Interpolations of monoidal categories and algebraic structures by invariant theory (Q6166762)

This paper aims to give a general construction of symmetric monoidal categories generalizing Deligne's interpolated categories [\textit{P. Deligne}, in: Algebraic groups and homogeneous spaces. Proceedings of the international colloquium, Mumbai, India, January 6--14, 2004. New Delhi: Narosa Publishing House/Published for the Tata Institute of Fundamental Research. 209--273 (2007; Zbl 1165.20300)], the categories introduced by \textit{F. Knop} [Adv. Math. 214, No. 2, 571--617 (2007; Zbl 1127.18004)] and the TQFT construction of \textit{M. Khovanov} et al. [Sel. Math., New Ser. 28, No. 4, Paper No. 71, 68 p. (2022; Zbl 1496.18018)]. All the categories in the paper are to be seen as generalizations of categories of the form \(\mathrm{Rep}(\mathrm{Aut}(W))\), where \(W\) is some algebraic structure. The author constructs interpolations of symmetric monoidal categories by interpolating the algebraic structure \(W\), which he does by interpolating the scalar invariants of the structure after [\textit{E. Meir}, Int. Math. Res. Not. 2022, No. 17, 13128--13180 (2022; Zbl 1503.13005)]. Within this setting, the categories \(\mathrm{Rep}(S_{n})\) can be understood as \(\mathrm{Rep}(K^{n})\), where the vector space \(K^{n}\) has the canonical commutative separable algebra structure. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] is concerned with preliminaries and notations. \item[\S 3] constructs a category \(\mathcal{C}_{univ}\) which is the universal category freely generated by a structure \((W,(x_{i}))\) of type \(((p_{i},q_{i}))\). \item[\S 4] constructs, for any character \(\chi:\mathfrak{U}\rightarrow K\), a symmetric monoidal category \(\mathcal{C}_{\chi}\) that is tensor-generated by a structure affording the character \(\chi\) as well as its dual. The author gives necessary and sufficient conditions for a given character to arise from a structure in an abelian category with finite-dimensional hom-spaces. Such characters are called good. \item[\S 5] describes explicitly, in case \(\chi\) is a character arising from a structure in \(\mathrm{Vec}_{K}\), the category \(\mathcal{C}_{\chi}\), showing that there is a unique symmetric fiber functor \(F:\mathcal{C}_{\chi }\rightarrow\mathrm{Vec}_{K}\) and giving a proof of the following theorem. Theorem. Let \(G\) be a reductive affine algebraic group. Then \[ \mathrm{Rep}(G)\cong\mathcal{C}_{\chi} \] for some character \(\chi\). \item[\S 6] finishes the proof of the following theorem. Theorem. The set of good characters in \(K^{P}\) forms a \(K\)-subalgebra. \item[\S 7] shows that if \((\chi_{t})\) is a one-parameter family of characters such that \(\chi_{t}\) is good for countably many \(t\), then, under some mild conditions, \(\chi_{t}\) is good for every \(t\). \item[\S 8] gives examples, being concered with \begin{itemize} \item \(\mathrm{Rep}(\mathrm{Gl}_{t}(K))\), \item the algebraic structure consisting of a vector space \(W\) and a single endomorphism \(T:W\rightarrow W\), \item vector spaces \(W\) with a non-degenerate symmetric pairing \(c:W\otimes W\rightarrow K\), \item non-degenerate skew-symmetric pairings, \item separable commutative algebras, \item commutative Frobenius algebras, \item wreath products \(S_{n}\ltimes G^{n}\) with \(S_{n}\) acting by permuting the entries in \(G^{n}\), and \item finitely generated modules over \ with \(\mathcal{O}\) a discrete valuation ring with a uniformizer \(\pi\) and a finite residue field of cardinality \(q\) and \(r>0\) some integer. \end{itemize} \end{itemize}