Classification of Clifford algebras

In abstract algebra, in particular in the theory of nondegenerate quadratic forms on vector spaces, the structures of finite-dimensional real and complex Clifford algebras for a nondegenerate quadratic form have been completely classified. In each case, the Clifford algebra is algebra isomorphic to a full matrix ring over R, C, or H (the quaternions), or to a direct sum of two copies of such an algebra, though not in a canonical way. Below it is shown that distinct Clifford algebras may be algebra-isomorphic, as is the case of Cl1,1(R) and Cl2,0(R), which are both isomorphic as rings to the ring of two-by-two matrices over the real numbers.

The significance of this result is that the additional structure on a Clifford algebra relative to the "underlying" associative algebra — namely, the structure given by the grade involution automorphism and reversal anti-automorphism (and their composition, the Clifford conjugation) — is in general an essential part of its definition, not a procedural artifact of its construction as the quotient of a tensor algebra by an ideal. The category of Clifford algebras is not just a selection from the category of matrix rings, picking out those in which the ring product can be constructed as the Clifford product for some vector space and quadratic form. With few exceptions, "forgetting" the additional structure (in the category theory sense of a forgetful functor) is not reversible.

Continuing the example above: Cl1,1(R) and Cl2,0(R) share the same associative algebra structure, isomorphic to (and commonly denoted as) the matrix algebra M2(R). But they are distinguished by different choices of grade involution — of which two-dimensional subring, closed under the ring product, to designate as the even subring — and therefore of which of the various anti-automorphisms of M2(R) can accurately represent the reversal anti-automorphism of the Clifford algebra. These distinguished (anti-)automorphisms are structures on the tensor algebra which are preserved by the "quotient by ideal" construction of the Clifford algebra. The matrix algebra representation admits them, but only the Clifford algebra distinguishes them from other elements of the matrix algebra's (anti-)automorphism group.

Of the four real degrees of freedom in M2(R)), only one, generated by , is reversed by the obvious anti-automorphism of M2(R), the matrix transpose. (The designation refers to the Pauli matrices, which are here just a conventional way of naming the degrees of freedom in a two by two matrix.) In the case of Cl2,0(R), where both degrees of freedom in the odd part have positive norm, the obvious assignment of the even subalgebra to the matrices spanned by 1 and (and the odd part to the other two non-identity symmetric degrees of freedom) is consistent with selecting the matrix transpose as the reversal anti-automorphism. In this representation, the grade involution can be expressed as the inner automorphism .

