In mathematics, especially in the field of representation theory, Schur functors (named after Issai Schur) are certain functors from the category of modules over a fixed commutative ring to itself. They generalize the constructions of exterior powers and symmetric powers of a vector space. Schur functors are indexed by Young diagrams in such a way that the horizontal diagram with n cells corresponds to the nth symmetric power functor, and the vertical diagram with n cells corresponds to the nth exterior power functor. If a vector space V is a representation of a group G, then S λ V {\displaystyle \mathbb {S} ^{\lambda }V} also has a natural action of G for any Schur functor S λ ( − ) {\displaystyle \mathbb {S} ^{\lambda }(-)} .
Definition Schur functors are indexed by partitions and are described as follows. Let R be a commutative ring, E an R-module and λ a partition of a positive integer n. Let T be a Young tableau of shape λ, thus indexing the factors of the n-fold direct product, E × E × ... × E, with the boxes of T. Consider those maps of R-modules φ : E × n → M {\displaystyle \varphi :E^{\times n}\to M} satisfying the following conditions
φ {\displaystyle \varphi } is multilinear,
φ {\displaystyle \varphi } is alternating in the entries indexed by each column of T,
φ {\displaystyle \varphi } satisfies an exchange condition stating that if I ⊂ { 1 , 2 , … , n } {\displaystyle I\subset \{1,2,\dots ,n\}} are numbers from column i of T then
φ ( x ) = ∑ x ′ φ ( x ′ ) {\displaystyle \varphi (x)=\sum _{x'}\varphi (x')}
where the sum is over n-tuples x′ obtained from x by exchanging the elements indexed by I with any | I | {\displaystyle |I|} elements indexed by the numbers in column i − 1 {\displaystyle i-1} (in order). The universal R-module S λ E {\displaystyle \mathbb {S} ^{\lambda }E} that extends φ {\displaystyle \varphi } to a mapping of R-modules φ ~ : S λ E → M {\displaystyle {\tilde {\varphi }}:\mathbb {S} ^{\lambda }E\to M} is the image of E under the Schur functor indexed by λ. For an example of the condition (3) placed on φ {\displaystyle \varphi }
suppose that λ is the partition ( 2 , 2 , 1 ) {\displaystyle (2,2,1)} and the tableau T is numbered such that its entries are 1, 2, 3, 4, 5 when read top-to-bottom (left-to-right). Taking I = { 4 , 5 } {\displaystyle I=\{4,5\}} (i.e., the numbers in the second column of T) we have
φ ( x 1 , x 2 , x 3 , x 4 , x 5 ) = φ ( x 4 , x 5 , x 3 , x 1 , x 2 ) + φ ( x 4 , x 2 , x 5 , x 1 , x 3 ) + φ ( x 1 , x 4 , x 5 , x 2 , x 3 ) , {\displaystyle \varphi (x_{1},x_{2},x_{3},x_{4},x_{5})=\varphi (x_{4},x_{5},x_{3},x_{1},x_{2})+\varphi (x_{4},x_{2},x_{5},x_{1},x_{3})+\varphi (x_{1},x_{4},x_{5},x_{2},x_{3}),}
while if I = { 5 } {\displaystyle I=\{5\}} then
… excerpt ends here. Continue reading the full article.
