additive and abelian categories
(AB1) pre-abelian category
(AB2) abelian category
(AB5) Grothendieck category
left/right exact functor
The concept of length of an object in an abelian category is akin to the concept of dimension of vector spaces, to which it reduces in the case that Vect. The 1-dimensional vector space is a simple object in Vect, and the dimension of a vector space , if it is finite, may be thought of as the number of times that one may split off such a simple object from . The definition of length generalizes this concept, notably to modules over some ring.
Let be an abelian category.
Given an object , then a Jordan-HΓΆlder sequence or composition series for is a finite filtration, i.e. a finite sequence of subobject inclusions into , starting with the zero objects
such that at each stage the quotient (i.e. the cokernel of the monomorphism ) is a simple object of .
If a Jordan-HΓΆlder sequence for exists at all, then is said to be of finite length.
(e.g. EGNO 15, def. 1.5.3)
If has finite length according to def. , then in fact all Jordan-HΓΆlder sequences for have the same length .
(e.g. EGNO 15, theorem 1.5.4)
If an object has finite length according to def. , then the length of any of its Jordan-HΓΆlder sequences, which is uniquely defined according to prop. , is called the length of the object .
(e.g. EGNO 15, def. 1.5.5)
In abelian categories that are also -linear tensor categories over a field of characteristic zero, then objects have finite length precisely if they are annihilated by some Schur functor for the symmetric group.
This is a (considerable) generalization of the familiar fact that for every finite dimensional vector space there exists an exterior power that vanishes, (namely for all ). Similarly, if is a super vector space of dimension , then the combined st skew-symmetric tensor power and st symmetric tensor power annihilates it. In this way prop. below goes in the direction of establishing that in a -linear tensor category all objects of bounded length , in the sense of def. , behave like having underlying super vector spaces. The completion of this statement is Deligne's theorem on tensor categories, see there for more.
First we need to fix the precise meaning of βtensor categoryβ:
For an algebraically closed field of characteristic zero, then a -tensor category is an
such that
the tensor product functor is
in both arguments;
(the endomorphism ring of the tensor unit coincides with ).
Such a -tensor category is called finitely -generated if there exists an object such that every other object is a subquotient of a direct sum of tensor products , for some :
Such is called an -generator for .
A tensor category (def. ) is said to have subexponential growth if for every object there exists a natural number such that is of length (def. ) at most , and that also all tensor product powers of are of length bounded by the corresponding powers of :
(e.g. EGNO 15, def. 9.11.1)
For a -tensor category as in def., for an object, for and a partition of , say that the value of the Schur functor on is
where
is the symmetric group on elements;
is the irreducible representation of corresponding to ;
is the diagional action of on , coming from the canonical permutation action on ;
denotes the subspace of invariants under the action
the last expression just rewrites this as a group averaging.
For a tensor category the following are equivalent:
For every object there exists and a partition of such that the corresponding value of the Schur functor, def. , on vanishes: .
Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik, section 1.5 in Tensor categories, Mathematical Surveys and Monographs, Volume 205, American Mathematical Society, 2015 (pdf
))
Wikipedia, Composition series
The relation to Schur functors is discussed in
For more on this see at Deligne's theorem on tensor categories.
Last revised on January 6, 2024 at 04:54:07. See the history of this page for a list of all contributions to it.