Quaternionic representation

Last updated February 10, 2022

In mathematical field of representation theory, a quaternionic representation is a representation on a complex vector space V with an invariant quaternionic structure, i.e., an antilinear equivariant map

Together with the imaginary unit i and the antilinear map k := ij, j equips V with the structure of a quaternionic vector space (i.e., V becomes a module over the division algebra of quaternions). From this point of view, quaternionic representation of a group G is a group homomorphism φ: G→ GL(V, H), the group of invertible quaternion-linear transformations of V. In particular, a quaternionic matrix representation of g assigns a square matrix of quaternions ρ(g) to each element g of G such that ρ(e) is the identity matrix and

\rho (gh)=\rho (g)\rho (h){\text{ for all }}g,h\in G.

Quaternionic representations of associative and Lie algebras can be defined in a similar way.

Properties and related concepts

If V is a unitary representation and the quaternionic structure j is a unitary operator, then V admits an invariant complex symplectic form ω, and hence is a symplectic representation. This always holds if V is a representation of a compact group (e.g. a finite group) and in this case quaternionic representations are also known as symplectic representations. Such representations, amongst irreducible representations, can be picked out by the Frobenius-Schur indicator.

Quaternionic representations are similar to real representations in that they are isomorphic to their complex conjugate representation. Here a real representation is taken to be a complex representation with an invariant real structure, i.e., an antilinear equivariant map

j\colon V\to V

which satisfies

j^{2}=+1.

A representation which is isomorphic to its complex conjugate, but which is not a real representation, is sometimes called a pseudoreal representation.

Real and pseudoreal representations of a group G can be understood by viewing them as representations of the real group algebra R[G]. Such a representation will be a direct sum of central simple R-algebras, which, by the Artin-Wedderburn theorem, must be matrix algebras over the real numbers or the quaternions. Thus a real or pseudoreal representation is a direct sum of irreducible real representations and irreducible quaternionic representations. It is real if no quaternionic representations occur in the decomposition.

Examples

A common example involves the quaternionic representation of rotations in three dimensions. Each (proper) rotation is represented by a quaternion with unit norm. There is an obvious one-dimensional quaternionic vector space, namely the space H of quaternions themselves under left multiplication. By restricting this to the unit quaternions, we obtain a quaternionic representation of the spinor group Spin(3).

This representation ρ: Spin(3) → GL(1,H) also happens to be a unitary quaternionic representation because

\rho (g)^{\dagger }\rho (g)=\mathbf {1}

for all g in Spin(3).

Another unitary example is the spin representation of Spin(5). An example of a non-unitary quaternionic representation would be the two dimensional irreducible representation of Spin(5,1).

More generally, the spin representations of Spin(d) are quaternionic when d equals 3 + 8k, 4 + 8k, and 5 + 8k dimensions, where k is an integer. In physics, one often encounters the spinors of Spin(d, 1). These representations have the same type of real or quaternionic structure as the spinors of Spin(d − 1).

Among the compact real forms of the simple Lie groups, irreducible quaternionic representations only exist for the Lie groups of type A_4k+1, B_4k+1, B_4k+2, C_k, D_4k+2, and E₇.

Related Research Articles

In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a slight (infinitesimal) rotation. However, when a sequence of such small rotations is composed (integrated) to form an overall final rotation, the resulting spinor transformation depends on which sequence of small rotations was used. Unlike vectors and tensors, a spinor transforms to its negative when the space is continuously rotated through a complete turn from 0° to 360°. This property characterizes spinors: spinors can be viewed as the "square roots" of vectors.

In group theory, the quaternion group Q₈ (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset $of the quaternions under multiplication. It is given by the group presentation$

Representation of a Lie group Group representation

In mathematics and theoretical physics, a representation of a Lie group is a linear action of a Lie group on a vector space. Equivalently, a representation is a smooth homomorphism of the group into the group of invertible operators on the vector space. Representations play an important role in the study of continuous symmetry. A great deal is known about such representations, a basic tool in their study being the use of the corresponding 'infinitesimal' representations of Lie algebras.

In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space $together with a collection of operators on satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.$

In the field of representation theory in mathematics, a projective representation of a group G on a vector space V over a field F is a group homomorphism from G to the projective linear group

In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation $or irrep of an algebraic structure is a nonzero representation that has no proper nontrivial subrepresentation, with closed under the action of .$

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.

In the mathematical field of representation theory a real representation is usually a representation on a real vector space U, but it can also mean a representation on a complex vector space V with an invariant real structure, i.e., an antilinear equivariant map

In mathematics, a compact (topological) group is a topological group whose topology is compact. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

In group theory, restriction forms a representation of a subgroup using a known representation of the whole group. Restriction is a fundamental construction in representation theory of groups. Often the restricted representation is simpler to understand. Rules for decomposing the restriction of an irreducible representation into irreducible representations of the subgroup are called branching rules, and have important applications in physics. For example, in case of explicit symmetry breaking, the symmetry group of the problem is reduced from the whole group to one of its subgroups. In quantum mechanics, this reduction in symmetry appears as a splitting of degenerate energy levels into multiplets, as in the Stark or Zeeman effect.

In mathematics, and especially the discipline of representation theory, the Schur indicator, named after Issai Schur, or Frobenius–Schur indicator describes what invariant bilinear forms a given irreducible representation of a compact group on a complex vector space has. It can be used to classify the irreducible representations of compact groups on real vector spaces.

In mathematics, if $G$ is a group and $ρ$ is a linear representation of it on the vector space $V$ , then the dual representation $ρ*$ is defined over the dual vector space $V *$ as follows:

In mathematics, the metaplectic group Mp_2n is a double cover of the symplectic group Sp_2n. It can be defined over either real or p-adic numbers. The construction covers more generally the case of an arbitrary local or finite field, and even the ring of adeles.

In mathematics, a discrete series representation is an irreducible unitary representation of a locally compact topological group G that is a subrepresentation of the left regular representation of G on L²(G). In the Plancherel measure, such representations have positive measure. The name comes from the fact that they are exactly the representations that occur discretely in the decomposition of the regular representation.

In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature. More precisely, they are representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L²(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the corresponding C* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L¹ functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series.

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations. The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories.

In physics, the Pauli–Lubanski pseudovector is an operator defined from the momentum and angular momentum, used in the quantum-relativistic description of angular momentum. It is named after Wolfgang Pauli and Józef Lubański,

This is a glossary of representation theory in mathematics.

References

Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103..
Serre, Jean-Pierre (1977), Linear Representations of Finite Groups , Springer-Verlag, ISBN 978-0-387-90190-9 .

Quaternionic representation

Contents

Properties and related concepts

Examples

Related Research Articles

References

See also