Register to reply 
Number of components of Dirac spinor in arbitrary dimensions. 
Share this thread: 
#1
Jul1008, 01:20 AM

P: 129

How does one calculate the number of components a Dirac spinor in arbitrary dimensions? As far as I understand, the textbooks treat the four spacetime dimensions and here the spinor has four components because the gamma matrices must be 4x4 in nature to satisfy the required algebra. Now suppose I want to see what the case will be in five/six/arbitrarily higher dimensions. How should I proceed? Is the way to first identify dimensionality of gamma matrices which will satisfy the anticommutation algebra etc, and hence deduce the structure of the spinor? That will probably take a long time by trial and error. Is there any systematic approach?
Second question: In four dimensions, the "minimum" dimensionality of gamma matrices required to satisfy the anticommutation relations, etc is four but that means, I can choose higher dimensional matrices also, if I can find suitably in four dimensions and then the spinor structure will be higher than four and the physics will be more complicated, I guess. But no textbook deals with such picture, and I think there must be something wrong with this argument. Can anybody help me with this issue? 


#2
Jul1008, 04:35 AM

Sci Advisor
HW Helper
P: 4,300

As for the first question, it turns out that the number of components is generally [tex]2^{\lfloor d \rfloor}[/tex] with d the number of spacetime dimensions and the brackets denoting floor rounding. Nobody has ever explained to me why it is precisely this number though, and what "in general means"  just that it's true and complicated and it's a coincidence that there are 4 components in 4 dimensions. So if someone could derive this result, I'd like to know as well.
As for the second one, the gamma matrices are representations of an algebra. In four dimensions, the 4x4 matrices are an irreducible representation. But of course, if you have such 4x4 matrices [itex]\gamma^\mu[/itex] then you can always make, e.g. an 4nx4nrepresentation by setting [tex]\Gamma^\mu = \begin{pmatrix} \gamma^\mu & 0 & \cdots & 0 \\ 0 & \gamma^\mu & \cdots & 0 \\ \vdots & 0 & \ddots & \vdots \\ 0 & 0 & & \gamma^\mu \end{pmatrix}[/tex] with 0 the 4x4 null matrix, so basically it's [tex]\operatorname{diag}(\underbrace{\gamma^\mu, \cdots, \gamma^\mu}_{n \times})[/tex] Then of course the corresponding spinors will have more components, but since nothing has changed physically these are all obsolete. Probably you could decompose the whole thing into irreducible representations and consider all of them separately (and in the above case, you would get n copies of the original system, since all irreducible parts are the same). 


#3
Jul1008, 07:05 AM

P: 129

Thanks for your response, but I have doubt about what you say. According to what you say, the no. of components of spinor in d=4 is 2^4=16, which is not the case. Probably you meant 2^(d/2) where the ceiling function(d/2) is to be understood. That would make sense. But we should understand why that is true.



#4
Jul1008, 07:32 AM

Sci Advisor
HW Helper
P: 4,300

Number of components of Dirac spinor in arbitrary dimensions.
Yes, sorry, there was a /2 missing.



#5
Jul1408, 05:43 PM

P: 111




#6
Jul1608, 05:11 PM

Sci Advisor
P: 884

Dirac matrices [itex]\Gamma_{a}[/itex], a = 1,2,...,n, are defined to be irreducible representations of Clifford algebra
[tex]\{\Gamma_{a},\Gamma_{b}\} = 2 \eta_{ab} \mathbb{1} \ \ (1)[/tex] for arbitrary dimensions n and arbitrary signatures of the metric [itex]\eta_{ab} = \pm \delta_{ab}[/itex]. By adding a unit element, these matrices allow us to obtain [itex]2^{n}[/itex] numbers; [tex]\mathbb{1}, \Gamma_{a}, \Gamma_{a}\Gamma_{b},...,\Gamma_{1}\Gamma_{2}...\Gamma_{n}[/tex] which are linearly independent and thus form a basis of a [itex]2^{n}[/itex]dimensional vector space. The following two theorems (proved in some textbooks on Clifford algebra) answer all questions raised in this thread. "For a given even dimension, n =2p, and a given signature, all irreducible representations of the Clifford algebra (1) are equivalent and are given by [itex]2^{p}\times 2^{p}[/itex] matrices" This means that for any two representations [itex]\{\Gamma \}[/itex] and [itex]\{\Gamma^{'} \}[/itex], there is a nonsingular matrix S such that [tex]\Gamma^{'} = S \Gamma S^{1}[/tex] "For a given odd dimension, n =2p+1, and a given signature, there exist two and only two mutually inequivalent irreducible representations, both being [itex]2^{p}\times 2^{p}[/itex] matrices" This means that if [itex]\{\Gamma \}[/itex] is in one equivalence class then [itex]\{ \Gamma \}[/itex] is in the other. So, in any dimension n the gamma matrices are [itex]2^{p} \times 2^{p}[/itex], where [itex]p = 1,2,3,..,n/2 \ \mbox{or} \ (n1)/2[/itex]. Spinor representation of SO(n) Any element of SO(n) can be written as [tex]e^{\omega_{ab}M^{ab}}[/tex] where [itex]\omega_{ab}[/itex] are the n(n1)/2 real parameters of SO(n) and [itex]M^{ab} = M^{ba}[/itex] are a set of n(n1)/2 linearly independent matrices (generators) satisfying the Lie algebra of SO(n); [tex][M_{ab},M_{cd}] = \delta_{ac}M_{bd} + \delta_{bd}M_{ac}  \delta_{ad}M_{bc}  \delta_{bc}M_{ad}[/tex] Let [itex]\Psi_{A}, \ A = 1,2,..,m[/itex] be a multicomponent field that forms a representation of SO(n), i.e., transforms linearly as [tex]\Psi_{A} \rightarrow \left( e^{\omega_{ab}M^{ab}} \right)_{AB} \Psi_{B}[/tex] where the generators M are represented by the [itex]m \times m[/itex] matrices [tex]\left(M^{ab}\right)_{AB}[/tex] A representation of M in terms of Clifford numbers; [tex]\left(M^{ab}\right)_{AB} \propto \left( \Gamma^{[a} \Gamma^{b]} \right)_{AB}[/tex] where [itex] A,B = 1,2,3,...2^{p}[/itex], [itex]p \geq 1[/itex], define the spinor representation of SO(2p) and SO(2p+1); Since the generators M are given by [itex]2^{p} \times 2^{p}[/itex] matrices in this representations, the multicomponent field [itex]\Psi_{A}[/itex] has [itex]2^{p}[/itex] components and is called (multi)spinor. So in n = 4,5 Dirac bispinor has 4 components, in n = 6,7, it has 8 components, etc. regards sam 


#7
Oct1110, 11:21 AM

P: 1

Hello
For an pseudoEuclidean Space E (with an arbitrary number of time like dimension) with dim(E)=2n or dim(E)=2n+1, a spinor has 2^n components, according: Abraham Paist, Journal of Mathematical Physics, Volume 3, Number 6, NovemberDecember 1962, p11351139, "on Spinors in n Dimensions" 


#8
Feb2212, 08:10 AM

P: 1

Can anyone please mention some textbooks which provides the complete proof of the above two theorems?



Register to reply 
Related Discussions  
Mathematica, fitting an arbitrary number of parameters  Math & Science Software  4  
The exact meaning of the 4 components of the Dirac Spinor  Quantum Physics  14  
Help! About charge conjugation of Dirac spinor  Quantum Physics  1  
Help about the charge conjugation of Dirac spinor  High Energy, Nuclear, Particle Physics  0  
Spinor fields and spinor wave functions  Quantum Physics  1 