But in the case of Cl1,1(R), the degree of freedom with negative norm lies in the odd part, and the reversal anti-automorphism must instead reverse one of the non-identity degrees of freedom that has positive norm. The general anti-automorphism of a full matrix algebra (over a field other than ) is easily proven to be an anti-similarity transformation for some invertible matrix T. (These anti-automorphisms form the odd part of a Z2-graded matrix transformation group of which the inner automorphisms are the even subgroup; together, they form the group of Jordan automorphisms. It's not quite this simple in the case of a matrix group over a general commutative ring or a C*-algebra.) If we choose to represent the degree of freedom with positive norm in the odd part of the Clifford algebra using one of the two Pauli matrices with real entries, , then the non-identity degree of freedom in the even subalgebra corresponds to the remaining Pauli matrix, . The anti-similarity transformation that reverses only this last degree of freedom, which is , is then an appropriate representation of the reversal anti-automorphism on Cl1,1(R). In this representation, the grade involution can be expressed as the inner automorphism .

Looking back at the case of Cl2,0(R), we may observe that "the degree of freedom with negative norm" need not be generated by ; one could just as easily choose for any , which is a similarity transformation away from . What matters is not the relationship of matrix degrees of freedom to the matrix transpose but their relationship to the particular anti-similarity transformation that represents the reversal anti-automorphism of the Clifford algebra. (And, of course, to the automorphism chosen as the grade involution, which must be selected from those which have the right signature relative to the chosen reversal anti-automorphism. This is a somewhat subtle point; these two operations on the representation need not commute on the entire matrix algebra in which the representation is embedded! But for the representation to be faithful, they do need to commute on the representation itself, and that's a property that has to be verified separately from their individual properties.)

Looking at the other two Clifford algebras with four real degrees of freedom, Cl0,2(R) and Cl1(C), we find that they are distinguished from the above two and from one another by their structure as associative algebras. Both may be represented as subalgebras of the matrix algebra M4(R), and in a sense as subalgebras of M2(C). Setting Cl1(C) aside, one may observe that the same assignment of the even subalgebra to the matrices spanned by 1 and works for Cl0,2(R) as for Cl2,0(R), with the odd part spanned by and — complex, not real, 2 by 2 matrices. This is consistent with selecting the complex matrix transpose — not Hermitian conjugation — as the reversal anti-automorphism. In this representation, the grade involution can again be expressed as the inner automorphism ; it can also be expressed as complex conjugation of the matrix entries (still not Hermitian conjugation). Calling this associative algebra H (Hamilton's quaternions) risks emphasizing the composition of these two operations (the Clifford conjugation, which does indeed coincide here with Hermitian conjugation and thus with the quaternion conjugation) over the others (which, as they invert only one or two of the non-identity degrees of freedom, necessarily involve "breaking the symmetry" of the imaginary quaternions). Perhaps it is arguable whether the reversal anti-automorphism or the Clifford conjugation is "more fundamental", but there can be more to the grade involution than just the composition of the two; a general associative algebra can have outer automorphisms, too.

When extending this analysis to other Clifford algebras, it is important to remember that the identification of general anti-automorphisms with anti-similarity transformations only holds for a full matrix algebra over a (non-) field. The quaternions H are a division algebra but not a field, and a matrix with quaternion entries is equivalent to a sparse matrix over a complex (or real) field; the general anti-automorphism of such a matrix algebra is still an anti-similarity transformation parameterized by some matrix T in the full matrix algebra, but that T may lie outside the subring representing the matrices with quaternion entries. Similarly, a direct sum of two copies of a matrix algebra — of which the simplest case is the associative algebra underlying Cl1,0(R), D = R2 — may also be represented as a sparse matrix algebra (as when identifying (a, x) with ); but the matrix parameter of a general anti-similarity transformation may not lie in this same algebra. (In this example, the reversal anti-automorphism is simply the identity on Cl1,0(R), but the Clifford conjugation corresponds to with a T lying outside D, such as or .)

Discussion of (anti-)automorphism groups of an associative algebra over C — and therefore of a Clifford algebra over field C — has to account for two different ways to be "anti-": order reversal of the algebra product and complex antilinearity relative to the scalar product. Complex conjugation of the entries in a particular complex matrix representation of a Clifford algebra, much like the matrix transpose, is not as special as it first seems; what matters is not the relationship of matrix degrees of freedom to the complex conjugation but their relationship to the complex antilinear automorphism that represents "charge conjugation" of all components in the Clifford algebra. (The set of all such complex antilinear automorphisms presumably forms the odd part of a different Z2-graded matrix transformation group of which the even subgroup is, or perhaps includes, the inner automorphisms; adjoining the anti-similarity transformations as well as the complex antilinear anti-automorphisms, one might obtain a Z2×Z2-graded matrix transformation group, but citation needed.)

The relevant antilinear automorphism is, in any case, restricted by the complex Clifford algebra construction as a quotient of the (covariant) tensor algebra over the field C by the complex bilinear extension of a symmetric real-valued quadratic form on the underlying real (co)vector space to a complexified version of that space. (See section 4.1 of Vaz and da Rocha; the point is that the two-operand quadratic form is by construction not only complex bilinear — not linear in one operand and antilinear in the other — but consistent with a real quadratic form on the R^n subspace associated with the original real axes.) So a statement like "there is essentially only one complex Clifford algebra for each value of the dimension n" is true in the qualified sense that, given a complex Clifford algebra constructed in this way, one can extract "real" subalgebras for any signature p+q=n by choosing different antilinear automorphisms to represent complex conjugation on the complexified (co)vector space. But it is not automatically true that a particular antilinear automorphism has a "natural" representation relative to the otherwise simplest representation as a complex matrix algebra. The complex Clifford algebras for different quadratic form signatures share an associative algebra structure, but may have inequivalent antilinear "charge conjugation" automorphisms as well as reversal anti-automorphisms and grade involution automorphisms.

Returning to Cl1(C), we find that it is consistent as an associative algebra with CC (the complexification of the representation of Cl1,0(R) by RR), but that we can represent "charge conjugation" simply as complex conjugation in at most one of the two choices of signature for the real quadratic form. In the representation identifying (a, x) with , the other signature is obtained by with (or , etc.). Since there is only one odd (complex) degree of freedom, these two antilinear automorphisms are related by the grade involution automorphism itself, and the reversal anti-automorphism is the identity; the general case is more complicated, of course.

A representation of a real Clifford algebra using a matrix with complex entries — such as Cl3,0(R), which has the same structure as an associative algebra over the reals as M2(C) — has anti-automorphisms as a real algebra that are not represented by anti-similarity transforms on the complex matrix. (In the simplest such case, Cl0,1(R) represented by C, the reversal anti-automorphism is again simply the identity but the Clifford conjugation corresponds to complex conjugation — in a way that has nothing to do with "charge conjugation".) And although similarity transformations (inner automorphisms) form the entirety of the even subalgebra of the automorphisms of Mn(R) or Mn(C), a general associative algebra may also have outer automorphisms that cannot be represented as similarity transformations, and it is possible a priori for the grade involution of a Clifford algebra representable as Mn(K) to be representable only as an outer, rather than an inner, automorphism of Mn(K) (for non-field K). The reversal anti-automorphism and Clifford conjugation anti-automorphism are related by the grade involution automorphism, but one cannot necessarily recover the correct grade involution automorphism given representations of these two anti-automorphisms on an otherwise adequate matrix algebra.

In short (too late!), one must be cautious with statements like "Cl2(C) and Cl3,0(R) are both determined to be M2(C)," or even "Cl4,2(R) and Cl6,0(R) are both represented by M8(R)." That's really only true at the level of the associative algebra structure, and even then it's an abuse of notation to denote a subalgebra of M4(R) as M2(C). Really classifying the Clifford algebras would require assigning each a representative embedding as a subalgebra of a matrix ring over the correct field — e. g., not "M4(H)" but some appropriately constrained 64-real-dimensional subalgebra of (probably) M16(R) — with a specific choice of grade involution automorphism (especially if it's an outer automorphism), reversal anti-automorphism, and (if the field is C) antilinear charge conjugation automorphism. These are of course only unique up to some group of automorphisms of the full matrix ring.

Notation and conventions

The Clifford product is the manifest ring product for the Clifford algebra, and all algebra homomorphisms in this article are with respect to this ring product. Other products defined within Clifford algebras, such as the exterior product, are not used here. This article uses the (+) sign convention for Clifford multiplication so that

for all vectors v in the vector space of generators V, where Q is the quadratic form on the vector space V. We will denote the algebra of n × n matrices with entries in the division algebra K by Mn(K) or End(Kn). The direct sum of two such identical algebras will be denoted by Mn(K) ⊕ Mn(K), which is isomorphic to Mn(KK).

Bott periodicity

Clifford algebras exhibit a 2-fold periodicity over the complex numbers and an 8-fold periodicity over the real numbers, which is related to the same periodicities for homotopy groups of the stable unitary group and stable orthogonal group, and is called Bott periodicity. The connection is explained by the geometric model of loop spaces approach to Bott periodicity: their 2-fold/8-fold periodic embeddings of the classical groups in each other (corresponding to isomorphism groups of Clifford algebras), and their successive quotients are symmetric spaces which are homotopy equivalent to the loop spaces of the unitary/orthogonal group.

Complex case

The complex case is particularly simple: every nondegenerate quadratic form on a complex vector space is equivalent to the standard diagonal form

where n = dim(V), so there is essentially only one Clifford algebra for each dimension. This is because the complex numbers include i by which uk2 = +(iuk)2 and so positive or negative terms are equivalent. We will denote the Clifford algebra on Cn with the standard quadratic form by Cln(C).

There are two separate cases to consider, according to whether n is even or odd. When n is even, the algebra Cln(C) is central simple and so by the Artin–Wedderburn theorem is isomorphic to a matrix algebra over C.

When n is odd, the center includes not only the scalars but the pseudoscalars (degree n elements) as well. We can always find a normalized pseudoscalar ω such that ω2 = 1. Define the operators

These two operators form a complete set of orthogonal idempotents, and since they are central they give a decomposition of Cln(C) into a direct sum of two algebras

where

The algebras Cln±(C) are just the positive and negative eigenspaces of ω and the P± are just the projection operators. Since ω is odd, these algebras are mixed by α (the linear map on V defined by v ↦ −v):

and therefore isomorphic (since α is an automorphism). These two isomorphic algebras are each central simple and so, again, isomorphic to a matrix algebra over C. The sizes of the matrices can be determined from the fact that the dimension of Cln(C) is 2n. What we have then is the following table:

Classification of complex Clifford algebras
n Cln(C) Cl[0]
n
(C)
N
even End(CN) End(CN/2) ⊕ End(CN/2) 2n/2
odd End(CN) ⊕ End(CN) End(CN) 2(n−1)/2

The even subalgebra Cl[0]
n
(C) of Cln(C) is (non-canonically) isomorphic to Cln−1(C). When n is even, the even subalgebra can be identified with the block diagonal matrices (when partitioned into 2 × 2 block matrices). When n is odd, the even subalgebra consists of those elements of End(CN) ⊕ End(CN) for which the two pieces are identical. Picking either piece then gives an isomorphism with Cln(C) ≅ End(CN).

Complex spinors in even dimension

The classification allows Dirac spinors and Weyl spinors to be defined in even dimension.[1]

In even dimension n, the Clifford algebra Cln(C) is isomorphic to End(CN), which has its fundamental representation on Δn := CN. A complex Dirac spinor is an element of Δn. The term complex signifies that it is the element of a representation space of a complex Clifford algebra, rather than that is an element of a complex vector space.

The even subalgebra Cln0(C) is isomorphic to End(CN/2) ⊕ End(CN/2) and therefore decomposes to the direct sum of two irreducible representation spaces Δ+
n
⊕ Δ
n
, each isomorphic to CN/2. A left-handed (respectively right-handed) complex Weyl spinor is an element of Δ+
n
(respectively, Δ
n
).

Proof of the structure theorem for complex Clifford algebras

The structure theorem is simple to prove inductively. For base cases, Cl0(C) is simply C ≅ End(C), while Cl1(C) is given by the algebra CC ≅ End(C) ⊕ End(C) by defining the only gamma matrix as γ1 = (1, −1).

We will also need Cl2(C) ≅ End(C2). The Pauli matrices can be used to generate the Clifford algebra by setting γ1 = σ1, γ2 = σ2. The span of the generated algebra is End(C2).

The proof is completed by constructing an isomorphism Cln+2(C) ≅ Cln(C) ⊗ Cl2(C). Let γa generate Cln(C), and generate Cl2(C). Let ω = i be the chirality element satisfying ω2 = 1 and ω + ω = 0. These can be used to construct gamma matrices for Cln+2(C) by setting Γa = γaω for 1 ≤ an and Γa = 1 ⊗ for a = n + 1, n + 2. These can be shown to satisfy the required Clifford algebra and by the universal property of Clifford algebras, there is an isomorphism Cln(C) ⊗ Cl2(C) → Cln+2(C).

Finally, in the even case this means by the induction hypothesis Cln+2(C) ≅ End(CN) ⊗ End(C2) ≅ End(CN+1). The odd case follows similarly as the tensor product distributes over direct sums.

Real case

The real case is significantly more complicated, exhibiting a periodicity of 8 rather than 2, and there is a 2-parameter family of Clifford algebras.

Classification of quadratic forms

Firstly, there are non-isomorphic quadratic forms of a given degree, classified by signature.

Every nondegenerate quadratic form on a real vector space is equivalent to the standard diagonal form:

where n = p + q is the dimension of the vector space. The pair of integers (p, q) is called the signature of the quadratic form. The real vector space with this quadratic form is often denoted Rp,q. The Clifford algebra on Rp,q is denoted Clp,q(R).

A standard orthonormal basis {ei} for Rp,q consists of n = p + q mutually orthogonal vectors, p of which have norm +1 and q of which have norm −1.

Unit pseudoscalar

Given a standard basis {ei} as defined in the previous subsection, the unit pseudoscalar in Clp,q(R) is defined as

This is both a Coxeter element of sorts (product of reflections) and a longest element of a Coxeter group in the Bruhat order; this is an analogy. It corresponds to and generalizes a volume form (in the exterior algebra; for the trivial quadratic form, the unit pseudoscalar is a volume form), and lifts reflection through the origin (meaning that the image of the unit pseudoscalar is reflection through the origin, in the orthogonal group).

To compute the square ω2 = (e1e2⋅⋅⋅en)(e1e2⋅⋅⋅en), one can either reverse the order of the second group, yielding sgn(σ)e1e2⋅⋅⋅enen⋅⋅⋅e2e1, or apply a perfect shuffle, yielding sgn(σ)e1e1e2e2⋅⋅⋅enen. These both have sign (−1)n/2⌋ = (−1)n(n−1)/2, which is 4-periodic (proof), and combined with eiei = ±1, this shows that the square of ω is given by

Note that, unlike the complex case, it is not in general possible to find a pseudoscalar that squares to +1.

Center

If n (equivalently, pq) is even, the algebra Clp,q(R) is central simple and so isomorphic to a matrix algebra over R or H by the Artin–Wedderburn theorem.

If n (equivalently, pq) is odd then the algebra is no longer central simple but rather has a center which includes the pseudoscalars as well as the scalars. If n is odd and ω2 = +1 (equivalently, if pq ≡ 1 (mod 4)) then, just as in the complex case, the algebra Clp,q(R) decomposes into a direct sum of isomorphic algebras

each of which is central simple and so isomorphic to matrix algebra over R or H.

If n is odd and ω2 = −1 (equivalently, if pq ≡ −1 (mod 4)) then the center of Clp,q(R) is isomorphic to C and can be considered as a complex algebra. As a complex algebra, it is central simple and so isomorphic to a matrix algebra over C.

Classification

All told there are three properties which determine the class of the algebra Clp,q(R):

  • signature mod 2: n is even/odd: central simple or not
  • signature mod 4: ω2 = ±1: if not central simple, center is RR or C
  • signature mod 8: the Brauer class of the algebra (n even) or even subalgebra (n odd) is R or H

Each of these properties depends only on the signature pq modulo 8. The complete classification table is given below. The size of the matrices is determined by the requirement that Clp,q(R) have dimension 2p+q.

pq mod 8 ω2 Clp,q(R)
(N = 2(p+q)/2)
pq mod 8 ω2 Clp,q(R)
(N = 2(p+q−1)/2)
0+MN(R) 1+MN(R) ⊕ MN(R)
2MN(R) 3MN(C)
4+MN/2(H) 5+MN/2(H) ⊕ MN/2(H)
6MN/2(H) 7MN(C)

It may be seen that of all matrix ring types mentioned, there is only one type shared by complex and real algebras: the type M2m(C). For example, Cl2(C) and Cl3,0(R) are both determined to be M2(C). It is important to note that there is a difference in the classifying isomorphisms used. Since the Cl2(C) is algebra isomorphic via a C-linear map (which is necessarily R-linear), and Cl3,0(R) is algebra isomorphic via an R-linear map, Cl2(C) and Cl3,0(R) are R-algebra isomorphic.

A table of this classification for p + q ≤ 8 follows. Here p + q runs vertically and pq runs horizontally (e.g. the algebra Cl1,3(R) ≅ M2(H) is found in row 4, column −2).

876543210−1−2−3−4−5−6−7−8
0R
1R2C
2M2(R)M2(R)H
3M2(C)M22(R)M2(C)H2
4M2(H)M4(R)M4(R)M2(H)M2(H)
5M22(H)M4(C)M42(R)M4(C)M22(H)M4(C)
6M4(H)M4(H)M8(R)M8(R)M4(H)M4(H)M8(R)
7M8(C)M42(H)M8(C)M82(R)M8(C)M42(H)M8(C)M82(R)
8M16(R)M8(H)M8(H)M16(R)M16(R)M8(H)M8(H)M16(R)M16(R)
 
ω2+++++++++

Symmetries

There is a tangled web of symmetries and relationships in the above table.

Going over 4 spots in any row yields an identical algebra.

From these Bott periodicity follows:

If the signature satisfies pq ≡ 1 (mod 4) then

(The table is symmetric about columns with signature ..., −7, −3, 1, 5, ...)

Thus if the signature satisfies pq ≡ 1 (mod 4),

See also

References

  1. Hamilton, Mark J. D. (2017). Mathematical gauge theory : with applications to the standard model of particle physics. Cham, Switzerland. pp. 346–347. ISBN 9783319684383.{{cite book}}: CS1 maint: location missing publisher (link)

Sources

  • Budinich, Paolo; Trautman, Andrzej (1988). The Spinorial Chessboard. Springer Verlag. ISBN 978-3-540-19078-3.
  • Lawson, H. Blaine; Michelsohn, Marie-Louise (2016). Spin Geometry. Princeton Mathematical Series. Vol. 38. Princeton University Press. ISBN 978-1-4008-8391-2.
  • Porteous, Ian R. (1995). Clifford Algebras and the Classical Groups. Cambridge Studies in Advanced Mathematics. Vol. 50. Cambridge University Press. ISBN 978-0-521-55177-9.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.