In category theory, a branch of mathematics, a rigid category is a monoidal category where every object is rigid, that is, has a dual X* (the internal Hom [X, 1]) and a morphism 1 → X ⊗ X* satisfying natural conditions. The category is called right rigid or left rigid according to whether it has right duals or left duals. They were first defined (following Alexandre Grothendieck) by Neantro Saavedra-Rivano in his thesis on Tannakian categories.[1]
Definition
There are at least two equivalent definitions of a rigidity.
An object X of a monoidal category is called left rigid if there is an object Y and morphisms \( {\displaystyle \eta _{X}:\mathbf {1} \to X\otimes Y} \) and \( {\displaystyle \epsilon _{X}:Y\otimes X\to \mathbf {1} } \) such that both compositions
\( {\displaystyle X~{\xrightarrow {\eta _{X}\otimes \mathrm {id} _{X}}}~(X\otimes Y)\otimes X~{\xrightarrow {\alpha _{X,Y,X}^{-1}}}~X\otimes (Y\otimes X)~{\xrightarrow {\mathrm {id} _{X}\otimes \epsilon _{X}}}~X} \)
\( {\displaystyle Y~{\xrightarrow {\mathrm {id} _{Y}\otimes \eta _{X}}}~Y\otimes (X\otimes Y)~{\xrightarrow {~\alpha _{X,Y,X}~}}~(Y\otimes X)\otimes Y~{\xrightarrow {\epsilon _{X}\otimes \mathrm {id} _{Y}}}~Y} \)
are identities. A right rigid object is defined similarly.
An inverse is an object X−1 such that both X ⊗ X−1 and X−1 ⊗ X are isomorphic to 1, the one object of the monoidal category. If an object X has a left (resp. right) inverse X−1 with respect to the tensor product then it is left (resp. right) rigid, and X* = X−1.
The operation of taking duals gives a contravariant functor on a rigid category.
Uses
One important application of rigidity is in the definition of the trace of an endomorphism of a rigid object. The trace can be defined for any rigid category such that taking the ( )**, the functor of taking the dual twice repeated, is isomorphic to the identity functor, i.e. a pivotal category. Then for any right rigid object X, and any other object Y, we may define the isomorphism
\( {\displaystyle \phi _{X,Y}:\left\{{\begin{array}{rcl}\mathrm {Hom} (\mathbf {1} ,X^{*}\otimes Y)&\longrightarrow &\mathrm {Hom} (X,Y)\\f&\longmapsto &(\epsilon _{X}\otimes id_{Y})\circ (id_{X}\otimes f)\end{array}}\right.} \)
and its reciprocal isomorphism
\( {\displaystyle \psi _{X,Y}:\left\{{\begin{array}{rcl}\mathrm {Hom} (X,Y)&\longrightarrow &\mathrm {Hom} (\mathbf {1} ,X^{*}\otimes Y)\\g&\longmapsto &(id_{X^{*}}\otimes g)\circ \eta _{X}\end{array}}\right.}. \)
Then for any endomorphism \( f : X \to X \), the trace is of f is defined as the composition:
\( {\displaystyle \mathop {\mathrm {tr} } f:\mathbf {1} {\xrightarrow {\psi _{X,X}(f)}}X^{*}\otimes X{\xrightarrow {\gamma _{X,X}}}X\otimes X^{*}{\xrightarrow {\epsilon _{X}}}\mathbf {1} ,} \)
We may continue further and define the dimension of a rigid object to be:
\( {\displaystyle \dim X:=\mathop {\mathrm {tr} } \ \mathrm {id} _{X}}. \)
Rigidity is also important because of its relation to internal Hom's. If X is a left rigid object, then every internal Hom of the form [X, Z] exists and is isomorphic to Z ⊗ Y. In particular, in a rigid category, all internal Hom's exist.
Alternative terminology
A monoidal category where every object has a left (resp. right) dual is also sometimes called a left (resp. right) autonomous category. A monoidal category where every object has both a left and a right dual is sometimes called an autonomous category. An autonomous category that is also symmetric is called a compact closed category.
Discussion
A monoidal category is a category with a tensor product, precisely the sort of category for which rigidity makes sense.
The category of pure motives is formed by rigidifying the category of effective pure motives.
Notes
N. Saavedra Rivano, Catégories Tannakiennes, Springer LNM 265, 1972
References
Davydov, A. A. (1998). "Monoidal categories and functors". Journal of Mathematical Sciences. 88 (4): 458–472. doi:10.1007/BF02365309.
Rigid monoidal category in nLab
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
