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.
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]
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 |
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 = S2jV, 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]
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/4C 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]
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. [lower-alpha 1] [lower-alpha 2] 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] [lower-alpha 3]
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.
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 |
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] [lower-alpha 4]
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.
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]
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]
In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.
In the mathematical field of representation theory, a weight of an algebra A over a field F is an algebra homomorphism from A to F, or equivalently, a one-dimensional representation of A over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space.
In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not necessarily abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, in the setting of a compact topological group G. The theorem is a collection of results generalizing the significant facts about the decomposition of the regular representation of any finite group, as discovered by Ferdinand Georg Frobenius and Issai Schur.
In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group, is a graph that encodes the abstract structure of a group. Its definition is suggested by Cayley's theorem, and uses a specified set of generators for the group. It is a central tool in combinatorial and geometric group theory. The structure and symmetry of Cayley graphs makes them particularly good candidates for constructing expander graphs.
In mathematics, the projective special linear group PSL(2, 7), isomorphic to GL(3, 2), is a finite simple group that has important applications in algebra, geometry, and number theory. It is the automorphism group of the Klein quartic as well as the symmetry group of the Fano plane. With 168 elements, PSL(2, 7) is the smallest nonabelian simple group after the alternating group A5 with 60 elements, isomorphic to PSL(2, 5).
In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations.
The representation theory of groups is a part of mathematics which examines how groups act on given structures.
In mathematics, the representation theory of the symmetric group is a particular case of the representation theory of finite groups, for which a concrete and detailed theory can be obtained. This has a large area of potential applications, from symmetric function theory to quantum chemistry studies of atoms, molecules and solids.
In group theory, a branch of abstract algebra, a character table is a two-dimensional table whose rows correspond to irreducible representations, and whose columns correspond to conjugacy classes of group elements. The entries consist of characters, the traces of the matrices representing group elements of the column's class in the given row's group representation. In chemistry, crystallography, and spectroscopy, character tables of point groups are used to classify e.g. molecular vibrations according to their symmetry, and to predict whether a transition between two states is forbidden for symmetry reasons. Many university level textbooks on physical chemistry, quantum chemistry, spectroscopy and inorganic chemistry devote a chapter to the use of symmetry group character tables.
In mathematics, Burnside's theorem in group theory states that if G is a finite group of order where p and q are prime numbers, and a and b are non-negative integers, then G is solvable. Hence each non-Abelian finite simple group has order divisible by at least three distinct primes.
In mathematics, the Selberg class is an axiomatic definition of a class of L-functions. The members of the class are Dirichlet series which obey four axioms that seem to capture the essential properties satisfied by most functions that are commonly called L-functions or zeta functions. Although the exact nature of the class is conjectural, the hope is that the definition of the class will lead to a classification of its contents and an elucidation of its properties, including insight into their relationship to automorphic forms and the Riemann hypothesis. The class was defined by Atle Selberg in, who preferred not to use the word "axiom" that later authors have employed.
The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. This group is significant because special relativity together with quantum mechanics are the two physical theories that are most thoroughly established, and the conjunction of these two theories is the study of the infinite-dimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative present-day theories.
In applied mathematics, the Joukowsky transform is a conformal map historically used to understand some principles of airfoil design. It is named after Nikolai Zhukovsky, who published it in 1910.
In mathematics, Clifford theory, introduced by Alfred H. Clifford (1937), describes the relation between representations of a group and those of a normal subgroup.
In mathematics, the Schur orthogonality relations, which were proven by Issai Schur through Schur's lemma, express a central fact about representations of finite groups. They admit a generalization to the case of compact groups in general, and in particular compact Lie groups, such as the rotation group SO(3).
In mathematics, the Bolza surface, alternatively, complex algebraic Bolza curve, is a compact Riemann surface of genus with the highest possible order of the conformal automorphism group in this genus, namely of order 48. The full automorphism group is the semi-direct product of order 96. An affine model for the Bolza surface can be obtained as the locus of the equation
In mathematics, the Fourier transform on finite groups is a generalization of the discrete Fourier transform from cyclic to arbitrary finite groups.
The concept of a double group was introduced by Hans Bethe for the quantitative treatment of magnetochemistry. Because the fermions change phase with 360 degree rotation, enhanced symmetry groups that describe band degeneracy and topological properties of magnonic systems are needed, which depend not only on geometric rotation, but on the corresponding fermionic phase factor in representations (for the related mathematical concept, see the formal definition). They were introduced for studying complexes of ions like Ti3+, that have a single unpaired electron in the metal ion's valence electron shell, and complexes of ions like Cu2+, which have a single "vacancy" in the valence shell.
In mathematics, the McKay graph of a finite-dimensional representation V of a finite group G is a weighted quiver encoding the structure of the representation theory of G. Each node represents an irreducible representation of G. If χ i, χ j are irreducible representations of G, then there is an arrow from χ i to χ j if and only if χ j is a constituent of the tensor product Then the weight nij of the arrow is the number of times this constituent appears in For finite subgroups H of the McKay graph of H is the McKay graph of the defining 2-dimensional representation of H.
This is a glossary of representation theory in mathematics.