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 $\mathcal{C}$ is akin to the concept of dimension of vector spaces, to which it reduces in the case that $\mathcal{C} =$ Vect. The 1-dimensional vector space is a simple object in Vect, and the dimension of a vector space $V$, if it is finite, may be thought of as the number of times that one may split off such a simple object from $V$. The definition of length generalizes this concept, notably to modules over some ring.
Let $\mathcal{C}$ be an abelian category.
Given an object $X \in \mathcal{C}$, then a Jordan-HΓΆlder sequence or composition series for $X$ is a finite filtration, i.e. a finite sequence of subobject inclusions into $X$, starting with the zero objects
such that at each stage $i$ the quotient $X_i/X_{i-1}$ (i.e. the coimage of the monomorphism $X_{i-1} \hookrightarrow X_i$) is a simple object of $\mathcal{C}$.
If a Jordan-HΓΆlder sequence for $X$ exists at all, then $X$ is said to be of finite length.
(e.g. EGNO 15, def. 1.5.3)
If $X \in \mathcal{C}$ has finite length according to def. , then in fact all Jordan-HΓΆlder sequences for $X$ have the same length $n \in \mathbb{N}$.
(e.g. EGNO 15, theorem 1.5.4)
If an object $X \in \mathcal{C}$ has finite length according to def. , then the length $n \in \mathbb{N}$ of any of its Jordan-HΓΆlder sequences, which is uniquely defined according to prop. , is called the length of the object $X$.
(e.g. EGNO 15, def. 1.5.5)
In abelian categories that are also $k$-linear tensor categories over a field $k$ 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 $V$ there exists an exterior power that vanishes, $\wedge^n V = 0$ (namely for all $n \gt dim(V)$). Similarly, if $V$ is a super vector space of dimension $(d,p)$, then the combined $(d+1)$st skew-symmetric tensor power and $(p+1)$st symmetric tensor power annihilates it. In this way prop. below goes in the direction of establishing that in a $k$-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 $k$ an algebraically closed field of characteristic zero, then a $k$-tensor category $\mathcal{A}$ is an
such that
the tensor product functor $\otimes \colon \mathcal{A} \times \mathcal{A} \longrightarrow \mathcal{A}$ is
in both arguments;
$End(1) \simeq k$ (the endomorphism ring of the tensor unit coincides with $k$).
Such a $k$-tensor category is called finitely $\otimes$-generated if there exists an object $E \in \mathcal{A}$ such that every other object $X \in \mathcal{A}$ is a subquotient of a direct sum of tensor products $E^{\otimes^n}$, for some $n \in \mathbb{N}$:
Such $E$ is called an $\otimes$-generator for $\mathcal{A}$.
A tensor category $\mathcal{A}$ (def. ) is said to have subexponential growth if for every object $X$ there exists a natural number $N$ such that $X$ is of length (def. ) at most $N$, and that also all tensor product powers of $X$ are of length bounded by the corresponding powers of $N$:
(e.g. EGNO 15, def. 9.11.1)
For $(\mathcal{A},\otimes)$ a $k$-tensor category as in def., for $X \in \mathcal{A}$ an object, for $n \in \mathbb{N}$ and $\lambda$ a partition of $n$, say that the value of the Schur functor $S_\lambda$ on $X$ is
where
$S_n$ is the symmetric group on $n$ elements;
$V_\lambda$ is the irreducible representation of $S_n$ corresponding to $\lambda$;
$\rho$ is the diagional action of $S_n$ on $V_\lambda \otimes X^{\otimes_n}$, coming from the canonical permutation action on $X^{\otimes_n}$;
$(-)^{S_n}$ denotes the subspace of invariants under the action $\rho$
the last expression just rewrites this as a group averaging.
For a tensor category $\mathcal{A}$ the following are equivalent:
For every object $X \in \mathcal{A}$ there exists $n \in \mathbb{N}$ and a partition $\lambda$ of $n$ such that the corresponding value of the Schur functor, def. , on $X$ vanishes: $S_\lambda(X) = 0$.
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 March 9, 2018 at 13:38:23. See the history of this page for a list of all contributions to it.