Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

How does one show that the bracket of elements in the Lie algebra of $SO(n,m)$ is given by

$$[J_{ab},J_{cd}] ~=~ i(\eta_{ad} J_{bc} + \eta_{bc} J_{ad} - \eta_{ac} J_{bd} - \eta_{bd}J_{ac}),$$

where $\eta$ has is the definite symmetric form with signature $(n,m)$?

share|improve this question
    
Good question, although I wonder if perhaps it would be better placed on Mathematics. We can migrate it if necessary. Also, have you looked at any resources (textbooks, websites) to try to find an explanation? –  David Z May 18 '12 at 3:10
    
Yes, I have. I can easily do the case for SO(n) but I am having trouble with SO(m,n). I came across this question while working through Francesco's dome on Conformal Field Theory. This is one step in the proof the the conformal group of (compactified) (n+m)-dim'l flat space is the same as SO(n+1,m+1). This is one of the basic "hints" in the motivation of the AdS/CFT correspondence. –  yca May 18 '12 at 3:24
1  
OK, well I just wanted to suggest that it'd help to add something in the question about what you've already looked at, so that we don't just tell you to go back to those resources. –  David Z May 18 '12 at 3:42
    
I understand. I have looked at some other of the few CFT books, and some Lie group texts (such as Hall) but none of them have been too helpful. –  yca May 18 '12 at 3:57
add comment

2 Answers 2

up vote 10 down vote accepted

By definition, the metric tensor $\eta_{ij}$ transforms trivially under the defining rep of $SO(n,m)$. $$ \eta_{ij}=[D(g^{-T})]_{i}^{\ k}[D(g^{-T})]_{j}^{\ l}\eta_{kl} =[D(g^{-1})]^{k}_{\ i}[D(g^{-1})]^{l}_{\ j}\eta_{kl} $$ and this holds for all $g\in SO(n,m)$. Consider a one-parameter subgroup of the defining rep with matrices $D(g)=e^{tJ}$ where $J^{i}_{\ j}$ is an element of the Lie algebra and $t$ is a real parameter. Substitute into the above equation, $$ \eta_{ij}=[e^{tJ}]^{k}_{\ i}[e^{tJ}]^{l}_{\ j}\eta_{kl} $$ and differentiate wrt $t$ at the identity $t=0$. $$ 0=J^{k}_{\ i}\delta^{l}_{\ j}\eta_{kl}+\delta^{k}_{\ i}J^{l}_{\ j}\eta_{kl} =J^{k}_{\ i}\eta_{kj}+J^{k}_{\ j}\eta_{ik} $$ This is the condition that the elements of the Lie algebra must obey. The Lie algebra elements can be generated by an antisymmetrized pair of vectors $x^{i}$, $y^{j}$. $$ J^{i}_{\ j}=x^{i}y_{j}-y^{i}x_{j} $$ where lowering is performed by the metric tensor $x_{i}=\eta_{ij}x^{j}$. The Lie algebra condition is automatically satisfied by generating the Lie algebra elements in this way. The Lie algebra elements $J_{ab}$ in the question are just made by choosing the vectors $x$ and $y$ as the basis vectors $x^{i}=\delta{^i}_{a}$, $y_{i}=\eta_{ij}\delta^{j}_{b}=\eta_{ib}$. $$ [J_{ab}]^{i}_{\ j}=\delta^{i}_{a}\eta_{jb}-\delta^{i}_{b}\eta_{ja} $$ Now compute the commutator (hopefully two different uses of square brackets is not too confusing), $$ [J_{ab},J_{cd}]^{i}_{\ j}=[J_{ab}]^{i}_{\ k}[J_{cd}]^{k}_{\ j}-[J_{cd}]^{i}_{\ k}[J_{ab}]^{k}_{\ j} $$ and a few lines of straightforward calculation gives, $$ [J_{ab},J_{cd}]^{i}_{\ j}=\eta_{bc}[J_{ad}]^{i}_{\ j}-\eta_{ac}[J_{bd}]^{i}_{\ j}-\eta_{bd}[J_{ac}]^{i}_{\ j}+\eta_{ad}[J_{bc}]^{i}_{\ j} $$ as the commutator for the defining rep. The Lie algebra is the same for all the group reps. The question asks for the commutator for a unitary rep of the group. To do this, the one-parameter unitary subgroup is $D(g)=e^{itJ}$ and so the Lie algebra elements of the defining rep are redefined as belonging to a unitary rep by the replacement $J\rightarrow iJ$. The commutator now becomes, $$ [iJ_{ab},iJ_{cd}]=\eta_{bc}iJ_{ad}-\eta_{ac}iJ_{bd}-\eta_{bd}iJ_{ac}+\eta_{ad}iJ_{bc}\\ -[J_{ab},J_{cd}]=i\eta_{bc}J_{ad}-i\eta_{ac}J_{bd}-i\eta_{bd}J_{ac}+i\eta_{ad}J_{bc} $$ which is the commutator in the question apart from an overall sign change. This is easily fixed by changing the definition of the Lie algebra elements of the defining rep to, $$ [J_{ab}]^{i}_{\ j}=\delta^{i}_{b}\eta_{ja}-\delta^{i}_{a}\eta_{jb} \ . $$

