Dimension of the gamma matrices in general dimension

Click For Summary
SUMMARY

The dimension of gamma matrices in a d-dimensional space is determined by the properties of the matrices and their relationship with the Lorentz group. For even dimensions (d), the dimension m of the gamma matrices satisfies the equation m^2 = 2^d, leading to m = 2^{d/2}. In odd dimensions (d = 2k + 1), the dimension is given by m = 2^{(d-1)/2}. The reduction of independent components from 2m^2 to m^2 is attributed to the (anti-)hermitian properties of the gamma matrices rather than the Clifford algebra. The discussion also references the Dirac representation method and the importance of the Levi-Civita tensor in odd dimensions.

PREREQUISITES
  • Understanding of gamma matrices and their properties in quantum field theory.
  • Familiarity with the Lorentz group and its representation in physics.
  • Knowledge of Clifford algebras and their application in theoretical physics.
  • Basic concepts of anti-symmetrization and tensor calculus.
NEXT STEPS
  • Study the Dirac representation method for gamma matrices in various dimensions.
  • Explore the role of the Levi-Civita tensor in the context of anti-symmetric tensors.
  • Investigate the properties of (anti-)hermitian matrices and their implications in physics.
  • Read "Group Theory in Physics, Volume-II" by J.F. Cornwell for deeper insights into Clifford algebras.
USEFUL FOR

The discussion is beneficial for theoretical physicists, mathematicians working in quantum field theory, and students seeking to understand the dimensionality of gamma matrices in different spacetime dimensions.

ismaili
Messages
150
Reaction score
0
Dear guys,

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

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

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

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,
\bar{\psi}\gamma^{\mu\nu}\psi \rightarrow \Lambda^\mu{}_\rho\Lambda^{\nu}{}_\sigma\bar{\psi}\gamma^{\rho\sigma}\psi
where \gamma^{\mu\nu} = \gamma^{[\mu}\gamma^{\nu]}

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:
C^d_0 + C^d_1 +C^d_2 + \cdots + C^d_d = 2^d

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

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

Since the anti-symmetric tensors has a linear relation,
\gamma^{\mu_0\mu_1\cdots\mu_r} = \epsilon^{\mu_0\mu_1\cdots\mu_{2k}}\gamma_{\mu_{r+1}\cdots\mu_{2k}}.
So there are actually 2^{d}/2 independent components for odd d.
Hence, the dimension of gamma matrices in odd spacetime dimension should be 2^{\frac{d-1}{2}}.
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 2^{d/2}.
 
Last edited:
Physics news on Phys.org
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.
 
bigubau said:
Hello, I have the second volume from the 1984 edition. There's no "Appendix L". The last one is <J>. I think it's in the 3rd volume, namely this one: https://www.amazon.com/dp/0121898067/?tag=pfamazon01-20

My bad, you are right, it is the third volume, not the second. Appendix-L starts on page 475.
 
Last edited by a moderator:
ismaili said:
Dear guys,

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

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

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

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,
\bar{\psi}\gamma^{\mu\nu}\psi \rightarrow \Lambda^\mu{}_\rho\Lambda^{\nu}{}_\sigma\bar{\psi}\gamma^{\rho\sigma}\psi
where \gamma^{\mu\nu} = \gamma^{[\mu}\gamma^{\nu]}

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:
C^d_0 + C^d_1 +C^d_2 + \cdots + C^d_d = 2^d

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

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

Since the anti-symmetric tensors has a linear relation,
\gamma^{\mu_0\mu_1\cdots\mu_r} = \epsilon^{\mu_0\mu_1\cdots\mu_{2k}}\gamma_{\mu_{r+1}\cdots\mu_{2k}}.
So there are actually 2^{d}/2 independent components for odd d.
Hence, the dimension of gamma matrices in odd spacetime dimension should be 2^{\frac{d-1}{2}}.
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 2^{d/2}.

I reconsidered this recently.
I think for my first question, the reason that reduces the independent components 2m^2 into m^2 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 m^2 and the number of basis 2^d, we see that m = 2^{d/2} for even dimension d.

The solution to the second equation is due to the role of \gamma_5.
That's why only in odd dimension, those basis are related by Levi-Civita tensor,
and the number of basis is reduced to 2^{(d-1)/2} for odd d.
 
ismaili said:
I reconsidered this recently.
I think for my first question, the reason that reduces the independent components 2m^2 into m^2 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 m^2 and the number of basis 2^d, we see that m = 2^{d/2} for even dimension d.

The solution to the second equation is due to the role of \gamma_5.
That's why only in odd dimension, those basis are related by Levi-Civita tensor,
and the number of basis is reduced to 2^{(d-1)/2} for odd d.

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 B,C matrices are not suddenly popped.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
4K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 2 ·
Replies
2
Views
591
  • · Replies 3 ·
Replies
3
Views
3K