Finite subgroups of SU(2)

The character tables of the binary tetrahedral, octahedral and icosahedral groups following Frobenius (1899)

In applied mathematics, finite subgroups of Template:Math 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 Template:Math 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 Template:Math 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. 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

Let Template:Math be a finite subgroup of SO(3), the three-dimensional rotation group. There is a natural homomorphism Template:Mvar of SU(2) onto SO(3) which has kernel Template:Math.Template:Sfn 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 Template:Math is defined as Template:Math. By construction, Template:Mset is a central subgroup of Template:Math and the quotient is isomorphic to Template:Mvar. Thus Template:Math is a central extension of the group Template:Math by Template:Mset, the cyclic group of order 2. Ordinary representations of Template:Math are just mappings of Template:Mvar into the general linear group that are homomorphisms up to a sign; equivalently, they are projective representations of Template:Mvar with a factor system or Schur multiplier in Template:Mset. Two projective representations of Template:Mvar are closed under the tensor product operation, with their corresponding factor systems in Template:Mset multiplying. The central extensions of Template:Math by Template:Mset also have a natural product.Template:Sfn

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 Template:Math a finite subgroup of SO(3), then, up to equivalence, there are exactly two central extensions of Template:Mvar by Template:Mset: the one obtained by lifting the double cover Template:Math; and the trivial extension Template:Math.Template:Sfn

The character tables of the finite subgroups of SU(2) and SO(3) were determined and tabulated by F. G. Frobenius in 1898, 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 Template:Math 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. By Schur's lemma, irreducible representations of Template:Math are just irreducible representations of Template:Math multiplied by either the trivial or the sign character of Template:Math. Likewise, irreducible representations of Template:Math that send Template:Math to Template:Math are just ordinary representations of Template:Math; while those which send Template:Math to Template:Math are genuinely double-valued or spinor representations.Template:Sfn

Example. For the double icosahedral group, if $\phi$ is the golden ratio $\frac{1}{2}(1+\sqrt{5})$ with inverse Template:Tmath, the character table is given below: spinor characters are denoted by asterisks. The character table of the icosahedral group is also given.

Character table: double icosahedral group

$I_h^{\prime }$	1	12C2[5]	12C3[5]	1C4[2]	12C5[10]	12C6[10]	20C7[3]	20C8[6]	30C9[4]
${\chi }_1$	1	1	1	1	1	1	1	1	1
${\chi }_3$	3	$\phi$	$-\tilde{\phi }$	3	$-\tilde{\phi }$	$\phi$	0	0	−1
${\chi }_{3^{\prime }}$	3	$-\tilde{\phi }$	$\phi$	3	$\phi$	$-\tilde{\phi }$	0	0	−1
${\chi }_4$	4	−1	−1	4	−1	−1	1	1	0
${\chi }_5$	5	0	0	5	0	0	−1	−1	0
${\chi }_2^{*}$	2	$-\phi$	$\tilde{\phi }$	−2	$-\tilde{\phi }$	$\phi$	−1	1	0
${\chi }_{2^{\prime }}^{*}$	2	$\tilde{\phi }$	$-\phi$	−2	$\phi$	$-\tilde{\phi }$	−1	1	0
${\chi }_4^{*}$	4	−1	−1	−4	−1	−1	1	0	−1
${\chi }_6^{*}$	6	1	1	−6	−1	−1	0	0	0

Character table: icosahedral group

