Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am using usual physics notations and I guess the physics motivations of this question are obvious.

Let a basis of the $SO(n,m)$ Lie algebra be denoted by $S^{\mu \nu}$ and the Lie algebra be, $[S^{\mu \nu},S^{\lambda \rho}] = i(g^{\mu \rho}S^{\nu \lambda} + g^{\nu \lambda}S^{\mu \rho} - g^{\mu \lambda}S^{\nu \rho} - g^{\nu \rho}S^{\mu \lambda})$ where $g$ is the matrix $diag(-1,-1,..m-times..,-1,1,1,..n-times..,1)$.

  • At least in the $m=1$ (Lorentz) case it is true that if one can find a set of matrices $\Gamma^\mu$ such that they satisfy the "corresponding" Clifford algebra, $[\Gamma^\mu, \Gamma ^\nu] = 2g^{\mu \nu}$ then a representation of the $SO(n,1)$ Lie algebra is given by $S^{\mu \nu} = \frac{i}{4}[\Gamma ^\mu , \Gamma ^\nu]$

    Does the above construction work for arbitrary $m$ , especially $m = 0,2$ and what is the global understanding for why this should work?

  • The representation $S^{\mu \nu} = \frac{i}{4}[\Gamma ^\mu , \Gamma ^\nu]$ is how the $SO(n,1)$ Lie algebra acts on its spinorial representations. (..those representations whose weights are given by a $[\frac{n+1}{2}]$ tuple of $\pm \frac{1}{2}$..)

    What is the $m \neq 1$ generalization of the above? (...one case that I have often seen used are these two earlier questions of mine..)

  • Now my main question is to understand how the above construction - at least for the most familiar case of $n=3, m=1$ - gives an alternative to using the language of tensors.

Like to give probably the most used example - if $F_{\mu \nu}$ is a $4$-dimensional antisymmetric rank $2$ tensor then one defines the quantities $F_{\alpha \beta}$ and $\bar{F} _ {\dot{\alpha} \dot{\beta}}$ s.t $F_{\alpha \beta} = (S^{\mu \nu}) _ {\alpha \beta} F_{\mu \nu}$ and $\bar{F} _ {\dot{\alpha} \dot{\beta}} = (S^{\mu \nu})_{\dot{\alpha} \dot{\beta}} F_{\mu \nu}$

  • What exactly is the group/representation theoretic meaning behind defining these $F_{\alpha \beta}$ and $\bar{F}_{\dot{\alpha} \dot{\beta}}$?

  • In what sense is knowing the $F_{\alpha \beta}$ and $\bar{F}_{\dot{\alpha} \dot{\beta}}$ equivalent to knowing the $F_{\mu \nu}$?

  • In what sense is $F_{\alpha \beta}$ and $\bar{F}_{\dot{\alpha} \dot{\beta}}$ the self-dual ($\frac{1}{2}(F + *F)$) and the anti-self-dual ($\frac{1}{2}(F - *F)$) parts of the tensor $F$?

    • I guess from here one can also explain why the self-dual part is thought to be in the $(1,0)$ representation and the anti-self-dual part is thought to be in the $(0,1)$ representation of either the $SL(2,\mathbb{C}) \times SL(2,\mathbb{C})$ (..isometry group of the complexified Minkowski space..) or of $SU(2) \times SU(2)$ (..in in Euclidean four dimensional space..)

    • Is there an analogue of the $F_{\alpha \beta}$ and $\bar{F}_{\dot{\alpha} \dot{\beta}}$ for general $SO(n,m)$ and arbitary dimension higher rank tensors ?

share|improve this question
    
These are carefully explained in Appendix B of Polchinski vol 2. Have you had a careful look at it? –  Yuji Tachikawa Jul 16 '12 at 16:17
    
As for the 4-dimensional case, it's just that a vector is in the (1/2,1/2) representation, and so the 2-index antisymmetric tensor is in (1,0) and (0,1). The general discussion of $F_{\alpha\beta}$ (i.e. the decomposition of tensor products of two spinos in various dimensions) is again carefully explained in Polchinski, vol 2, Appendix B. –  Yuji Tachikawa Jul 16 '12 at 16:20
    
