Jump to content

Finite subgroups of SU(2)

From Wikipedia, the free encyclopedia
The character tables of the binary tetrahedral, octahedral and icosahedral groups following Frobenius (1899)[1]

In applied mathematics, finite subgroups of SU(2) are groups composed of rotations and related transformations, employed particularly in the field of physical chemistry. The symmetry group of a physical body generally contains a subgroup (typically finite) of the 3D rotation group. It may occur that the group {±1} with two elements acts also on the body; this is typically the case in magnetism for the exchange of north and south poles, or in quantum mechanics for the change of spin sign. In this case, the symmetry group of a body may be a central extension of the group of spatial symmetries by the group with two elements. Hans Bethe introduced the term "double group" (Doppelgruppe) for such a group, in which two different elements induce the spatial identity, and a rotation of 2π may correspond to an element of the double group that is not the identity.

The classification of the finite double groups and their character tables is therefore physically meaningful and is thus the main part of the theory of double groups. Finite double groups include the binary polyhedral groups.

In physical chemistry, double groups are used in the treatment of the magnetochemistry of complexes of metal ions that have a single unpaired electron in the d-shell or f-shell.[2][3] Instances when a double group is commonly used include 6-coordinate complexes of copper(II), titanium(III) and cerium(III). In these double groups rotation by 360° is treated as a symmetry operation separate from the identity operation; the double group is formed by combining these two symmetry operations with a point group such as a dihedral group or the full octahedral group.

Definition and theory

[edit]

Let Γ be a finite subgroup of SO(3), the three-dimensional rotation group. There is a natural homomorphism f of SU(2) onto SO(3) which has kernel {±I}.[4] This double cover can be realised using the adjoint action of SU(2) on the Lie algebra of traceless 2-by-2 skew-adjoint matrices or using the action by conjugation of unit quaternions. The double group Γ' is defined as f−1 (Γ). By construction {±I} is a central subgroup of Γ' and the quotient is isomorphic to Γ. Thus Γ' is a central extension of the group Γ by {±1}, the cyclic group of order 2. Ordinary representations of Γ' are just mappings of Γ into the general linear group that are homomorphisms up to a sign; equivalently, they are projective representations of Γ with a factor system or Schur multiplier in {±1}. Two projective representations of Γ are closed under the tensor product operation, with their corresponding factor systems in {±1} multiplying. The central extensions of Γ by {±1} also have a natural product.[5]

The finite subgroups of SU(2) and SO(3) were determined in 1876 by Felix Klein in an article in Mathematische Annalen, later incorporated in his celebrated 1884 "Lectures on the Icosahedron": for SU(2), the subgroups correspond to the cyclic groups, the binary dihedral groups, the binary tetrahedral group, the binary octahedral group, and the binary icosahedral group; and for SO(3), they correspond to the cyclic groups, the dihedral groups, the tetrahedral group, the octahedral group and the icosahedral group. The correspondence can be found in numerous text books, and goes back to the classification of platonic solids. From Klein's classifications of binary subgroups, it follows that, if Γ a finite subgroup of SO(3), then, up to equivalence, there are exactly two central extensions of Γ by {±1}: the one obtained by lifting the double cover Γ' = f−1 (Γ); and the trivial extension Γ x {±1}.[5][6][7][8][9]

The character tables of the finite subgroups of SU(2) and SO(3) were determined and tabulated by F. G. Frobenius in 1898,[1] with alternative derivations by I. Schur and H. E. Jordan in 1907 independently. Branching rules and tensor product formulas were also determined. For each binary subgroup, i.e. finite subgroup of SU(2), the irreducible representations of Γ are labelled by extended Dynkin diagrams of type A, D and E; the rules for tensoring with the two-dimensional vector representation are given graphically by an undirected graph.[6][7][8] By Schur's lemma, irreducible representations of Γ x {±1} are just irreducible representations of Γ multiplied by either the trivial or the sign character of {±1}. Likewise, irreducible representations of Γ' which send –1 to I are just ordinary representations of Γ; while those which send –1 to –I are genuinely double-valued or spinor representations.[5]

Example. For the double icosahedral group, if is the golden ratio with inverse , the character table is given below: spinor characters are denoted by asterisks. The character table of the icosahedral group is also given.[10][11]