share|improve this answer
add comment

Here we will sketch a possible derivation.

  1. Let $\eta\in {\rm Mat}_{n\times n}(\mathbb{R})$ be a real symmetric matrix of signature $(p,q)$, where $n=p+q$.

  2. Define the Lie group $$O(p,q)~:=~ \{ \Lambda\in {\rm Mat}_{n\times n}(\mathbb{R}) \mid \Lambda^T\eta \Lambda = \eta \}, $$ where $\Lambda^T$ denotes the transposed $\Lambda$ matrix. Prove for fun that $O(p,q)=O(q,p)$.

  3. Prove that if $\Lambda_1, \Lambda_2 \in O(p,q)$, then the matrix product $\Lambda_1 \Lambda_2\in O(p,q)$.

  4. Prove that if $\Lambda \in O(p,q)$, then the inverse matrix $\Lambda^{-1} \in O(p,q)$.

  5. Define the Lie algebra $$ o(p,q)~:=~ \{ M\in {\rm Mat}_{n\times n}(\mathbb{R}) \mid M^T\eta + \eta M = 0\}. $$

  6. Prove that if $M_1, M_2 \in o(p,q)$, then the matrix commutator $$[M_1, M_2]~:=~M_1M_2-M_2M_1 ~\in ~o(p,q).$$

  7. If $O(p,q)\ni \Lambda= {\bf 1}_{n\times n}+ M$, where $M\in {\rm Mat}_{n\times n}(\mathbb{R})$ is infinitesimal, prove that $M\in o(p,q)$.

  8. Define generators $J^{ij}= -J^{ji}\in{\rm Mat}_{n\times n}(\mathbb{R})$ as $$ (J^{ij})^k{}_{\ell}~:=~\eta^{ik}\delta^j_{\ell} - (i \leftrightarrow j). $$

  9. Prove that $J^{ij}\in o(p,q)$.

  10. Prove that $$ [J^{ij},J^{k\ell}]~=~ \left(\eta^{jk}J^{i\ell} - (i \leftrightarrow j)\right) - (k \leftrightarrow \ell). $$

  11. The above convention makes the Lie algebra $o(n)$ the set of skewsymmetric real $n\times n$ matrices, which are anti-Hermitian. If you would like the Lie algebra $o(n)$ to instead be the set of Hermitian $n\times n$ matrices, modify the above definitions with appropriate factors of the imaginary unit $i$.

share|improve this answer
    
Good answer as well, thank you. –  yca May 19 '12 at 17:40
add 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.