$I_h$	1	20C2[3]	15C3[2]	12C4[5]	12C5[5]
${\chi }_1$	1	1	1	1	1
${\chi }_3$	3	0	−1	$\phi$	$-\tilde{\phi }$
${\chi }_{3^{\prime }}$	3	0	−1	$-\tilde{\phi }$	$\phi$
${\chi }_4$	4	1	0	−1	−1
${\chi }_5$	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 ${\chi }_{3^{\prime }}$ and then below, from left to right, ${\chi }_{2^{\prime }}^{*}$, ${\chi }_4$, ${\chi }_6^{*}$, ${\chi }_5$, ${\chi }_4^{*}$, ${\chi }_3$, ${\chi }_2^{*}$, and ${\chi }_1$. Thus, on labelling the vertices by irreducible characters, the result of multiplying ${\chi }_2^{*}$ by a given irreducible character equals the sum of all irreducible characters labelled by an adjacent vertex.Template:Sfn

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. The irreducible representations of SU(2) are indexed by non-negative half integers Template:Mvar. If Template:Mvar is the two-dimensional vector representation, then Template:Mvar = S^2j Template:Mvar, the Template:Mathth symmetric power of Template:Mvar, a Template:Math-dimensional vector space. Letting Template:Var be the compact group SU(2), the group Template:Mvar acts irreducibly on each Template:Mvar and satisfies the Clebsch-Gordan rules:

$V_i\otimes V_j\cong V_{|i-j|}\oplus V_{|i-j|+1}\oplus \cdots \oplus V_{i+j-1}\oplus V_{i+j}.$

In particular $V_j\otimes V_{\frac{1}{2}}\cong V_{j-\frac{1}{2}}\oplus V_{j+\frac{1}{2}}$ for Template:Mvar > 0, and $V_0\otimes V_{\frac{1}{2}}\cong V_{\frac{1}{2}}.$ By definition, the matrix representing Template:Mvar in Template:Mvar is just S^2j ( Template:Mvar ). Since every Template:Mvar is conjugate to a diagonal matrix with diagonal entries $\zeta$ and ${\zeta }^{-1}$ (the order being immaterial), in this case S^2j ( Template:Mvar ) has diagonal entries ${\zeta }^{2j}$, ${\zeta }^{2j-1}$, ... , ${\zeta }^{-2j+1}$, ${\zeta }^{-2j}$. Setting ${\pi }_j(g)=S^{2j}(g),$ this yields the character formula

${\chi }_j(g):=\mathrm{T}\mathrm{r}{\pi }_j(g)=\sum _{k=-2j}^{2j}{\zeta }^k=\frac{{\zeta }^{2j+1}-{\zeta }^{-2j-1}}{\zeta -{\zeta }^{-1}}.$

Substituting $\zeta =e^{i\alpha /2}$, it follows that, if Template:Mvar has diagonal entries $e^{\pm i\alpha /2},$ then

${\chi }_j(g)=\frac{\sin (j+1/2)\alpha }{\sin \alpha /2}.$

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

• using the complexification G_c = SL(2,C) and the double coset decomposition G_c = B ⋅ w ⋅ B ∐ B, where B denotes upper triangular matrices and $w=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$;
• using the infinitesimal action of the Lie algebras of SU(2) and SL(2,C) where they appear as raising and lowering operators Template:Mvar, Template:Mvar, Template:Mvar of angular momentum in quantum mechanics: here E = $\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$, 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:Template:SfnTemplate:Sfn the Casimir operator Template:Math commutes with the Lie algebras and groups. The operator Template:Math can be identified with the Laplacian Template:Math, so that on a matrix coefficient Template:Mvar of Template:Math, Template:Math.

The representative functions Template:Mvar form a non-commutative algebra under convolution with respect to Haar measure Template:Mvar. The analogue for a finite subgroup of Template:Mvar of SU(2) is the finite-dimensional group algebra C[[[:Template:Mvar]]] From the Clebsch-Gordan rules, the convolution algebra Template:Mvar is isomorphic to a direct sum of Template:Math matrices, with Template:Math and Template:Math. The matrix coefficients for each irreducible representation Template:Math form a set of matrix units. This direct sum decomposition is the Peter-Weyl theorem. The corresponding result for C[[[:Template:Math]]] is Maschke's theorem. The algebra Template:Math has eigensubspaces Template:Math or Template:Math, exhibiting them as direct sum of Template:Math, summed over Template:Mvar non-negative integers or positive half-integers – these are examples of induced representations. It allows the computations of branching rules from SU(2) to Template:Math, so that Template:Math can be decomposed as direct sums of irreducible representations of Template:Mvar.Template:SfnTemplate:SfnTemplate:SfnTemplate:Sfn

