Young symmetrizer

Young symmetrizer

In mathematics, a Young symmetrizer is an element of the group algebra of the symmetric group, constructed in such a way that the image of the element corresponds to an irreducible representation of the symmetric group over the complex numbers. A similar construction works over any field, and the resulting representations are called Specht modules. The Young symmetrizer is named after British mathematician Alfred Young.

Definition

Given a finite symmetric group "S""n" and specific Young tableau λ corresponding to a numbered partition of "n", define two permutation subgroups P_lambda and Q_lambda of "S""n" as follows:

:P_lambda={ gin S_n : g mbox { preserves each row of } lambda }

and

:Q_lambda={ gin S_n : g mbox { preserves each column of } lambda }

Corresponding to these two subgroups, define two vectors in the group algebra mathbb{C}S_n as

:a_lambda=sum_{gin P_lambda} e_g

and

:b_lambda=sum_{gin Q_lambda} sgn(g) e_g

where e_g is the unit vector corresponding to "g", and sgn(g) is the signature of the permutation. The product

:c_lambda = a_lambda b_lambda

is the Young symmetrizer corresponding to the Young tableau λ. Each Young symmetrizer corresponds to an irreducible representation of the symmetric group, and every irreducible representation can be obtained from a corresponding Young symmetrizer. (If we replace the complex numbers by more general fields the corresponding representations will not be irreducible in general.)

Construction

Let "V" be any vector space over the complex numbers. Consider then the tensor product vector space V^{otimes n}=V otimes V otimes ...otimes V ("n" times). Let "S"n act on this tensor product space by permuting each index. One then has a natural group algebra representation mathbb{C}S_n ightarrow mbox{End} (V^{otimes n}) on endomorphisms on V^{otimes n}.

Given a partition λ of "n", so that n=lambda_1+lambda_2+ ... +lambda_j, then the image of a_lambda is :mbox{Im}(a_lambda) = mbox{Sym}^{lambda_1}; V otimes mbox{Sym}^{lambda_2}; V otimes ... otimesmbox{Sym}^{lambda_j}; V

The image of b_lambda is :mbox{Im}(b_lambda) = igwedge^{mu_1} V otimes igwedge^{mu_2} V otimes ... otimesigwedge^{mu_k} V where μ is the conjugate partition to λ. Here, mbox{Sym}^{lambda} V and igwedge^{mu} V are the symmetric and alternating tensor product spaces.

The image of c_lambda = a_lambda cdot b_lambda on mathbb{C}S_n is an irreducible representation [See harv|Fulton|Harris|1991|loc=Theorem 4.3, p. 46] of "S"n. We write:mbox{Im}(c_lambda) = V_lambda for the irreducible representation.

Note that some scalar multiple of c_lambda is idempotent, that is c^2_lambda = alpha_lambda c_lambda for some rational number alpha_lambdainmathbb{Q}. Specifically, one finds alpha_lambda=n! / mbox{dim } V_lambda. In particular, this implies that representations of the symmetric group can be given in terms of the rational numbers; that is, over the rational group algebra mathbb{Q}S_n.

Consider, for example, "S"3 and the partition (2,1). Then one has c_{(2,1)} = e_{123}+e_{213}-e_{321}-e_{312}

... The image of c_lambda provides all the finite-dimensional irreducible representations of GL(V) ...

ee also

* Representation theory of the symmetric group

Notes

References

* William Fulton. "Young Tableaux, with Applications to Representation Theory and Geometry". Cambridge University Press, 1997.
* Lecture 4 of Fulton-Harris
* Bruce E. Sagan. "The Symmetric Group". Springer, 2001.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Young tableau — In mathematics, a Young tableau (pl.: tableaux ) is a combinatorial object useful in representation theory. It provides a convenient way to describe the group representations of the symmetric and general linear groups and to study their… …   Wikipedia

  • Alfred Young — (16 April 1873 – 15 December 1940) was a mathematician. He was born in Widnes, Lancashire, England and educated at Monkton Combe School in Somerset. He was a Fellow of Clare College, Cambridge. He is known for his work in the area of group theory …   Wikipedia

  • List of mathematics articles (Y) — NOTOC Y Y Δ transform Y homeomorphism Y intercept Yamabe flow Yamabe invariant Yamabe problem Yamartino method Yang–Baxter equation Yang–Mills existence and mass gap Yangian Yarrow algorithm Yates correction for continuity Yavanajataka Yaw angle… …   Wikipedia

  • Representation theory of the symmetric group — In mathematics, the representation theory of the symmetric group is a particular case of the representation theory of finite groups, for which a concrete and detailed theory can be obtained. This has a large area of potential applications, from… …   Wikipedia

  • Symmetric tensor — In mathematics, a symmetric tensor is a tensor that is invariant under a permutation of its vector arguments. Symmetric tensors of rank two are sometimes called quadratic forms. In more abstract terms, symmetric tensors of general rank are… …   Wikipedia

  • List of Cyberchase episodes — The Main Article is Cyberchase. Cyberchase is a math cartoon on PBS Kids GO! Cyberchase features the Cybersquad who use math and problem solving skills in a quest to save Cyberspace from the evil villain named The Hacker. Jackie, Matt, Inez, and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”