- 1 Definition as a functor from vector spaces to vector spaces
- 2 Definition as a functor from representations to representations
- 3 Relation with Schur elements and Schur polynomials
- 4 Facts
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:
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.
- 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.