Schur functor
Contents
Definition as a functor from vector spaces to vector spaces
Schur functor associated with a representation of the symmetric group
Suppose is a linear representation of the symmetric group
over a field
. The Schur functor associated with
, denoted
, is a functor from the category of
-vector spaces to the category of
-vector spaces defined as follows. First, using the equivalence of definitions of linear representation, consider
as a module over the group ring
. Now, the functor is defined as follows:
- On objects: It sends a vector space
to the tensor product of modules
. Here is what this means.
is the
-fold tensor product of
as a
-vector space. This naturally acquires the structure of a
-module where
acts by permuting the tensor product factors. We now take its tensor product as a
-module with
. This is not the same as taking the tensor product of vector spaces. Note that since
is not commutative, we have to treat
as a left
-module and
as a right
-module. Also note that once we have taken the tensor product, we no longer have a
-module structure, just a
-vector space.
- On morphisms: Given a linear map
, it induces a map
which in turn induces a map of the tensor products with
. Functoriality must be checked, but is true.
Schur functor associated with a partition
Assume that has characteristic zero. Suppose
is a unordered integer partition of a positive integer
. The Schur functor associated with
, denoted
, is defined as the Schur functor associated with the irreducible linear representation of
corresponding to
(see linear representation theory of symmetric groups).
In this case, the module for the irreducible representation can be thought of explicitly as a left ideal inside and the tensor product operation can be thought of as multiplication on the right by this ideal. Note that multiplication by the two-sided ideal corresponding to the representation would give a sum of the Schur functor with itslf degree of the representation many times.
The result also holds if the characteristic of is greater than
. If
has characteristic a prime less than or equal to
, there is some ambiguity about how to define the Schur functor.
Combinatorial definition for finite-dimensional vector space in terms of Young tableaux
The Schur functor corresponding to a partition of
applied to the vector space
(with
unrelated to
) can be defined combinatorially as follows. As a vector space, it has basis the set of semistandard Young tableaux of shape
and all entries between 1 and
.
Definition as a functor from representations to representations
This definition can be obtained using abstract nonsense from the definition for vector spaces. For a representation and a linear representation
of a symmetric group
, we define
as a representation of
on the vector space
, with the map:
given by:
where the latter denotes the effect of the functor on morphisms.
Relation with Schur elements and Schur polynomials
For an unordered integer partition of
and an unrelated positive integer
, the following is the relation between the Schur functor, Schur element, and Schur polynomial:
- The Schur functor gives the vector space with basis the semistandard Young tableaux.
- The Schur element is the sum of the semistandard Young tableaux.
- The Schur polynomial is the image of the Schur element under the mapping to the polynomial ring that only remembers the multiplicity of each variable.
In particular, the dimension of the vector space obtained by applying the Schur functor can be obtained from the Schur polynomial by plugging in the value 1 for all the variables.
Facts
- Formula for calculating effect of Schur functor on character
- We have the following:
where denotes the degree of the irreducible representation of
corresponding to
. The notation here means that
is added to itself
times.
Note that although does not have a natural
-action,
does.