Character table: double icosahedral group
1 12C2[5] 12C3[5] 1C4[2] 12C5[10] 12C6[10] 20C7[3] 20C8[6] 30C9[4]
1 1 1 1 1 1 1 1 1
3 3 0 0 –1
3 3 0 0 –1
4 –1 –1 4 –1 –1 1 1 0
5 0 0 5 0 0 –1 –1 0
2 –2 –1 1 0
2 –2 –1 1 0
4 –1 –1 -4 –1 –1 1 0 –1
6 1 1 –6 –1 –1 0 0 0
Character table: icosahedral group
1 20C2[3] 15C3[2] 12C4[5] 12C5[5]
1 1 1 1 1
3 0 –1
3 0 –1
4 1 0 –1 –1
5 –1 1 0 0

The tensor product rules for tensoring with the two-dimensional representation are encoded diagrammatically below:

The numbering has at the top and then below, from left to right, , , , , , , , and . Thus, on labelling the vertices by irreducible characters, the result of multiplying by a given irreducible character equals the sum of all irreducible characters labelled by an adjacent vertex.[12]

The representation theory of SU(2) goes back to the nineteenth century and the theory of invariants of binary forms, with the figures of Alfred Clebsch and Paul Gordan prominent.[13][14][15][16][17][18][19][20][21] The irreducible representations of SU(2) are indexed by non-negative half integers j. If V is the two-dimensional vector representation, then Vj = S2j V, the 2jth symmetric power of V, a (2j + 1)-dimensional vector space. Letting G be the compact group SU(2), the group G acts irreducibly on each Vj and satisfies the Clebsch-Gordan rules:

In particular for j > 0, and By definition, the matrix representing g in Vj is just S2j ( g ). Since every g is conjugate to a diagonal matrix with diagonal entries and (the order being immaterial), in this case S2j ( g ) has diagonal entries , , ... ,, . Setting this yields the character formula

Substituting , it follows that, if g has diagonal entries then

The representation theory of SU(2), including that of SO(3), can be developed in many different ways:[22]

  • using the complexification Gc = SL(2,C) and the double coset decomposition Gc = B · w · BB, where B denotes upper triangular matrices and ;
  • using the infinitesimal action of the Lie algebras of SU(2) and SL(2,C) where they appear as raising and lowering operators E, F, H of angular momentum in quantum mechanics: here E = , F = E* and H = [E,F] so that [H,E] = 2E and [H,F] = –2F;
  • using integration of class functions over SU(2), identifying the unit quaternions with 3-sphere and Haar measure as the volume form: this reduces to integration over the diagonal matrices, i.e. the circle group T.

The properties of matrix coefficients or representative functions of the compact group SU(2) (and SO(3)) are well documented as part of the theory of special functions:[23][24] the Casimir operator C = H2 + 2 EF + 2 FE commutes with the Lie algebras and groups. The operator 1/4 C can be identified with the Laplacian Δ, so that on a matrix coefficient φ of Vj, Δφ =(j2 + j)φ.

The representative functions A form a non-commutative algebra under convolution with respect to Haar measure μ. The analogue for a finite subgroup of Γ of SU(2) is the finite-dimensional group algebra C[Γ] From the Clebsch-Gordan rules, the convolution algebra A is isomorphic to a direct sum of n x n matrices, with n = 2j + 1 and j ≥ 0. The matrix coefficients for each irreducible representation Vj form a set of matrix units. This direct sum decomposition is the Peter-Weyl theorem. The corresponding result for C[Γ] is Maschke's theorem. The algebra A has eigensubspaces a(gζ) = a(g) or a(g)ζ, exhibiting them as direct sum of Vj, summed over j non-negative integers or positive half-integers – these are examples of induced representations. It allows the computations of branching rules from SU(2) to Γ, so that Vj can be decomposed as direct sums of irreducible representations of Γ.[25][26][23][12]

History

[edit]

Georg Frobenius derived and listed in 1899 the character tables of the finite subgroups of SU(2), the double cover of the rotation group SO(3). In 1875, Felix Klein had already classified these finite "binary" subgroups into the cyclic groups, the binary dihedral groups, the binary tetrahedral group, the binary octahedral group and the binary icosahedral group. Alternative derivations of the character tables were given by Issai Schur and H. E. Jordan in 1907; further branching rules and tensor product formulas were also determined.[6][7][8]

In a 1929 article on splitting of atoms in crystals, the physicist H. Bethe first coined the term "double group" (Doppelgruppe),[27][28] a concept that allowed double-valued or spinor representations of finite subgroups of the rotation group to be regarded as ordinary linear representations of their double covers.[a][b] In particular, Bethe applied his theory to relativistic quantum mechanics and crystallographic point groups, where a natural physical restriction to 32 point groups occurs. Subsequently, the non-crystallographic icosahedral case has also been investigated more extensively, resulting most recently in groundbreaking advances on carbon 60 and fullerenes in the 1980s and 90s.[30][31][32] In 1982–1984, there was another breakthrough involving the icosahedral group, this time through materials scientist Dan Shechtman's remarkable work on quasicrystals, for which he was awarded a Nobel Prize in Chemistry in 2011.[33][34][35][c]

