Clifford Algebra and Gamma matrices: is this relation generally true for any dimension? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T18:53:39Z http://mathoverflow.net/feeds/question/44630 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44630/clifford-algebra-and-gamma-matrices-is-this-relation-generally-true-for-any-dime Clifford Algebra and Gamma matrices: is this relation generally true for any dimension? Osiris 2010-11-02T23:57:57Z 2010-11-03T22:49:36Z <p>I expect the following relation to be vanishing. But it seems not that obvious.</p> <p><code>$\Gamma_{ab}^{\lambda}t^at^b \Gamma_{\lambda c(d)}t^c=0$</code></p> <p>where $t^a$ are even ghosts, "$ab$" are indices for matrix element, and $\lambda$ denote different Gamma matrices. The Einstein summation convention is used above, i.e. we will sum over all indices except $d$.</p> <p>I checked for both 3D and 4D Clifford algebra. The relation above seems to be right. But not sure whether it is generally true.</p> <p>Does the following equation also vanishes? </p> <p><code>$\Gamma_{\lambda a b}t^a t^b C^{\lambda} C^{\alpha}C^{\beta}=0$</code></p> <p>where $C^{\lambda}$ are odd ghosts, i.e. $C^{\alpha}C^{\beta}=-C^{\beta}C^{\alpha}$. </p> <p>The left hand side of the equation above is supposed to be something in $\wedge^2 V$, where <code>$V=\{ C^{\lambda}|\lambda=1,2,\cdots,D \}$</code>. $D$ is the dimension of the space.</p> http://mathoverflow.net/questions/44630/clifford-algebra-and-gamma-matrices-is-this-relation-generally-true-for-any-dime/44633#44633 Answer by JosÃ© Figueroa-O'Farrill for Clifford Algebra and Gamma matrices: is this relation generally true for any dimension? JosÃ© Figueroa-O'Farrill 2010-11-03T01:35:31Z 2010-11-03T01:35:31Z <p>It's not clear to me what you mean by "even ghosts". Do you mean perhaps that $t^a t^b = t^b t^a$?</p> <p>If so, then you will find that the identity is only valid in 3, 4, 6 and 10 dimensions and with lorentzian signature. Indeed, this identity is essentially the condition for the vanishing of a fermionic trilinear which appears in the supersymmetric variation of Yang-Mills coupled minimally to an adjoint fermion, which in turn is the obstruction to the existence of "pure" supersymmetric Yang-Mills.</p> <p>It is no accident that those dimensions are 2 plus the dimensions of the real division algebras: $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$ and $\mathbb{O}$. In fact, the identities are well-known identities for these algebras. In particular, when the dust clears, the ten-dimensional identities are the celebrated Moufang identities.</p> <p>Of course, if I got the definition of the even ghosts wrong, then what I say above is probably wrong.</p>