- #1
physicus
- 55
- 3
Homework Statement
When we raise and lower indices of vectors and tensors (in representations of any groups) we always use tensors which are invariant under the corresponding transformations, e.g. we use the Minkoski metric in representations of the Lorentz group ([itex]\Lambda^\mu{}_\rho\Lambda^\nu{}_\sigma\eta_{\mu\nu}=\eta_{\rho\sigma}[/itex]), for an [itex]SL(2,\mathbb{C})[/itex] representation (spinor representation) we use the antisymmetric [itex]\epsilon_{ab}[/itex] ([itex]S^a{}_c S^b{}_d \epsilon_{ab}=\epsilon_{cd}[/itex]).
The question is why we require this invariance of the tensor.
Homework Equations
The Attempt at a Solution
For example, instead of the Minkoski metric one could choose the metric [itex]\delta_{\mu\nu}[/itex] which we define to be [itex]diag(1,1,...,1)[/itex] in some coordinate system. If we define it to transform under Lorentz transformations covariantly according to its two antifundamental indices, i.e. [itex]\delta'_{\mu\nu}=\Lambda_\mu{}^\rho\Lambda_\nu{}^\sigma \delta_{\rho\sigma}[/itex], then the inner product [itex]\delta_{\mu\nu}v^\mu w^\nu[/itex] is invariant, just like the inner product defined with the Minkowski metric. The only difference is, that the contraction symbol [itex]\delta_{\mu\nu}[/itex] does transform, while [itex]\eta_{\mu\nu}[/itex] is invariant.
So what makes the invariance of the tensor we use to raise and lower indices so crucial?