
#1
Oct2704, 08:17 AM

Sci Advisor
P: 124

Hi everyone,
From the condition: [tex] \gamma_{\mu}\gamma_{\nu}+\gamma_{\nu}\gamma_{\mu} = 2g_{\mu\nu} [/tex] how does one formally proceed to show that the objects [tex]\gamma_{\mu}[/tex] must be 4x4 matrices? I unfortunately know very little about Clifford algebras, and for this special relativity project of mine I'd much rather not need brute force! Cheerio! Kane PS: I'm using the signature (+) for the metric tensor, although this should only change the content of the matrices, not the proof itself, I suspect. PPS: I quite realise that it probably cannot be shown that the gamma matrices *must* be 4x4 matrices, what I want to know is if the anticommutator conditions are precisely the defining relations for a R(1,3) Clifford algebra or something like that, and how we eliminate the possibility of lowerdimensional 'isomorphisms' (don't know the correct algebra mapping term) existing. 



#2
Oct2704, 08:54 AM

Sci Advisor
HW Helper
P: 2,886

From [itex] \gamma_0^2 =1 [/itex] one sees that the eigenvalues are [itex] \pm 1 [/itex] (and [itex] \pm i[/itex] for the other gamma matrices). Also it's easy to show from the anticommutation relations that the matrices must be traceless. From those two conditions, a representation must be even dimensional. Since we need 4 linearly independent matrices, 2 dimensions is not enough (there's only the 3 Pauli matrices available). So the next possibility is 4 dimensions. Pat 



#3
Oct2804, 02:31 AM

P: 9

I could be wrong here, forgive me if I am. I haven't really gotten around to calculating specifically Dirac's gamma matrices. however, note that the metric tensor g is symmetric under interchange of indices, maybe proceed from there.




#4
Oct2804, 05:38 AM

Sci Advisor
P: 124

Dirac Gamma Matrices
No it's fine , I am really just trying to understand how to justify the selections step by step other than just guessing the things.
Thanks, Kane 



#5
Oct2804, 06:39 AM

Sci Advisor
P: 124

I get all of it now except why the matrices must be of even dimension. I've read on the net about a hundred times that it is because the eigenvalues are so and so and the matrices are traceless, but I can't see it  why can't you have a traceless odddimension square matrix with eigenvalues of say plus or minus 1?
Cheers, Kane 



#6
Oct2804, 08:56 AM

Sci Advisor
HW Helper
P: 11,866

You can find a good proof in the case D=4 in the article written by Wolfgang Pauli:"Contributions mathématiques à la théorie des matrices de Dirac"Ann.Inst.Henri Poincaré 6,109136(1936).You can find this article in the book :"Wolfgang Pauli Collected Scientific Papers" edited by R.Kronig & V.F.Weisskopf,Interscience Publishers,a division of John Wiley & Sons,Inc.,1964,volume 2,page 753.
He uses [tex] \displaystyle{x_{4} = x^4 = ict} [/tex] so be careful with the transcription to coordinates with [tex] \displaystyle{\eta_{\mu\nu} = diag (+1\1\1\1)} [/tex]. Good luck in all!! 



#7
Oct2804, 10:07 AM

Emeritus
PF Gold
P: 8,147





#8
Oct2804, 10:11 AM

Sci Advisor
HW Helper
P: 2,886

Because (as SelfAdjoint already mentioned) if you go to a basis where the gamma are diagonal, the trace is the sum of the eigenvalues. If the eigenvalues are [itex] \pm 1[/itex] and the sum of the eigenvalues is 0, therefore.... Pat 



#9
Oct2804, 11:37 AM

Sci Advisor
HW Helper
P: 11,866

