English

On the linear independency of monoidal natural transformations

Category Theory 2010-08-12 v2 Quantum Algebra

Abstract

Let F,G:ICF, G: \mathcal{I} \to \mathcal{C} be strong monoidal functors from a skeletally small monoidal category I\mathcal{I} to a tensor category C\mathcal{C} over an algebraically closed field kk. The set Nat(F,G)Nat(F, G) of natural transformations FGF \to G is naturally a vector space over kk. We show that the set Nat(F,G)Nat_\otimes(F, G) of monoidal natural transformations FGF \to G is linearly independent as a subset of Nat(F,G)Nat(F, G). As a corollary, we can show that the group of monoidal natural automorphisms on the identity functor on a finite tensor category is finite. We can also show that the set of pivotal structures on a finite tensor category is finite.

Cite

@article{arxiv.1008.1692,
  title  = {On the linear independency of monoidal natural transformations},
  author = {Kenichi Shimizu},
  journal= {arXiv preprint arXiv:1008.1692},
  year   = {2010}
}

Comments

7 pages; Some corrections in Section 3

R2 v1 2026-06-21T15:58:59.435Z