SO(8)

Last updated
D4, Dynkin diagram of SO(8) Dynkin diagram D4.png
D4, Dynkin diagram of SO(8)

In mathematics, SO(8) is the special orthogonal group acting on eight-dimensional Euclidean space. It could be either a real or complex simple Lie group of rank 4 and dimension 28.

Contents

Spin(8)

Like all special orthogonal groups of , SO(8) is not simply connected, having a fundamental group isomorphic to Z2. The universal cover of SO(8) is the spin group Spin(8).

Center

The center of SO(8) is Z2, the diagonal matrices {±I} (as for all SO(2n) with 2n ≥ 4), while the center of Spin(8) is Z2×Z2 (as for all Spin(4n), 4n ≥ 4).

Triality

SO(8) is unique among the simple Lie groups in that its Dynkin diagram, CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png (D4 under the Dynkin classification), possesses a three-fold symmetry. This gives rise to peculiar feature of Spin(8) known as triality. Related to this is the fact that the two spinor representations, as well as the fundamental vector representation, of Spin(8) are all eight-dimensional (for all other spin groups the spinor representation is either smaller or larger than the vector representation). The triality automorphism of Spin(8) lives in the outer automorphism group of Spin(8) which is isomorphic to the symmetric group S3 that permutes these three representations. The automorphism group acts on the center Z2 x Z2 (which also has automorphism group isomorphic to S3 which may also be considered as the general linear group over the finite field with two elements, S3 ≅GL(2,2)). When one quotients Spin(8) by one central Z2, breaking this symmetry and obtaining SO(8), the remaining outer automorphism group is only Z2. The triality symmetry acts again on the further quotient SO(8)/Z2.

Sometimes Spin(8) appears naturally in an "enlarged" form, as the automorphism group of Spin(8), which breaks up as a semidirect product: Aut(Spin(8)) ≅ PSO (8) ⋊ S3.

Unit octonions

Elements of SO(8) can be described with unit octonions, analogously to how elements of SO(2) can be described with unit complex numbers and elements of SO(4) can be described with unit quaternions. However the relationship is more complicated, partly due to the non-associativity of the octonions. A general element in SO(8) can be described as the product of 7 left-multiplications, 7 right-multiplications and also 7 bimultiplications by unit octonions (a bimultiplication being the composition of a left-multiplication and a right-multiplication by the same octonion and is unambiguously defined due to octonions obeying the Moufang identities).

It can be shown that an element of SO(8) can be constructed with bimultiplications, by first showing that pairs of reflections through the origin in 8-dimensional space correspond to pairs of bimultiplications by unit octonions. The triality automorphism of Spin(8) described below provides similar constructions with left multiplications and right multiplications. [1]

Octonions and triality

If and , it can be shown that this is equivalent to , meaning that without ambiguity. A triple of maps that preserve this identity, so that is called an isotopy. If the three maps of an isotopy are in , the isotopy is called an orthogonal isotopy. If , then following the above can be described as the product of bimultiplications of unit octonions, say . Let be the corresponding products of left and right multiplications by the conjugates (i.e., the multiplicative inverses) of the same unit octonions, so , . A simple calculation shows that is an isotopy. As a result of the non-associativity of the octonions, the only other orthogonal isotopy for is . As the set of orthogonal isotopies produce a 2-to-1 cover of , they must in fact be .

Multiplicative inverses of octonions are two-sided, which means that is equivalent to . This means that a given isotopy can be permuted cyclically to give two further isotopies and . This produces an order 3 outer automorphism of . This "triality" automorphism is exceptional among spin groups. There is no triality automorphism of , as for a given the corresponding maps are only uniquely determined up to sign. [1]

Root system

Weyl group

Its Weyl/Coxeter group has 4! × 8 = 192 elements.

Cartan matrix

See also

Related Research Articles

Pauli matrices Matrices important in quantum mechanics and the study of spin

In mathematical physics and mathematics, the Pauli matrices are a set of three 2 × 2 complex matrices which are Hermitian and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

Clifford algebra Algebra based on a vector space with a quadratic form