Applications

[edit]

Magnetochemistry

[edit]

In magnetochemistry, the need for a double group arises in a very particular circumstance, namely, in the treatment of the magnetic properties of complexes of a metal ion in whose electronic structure there is a single unpaired electron (or its equivalent, a single vacancy) in a metal ion's d- or f- shell. This occurs, for example, with the elements copper, silver and gold in the +2 oxidation state, where there is a single vacancy in the d-electron shell, with titanium(III) which has a single electron in the 3d shell and with cerium(III) which has a single electron in the 4f shell.

In group theory, the character , for rotation, by an angle α, of a wavefunction for half-integer angular momentum is given by

where angular momentum is the vector sum of spin and orbital momentum, . This formula applies with angular momentum in general.

In atoms with a single unpaired electron the character for a rotation through an angle of is equal to . The change of sign cannot be true for an identity operation in any point group. Therefore, a double group, in which rotation by is classified as being distinct from the identity operation, is used. A character table for the double group D'4 is as follows. The new operation is labelled R in this example. The character table for the point group D4 is shown for comparison.

Character table: double group D'4
D'4 C4 C43 C2 2C'2 2C''2
E R C4R C43R C2R 2C'2R 2C''2R
A'1 1 1 1 1 1 1 1
A'2 1 1 1 1 1 -1 -1
B'1 1 1 -1 -1 1 1 -1
B'2 1 1 -1 -1 1 -1 1
E'1 2 -2 0 0 -2 0 0
E'2 2 -2 √2 -√2 0 0 0
E'3 2 -2 -√2 √2 0 0 0
Character table: point group D4
D4 E 2 C4  C2  2 C2'  2 C2
A1 1 1 1 1 1 +
A2 1 1 1 −1 −1
B1 1 −1 1 1 −1
B2 1 −1 1 −1 1
E 2 0 −2 0 0

In the table for the double group, the symmetry operations such as C4 and C4R belong to the same class but the header is shown, for convenience, in two rows, rather than C4, C4R in a single row.

Character tables for the double groups T', O', Td', D3h', C6v', D6', D2d', C4v', D4', C3v', D3', C2v', D2' and R(3)' are given in Koster et al. (1963), Salthouse & Ware (1972) and Cornwell (1984).[37][38][39][d]

Sub-structure at the center of an octahedral complex
Structure of a square-planar complex ion such as [AgF4]2-
An atom or ion (red) held in a C60 fullerene cage

The need for a double group occurs, for example, in the treatment of magnetic properties of 6-coordinate complexes of copper(II). The electronic configuration of the central Cu2+ ion can be written as [Ar]3d9. It can be said that there is a single vacancy, or hole, in the copper 3d-electron shell, which can contain up to 10 electrons. The ion [Cu(H2O)6]2+ is a typical example of a compound with this characteristic.

(1) Six-coordinate complexes of the Cu(II) ion, with the generic formula [CuL6]2+, are subject to the Jahn-Teller effect so that the symmetry is reduced from octahedral (point group Oh) to tetragonal (point group D4h). Since d orbitals are centrosymmetric the related atomic term symbols can be classified in the subgroup D4 .
(2) To a first approximation spin-orbit coupling can be ignored and the magnetic moment is then predicted to be 1.73 Bohr magnetons, the so-called spin-only value. However, for a more accurate prediction spin-orbit coupling must be taken into consideration. This means that the relevant quantum number is J, where J = L + S.
(3) When J is half-integer, the character for a rotation by an angle of α + 2π radians is equal to minus the character for rotation by an angle α. This cannot be true for an identity in a point group. Consequently, a group must be used in which rotations by α + 2π are classed as symmetry operations distinct from rotations by an angle α. This group is known as the double group, D4'.

With species such as the square-planar complex of the silver(II) ion [AgF4]2- the relevant double group is also D4'; deviations from the spin-only value are greater as the magnitude of spin-orbit coupling is greater for silver(II) than for copper(II).[40]

A double group is also used for some compounds of titanium in the +3 oxidation state. Compounds of titanium(III) have a single electron in the 3d shell. The magnetic moments of octahedral complexes with the generic formula [TiL6]n+ have been found to lie in the range 1.63 - 1.81 B.M. at room temperature.[41] The double group O' is used to classify their electronic states.

