Schur–Weyl duality
Schur–Weyl duality is a mathematical theorem in representation theory that relates irreducible finite-dimensional representations of the general linear and symmetric groups. It is named after two pioneers of representation theory of Lie groups, Issai Schur, who discovered the phenomenon, and Hermann Weyl, who popularized it in his books on quantum mechanics and classical groups as a way of classifying representations of unitary and general linear groups. Schur–Weyl duality can be proven using the double centralizer theorem.[1]
Description
Schur–Weyl duality forms an archetypical situation in representation theory involving two kinds of symmetry that determine each other. Consider the tensor space
- [math]\displaystyle{ \mathbb{C}^n\otimes\mathbb{C}^n\otimes\cdots\otimes\mathbb{C}^n }[/math] with k factors.
The symmetric group Sk on k letters acts on this space (on the left) by permuting the factors,
- [math]\displaystyle{ \sigma(v_1\otimes v_2\otimes\cdots\otimes v_k) = v_{\sigma^{-1}(1)}\otimes v_{\sigma^{-1}(2)}\otimes\cdots\otimes v_{\sigma^{-1}(k)}. }[/math]
The general linear group GLn of invertible n×n matrices acts on it by the simultaneous matrix multiplication,
- [math]\displaystyle{ g(v_1\otimes v_2\otimes\cdots\otimes v_k) = gv_1\otimes gv_2\otimes\cdots\otimes gv_k, \quad g\in \text{GL}_n. }[/math]
These two actions commute, and in its concrete form, the Schur–Weyl duality asserts that under the joint action of the groups Sk and GLn, the tensor space decomposes into a direct sum of tensor products of irreducible modules (for these two groups) that actually determine each other,
- [math]\displaystyle{ \mathbb{C}^n\otimes\mathbb{C}^n\otimes\cdots\otimes\mathbb{C}^n = \bigoplus_D \pi_k^D\otimes\rho_n^D. }[/math]
The summands are indexed by the Young diagrams D with k boxes and at most n rows, and representations [math]\displaystyle{ \pi_k^D }[/math] of Sk with different D are mutually non-isomorphic, and the same is true for representations [math]\displaystyle{ \rho_n^D }[/math] of GLn.
The abstract form of the Schur–Weyl duality asserts that two algebras of operators on the tensor space generated by the actions of GLn and Sk are the full mutual centralizers in the algebra of the endomorphisms [math]\displaystyle{ \mathrm{End}_\mathbb{C}(\mathbb{C}^n\otimes\mathbb{C}^n\otimes\cdots\otimes\mathbb{C}^n). }[/math]
Example
Suppose that k = 2 and n is greater than one. Then the Schur–Weyl duality is the statement that the space of two-tensors decomposes into symmetric and antisymmetric parts, each of which is an irreducible module for GLn:
- [math]\displaystyle{ \mathbb{C}^n\otimes\mathbb{C}^n = S^2\mathbb{C}^n \oplus \Lambda^2\mathbb{C}^n. }[/math]
The symmetric group S2 consists of two elements and has two irreducible representations, the trivial representation and the sign representation. The trivial representation of S2 gives rise to the symmetric tensors, which are invariant (i.e. do not change) under the permutation of the factors, and the sign representation corresponds to the skew-symmetric tensors, which flip the sign.
Proof
First consider the following setup:
- G a finite group,
- [math]\displaystyle{ A = \mathbb{C}[G] }[/math] the group algebra of G,
- [math]\displaystyle{ U }[/math] a finite-dimensional right A-module, and
- [math]\displaystyle{ B = \operatorname{End}_G(U) }[/math], which acts on U from the left and commutes with the right action of G (or of A). In other words, [math]\displaystyle{ B }[/math] is the centralizer of [math]\displaystyle{ A }[/math] in the endomorphism ring [math]\displaystyle{ \operatorname{End}(U) }[/math].
The proof uses two algebraic lemmas.
Lemma 1 — [2] If [math]\displaystyle{ W }[/math] is a simple left A-module, then [math]\displaystyle{ U \otimes_A W }[/math] is a simple left B-module.
Proof: Since U is semisimple by Maschke's theorem, there is a decomposition [math]\displaystyle{ U = \bigoplus_i U_i^{\oplus m_i} }[/math] into simple A-modules. Then [math]\displaystyle{ U \otimes_A W = \bigoplus_i (U_i \otimes_A W)^{\oplus m_i} }[/math]. Since A is the left regular representation of G, each simple G-module appears in A and we have that [math]\displaystyle{ U_i \otimes_A W = \mathbb{C} }[/math] (respectively zero) if and only if [math]\displaystyle{ U_i, W }[/math] correspond to the same simple factor of A (respectively otherwise). Hence, we have: [math]\displaystyle{ U \otimes_A W = (U_{i_0} \otimes_A W)^{\oplus m_{i_0}} = \mathbb{C}^{\oplus m_{i_0}}. }[/math] Now, it is easy to see that each nonzero vector in [math]\displaystyle{ \mathbb{C}^{\oplus m_{i_0}} }[/math] generates the whole space as a B-module and so [math]\displaystyle{ U \otimes_A W }[/math] is simple. (In general, a nonzero module is simple if and only if each of its nonzero cyclic submodule coincides with the module.) [math]\displaystyle{ \square }[/math]
Lemma 2 — [3] When [math]\displaystyle{ U = V^{\otimes d} }[/math] and G is the symmetric group [math]\displaystyle{ \mathfrak{S}_d }[/math], a subspace of [math]\displaystyle{ U }[/math] is a B-submodule if and only if it is invariant under [math]\displaystyle{ \operatorname{GL}(V) }[/math]; in other words, a B-submodule is the same as a [math]\displaystyle{ \operatorname{GL}(V) }[/math]-submodule.
Proof: Let [math]\displaystyle{ W = \operatorname{End}(V) }[/math]. The [math]\displaystyle{ W \hookrightarrow \operatorname{End}(U), w \mapsto w^d = d! w \otimes \cdots \otimes w }[/math]. Also, the image of W spans the subspace of symmetric tensors [math]\displaystyle{ \operatorname{Sym}^d(W) }[/math]. Since [math]\displaystyle{ B = \operatorname{Sym}^d(W) }[/math], the image of [math]\displaystyle{ W }[/math] spans [math]\displaystyle{ B }[/math]. Since [math]\displaystyle{ \operatorname{GL}(V) }[/math] is dense in W either in the Euclidean topology or in the Zariski topology, the assertion follows. [math]\displaystyle{ \square }[/math]
The Schur–Weyl duality now follows. We take [math]\displaystyle{ G = \mathfrak{S}_d }[/math] to be the symmetric group and [math]\displaystyle{ U = V^{\otimes d} }[/math] the d-th tensor power of a finite-dimensional complex vector space V.
Let [math]\displaystyle{ V^{\lambda} }[/math] denote the irreducible [math]\displaystyle{ \mathfrak{S}_d }[/math]-representation corresponding to a partition [math]\displaystyle{ \lambda }[/math] and [math]\displaystyle{ m_{\lambda} = \dim V^{\lambda} }[/math]. Then by Lemma 1
- [math]\displaystyle{ S^{\lambda}(V) := V^{\otimes d} \otimes_{\mathfrak{S}_d} V^{\lambda} }[/math]
is irreducible as a [math]\displaystyle{ \operatorname{GL}(V) }[/math]-module. Moreover, when [math]\displaystyle{ A = \bigoplus_{\lambda} (V^{\lambda})^{\oplus m_\lambda} }[/math] is the left semisimple decomposition, we have:[4]
- [math]\displaystyle{ V^{\otimes d} = V^{\otimes d} \otimes_A A = \bigoplus_{\lambda} (V^{\otimes d} \otimes_{\mathfrak{S}_d} V^{\lambda})^{\oplus m_{\lambda}} }[/math],
which is the semisimple decomposition as a [math]\displaystyle{ \operatorname{GL}(V) }[/math]-module.
Generalizations
The Brauer algebra plays the role of the symmetric group in the generalization of the Schur-Weyl duality to the orthogonal and symplectic groups.
More generally, the partition algebra and its subalgebras give rise to a number of generalizations of the Schur-Weyl duality.
See also
Notes
- ↑ Etingof, Pavel; Golberg, Oleg; Hensel, Sebastian; Liu, Tiankai; Schwendner, Alex; Vaintrob, Dmitry; Yudovina, Elena (2011), Introduction to representation theory. With historical interludes by Slava Gerovitch, Theorem 5.18.4
- ↑ Fulton & Harris 1991, Lemma 6.22.
- ↑ Fulton & Harris 1991, Lemma 6.23.
- ↑ Fulton & Harris 1991, Theorem 6.3. (2), (4)
References
- Fulton, William; Harris, Joe (1991) (in en-gb). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. OCLC 246650103. https://link.springer.com/10.1007/978-1-4612-0979-9.
- Roger Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond. The Schur lectures (1992) (Tel Aviv), 1–182, Israel Math. Conf. Proc., 8, Bar-Ilan Univ., Ramat Gan, 1995. MR1321638
- Issai Schur, Über eine Klasse von Matrizen, die sich einer gegebenen Matrix zuordnen lassen. Dissertation. Berlin. 76 S (1901) JMF 32.0165.04
- Issai Schur, Über die rationalen Darstellungen der allgemeinen linearen Gruppe. Sitzungsberichte Akad. Berlin 1927, 58–75 (1927) JMF 53.0108.05
- Sengupta, Ambar N. (2012). "Chapter 10: Character Duality". Representing Finite Groups, A Semimsimple Introduction. Springer. ISBN 978-1-4614-1232-8. OCLC 875741967. https://www.springer.com/gp/book/9781461412304.
- Hermann Weyl, The Classical Groups. Their Invariants and Representations. Princeton University Press, Princeton, N.J., 1939. xii+302 pp. MR0000255
External links
![]() | Original source: https://en.wikipedia.org/wiki/Schur–Weyl duality.
Read more |