History

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.

In a 1929 article on splitting of atoms in crystals, the physicist H. Bethe first coined the term "double group" (Doppelgruppe), 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.Template:EfnTemplate:Efn 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. 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.Template:Efn

Applications

Magnetochemistry

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 $\chi$, for rotation, by an angle Template:Math, of a wavefunction for half-integer angular momentum is given by

${\chi }^J(\alpha )=\frac{\sin [J+1/2]\alpha }{\sin (1/2)\alpha }$

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

In atoms with a single unpaired electron the character for a rotation through an angle of Template:Math is equal to $-{\chi }^J(\alpha )$. The change of sign cannot be true for an identity operation in any point group. Therefore, a double group, in which rotation by Template:Math is classified as being distinct from the identity operation, is used. A character table for the double group D₄′ is as follows. The new operation is labelled R in this example. The character table for the point group D₄ is shown for comparison.

Character table: double group D₄′

D'4			C4	C43	C2	2C2′	2C2″
	E	R	C4R	C43R	C2R	2C2′R	2C2″R
A1′	1	1	1	1	1	1	1
A2′	1	1	1	1	1	−1	−1
B1′	1	1	−1	−1	1	1	−1
B'2	1	1	−1	−1	1	−1	1
E1′	2	−2	0	0	−2	0	0
E2′	2	−2	√2	−√2	0	0	0
E3′	2	−2	−√2	√2	0	0	0

Character table: point group D₄

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 C₄ and C₄R belong to the same class but the header is shown, for convenience, in two rows, rather than C₄, C₄R in a single row.

Character tables for the double groups T′, O′, T_d′, D_3h′, C_6v′, D₆′, D_2d′, C_4v′, D₄′, C_3v′, D₃′, C_2v′, D₂′ and R(3)′ are given in Template:Harvtxt, Template:Harvtxt and Template:Harvtxt.Template:Efn

Sub-structure at the center of an octahedral complex

Structure of a square-planar complex ion such as Template:Bracket²⁻

An atom or ion (red) held in a C₆₀ 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 Cu²⁺ ion can be written as [Ar]3d⁹. 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 Template:Bracket²⁺ is a typical example of a compound with this characteristic.

1. Six-coordinate complexes of the Cu(II) ion, with the generic formula [CuL₆]²⁺, are subject to the Jahn–Teller effect so that the symmetry is reduced from octahedral (point group O_h) to tetragonal (point group D_4h). Since d orbitals are centrosymmetric the related atomic term symbols can be classified in the subgroup D₄.
2. To a first approximation spin–orbit coupling can be ignored and the magnetic moment is then predicted to be Template:Val, 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 Template:Math, where Template:Math.
3. When J is half-integer, the character for a rotation by an angle of Template:Math radians is equal to minus the character for rotation by an angle Template:Math. This cannot be true for an identity in a point group. Consequently, a group must be used in which rotations by Template:Math are classed as symmetry operations distinct from rotations by an angle Template:Math. This group is known as the double group, D₄′.

With species such as the square-planar complex of the silver(II) ion [AgF₄]²⁻ the relevant double group is also D₄′; deviations from the spin-only value are greater as the magnitude of spin–orbit coupling is greater for silver(II) than for copper(II).

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 [TiL₆]ⁿ⁺ have been found to lie in the range 1.63–1.81 B.M. at room temperature. The double group O′ is used to classify their electronic states.

The cerium(III) ion, Ce³⁺, 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 C₆₀ cage, the formula of the endohedral fullerene is written as Template:Brace.

Free radicals

Double groups may be used in connection with free radicals. This has been illustrated for the species CH₃F⁺ and CH₃BF₂⁺ which both contain a single unpaired electron.

See also

• McKay graph
• ADE classification
• Molecular symmetry
• Point group
• Space group

Further reading

• Template:Cite web (web site)
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book