In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems. The theory of Clifford algebras is intimately connected with the theory of quadratic forms and orthogonal transformations. Clifford algebras have important applications in a variety of fields including geometry, theoretical physics and digital image processing. They are named after the English mathematician William Kingdon Clifford.

Exponential distribution Probability distribution

In probability theory and statistics, the exponential distribution is the probability distribution of the time between events in a Poisson point process, i.e., a process in which events occur continuously and independently at a constant average rate. It is a particular case of the gamma distribution. It is the continuous analogue of the geometric distribution, and it has the key property of being memoryless. In addition to being used for the analysis of Poisson point processes it is found in various other contexts.

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. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance, and orientation. Every non-trivial rotation is determined by its axis of rotation and its angle of rotation. Composing two rotations results in another rotation, every rotation has a unique inverse rotation, and the identity map satisfies the definition of a rotation. Owing to the above properties, the set of all rotations is a group under composition. Rotations are not commutative, making it a nonabelian group. Moreover, the rotation group has a natural structure as a manifold for which the group operations are smoothly differentiable; so it is in fact, a Lie group. It is compact and has dimension 3.

Quartic equation Polynomial equation

In mathematics, a quartic equation is one which can be expressed as a quartic function equaling zero. The general form of a quartic equation is

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z2-grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In most of these theories, the even elements of the superalgebra correspond to bosons and odd elements to fermions.

In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form

Foliation In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix

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, a matrix norm is a vector norm in a vector space whose elements (vectors) are matrices.

In mathematics, the Fubini–Study metric is a Kähler metric on projective Hilbert space, that is, on a complex projective space CPn endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.

The history of Lorentz transformations comprises the development of linear transformations forming the Lorentz group or Poincaré group preserving the Lorentz interval and the Minkowski inner product .

The Wigner D-matrix is a unitary matrix in an irreducible representation of the groups SU(2) and SO(3). The complex conjugate of the D-matrix is an eigenfunction of the Hamiltonian of spherical and symmetric rigid rotors. The matrix was introduced in 1927 by Eugene Wigner. D stands for Darstellung, which means "representation" in German.

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).

Classical group

In mathematics, the classical groups are defined as the special linear groups over the reals R, the complex numbers C and the quaternions H together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.

In the mathematical field of abstract algebra, isotopy is an equivalence relation used to classify the algebraic notion of loop.

Half-normal distribution Probability distribution

In probability theory and statistics, the half-normal distribution is a special case of the folded normal distribution.

In mathematics, differential forms on a Riemann surface are an important special case of the general theory of differential forms on smooth manifolds, distinguished by the fact that the conformal structure on the Riemann surface intrinsically defines a Hodge star operator on 1-forms without specifying a Riemannian metric. This allows the use of Hilbert space techniques for studying function theory on the Riemann surface and in particular for the construction of harmonic and holomorphic differentials with prescribed singularities. These methods were first used by Hilbert (1909) in his variational approach to the Dirichlet principle, making rigorous the arguments proposed by Riemann. Later Weyl (1940) found a direct approach using his method of orthogonal projection, a precursor of the modern theory of elliptic differential operators and Sobolev spaces. These techniques were originally applied to prove the uniformization theorem and its generalization to planar Riemann surfaces. Later they supplied the analytic foundations for the harmonic integrals of Hodge (1940). This article covers general results on differential forms on a Riemann surface that do not rely on any choice of Riemannian structure.

Axonometry Graphical procedure

Axonometry is a graphical procedure belonging to descriptive geometry that generates a planar image of a three-dimensional object. The term "axonometry" means "to measure along axes", and indicates that the dimensions and scaling of the coordinate axes play a crucial role. The result of an axonometric procedure is a uniformly-scaled parallel projection of the object. In general, the resulting parallel projection is oblique ; but in special cases the result is orthographic, which in this context is called an orthogonal axonometry.

References

  1. 1 2 John H. Conway; Derek A. Smith (23 January 2003). On Quaternions and Octonions. Taylor & Francis. ISBN   978-1-56881-134-5.