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

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q193577
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Daisuke Tambara / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.14492/hokmj/1285766362 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1982162823 / rank
 
Normal rank

Latest revision as of 21:54, 19 March 2024

scientific article
Language Label Description Also known as
English
Distributors on a tensor category
scientific article

    Statements

    Distributors on a tensor category (English)
    0 references
    29 November 2006
    0 references
    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\).
    0 references
    tensor category
    0 references
    center
    0 references
    0 references

    Identifiers