Dimension of the gamma matrices in general dimension

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.
 
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
Is it possible, and fruitful, to use certain conceptual and technical tools from effective field theory (coarse-graining/integrating-out, power-counting, matching, RG) to think about the relationship between the fundamental (quantum) and the emergent (classical), both to account for the quasi-autonomy of the classical level and to quantify residual quantum corrections? By “emergent,” I mean the following: after integrating out fast/irrelevant quantum degrees of freedom (high-energy modes...

Similar threads

Replies
6
Views
1K
Replies
3
Views
2K
Replies
0
Views
1K
Replies
3
Views
3K
Replies
3
Views
2K
Replies
2
Views
1K
Back
Top