2

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.

Qmechanic
  • 201,751
user22208
  • 443
  • 2
    Maxwell's equations in terms of electric and magnetic fields are covariant but not manifestly covariant. The equation $\partial_\mu F^{\mu\nu} = j^\nu$ is manifestly covariant. – knzhou Aug 22 '16 at 00:34
  • @knzhou Thx for input, but can you explain in plain words the difference between manifestly covariant vs covariant but not manifestly covariant? I can see that it has to do with the kind of objects one uses for expressing the EOMs, and their transformation properties, but I would like to see it expressed clearly in words. You can write an answer and I will vote it! – user22208 Aug 22 '16 at 00:45
  • @knzhou If the form of EOMs remains the same (since this is the meaning of covariance), then what makes one form manifest and the other not manifest? If you know please share. – user22208 Aug 22 '16 at 00:58
  • @Qmechanic I've searched and saw you're the best at symmetry questions. Could you please help me with this one? Maybe it sounds too silly for you, but I really want to know the answer. All the people I've asked refer to Maxwell's equations written in 2 forms like above, but they cannot describe in words the difference. – user22208 Aug 22 '16 at 01:20
  • @user22208 FYI, you can't ping users who haven't yet commented or otherwise been involved with a post. See http://meta.stackexchange.com/questions/43019/how-do-comment-replies-work – jjc385 Aug 22 '16 at 23:25
  • @jjc385 Oops, I really didn't know about that rule. I'm very sorry for having done that! Please believe me that had I known that I would never have contacted someone who had not been involved yet. My apologies to Qmechanic and to everybody else. – user22208 Aug 23 '16 at 01:59
  • @user22208 No need to apologize; you simply didn't know. But to clarify, I didn't just mean you're not allowed to ping them -- I meant that attempting to ping them has no effect. The tag for Qmechanic you put in your previous comment simply did nothing -- nobody was notified about it. – jjc385 Aug 23 '16 at 02:32
  • I have always thought "manifestly covariant" was the same as saying "obviously covariant". This is consistent with the dictionary definition of "manifestly" which is "clear or obvious to the eye or mind". For example, you must do some algebra to show that Maxwell's four equations with E and B are covariant under Lorentz transformations, but when the equations are expressed using $F_{\mu\nu}$ the covariance is obvious just by looking at it because the objects are tensors and the indices are balanced. – Gary Godfrey Oct 11 '19 at 18:12

2 Answers2

4

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.

jjc385
  • 218
2

I'll expand on jjc385's answer with an example of how equations of motion can arise in a non-manifestly covariant form. In curved spacetime, the Lagrangian density can be written as $\mathcal{L}=\sqrt{\left| g\right|}\mathcal{L}_0$, with $\mathcal{L}_0$ a scalar called the scalar Lagrangian density. The action is then $S=\int d^4x\sqrt{\left| g\right|}\mathcal{L}_0$, also a scalar. The equation of motion $\frac{\partial\mathcal{L}}{\partial\phi}=\partial_\mu\frac{\partial\mathcal{L}}{\partial\partial_\mu\phi}$ is not manifestly covariant, because the two sides of the equation aren't tensors in a general spacetime. However, you can derive the equation of motion from first principles in another form, $\frac{\partial\mathcal{L}_0}{\partial\phi}=\nabla_\mu\frac{\partial\mathcal{L}_0}{\partial\nabla_\mu\phi}$. (That's assuming $\phi$ has nothing to do with the metric tensor; if it does, we get a more complicated result, but the point I'm making remains the same.) This only uses tensors, so it is manifestly covariant.

J.G.
  • 24,837