04.06.2013 Views

Gravity and Strings

Gravity and Strings

Gravity and Strings

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Gamma matrices <strong>and</strong> spinors 627<br />

Thus, in even dimensions the gamma matrices are independent <strong>and</strong> in odd dimensions<br />

they are not: the product of all the gamma matrices is a power of the imaginary unit.<br />

In even dimensions, {±Ɣ a }, {±Ɣ a † }, {±Ɣ a T }, <strong>and</strong> {±Ɣ a ∗ } generate equivalent representations.<br />

In odd dimensions, however, due to the above-mentioned constraint, only one sign<br />

gives an equivalent representation. The matrices of the corresponding similarity transformations<br />

are the chirality matrix Q (Ɣd+1), the Dirac matrix D±, the charge conjugation<br />

matrix C±, <strong>and</strong> the B± matrix:<br />

Q Ɣ a Q −1 =−Ɣ a , D± Ɣ a D −1<br />

± =±Ɣ a † ,<br />

C± Ɣ a C −1<br />

± =±Ɣ a T , B± Ɣ a B −1<br />

± =±Ɣ a ∗ .<br />

In even dimensions all these matrices exist <strong>and</strong>, evidently,<br />

(B.105)<br />

D± = D∓Q, C± = C∓Q, B± = B∓Q. (B.106)<br />

In odd dimensions Q does not exist <strong>and</strong> only one of the C± <strong>and</strong> B± exists.<br />

In general, D is defined (up to a phase α)by<br />

In our conventions we find<br />

<strong>and</strong>, thus,<br />

<strong>and</strong> then one has the relations<br />

D = αƔ 0 Ɣ −1 ···Ɣ −(t−1) . (B.107)<br />

D Ɣ a D −1 = (−1) t+1 Ɣ a † , (B.108)<br />

D = D+, for odd t, D = D−, for even t, (B.109)<br />

C± = B T ± D, for odd t, C± = B T ∓D, for even t, (B.110)<br />

so the existence <strong>and</strong> properties of C± are determined by the existence <strong>and</strong> properties of B±.<br />

The main result is11 B T ± = ε±(t,<br />

<br />

π<br />

<br />

s)B±, ε±(t, s) = sqcos (s − t ± 1) . (B.111)<br />

4<br />

When ε =±1, B is symmetric or antisymmetric. When ε± = 0, B± does not exist. The<br />

value depends on (s − t) mod 8 <strong>and</strong> it is represented in Table B.2, from [878]. Observe<br />

that, since these matrices are assumed to be unitary, we also have<br />

B ∗ ± B± = ε±(t, s). (B.112)<br />

Thus, for instance, when s = t only B− exists <strong>and</strong> is symmetric, whereas for s = t + 1,<br />

both B+ <strong>and</strong> B− exist <strong>and</strong> are, respectively, antisymmetric <strong>and</strong> symmetric.<br />

11 The function sqcos θ is defined as the projection on the x axis of the line that forms an angle θ with<br />

the x axis <strong>and</strong> joins the origin to a square centered on the origin <strong>and</strong> with sides of length 2. Then<br />

sqcos(−π/4, 0,π/4) =+1, sqcos(3π/4,π,5π/4) =−1, <strong>and</strong> sqcos(π/2, 3π/2) = 0.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!