@Yuji Thanks for the comment! I have read through almost everything in that Appendix that you refer to but (1) he doesn't explain the "global" representation theoretic reason as to why any $SO(n.m)$ Lie algebra can be gotten from the commutators of the Clifford algebra. Its kind of magic! (2) He doesn't seem to explain how/why different spinors can be combined like my linked question about why that curiously twisted way of taking a direct sum of SO(n,1) spinors gives a SO(n,2) spinor. –  Anirbit Jul 16 '12 at 16:26
    
@Yuji (3) in that appendix the author doesn't seem to ever even define the quantities $F_{\alpha \beta}$ and $\bar{F}_{\dot{\alpha} \dot{\beta}}$! I don't even see this notation anywhere in that book! It would be great if you can explain this identification of the $F_{\alpha \beta}$ as the self-dual part of the tensor $F$ and then with (1,0) representation. (..and conversely with $\bar{F}_{\dot{\alpha} \dot{\beta}}$..).......may be its there in Polchinski's book in some garbed way and you can help decipher it...I have seen his sections on decomposition of spinor products. –  Anirbit Jul 16 '12 at 16:30
    
@Anirbit You should see through differing notations to get to the contents expressed in them. $F_{\alpha\beta}$ are just the symmetric part of products of spinors, and the product of spinors is discussed in p.435, "product representations." –  Yuji Tachikawa Jul 17 '12 at 10:58
show 1 more comment

1 Answer 1

I think what is going on is the following. I find it a bit difficult to wade through your notation, so I am going to use my own (or rather, the notation of Chapter 5 of Elements of Noncommutative Geometry, where I copied most of this from).

Edit: this got kind of long, so let me say what the point is. You start with a real vector space $V$ with a symmetric bilinear form $g$ and construct the corresponding Clifford algebra $\mathrm{Cl}(V,g)$. The construction that I detail below constructs an isomorphism of $\mathfrak{so}(V,g)$ with a certain subspace of "degree 2 elements" in $\mathrm{Cl}(V,g)$ (quotes because the Clifford algebra is not a graded algebra). I believe that this is the source of the connection that you are trying to find.

Let $V$ be a finite-dimensional vector space over $\mathbb{R}$ equipped with a symmetric bilinear form $g$ (of any signature). Edit: $g$ should be nondegenerate. It is standard (see for instance this question) that the Clifford algebra $\mathrm{Cl}(V,g)$ is isomorphic as a vector space to the exterior algebra $\Lambda(V)$. In particular, looking just at the degree 2 part, there is an injective linear map $Q : \Lambda^2(V) \to \mathrm{Cl}(V,g)$ given by $$ Q(v \wedge w) = \frac{1}{2} (vw - wv). $$

For brevity, let's denote $b = Q(v \wedge w) = \frac12(vw - wv) \in \mathrm{Cl}(V,g)$, and consider the operator $\mathrm{ad}_b = [b,-]$ on $\mathrm{Cl}(V,g)$. In particular, consider what this operator does to a vector $x \in V \subseteq \mathrm{Cl}(V,g)$. First, note that in the Clifford algebra we have $wv = - vw + 2g(v,w)$, so $$ \mathrm{ad}_b(x) = \left[\frac12(vw - wv), x\right] = [vw, x]$$ since the scalar term commutes with $x$.

Then using the relation $[ab,c] = a(bc + cb) - (ac + ca)b$, (which holds trivially in any associative algebra), we get \begin{align*} \mathrm{ad}_b(x) & = [vw,x] \\\ & = v(wx + xw) - (vx + xv)w \\\ & = 2g(w,x)v - 2g(v,x)w. \end{align*} In other words, the operator $\mathrm{ad}_b$ preserves the subspace $V \subseteq \mathrm{Cl}(V,g)$. Next, we check that this operator is actually in $\mathfrak{so}(V,g)$. From our calculations above, we have for any $x,y \in V$: $$ g(y,[b,x]) = 2g(w,x)g(y,v) - 2g(v,x)(y,w) = -g([b,y],x). $$ Now the map $b \mapsto \mathrm{ad}_b$ is injective, so for dimension reasons this gives that $$ \{ \mathrm{ad}_b|_V : b \in Q(\Lambda^2(V)) \} = \mathfrak{so}(V,g). $$