states that if [tex] \gamma_{\mu} [/tex] and [tex] \gamma_{\mu}\prime [/tex] are 2 irreductible representations of the Clifford algebra (and hence satisfy the anticommutation relations),then there is a NONSINGULAR MATRIX "S" such that [tex] \gamma_{\mu}\prime = S\gamma_{\mu}S^1[/tex],and that this matrix is unique,except for an arbitrary multiplicative factor. To quote Jauch,Rohrlich,Appendix A2: "The proof of the main theorem is greatly facilitated by the powerful lemma of Schur (I.Schur,<<Neue Begruendung der Theorie der Gruppencharaktere",Sitzungsber.Preuss.Akad.,1905,p.406) which,for our purpose,may be formulated as follows:Let [tex] \gamma_{r} [/tex] and [tex] \gamma_{r}\prime [/tex] two irreductible representations of degree n,n' ([tex]n\leq n\prime [/tex]) and let S be a matrix with n' rows and n columns which connects the two representations by [tex] \gamma_{r}\prime S = S\gamma_{r} [/tex].Then S is either the null matrix (the matrix which consists only of zeros) or it is nonsingular.In the latter case,n=n'" And then a demonstration of Schur's lemma is given. It's also the Schur's lemma that enebles us to prove Burnside's theorem:"The matrices of an irreductible ndimensional representation of any group contain [tex] n^2 [/tex] LINIARLY INDEPENDENT MATRICES".I quoted from Francis D.Murnaghan's book:" The theory of group representations",The John Hopkins Press,Baltimore,1938,p51 (for a reference to Schur's lemma,v p.47). To conclude:irreductible matrix representations of the Clifford algebra constructed as the liniar space of complex n*n matrices together with the anticommutation relation cannot have odd number of lines and columns.It follows that n can be only even.For n=2 you find the Pauli matrices+unit matrix.For n=4,you have the Dirac matrices,etc. The anticommutation relation enebles us to find EXACTLY 16 liniarly independent elements of the Clifford algebra,and hence,using Burnsides theorem to find that for Clifford algebra given by [tex] \gamma_{(\mu} \gamma_{(\nu} = 2g_{\mu\nu} I_n [/tex] "n" MUST be 4. 



#10
Oct2804, 11:43 AM

Sci Advisor
HW Helper
P: 11,866

[tex] \gamma_{(\mu} \gamma_{\nu)} = 2g_{\mu\nu} I_n [/tex] I'm still a novice in editing TEX 



#11
Oct2804, 04:08 PM

Emeritus
PF Gold
P: 8,147





#12
Oct2804, 08:34 PM

Sci Advisor
P: 124

Thanks again, Kane 



#13
Nov204, 03:51 AM

Sci Advisor
P: 124

Ok. I have been looking at this problem quite a bit in order to find a good balance between simplicity and rigour in making this argument. So, my question is  is the following correct?
1. The operators [tex]\gamma_{\mu}[/tex] together with their anticommuting property have the structure of a Clifford algebra. We assume the Clifford algebra is finite dimensional and over some complex space (can't justify it, don't know enough about Clifford algebras  help?). Hence it is isomorphic to a matrix algebra over R, C or H, and we have a matrix representation. For each gamma operator it's matrix must be traceless (sum of eigenvalues is zero). 2. From the four operators you can (by multiplication) construct exactly 16 operators. Using the traceless property one can show the 16 operators are linearly independent. As such the dimension of the Clifford algebra is 16. This implies the underlying vector space has dimension 4 (16 = 2^4). Therefore our Clifford algebra is over a 4D vector space and (since n is even) is isomorphic to the 4x4 complex matrix algebra. The reason I've taken this approach is that I still can't justify to myself that the gammas are diagonalisable directly, hence I can't use the simple trace/eigenvalue pair argument. Thanks in advance! Kane 



#14
Nov304, 02:17 AM

Sci Advisor
HW Helper
P: 11,866





#15
Nov304, 04:21 AM

Sci Advisor
P: 124

http://en.wikipedia.org/wiki/Clifford_algebra
Under Bases and Dimension it gives the dimension of a Clifford algebra to be 2^n, where n is the basis of the underlying vector space. Of course, wiki isn't the greatest source in the world. The point is, to use Burnside's theorem convincingly (to myself) I would have to know a lot more about the underlying maths, which unfortunately I don't (although that will be fixed over the Dec/Feb summer hols). Cheerio, Kane 


Register to reply 
Related Discussions  
Gamma matrices  Introductory Physics Homework  3  
Gamma matrices  Advanced Physics Homework  5  
Gamma matrices  Advanced Physics Homework  2  
Dirac Gamma matrices including gamma^5, and the Spacetime Metric g_uv  General Physics  8  
Need help with gamma dirac matrices  Advanced Physics Homework  1 