Dimension of the gamma matrices in general dimension

  • Thread starter ismaili
  • Start date
161
0
Dear guys,

I read a derivation of the dimension of gamma matrices in a [tex]d[/tex] dimension space, which I don't quite understand.

First of all, in [tex]d[/tex] dimension, where [tex]d[/tex] is even.
One assumes the dimension of gamma matrices which satisfy
[tex] \{ \gamma^\mu , \gamma^\nu \} = 2\eta^{\mu\nu} \quad\quad\cdots(*)[/tex]
is [tex] m [/tex].
A general a m by m matrix with complex arguments should have [tex]2m^2[/tex] independent components.
Now, eq(*) gives [tex]m^2[/tex] constraints. (<= I don't quite understand this.)

So, the independent components of a single gamma matrix should be [tex] m^2 [/tex].

On the other hand, one finds that the anti-symmetrization of gamma matrices can produce space-time tensors under Lorentz transformation, i.e. for example,
[tex] \bar{\psi}\gamma^{\mu\nu}\psi \rightarrow \Lambda^\mu{}_\rho\Lambda^{\nu}{}_\sigma\bar{\psi}\gamma^{\rho\sigma}\psi[/tex]
where [tex] \gamma^{\mu\nu} = \gamma^{[\mu}\gamma^{\nu]}[/tex]

Now, the various antisymmetric tensors decompose the Lorentz group into different pieces which do not mix. We now calculate the independent components of each anti-symmetric tensor, and add it up:
[tex] C^d_0 + C^d_1 +C^d_2 + \cdots + C^d_d = 2^d [/tex]

Now we match the two independent components we calculated (Why?! why they should match?!)
[tex] m^2 = 2^d [/tex]
This concludes that [tex] m = 2^{d/2} [/tex].

Now, for d = 2k+1 being odd, one can easily add [tex]\gamma^{2k} \sim \gamma^0\gamma^1\cdots\gamma^{2k-1}[/tex], together with the original [tex]\gamma^0,\gamma^1,\cdots,\gamma^{2k-1}[/tex] to form gamma matrices in d = 2k+1.

Since the anti-symmetric tensors has a linear relation,
[tex]\gamma^{\mu_0\mu_1\cdots\mu_r} = \epsilon^{\mu_0\mu_1\cdots\mu_{2k}}\gamma_{\mu_{r+1}\cdots\mu_{2k}}[/tex].
So there are actually [tex] 2^{d}/2 [/tex] independent components for odd [tex]d[/tex].
Hence, the dimension of gamma matrices in odd spacetime dimension should be [tex]2^{\frac{d-1}{2}}[/tex].
My question is that, isn't the linear relation between anti-symmetric tensors also hold in d = even spacetime dimension?

Anyone help me go through the puzzles? thanks so much!

ismaili

----

Oh, by the way, I found that from the Dirac representation method which I described in another nearby thread titled "spinors in various dimensions", one can easily realize the dimension of gamma matrices in even dimension d should be [tex] 2^{d/2} [/tex].
 
Last edited:
76
5
I think you are trying to do this the hard way: by brute force. There are several really cute and powerful theorems that help a lot on the way. I really recommend that you take a look at Appendix-L, in the book "Group Theory in Physics, Volume-II, by J.F. Cornwell", published by Academic Press in 1984. It may or may not be out of print these days, but I am sure you can find it in a library if it is out of print.

In this appendix which is only 25 pages or so, Cornwell does better than most books do in a 100 pages on the application of Clifford Algebras to Physics. The theorems are provided, many are actually proven on the way, including the ones you need. Where needed, he also provides good physical insight. I hope it will be helpful to you.
 

dextercioby

Science Advisor
Homework Helper
Insights Author
12,947
529
Last edited by a moderator:
76
5
Last edited by a moderator:
161
0
Dear guys,

I read a derivation of the dimension of gamma matrices in a [tex]d[/tex] dimension space, which I don't quite understand.

First of all, in [tex]d[/tex] dimension, where [tex]d[/tex] is even.
One assumes the dimension of gamma matrices which satisfy
[tex] \{ \gamma^\mu , \gamma^\nu \} = 2\eta^{\mu\nu} \quad\quad\cdots(*)[/tex]
is [tex] m [/tex].
A general a m by m matrix with complex arguments should have [tex]2m^2[/tex] independent components.
Now, eq(*) gives [tex]m^2[/tex] constraints. (<= I don't quite understand this.)

So, the independent components of a single gamma matrix should be [tex] m^2 [/tex].

On the other hand, one finds that the anti-symmetrization of gamma matrices can produce space-time tensors under Lorentz transformation, i.e. for example,
[tex] \bar{\psi}\gamma^{\mu\nu}\psi \rightarrow \Lambda^\mu{}_\rho\Lambda^{\nu}{}_\sigma\bar{\psi}\gamma^{\rho\sigma}\psi[/tex]
where [tex] \gamma^{\mu\nu} = \gamma^{[\mu}\gamma^{\nu]}[/tex]

Now, the various antisymmetric tensors decompose the Lorentz group into different pieces which do not mix. We now calculate the independent components of each anti-symmetric tensor, and add it up:
[tex] C^d_0 + C^d_1 +C^d_2 + \cdots + C^d_d = 2^d [/tex]

Now we match the two independent components we calculated (Why?! why they should match?!)
[tex] m^2 = 2^d [/tex]
This concludes that [tex] m = 2^{d/2} [/tex].

Now, for d = 2k+1 being odd, one can easily add [tex]\gamma^{2k} \sim \gamma^0\gamma^1\cdots\gamma^{2k-1}[/tex], together with the original [tex]\gamma^0,\gamma^1,\cdots,\gamma^{2k-1}[/tex] to form gamma matrices in d = 2k+1.

Since the anti-symmetric tensors has a linear relation,
[tex]\gamma^{\mu_0\mu_1\cdots\mu_r} = \epsilon^{\mu_0\mu_1\cdots\mu_{2k}}\gamma_{\mu_{r+1}\cdots\mu_{2k}}[/tex].
So there are actually [tex] 2^{d}/2 [/tex] independent components for odd [tex]d[/tex].
Hence, the dimension of gamma matrices in odd spacetime dimension should be [tex]2^{\frac{d-1}{2}}[/tex].
My question is that, isn't the linear relation between anti-symmetric tensors also hold in d = even spacetime dimension?

Anyone help me go through the puzzles? thanks so much!

ismaili

----

Oh, by the way, I found that from the Dirac representation method which I described in another nearby thread titled "spinors in various dimensions", one can easily realize the dimension of gamma matrices in even dimension d should be [tex] 2^{d/2} [/tex].
I reconsidered this recently.
I think for my first question, the reason that reduces the independent components [tex]2m^2[/tex] into [tex]m^2[/tex] is the (anti-)hermitian properties of the gamma matrices, not the Clifford algebra. Then, the antisymmetrized products of gamma matrices form a basis for the algebra, hence, by matching independent components [tex]m^2[/tex] and the number of basis [tex]2^d[/tex], we see that [tex] m = 2^{d/2} [/tex] for even dimension [tex]d[/tex].

The solution to the second equation is due to the role of [tex]\gamma_5[/tex].
That's why only in odd dimension, those basis are related by Levi-Civita tensor,
and the number of basis is reduced to [tex]2^{(d-1)/2} [/tex] for odd [tex] d [/tex].
 
161
0
I reconsidered this recently.
I think for my first question, the reason that reduces the independent components [tex]2m^2[/tex] into [tex]m^2[/tex] is the (anti-)hermitian properties of the gamma matrices, not the Clifford algebra. Then, the antisymmetrized products of gamma matrices form a basis for the algebra, hence, by matching independent components [tex]m^2[/tex] and the number of basis [tex]2^d[/tex], we see that [tex] m = 2^{d/2} [/tex] for even dimension [tex]d[/tex].

The solution to the second equation is due to the role of [tex]\gamma_5[/tex].
That's why only in odd dimension, those basis are related by Levi-Civita tensor,
and the number of basis is reduced to [tex]2^{(d-1)/2} [/tex] for odd [tex] d [/tex].
For your information.
I found this reference which deals with Clifford algebra in a mathematical rigorous way.
http://arxiv.org/abs/hep-th/9811101
But at least those [tex]B,C[/tex] matrices are not suddenly popped.
 

Related Threads for: Dimension of the gamma matrices in general dimension

Replies
1
Views
1K
Replies
5
Views
2K
  • Posted
Replies
2
Views
3K
  • Posted
Replies
2
Views
3K
Replies
71
Views
5K
  • Posted
Replies
12
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top