Math 2.0

Topological groups, Lie groups Representation theory of Lie groups Example

Representation theory of SU(2)

Builds on SU(2)Representation of a Lie groupIrreducible representationHomogeneous polynomial

Example

Let G=SU(2)G = \mathrm{SU}(2) be the group of complex 2×22 \times 2 unitary matrices of determinant 11. For each integer n≥0n \ge 0, let VnV_n be the space of homogeneous polynomials of degree nn in two complex variables z=(z1,z2)z = (z_1, z_2), of dimension n+1n + 1. Put (πn(g)P)(z)=P(g−1z)(\pi_n(g) P)(z) = P(g^{-1} z) for g∈Gg \in G and P∈VnP \in V_n. This is a continuous homomorphism G→GL(Vn)G \to \mathrm{GL}(V_n), so it is a representation of GG.

The classification: each VnV_n is irreducible, the VnV_n are pairwise non-isomorphic, and each irreducible finite-dimensional complex representation of GG is isomorphic to exactly one VnV_n.

Check of the character on tθ=diag⁡(eiθ,e−iθ)t_\theta = \operatorname{diag}(e^{i\theta}, e^{-i\theta}), with θ∉πℤ\theta \notin \pi\Z. The monomial z1az2bz_1^a z_2^b with a+b=na + b = n is an eigenvector with eigenvalue ei(b−a)θe^{i(b - a)\theta}, so tr⁡πn(tθ)=∑j=0nei(n−2j)θ=sin⁡((n+1)θ)sin⁡θ.\tr \pi_n(t_\theta) = \sum_{j=0}^{n} e^{i(n - 2j)\theta} = \frac{\sin\big((n+1)\theta\big)}{\sin \theta}. For n=1n = 1 this gives 2cos⁡θ2 \cos \theta, the trace of tθt_\theta itself. Since each element of GG is conjugate to some tθt_\theta, these characters determine the representations.

Remarks

Tensor products decompose by the Clebsch–Gordan rule: Vm⊗Vn≅Vm+n⊕Vm+n−2⊕⋯⊕V∣m−n∣V_m \otimes V_n \cong V_{m+n} \oplus V_{m+n-2} \oplus \cdots \oplus V_{\abs{m-n}}. The element −I-I acts on VnV_n by (−1)n(-1)^n, so VnV_n is a representation of SO(3)=SU(2)/{±I}\mathrm{SO}(3) = \mathrm{SU}(2)/\set{\pm I} exactly when nn is even. In physics VnV_n is the spin n/2n/2 representation; odd nn gives the half-integer spins of electrons and other fermions. On the Lie algebra, VnV_n is the irreducible representation of 𝔰𝔩2(ℂ)\mathfrak{sl}_2(\C) of highest weight nn.

Reading path

To understand this page from the ground up, read these 31 pages in order. The foundations come first.

Show the path as a graph
Cross product, concept, no evidence levelCross productconceptDeterminant, concept, no evidence levelDeterminantconceptGroup, concept, no evidence levelGroupconceptHomogeneous polynomial, concept, no evidence levelHomogeneous polynomialconceptIdentity matrix, object, no evidence levelIdentity matrixobjectIrreducible representation, concept, no evidence levelIrreducible represent…conceptLie group, concept, no evidence levelLie groupconceptMatrix, definition, no evidence levelMatrixdefinitionReal projective space, object, no evidence levelReal projective spaceobjectRepresentation of a Lie group, concept, no evidence levelRepresentation of a L…conceptVector space, definition, no evidence levelVector spacedefinitionRing, definition, no evidence levelRingdefinitionSquare matrix, definition, no evidence levelSquare matrixdefinitionTranspose, definition, no evidence levelTransposedefinitionLinear map, definition, no evidence levelLinear mapdefinitionUnit of a ring, definition, no evidence levelUnit of a ringdefinitionConjugate transpose, definition, no evidence levelConjugate transposedefinitionMultilinear map, definition, no evidence levelMultilinear mapdefinitionOrthogonal matrix, definition, no evidence levelOrthogonal matrixdefinitionDivision ring, definition, no evidence levelDivision ringdefinitionAlternating multilinear map, definition, no evidence levelAlternating multiline…definitionUnitary matrix, definition, no evidence levelUnitary matrixdefinitionOrthogonal group, object, no evidence levelOrthogonal groupobjectThe quaternions, example, no evidence levelThe quaternionsexampleDeterminant, definition, no evidence levelDeterminantdefinitionUnitary group, object, no evidence levelUnitary groupobjectSpecial orthogonal group, object, no evidence levelSpecial orthogonal gr…objectSpecial unitary group SU(n), example, no evidence levelSpecial unitary group…exampleRotation group SO(3), example, no evidence levelRotation group SO(3)exampleSU(2), example, no evidence levelSU(2)exampleRepresentation theory of SU(2), example, no evidence levelRepresentation theory…example
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cross product concept
  2. Determinant concept
  3. Group concept
  4. Homogeneous polynomial concept
  5. Identity matrix object
  6. Irreducible representation concept
  7. Lie group concept
  8. Matrix definition
  9. Real projective space object
  10. Representation of a Lie group concept
  11. Vector space definition
  12. Ring definition
  13. Square matrix definition
  14. Transpose definition
  15. Linear map definition
  16. Unit of a ring definition
  17. Conjugate transpose definition
  18. Multilinear map definition
  19. Orthogonal matrix definition
  20. Division ring definition
  21. Alternating multilinear map definition
  22. Unitary matrix definition
  23. Orthogonal group object
  24. The quaternions example
  25. Determinant definition
  26. Unitary group object
  27. Special orthogonal group object
  28. Special unitary group SU(n) example
  29. Rotation group SO(3) example
  30. SU(2) example
  31. Representation theory of SU(2) example

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Representation_theory_of_SU(2)
About this page
Tag9V6PRD1Z90
URIm2://9V6PRD1Z90
Kindexample
WritingW0 stub
MSC22E70, 22E45, 22C05
IllustratesRepresentation of a Lie group
UsesSU(2), Representation of a Lie group, Irreducible representation, Homogeneous polynomial
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by