Exact sequences of tensor categories with respect to a module category (Q507242): Difference between revisions

\textit{Exact sequences} \(\mathcal A\to\mathcal B\to\mathcal C\) of tensor categories are introduced, \textit{relative} to some indecomposable exact \(\mathcal A\)-module category \(\mathcal M\). (Here a \textit{tensor category} means an autonomous monoidal category enriched in the category \textsf{Vec} of vector spaces over a given field, subject to a few further -- mainly finiteness -- conditions.) In the case when \(\mathcal M\) is equal to \textsf{Vec}, the definition in [\textit{A. Bruguières} and \textit{S. Natale}, Int. Math. Res. Not. 2011, No. 24, 5644--5705 (2011; Zbl 1250.18005)] is re-obtained; in fact an \(\mathcal M\)-relative exact sequence is an exact sequence \(\mathcal A\to\mathcal B\to\mathcal C\boxtimes\mathsf{End}(\mathcal M)\) in the sense of Bruguières and Natale, where \(\mathcal C\boxtimes\mathsf{End}(\mathcal M)\) is the Deligne tensor product with the category of right exact endofunctors of \(\mathcal M\). Allowing for these more general module categories \(\mathcal M\) instead of \textsf{Vec}, the existence of a fiber tensor functor \(\mathcal A\to\mathsf{Vec}\) no longer follows. That is, \(\mathcal A\) no longer needs to be equivalent to the category of comodules over some Hopf algebra. Several results due to Bruguières and Natale are extended to this more general setting. For example, relative exact sequences are characterized by the multiplicativity of the Frobenius-Perron dimension. Semisimplicity of the middle term is proven in those relative exact sequences in which all other tensor categories are semisimple. Even more importantly, the more general setting in the paper under review allows to prove some results which were not available in the situation discussed by Bruguières and Natale. Namely, Deligne tensor products of tensor categories are shown to induce exact sequences in this more general sense. Moreover, the class of such relative exact sequences is proven to be closed under a suitable duality.