In applied mathematics, finite subgroups of 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 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 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.[1] [2] 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.
Let be a finite subgroup of SO(3), the three-dimensional rotation group. There is a natural homomorphism of SU(2) onto SO(3) which has kernel . 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 −1 . By construction is a central subgroup of and the quotient is isomorphic to . Thus is a central extension of the group by, 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 . Two projective representations of are closed under the tensor product operation, with their corresponding factor systems in multiplying. The central extensions of by also have a natural product.
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 : the one obtained by lifting the double cover = −1 ; and the trivial extension x .[3]
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 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 x are just irreducible representations of multiplied by either the trivial or the sign character of . 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.
Example. For the double icosahedral group, if
\varphi
{1\over2}(1+\sqrt{5})
\tilde{\varphi}={1\over2}(-1+\sqrt{5})
| 1 | 12C2[5] | 12C3[5] | 1C4[2] | 12C5[10] | 12C6[10] | 20C7[3] | 20C8[6] | 30C9[4] | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
\chi1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | |||||||
\chi3 | 3 | \varphi | -\tilde{\varphi} | 3 | -\tilde{\varphi} | \varphi | 0 | 0 | –1 | |||||||
| 3 | -\tilde{\varphi} | \varphi | 3 | \varphi | -\tilde{\varphi} | 0 | 0 | –1 | |||||||
\chi4 | 4 | –1 | –1 | 4 | –1 | –1 | 1 | 1 | 0 | |||||||
\chi5 | 5 | 0 | 0 | 5 | 0 | 0 | –1 | –1 | 0 | |||||||
| 2 | -\varphi | \tilde{\varphi} | –2 | -\tilde{\varphi} | \varphi | –1 | 1 | 0 | |||||||
| 2 | \tilde{\varphi} | -\varphi | –2 | \varphi | -\tilde{\varphi} | –1 | 1 | 0 | |||||||
| 4 | –1 | –1 | -4 | –1 | –1 | 1 | 0 | –1 | |||||||
| 6 | 1 | 1 | –6 | –1 | –1 | 0 | 0 | 0 |
| 1 | 20C2[3] | 15C3[2] | 12C4[5] | 12C5[5] | |||||
\chi1 | 1 | 1 | 1 | 1 | 1 | ||||
|---|---|---|---|---|---|---|---|---|---|
\chi3 | 3 | 0 | –1 | \varphi | -\tilde{\varphi} | ||||
| 3 | 0 | –1 | -\tilde{\varphi} | \varphi | ||||
\chi4 | 4 | 1 | 0 | –1 | –1 | ||||
\chi5 | 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 |
| * | |
| \chi | |
| 2\prime |
\chi4
| * | |
| \chi | |
| 6 |
\chi5
| * | |
| \chi | |
| 4 |
\chi3
| * | |
| \chi | |
| 2 |
\chi1
| * | |
| \chi | |
| 2 |
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.[4] [5] [6] [7] [8] [9] [10] [11] The irreducible representations of SU(2) are indexed by non-negative half integers . If is the two-dimensional vector representation, then = S2j, the th symmetric power of, a (+ 1)-dimensional vector space. Letting be the compact group SU(2), the group acts irreducibly on each and satisfies the Clebsch-Gordan rules:
Vi ⊗ Vj\congV|i-j| ⊕ V|i-j|+1 ⊕ … ⊕ Vi+j ⊕ Vi+j.
In particular
Vj ⊗ V{1\over
V0 ⊗ V{1\over
\zeta
\zeta-1
\zeta2j
\zeta2j-1
\zeta-2j+1
\zeta-2j
\pij(g)=S2j(g),
\chij(g):={\rmTr}\pij(g)=
| 2j | |
| \sum | |
| k=-2j |
\zetak={\zeta2j+1-\zeta-2j-1\over\zeta-\zeta-1
Substituting
\zeta=ei\alpha/2
e\pm,
\chij(g)={\sin(j+{1/2})\alpha\over\sin\alpha/2}.
The representation theory of SU(2), including that of SO(3), can be developed in many different ways:
w=\begin{pmatrix}0&1\ -1&0\end{pmatrix}
\begin{pmatrix}0&1\ 0&0\end{pmatrix}
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: the Casimir operator = + 2 + 2 commutes with the Lie algebras and groups. The operator can be identified with the Laplacian, so that on a matrix coefficient of, =(+).
The representative functions 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[{{mvar|Γ}}] From the Clebsch-Gordan rules, the convolution algebra is isomorphic to a direct sum of x matrices, with = and ≥ 0. The matrix coefficients for each irreducible representation form a set of matrix units. This direct sum decomposition is the Peter-Weyl theorem. The corresponding result for C[{{mvar|Γ}}] is Maschke's theorem. The algebra has eigensubspaces = or, exhibiting them as direct sum of, summed over 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 can be decomposed as direct sums of irreducible representations of .
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.[12] [13] [14]
In a 1929 article on splitting of atoms in crystals, the physicist H. Bethe first coined the term "double group" (Doppelgruppe),[15] [16] 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. 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.[17] [18] [19] 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.[20] [21] [22]
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.
\chi
\chiJ(\alpha)=
| \sin[J+1/2]\alpha | |
| \sin(1/2)\alpha |
where angular momentum is the vector sum of spin and orbital momentum,
J=L+S
In atoms with a single unpaired electron the character for a rotation through an angle of
2\pi+\alpha
-\chiJ(\alpha)
2\pi
| 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 | 1 |
| A'2 | 1 | 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 |
| 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, and .[23] [24] [25] thumb|150px|left|Sub-structure at the center of an octahedral complexthumb|170px|Structure of a square-planar complex ion such as [AgF<sub>4</sub>]2-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(H<sub>2</sub>O)<sub>6</sub>]2+ is a typical example of a compound with this characteristic.
(1) Six-coordinate complexes of the Cu(II) ion, with the generic formula [CuL<sub>6</sub>]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 [AgF<sub>4</sub>]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).[26]
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<sub>6</sub>]n+ 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, 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 .[27]
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.