Lecture 18 - Clifford Algebras and Spin groups



Similar documents
Similarity and Diagonalization. Similar Matrices

Math 550 Notes. Chapter 7. Jesse Crawford. Department of Mathematics Tarleton State University. Fall 2010

Finite dimensional C -algebras

α = u v. In other words, Orthogonal Projection

Inner Product Spaces

Section Inner Products and Norms

Linear Algebra Review. Vectors

BILINEAR FORMS KEITH CONRAD

Mathematics Course 111: Algebra I Part IV: Vector Spaces

17. Inner product spaces Definition Let V be a real vector space. An inner product on V is a function

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Inner Product Spaces and Orthogonality

Lectures notes on orthogonal matrices (with exercises) Linear Algebra II - Spring 2004 by D. Klain

Orthogonal Diagonalization of Symmetric Matrices

Associativity condition for some alternative algebras of degree three

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups

NOTES ON LINEAR TRANSFORMATIONS

GROUP ALGEBRAS. ANDREI YAFAEV

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued).

Math 231b Lecture 35. G. Quick

The cover SU(2) SO(3) and related topics

16.3 Fredholm Operators

Hermitian Clifford Analysis and Its Connections with Representation Theory

Problem Set 5 Due: In class Thursday, Oct. 18 Late papers will be accepted until 1:00 PM Friday.

Matrix Representations of Linear Transformations and Changes of Coordinates

T ( a i x i ) = a i T (x i ).

Lecture 1: Schur s Unitary Triangularization Theorem

Mathematical Physics, Lecture 9

Linear algebra and the geometry of quadratic equations. Similarity transformations and orthogonal matrices

Linear Algebra I. Ronald van Luijk, 2012

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

1 Homework 1. [p 0 q i+j p i 1 q j+1 ] + [p i q j ] + [p i+1 q j p i+j q 0 ]

ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES.

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS

Factoring of Prime Ideals in Extensions

How To Prove The Dirichlet Unit Theorem

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Chapter 17. Orthogonal Matrices and Symmetries of Space

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

3 Orthogonal Vectors and Matrices

Orthogonal Projections

Chapter 6. Orthogonality

Notes on Orthogonal and Symmetric Matrices MENU, Winter 2013

Geometric Transformations

arxiv:quant-ph/ v3 8 Sep 2006

Inner product. Definition of inner product

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

Table of Contents. Introduction... 1 Chapter 1. Vector Bundles Chapter 2. K Theory Chapter 3. Characteristic Classes...

Quotient Rings and Field Extensions

Factoring Quadratic Expressions

it is easy to see that α = a

October 3rd, Linear Algebra & Properties of the Covariance Matrix

Linear Algebra Notes for Marsden and Tromba Vector Calculus

Section 1.1. Introduction to R n

Group Theory. 1 Cartan Subalgebra and the Roots. November 23, Cartan Subalgebra. 1.2 Root system

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

1 Sets and Set Notation.

4.1 Modules, Homomorphisms, and Exact Sequences

How To Understand The Relation Between Quadratic And Binary Forms

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

PYTHAGOREAN TRIPLES KEITH CONRAD

Linear Algebra: Vectors

Zeros of a Polynomial Function

Quantum Mechanics and Representation Theory

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

Elementary Linear Algebra

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

Ideal Class Group and Units

PROJECTIVE GEOMETRY. b3 course Nigel Hitchin

Vector and Matrix Norms

First and raw version september 2013 klokken 13:45

