X by x ~ (fl + f2)(x) (fl + f2)(X) = fl( 2xl, X 2 " ' ' , xk), 0 - < X 1 -< 1/2, (a) ( L +f2)(x) = f2( 2x1 -- 1, X 2 . . , xk), 1 / 2 < x 1 -<1. Show that fl +f2 is continuous and maps OI k into x o. Use the above definition to endow rrk(X , Xo) with a group structure.
A n s w e r l a: Let {CA, A = 1 . . , d} be a basis of V; consider the d • d matrix L with elements LB a defined* by AyA A - I --L~),'B. LB are real numbers, since Aya 1 . . . d} is a basis of %%. 2) for A = 1 . . ,L60(n,m). The mapping A --+ L is a homomorphism because A'AyAA - - I A ' - I - - A ' L B y B A ' - I - L tC B LBYC; thus A ' A w-> L ' L . This homomorphism cannot be injective, since for any k 6 I~, A and kA have the same image in O(n, m). parity operator It is not surjective if d is odd: the (space time) parity operator P - (pA = - I , P ~ -- 0 if B ~ A) belongs to O(n, m), but there exists no A ~ ~ ( n , m) which satisfies A YAA - I -- --YA, A -- 1.
Problem 1 8, Clifford], it satisfies A+Czp=C2pA - , A-C2p = C2pA +. In the case of euclidean signature, we have A = A [cf. Problem 14, Clifford]. The second relation is the hermitian transpose of the first. 35 9. REPRESENTATIONS OF SPIN(n, m), n + m ODD Example: Consider the representation of ~ ( 0 , 2) with generators F 2 - cr2. Then -- El F2 -- -io'3 -- -i (1 o) 0 - 1 E l - - o'1, " is written in a basis adapted to the splitting of helicities. , a 2 + b 2 -- 1. The representatives A+ [resp. A_] are the complex numbers a - ib [resp.
Analysis, Manifolds and Physics, Part II - Revised and Enlarged Edition by Y. Choquet-Bruhat, C. DeWitt-Morette
by Ronald
4.1