The cerium(III) ion, Ce3+, has a single electron in the 4f shell. The magnetic properties of octahedral complexes of this ion are treated using the double group O'.

When a cerium(III) ion is encapsulated in a C60 cage, the formula of the endohedral fullerene is written as {Ce3+@C603-}.[42]

Free radicals

[edit]

Double groups may be used in connection with free radicals. This has been illustrated for the species CH3F+ and CH3BF2+ which both contain a single unpaired electron.[43]

See also

[edit]

Notes

[edit]
  1. ^ In his 1931 book Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren,[29][14] Eugene Wigner describes in detail how SU(2) arises as a double cover of SO(3), following Hermann Weyl. Referring to a 1928 article of von Neumann and Wigner in Zeitschrift für Physik (vol. 49), Bethe (1929) explains why double-valued representations of finite groups are involved.
  2. ^ In mathematical language, a double group Γ' is defined to be a central extension of the group Γ by {±1}, the cyclic group of order 2: thus ordinary representations of Γ' are just mappings of Γ into the general linear group that are homomorphisms up to a sign; equivalently, they are projective representations of Γ with a factor system or Schur multiplier in {±1}.
  3. ^ Ted Janssen has outlined how the characters of the double icosahedral group appear to play a role.[36]
  4. ^ R(3)' refers to SU(2), the double cover of the three-dimensional rotation group SO(3)

References