1 = (a 0 + b 0 α) (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

The three-dimensional rotations are defined as the linear transformations of the vector x = (x 1, x 2, x 3 ) x i = R ij x j, (2.1) x 2 = x 2. (2.

Galois representations with open image

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO

Continued Fractions and the Euclidean Algorithm

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

LINEAR ALGEBRA W W L CHEN

BANACH AND HILBERT SPACE REVIEW

5. Orthogonal matrices

Group Theory. Contents

Outline Lagrangian Constraints and Image Quality Models

GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE

1 Symmetries of regular polyhedra

Math 115 Spring 2011 Written Homework 5 Solutions

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

by the matrix A results in a vector which is a reflection of the given

Section 4.4 Inner Product Spaces

Numerical Analysis Lecture Notes

1 VECTOR SPACES AND SUBSPACES

Finite Dimensional Hilbert Spaces and Linear Inverse Problems

Name: Section Registered In:

3. INNER PRODUCT SPACES

4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION

5.3 The Cross Product in R 3

x1 x 2 x 3 y 1 y 2 y 3 x 1 y 2 x 2 y 1 0.

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

Transcription:

Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning a map q : V W with q(αv) = α 2 q(v) for scalars α. Given a pair (V, q) we can construct the Clifford algebra Cl(V, q) as the quotient of the tensor algebra V by the ideal generated by v v + q(v), as v ranges over V. Note that if q = 0, then Cl(V, q) = V. Ordinarily we consider the case that q is nondegenerate. Over the complex numbers, nondegenerate quadratic forms are all equivalent up to change of basis, so the only invariant in the dimension of the space V. Setting dim C (V ) = n we obtain the algebras Cl n. In the real setting, besides the dimension of the vector space dim R (V ) = n, the only other invariant of a quadratic form is its signature, which is characterized by a pair of non-negative integers (r, s) where r + s = n. We obtain the Clifford algebras Cl r,s. Clifford algebras have the following universal property. If (V, q) is a vector space (over R or C) with quadratic form q and ϕ : V GL(W, W ) is a linear map so that ϕ(v)ϕ(v) = q(v) 2, then ϕ extends uniquely to a Clifford representation map ϕ : Cl(V, q) GL(W, W ). 2 Reason for Studying Clifford Algebras Let D be a normed division algebra over reals, with norm. We obtain an inner product x, y = 1 ( x + y 2 x 2 y 2). (1) 2 Since ax = a x, we have that L a is an orthogonal transformation whenever a = 1. 1

Consider the subspace of vectors in D orthogonal to 1; we shall call this Im(D). The unit sphere in D is a group of orthogonal transformation of D, and the tangent space to the unit sphere at 1, its Lie algebra, can be identified with Im(D). Therefore L a for a Im(D) is skew-symmetric. If a is also a unit vector, then 1, a 2 = a, a = 1 (2) so that a 2 = 1. If dim(d) = n, this gives a faithful representation of Cl n 1 on D. 3 Periodicity Proposition 3.1 We have the following algebra isomorphisms Cl n,0 Cl 0,2 Cl 0,n+2 Cl 0,n Cl 2,0 Cl n+2,0 (3) Cl r,s Cl 1,1 Cl r+1,s+1 Pf. We do only the first isomorphism; the rest are entirely analogous. Consider the vector space R n+2 with orthonormal basis e 1,..., e n+2, with negative definite inner product. Also let f 1,..., f n and g n+1, g n+2 be orthonormal bases of R n with positive definite inner product, and R 2 with negative definite inner product. Let F : R n+2 Cl n,0 Cl 0,2 be the map { f i g n+1 g n+2, if i {1,..., n} F (e i ) = (4) 0 g i, if i {n + 1, n + 2} Noting that F (e i )F (e j ) = F (e j )F (e i ) when i j and F (e i ) 2 = 1, this extends to the desired algebra isomorphism. Theorem 3.2 ( Bott periodicity ) We have the following isomorphisms Cl n+8,0 Cl n,0 R Cl 8,0 Cl n,0 R R(16) Cl 0,n+8 Cl 0,n R Cl 0,8 Cl 0,n R R(16) Cl n+2 Cl n C Cl 2 Cl n C C(2) Pf. Noting that H 2 R(4), we can use the previous lemma to obtain Cl n+8,0 The other cases are similar. Cl n,0 (Cl 0,2 Cl 2,0 ) 2 Cl n,0 H H R(2) R(2) Cl n,0 R(4) R(4) Cl n,0 R(16) (5) (6) 2

4 Pin, Spin, and Orthogonal Groups The group of units in Cl p,q, denoted Cl p,q, is the group of all invertible elements. The associated Lie algebra is denoted cl p,q. In fact we have cl n Cl p,q with the Lie bracket [x, y] = xy yx. We have an adjoint map Ad : Cl p,q Aut(Cl p,q ) Ad ϕ (x) = ϕ x ϕ 1 (7) whose derivative (in the appropriate sense) is the adjoint map ad : cl p,q Der(Cl p,q ) ad y (x) = [y, x]. (8) Let (V, q) be an n-dimensional vector space with non-degenerate quadratic form q. Polarizing the quadratic form q of signature (p, q) we obtain an inner product (, ). Given a vector v V, let σ v be the reflection about the hyperplane orthogonal to v, so that (x, v) σ v (x) = x 2 v. (9) (v, v) An important subgroup of Cl (V, q) is the group P (V, q) generated by elements v V with q(v) 0. Quotienting out by constants, we obtain the Pin group. Specifically, P in(v, q) (or P in p,q ) is the group generated by elements v V with q(v) = ±1. Further define the spin groups to be Spin(V, q) = P in(v, q) Cl 0 (V, q). (10) Proposition 4.1 The adjoint representation of P in(v, q) on Cl(V, q) restricts to a representation of P in(v, q) on V. For any v V Cl (V, q) we have Ad v V = σ v. (11) Thus we have found a map P in p,q O(p, q). (12) As subsets of the Clifford algebras, the spin groups contain only monomials with even numbers of generators. Thus we have found a map Spin p,q SO(p, q). (13) The adjoint representation is somewhat inadequate, due to the negative. For instance, if V is odd dimensional, then Ad v always preserves orientation. We introduce the twisted adjoint map Ãd ϕ (x) = ϕ x α(ϕ 1 ) (14) 3

where α is the parity involution. We have that Ãd v is a representation (as Ãd ϕãd η = Ãd ϕη) and that when v V. Ãd v = σ v. (15) Theorem 4.2 The Ãd maps P in r,s O(r, s) Spin r,s SO(r, s) (16) are surjective. Their kernels are Z 2 {±1}. Except in the cases (r, s) = (1, 1), (1, 0), (0, 1), these two-sheeted coverings are connected over any connected component of O(r, s) (resp. SO(r, s)). Pf. The only thing to prove is that 1 and 1 can be joined by a path in Spin r,s P in r,s. Chosing orthogonal unit vectors e 1, e 2 with q(e 1 ) = q(e 2 ) (either both +1 or both 1), we have that e 1 cos(t) + e 2 sin(t) and e 1 cos(t) + e 2 sin(t) are unit vectors and γ(t) = (e 1 cos(t) + e 2 sin(t)) ( e 1 cos(t) + e 2 sin(t)) = ± ( cos 2 (t) sin 2 (t) ) + 2e 1 e 2 cos(t) sin(t) = ± cos(2t) + e 1 e 2 sin(2t) is a path from 1 to 1 in Spin r,s. (17) 5 Spin Representations 5.1 Complete Reducibility A basic theme in the study of Clifford representation is the reduction of the representation to a Pin or Spin representation. For instance, any representations of a Clifford algebra is completely reducible. To see this, note that any Clifford representation V is a Pin representation, so V is completely reducible as a Pin representation. But P in r,s contains a basis of Cl r,s, so the action of the Clifford algebra preserves the factors. 4

5.2 Fundamental Irreducible Clifford Representations We have the following table n Cl n Cln 0 0 R 1 C R 2 H C 3 H H H 4 H(2) H H 5 C(4) H(2) 6 R(8) C(4) 7 R(8) R(8) R(8) 8 R(16) R(8) R(8) (18) This table can be used to give the irreducible representations of Cl n. In particular, with n 3 (mod 4) we have a single irreducible representation, and with n = 3 mod 4, we have two representations. For n = 3 mod 8, these representations are inequivalent. However, we proceed more theoretically. Consider the Clifford group, the finite group E n generated by an orthonormal basis e 1,..., e n of R n. We have that the group algebra RE n is nearly the Clifford algebra: in particular Cl n RE n / {( 1) + 1 = 0}. (19) Note that E n = { ± m i=1 e ki i } ki = ±1 (20) is a subgroup of Cl n with 2 n+1 elements. Set En 0 = E n Cl 0 n, so that En 0 has 2 n elements. Finally, if n is even, then the center of E n is {±1} and if n is odd, its center is {±1, ±ω} where ω = e 1... e n. Now consider that each element of E n acts on a 1-dimensional subspace, so we have a 2 n+1 -dimensional representation of RE n, which passes to a 2 n dimensional representation of Cl n, which we shall call W n. Proposition 5.1 (Clifford Representations) In the cases n 0, 1, 2 mod 4, we the Clifford algebra Cl n has a single irreducible representation W n of dimension 2 n. In the case that n 3 mod 4, the Clifford algebra Cl n has two inequivalent irreducible representations W n + and Wn of dimensions 2 n 1. Pf. We consider the case of n 3 mod 4. Let W n be the algebra constructed above. We know that ω is central and ω 2 = 1. Therefore π ± = 1 2 (1 ± ω) splits the representation: 5

W ± n = π ± W n. To see that theses representations are inequivalent, notice that ω acts as 1 on W + n and 1 on W n. Notice that if n = 4m, then ω 2 = 1 and W n also splits as a vector space: W n = W + n W n where W ± n = π ± W. However π ± is not central, so the factors are exchanged by elements of Cl 1 n. But Cl 0 n preserves the factors. We can restrict these representations Cl n on W n to Spin n Cl 0 n Cl n ; we denote the resulting representation S n. Theorem 5.2 (Fundamental Spin Representations) If n 1, 2, 3 mod 4 then S n is the direct sum of two identical representations, which we call n. If n 0 mod 4 then S n is the direct sum of two different, non-isomorphic representations; we denote S n = n = + n n where ± n = π n 1 ± S n. Pf. Note that the parity involution α preserves Spin n Cl 0 n Cl n, and that the projectors π 0 = 1 2 (1 + α), π1 = 1 2 (1 α) commute and sum to unity. Thus the representation of Spin n on Cl n splits into representations on Cl 0 n and Cl 1 n. Case n = 2m + 1 is odd. We have that ω / spin(n). If m is even (n 1 mod 4) then the representation on Cl 0 n is irreducible because Cl 0 n Cl n 1 is irreducible. Further, the factors Cl 0 n and Cl 1 n are exchanged by ω, which is central; hence the representations on Cl 0 n and Cl 1 n are equivalent. If m is odd (n 3 mod 4) then we have a secondary decomposition Cl n = Cl + n Cl n, where Cl 0 n sits in the sum diagonally. However Cl 0 n Cl n 1 is irreducible, and projects onto either factor isomorphically. Thus again we obtain two equivalent representations. Case n = 2m is even. We have that ω spin(n), and that ω is central in Spin(n) (although it is not central in Cl n ). If m is odd so n 2 mod 4 then we get the usual even-odd splitting. If m is even so n 0 mod 4 then ω 2 = 1 and we can decompose Cl n into two factors, corresponding to the ±1 eigenvalues on ω. These factors are clearly inequivalent representations, and ω Spin(n) acts differently. Also, An element of a fundamental spin representation v n is called a spinor. 6