Multiplicities and dimensions in enveloping tensor categories (Q6624280)

First examples of non-Tannakian categories were found by \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)], using an interpolation procedure. A different method for the construction of non-Tannakian categories was devised in [\textit{F. Knop}, Adv. Math. 214, No. 2, 571--617 (2007; Zbl 1127.18004)], being based on the observation that the category of relations of a base category \(\mathcal{A}\) is already rigid, symmetric, and monoidal. After making it \(\mathbb{K}\)-linear and twisting the product of relations by a \(\mathbb{K}\)-valued degree function \(\delta\), one obtains a category \(\mathcal{T}=\mathcal{T}(\mathcal{A},\delta)\), which is in many cases semisimple, hence in particular abelian.\N\NAs for any semisimple category, the most important objects of \(\mathcal{T}\) are the simple ones. The author [loc. cit.] classified the simple ones by pairs \((x,\chi)\), where \(x\) is an object of \(\mathcal{A}\) and \(\chi\) is an irreducible character of its automorphism group. The corresponding simple object is denoted by \([x]_{\chi}^{0}\).\N\NThis paper analyzes the internal structure of \(\mathcal{T}\) in case it is semisimple. The simple objects in a semisimple category were already determined in [loc. cit.].\N\NThe paper settles the following two questions.\N\N\begin{itemize}\N\item[(1)] How does the tensor product \([x]_{\chi}^{0}\otimes[y]_{\eta}^{0}\) decompose in simple object?\N\item[(2)] What is the internal dimension \(\dim_{\tau}[x]_{\chi}^{0}\) of a simple object?\N\end{itemize}\N\NThe paper establishes the following two theorems.\N\NTheorem. Let \([x_{1}]_{\chi_{1}}^{0}\) and \([x_{2}]_{\chi_{2}}^{0}\) be two simple objects of \(\mathcal{T}\). Then we have\N\[\N[x_{1}]_{\chi_{1}}^{0}\otimes[x_{2}]_{\chi_{2}}^{0}\cong\bigoplus_{x,\chi}\chi T\left\langle (x_{1},x_{2},x)\mid\chi_{1}\otimes\chi_{2}\otimes\chi^{\vee}\right\rangle [x]_{\chi}^{0}\N\]\Nwhere\N\[\NT(x_{1},x_{2},x_{3})=\left\{ r\subseteq x_{1}\times x_{2}\times x_{3}\mid r\twoheadrightarrow x_{1},x_{2},x_{3};r\rightarrowtail x_{1}\times x_{2},x_{1}\times x_{3},x_{2}\times x_{3}\right\}\N\]\N\NTheorem. Let \(x\) be an object of \(\mathcal{A}\) and \(\chi\) an irreducible character of \(A=\mathrm{Aut}_{\tau}(x)\). Then we have\N\[\N\dim_{\tau}[x]_{\chi}^{0}=\left\langle \chi_{[x]^{0}}\mid\chi\right\rangle _{A}\N\]\Nwhere the class function \(\chi_{[x]^{0}}\) on \(A\) is defined as\N\[\N\chi_{[x]^{0}}(g):=\sum_{X_{g}\leq Z\leq\widehat{X}_{g}}\mu_{q(x)^{g}}(X,Z)\omega_{Z}\N\]\Nwith\N\[\N\omega_{X}=\sum_{y\in S(X)}\mu_{S(X)} (y,z) \delta (y\twoheadrightarrow\boldsymbol{1})\N\]\Nand \(\mu\) the Möbius function.\N\NIn this way, the author is able to rederive a formula of \textit{D. E. Littlewood} [Can. J. Math. 10, 17--32 (1958; Zbl 0079.03604)] for stable Kronecker coefficients and to find an apparently new identity for symmetric functions.\N\NThe main technical result of this paper is the subquotient decomposition, which also yields a decomposition of \([x]\) into simple objects. The decomposition builds up from the coarser subobject decomposition of the previous paper [\textit{F. Knop}, Indag. Math., New Ser. 33, No. 1, 238--254 (2022; Zbl 1481.18022)].