Distributors on a tensor category (Q852466): Difference between revisions

Let \(\mathcal A\) be a \(k\)-linear tensor category and let \(\mathcal V\) denote the category of \(k\)-vector spaces. The category \(_{\mathcal A}\mathbf{D}(\mathcal A,\mathcal A)_{\mathcal A}\) consists of \(k\)-linear functors \(L:\mathcal A^{ op}\times \mathcal A\rightarrow \mathcal V\) equipped with a two-sided \(\mathcal A\)-action, that is, maps \[ L(X,Y)\rightarrow L(A\otimes X,A\otimes Y), \quad L(X,Y)\rightarrow L(X\otimes A,Y\otimes A) \] for all triples \(A,X,Y\in \mathcal A\), satisfying certains conditions. \(_{\mathcal A}\mathbf{D}(\mathcal A,\mathcal A)_{\mathcal A}\) is a tensor category. On the other hand, the category \(\Hom(\mathcal A^{ op},\mathcal V)\) also has a tensor structure, which satisfies \(h_A\otimes h_B=h_{A\otimes B}\), \(A,B\in \mathcal A\), where \(h_A(-)=\Hom_{\mathcal A}(-,A)\). The center \(Z(\mathcal C)\) of a tensor category \(\mathcal C\) is a category, whose objects are pairs \((X,\tau_X(-): X\otimes -\rightarrow -\otimes X)\), where \(X\in \mathcal C\) and \(\tau_X\) is a functorial isomorphism, satisfying certain conditions. Morphisms in \(Z(\mathcal C)\) are those in \(\mathcal C\) that commute with \(\tau\). It is well-known that \(Z(\mathcal C)\) is a braided tensor category. The main result of the paper is the equivalence between \(_{\mathcal A}\mathbf{D}(\mathcal A,\mathcal A)_{\mathcal A}\) and \(Z(\text{Hom}(\mathcal A^{ op},\mathcal V))\) as tensor categories, provided that \(\mathcal A\) is a rigid tensor category. The correspondence of objects is given explicitly as follows: An object \(L\) of \(_{\mathcal A}\mathbf{D}(\mathcal A,\mathcal A)_{\mathcal A}\) is mapped to \(F:\mathcal A^{ op}\rightarrow \mathcal V\) with \(F(X)= L(X,I)\), where \(I\) is the unit object of \(\mathcal A\).