[edit]
  1. ^ a b Frobenius, F. G. (1899). "Über die Composition der Charaktere einer Gruppe". Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin (in German). Jan-Juni 1899: 330–339.
  2. ^ Cotton, F. Albert (1971). Chemical Applications of Group Theory. New York: Wiley. pp. 289–294, 376. ISBN 0-471-17570-6.
  3. ^ Tsukerblat, Boris S. (2006). Group Theory in Chemistry and Spectroscopy. Mineola, New York: Dover Publications Inc. pp. 245–253. ISBN 0-486-45035-X.
  4. ^ Wigner 1959.
  5. ^ a b c Bethe 1929.
  6. ^ a b c Griffith, J. S. (1961). The Theory of Transition-Metal Ions. Cambridge University Press. ISBN 9780521115995.
  7. ^ a b c Ramond, Pierre (2010). Group theory. A physicist's survey. Cambridge University Press. ISBN 978-0-521-89603-0. MR 2663568.
  8. ^ a b c Jacobs, Patrick (2005). Group Theory with Applications in Chemical Physics. Cambridge University Press. doi:10.1017/CBO9780511535390. ISBN 9780511535390.
  9. ^ Wolf, Joseph A. (1967). Spaces of constant curvature. New York-London-Sydney: McGraw-Hill. pp. 83–88. MR 0217740.
  10. ^ Griffith 1961, pp. 383, 385
  11. ^ Ramond 2010, p. 351
  12. ^ a b Ramond 2010.
  13. ^ Weyl, Hermann (1946). The Classical Groups. Their Invariants and Representations. Princeton Landmarks in Mathematics (2nd ed.). Princeton University Press. ISBN 0-691-05756-7. MR 0000255. Archive, Institut Fourier
  14. ^ a b Wigner, Eugene (1959). Group theory and its application to the quantum mechanics of atomic spectra. Pure and Applied Physics. Vol. 5. Translated by J. J. Griffin (Expanded and improved ed.). New York–London: Academic Press. p. 157. MR 0106711.
  15. ^ Weyl, Hermann (1950). The theory of groups and quantum mechanics [Gruppentheorie und Quantenmechanik]. Translated by H. P. Robertson (Second revised ed.). New York: Dover Books. JFM 54.0954.03. First edition in 1928 from notes of von Neumann; second edition (in German), expanded and simplified in 1931.
  16. ^ van der Waerden, B. L. (1974). Group theory and quantum mechanics (translated from the 1932 German original). Die Grundlehren der mathematischen Wissenschaften. Vol. 214. New York-Heidelberg: Springer-Verlag. MR 0479090.
  17. ^ Tinkham, Michael (1964). Group Theory and Quantum Mechanics. McGraw-Hill. MR 0198828.
  18. ^ Cracknell, Arthur P. (1968). Applied group theory. Oxford University Press. Zbl 0176.55101.
  19. ^ Hochschild, G. (1965). The Structure of Lie Groups. San Francisco, London, Amsterdam: Holden-Day. MR 0207883.
  20. ^ Vilenkin, N. Ja. (1968). Special functions and the theory of group representations. Translations of Mathematical Monographs. Vol. 22. Translated by V. N. Singh. Providence: American Mathematical Society.
  21. ^ Želobenko, D. P. (1973). Compact Lie groups and their representations. Translations of Mathematical Monographs. Vol. 40. American Mathematical Society.
  22. ^ Weyl 1946.
  23. ^ a b Vilenkin 1968.
  24. ^ Želobenko 1973.
  25. ^ Hochschild 1965.
  26. ^ Griffith 1961.
  27. ^ Bethe, Hans (1929). "Termaufspaltung in Kristallen" [Splitting of Terms in Crystals]. Ann. Physik (in German). 395 (3): 133–206. Bibcode:1929AnP...395..133B. doi:10.1002/andp.19293950202.
  28. ^ English translation in Bethe, Hans (1996). Selected Works of Hans A. Bethe with commentary. Translated by Hans Bethe. World Scientific. pp. 1–72. ISBN 9789810228767. Bethe's commentary: "If an atom is placed in a crystal, its energy levels are split. The splitting depends on the symmetry of the location of the atom in the crystal. The splitting is derived here from group theory. This paper has been widely used, especially by physical chemists."
  29. ^ Wigner, Eugen (1931). Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren (PDF) (in German). Vieweg+Teubner Verlag. ISBN 9783663025559.
  30. ^ Chung, Fan R. K.; Kostant, Bertram; Sternberg, Shlomo (1994). "Groups and the buckyball". Lie theory and geometry. Progress in Mathematics. Vol. 123. Birkhäuser. pp. 97–126. doi:10.1007/978-1-4612-0261-5_4. ISBN 978-1-4612-6685-3. MR 1327532. (subscription required)
  31. ^ Yang, C. N. (1994). "Fullerenes and carbon 60". Perspectives in mathematical physics. Conf. Proc. Lecture Notes Math. Phys., III. Int. Press. pp. 303–307. MR 1314673.
  32. ^ Chancey, C. C.; O'Brien, M. C. M. (1998). The Jahn-Teller Effect in C60 and Other Icosahedral Complexes. Princeton University Press. doi:10.1515/9780691225340. ISBN 9780691225340.
  33. ^ See:
  34. ^ Penrose, Roger (1978). "Pentaplexity: a class of non-periodic tilings of the plane". Eureka. 39. University of Cambridge: 16–22. MR 0558670.
  35. ^ Au-Yang, Helen; Perk, Jacques (2013). "Quasicrystals—the impact of N. G. de Bruijn". Indag. Math. 24 (4): 996–1017. arXiv:1306.6698. doi:10.1016/j.indag.2013.07.003. MR 3124814. S2CID 119566545.
  36. ^ Janssen, Ted (2014). "Development of Symmetry Concepts for Aperiodic Crystals". Symmetry. 6 (2): 171–188. Bibcode:2014Symm....6..171J. doi:10.3390/sym6020171.
  37. ^ Salthouse, J.A.; Ware, M.J. (1972). Point group character tables and related data. Cambridge: Cambridge University Press. pp. 55–57. ISBN 0-521-081394.
  38. ^ Koster, George F.; Dimmock, John O.; Wheeler, Robert G.; Statz, Hermann (1963). Properties of the thirty-two point groups. Cambridge, Mass.: The M.I.T. Press. MR 0159664.
  39. ^ Cornwell, J. F. (1984). "The double crystallographic point groups". Group theory in physics. Vol. I. Academic Press. pp. 342–355. ISBN 0-12-189801-6. MR 0751778.
  40. ^ Foëx, D.; Gorter, C. J.; Smits, L.J. (1957). Constantes Sélectionées Diamagnetism et Paramagnetism. Paris: Masson et Cie.
  41. ^ Greenwood, Norman N.; Earnshaw, Alan (1997). Chemistry of the Elements (2nd ed.). Butterworth-Heinemann. p. 971. ISBN 978-0-08-037941-8.
  42. ^ Chai, Yan; Guo, Ting; Jin, Changming; Haufler, Robert E.; Chibante, L. P. Felipe; Fure, Jan; Wang, Lihong; Alford, J. Michael; Smalley, Richard E. (1991). "Fullerenes with metals inside". The Journal of Physical Chemistry. 95 (20): 7564–7568. doi:10.1021/j100173a002.
  43. ^ Bunker, P.R. (1979), "The Spin Double Groups of Molecular Symmetry Groups", in Hinze, J. (ed.), The Permutation Group in Physics and Chemistry, Lecture Notes in Chemistry, vol. 12, Springer, pp. 38–56, doi:10.1007/978-3-642-93124-6_4, ISBN 978-3-540-09707-5

Further reading

[edit]