What is the most general meaning of the expression covariant, but not manifestly covariant? Suppose I have a general (local) change of coordinates, $x^{\prime} = f(x)$, on an $(n+1)$-dimensional smooth manifold on which some classical fields are defined, say $A_{\alpha}(x_0,x_1,...,x_n)$, which transform into $A_{\alpha}^{\prime}(x^{\prime})$. Suppose the fields $A_{\alpha}(x)$ satisfy some equations of motion, where $x_0 = t$. How should these EOMs look like to be covariant with respect to the given change of coordinates, but not manifestly covariant? Could you explain in plain words the difference between the 2 forms of the EOMs?
If possible, can you write down a practical example of such a situation encountered in physics?
Thx.
Answer
In my experience, we usually call an expression manifestly covariant under some transformation if all the objects which appear in the transformation transform as tensors (or tensor fields) under the transformation.
For example, Maxwell's equations are not manifestly covariant under Lorentz transformations when written in terms of $\vec E$ and $\vec B$ fields, because these do not transform at tensors. On the other hand, Maxwell's equations written in terms of the electromagnetic field strength tensor $F_{\mu\nu}$, 4-vector current $j^\mu$, and '4-derivative' $\partial_\mu$ are manifestly covariant (under Lorentz transformations), because these objects transform as 2-tensors, vectors, and 1-forms, respectively.
Note that it's important to specify which transformations we're talking about. For example, Maxwell's equations in terms of $\vec E$ and $\vec B$ fields are manifestly covariant under rotations.
I don't think the story changes much for local transformations.
No comments:
Post a Comment