On the linear independency of monoidal natural transformations
Let \(\mathcal C\) be a tensor category over an algebraically closed field \(k\). Let \(\mathcal I\) be a skeletally small monoidal category and let \(F, G: \mathcal{I} \to \mathcal{C}\) be monoidal functors. The author proves that the set of monoidal natural transformations from \(F\) to \(G\) is a linearly independent subset of the \(k\)-vector space of natural transformations from \(F\) to \(G\). As a corollary, if \(\mathcal C\) and \(\mathcal D\) are tensor categories and \(F, G: \mathcal {C} \to \mathcal{D}\) are right exact tensor functors, then the set of monoidal natural transformations from \(F\) to \(G\) is finite if \(\mathcal C\) is finite. In particular, a finite tensor category \(\mathcal C\) has finitely many pivotal structures and the group of monoidal natural automorphisms of the identity functor is finite. Moreover, if \(k\) has characteristic zero and \(S\) is the set of isomorphism classes of simple objects of \(\mathcal C\), then \(Aut_{\otimes}(id_NEWLINE{\mathcal C})\) can be identified with a certain set of functions from \(S\) to \(k^\times\).
- Finite, connected, semisimple, rigid tensor categories are linear
- scientific article; zbMATH DE number 4031935
- The monoidal center and the character algebra
- On natural transformations of distinguished functors and their superpositions in certain closed categories
- Pivotal structures of the Drinfeld center of a finite tensor category
This page was built for publication: On the linear independency of monoidal natural transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884414)