This was all independent of signature, so it works for any symmetric bilinear form. Sorry I couldn't dovetail this all a little better with your notation!

Edit: injectivity of the map $b \mapsto \mathrm{ad}_b$ is not totally trivial, and may only hold for certain signatures. It requires you to analyze the intersection of the even subalgebra with the center of $\mathrm{Cl}(V,g)$.

Here is how the argument should go: If $\mathrm{ad}_b$ is zero, then $b$ is even and central. Then you need to be able to conclude that $b$ is scalar, and then that $b = 0$. It requires a case-by-case analysis (probably there is a better way, but I don't see it right now) to determine when the even part of the center consists just of scalars. Then you should be able to use the trace on the Clifford algebra to conclude that $b=0$.

Further edit: I think my the argument that $b \mapsto \mathrm{ad}_b$ is injective actually does work in all signatures.

As I noted above, if $\mathrm{ad}_b = 0$ then $b$ is an even, central element of the Clifford algebra. We want to conclude that $b$ must be scalar. In most signatures, the Clifford algebra is simple, so the center consists just of scalars, so we're done. But in the two case where the Clifford algebra is not simple, the even subalgebra is simple, so a central even element must be scalar.

Then we want to show that if $\mathrm{ad}_b = 0$ then we must have $b=0$ (only for $b$ which is a linear combination of terms of the form $\frac12 (vw - wv)$). There is a unique trace $\tau$ on $\mathrm{Cl}(V,g)$ which vanishes on the odd part and satisfies $\tau(1)=1$; this is given by taking the coefficient of the identity element in a basis for the Clifford algebra consisting of increasing products of elements of a basis for $V$ (and this is independent of the basis). But the trace vanishes on our element $b$, since it is given to us as a sum of commutators. Thus $b=0$.

share|improve this answer
    
@MTS Thanks for the explanation and the reference. I am a bit confused about your condition testing whether something is in $SO(V,g)$. Why is $g(y,ad_b[x]) = -g(ad_b[y],x)$ the right condition? I would have thought that it at least has to be $g(ad_b[x], ad_b [y]) = g(x,y)$ and this doesn't seem to satisfied by your $ad_b$. I didn't get this. So you are trying to establish an isomorphism between $SO(V,g)$ and a certain subspace of $Cl(V,g)$? And you have something to say about my 6th (last) bullet point? - (and its two sub points?) –  Anirbit Jul 19 '12 at 18:01
    
The condition you mention is for a transformation to be in $SO(V,g)$, the Lie group. The condition that I wrote is for a transformation to be in $\mathfrak{so}(V,g)$, the Lie algebra of $SO(V,g)$. So this addresses specifically the first of your bullet points: from a rep of the Clifford algebra you get a rep of the Lie algebra. Applying this to the spinor rep of the Clifford algebra should give the spinor rep of the Lie algebra, which is your second point. Unfortunately I don't really understand the $F_{\mu\nu}$ notation, so I can't say much about the last points. –  MTS Jul 19 '12 at 21:20
    
@MTS Thanks for the clarification! To ask the last question invariantly - one wants to know why the self-dual part of a rank-2 anti-symmetric tensor on a (3,1) signature space be in the (1,0) representation and the anti-self dual part be in the (0,1) representation. –  Anirbit Jul 20 '12 at 16:41
    
OK, this is how I would think about that: when $V$ is 4-dimensional, the representation $\Lambda^2(V)$ of $\mathfrak{so}(V,g)$ is self-dual: the invariant pairing is given by multiplication in the exterior algebra followed by projection onto the (1-dim) top degree component. You are asking for the decomposition of $\Lambda^2(V)$ into irreducible components. I don't know the decomposition off the top of my head, but I imagine it wouldn't be hard to look up somehow. –  MTS Jul 21 '12 at 21:51
    
@MTS So in what sense is a representation "self-dual"? I have seen that term used only w.r.t Hodge dual of differential forms. Thats where I am getting stuck in interpreting. –  Anirbit Jul 23 '12 at 23:35
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.