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.

The generators of the translation group $T(4)$ are given below:

$P_0 \equiv -i \begin{pmatrix} 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix};$ $P_1 \equiv -i \begin{pmatrix} 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix};$ $P_2 \equiv -i \begin{pmatrix} 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix};$ $P_3 \equiv -i \begin{pmatrix} 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix};$

with $P_\mu = g_{\mu\nu}P^\nu$ with metric sign convention: $(+,-,-,-)$.

Is it correct to use the contravariant notation for the generators initially ?

share|improve this question
1  
Shouldn't matter what you start with. –  suresh Jul 22 at 0:11

1 Answer 1

up vote 1 down vote accepted

The generators are covariant vectors in space-time. Following Ome, in order to represent the translation generators by matrices, space-time is a 4-d projective space where points are rays $x^{i}\in V_{5}$ with $i=0,1,2,3,4$. Suppose Alice's coords are $x^{i}$ and Bob's are $x'^{i}$ and Alice is boosted along Bob's positive x axis with a small boost parameter $\eta$. The boost is, $$ x'^{0}=x^{0}+\eta x^{1}\\ x'^{1}=x^{1}+\eta x^{0} $$ which implies that the boost is the Lie algebra element, $$ K^{i}_{\ j}=\delta^{i}_{0}\delta^{1}_{j}+\delta^{i}_{1}\delta^{0}_{j} $$ because, $$ x'^{i}=x^{i}+\eta K^{i}_{\ j}x^{j} \ . $$ Ome's translations are, $$ [P_{k}]^{i}_{\ j}=\delta^{i}_{k}\delta^{4}_{j} $$ where the $(-i)$ factor has been omitted because everything is classical at present. Using the matrix commutator for the Lie bracket, $$ [P_{1},K]=-P_{0} $$ The response of $P_{1}$ to the boost is, $$ P'_{1}=P_{1}+\eta[P_{1},K]=P_{1}-\eta P_{0} \ . $$ Now compare this equation with the response of the contravariant space-time coordinate $x^{1}$ in the second equation at the top; when we think of $P_{1}$ as a vector in space-time, it is not transforming as a contravariant vector. It's easy to see that it is transforming as a covariant vector in $V_{5}$. So, the translation generators are covariant vectors in space-time $P_{i}\in\tilde{V}_{5}$.

share|improve this answer
    
Superb answer. I started treating it as the contravariant and messed up. –  Ome Aug 5 at 15:57
    
Thanks, when you posted the question, I was confused about this, having also assumed the translation generators were contravariant. –  Stephen Blake Aug 5 at 19:35

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.