How Do Lie Derivatives Connect to Symmetry and Conservation Laws in Physics?

[pcr]

I'm trying to better understand how people refer to symmetry in Physics and Differential Geometry. In "Exterior Differential Systems and Euler Lagrange Partial Differential Equations," by Bryant, Griffiths and Grossman, it seems a vector field is a symmetry of a Lagrangian if the Lie derivative of the Lagrangian with respect to the vector field vanishes. I don't see how this connects to the notion of a symmetry as a conserved quantity arising from invariance of a Lagrangian under a group of transformations as these seem to be disjoint conceptually; what is the link I wonder?

 

[jambaugh]

This is my understanding from a foundational Lie group/algebra perspective.

A Lie derivative is applied to a function over a differentiable manifold. You can't have a symmetry of the function if you are not already working with a symmetry of the manifold itself. The Lie group of continuously generated symmetries of a differentiable manifold (with no structure other than topology) is the diffeomorphism group and the generators of diffeomorphism are the Lie derivatives. You identify a vector field with a Lie derivativ by treating the vectors as rates of point flows for the one parameter diffeomorphism subgroup generated by a Lie derivative.

SIDENOTE:I think there's still something unsettled here but only in so far as this defines vector and thence tensor fields in toto without actually defining vectors at a given point per se. But this usually is resolved once a metric or similar structure is imposed so it never comes up in applications.

So if you are looking for a symmetry of a field you are looking for a subgroup of the diffeomorphism group which will map the field to itself, and this means the generators of that subgroup must, as infinitesimal actors, map the field to zero. For scalar fields:
\mathcal{D}_\epsilon \phi = \exp(\epsilon \mathcal{L}) \phi \approx ( \boldsymbol{1}+\epsilon \mathcal{L} ) \phi \to \phi
for small \epsilon.

Now to transform a vector field you need a bit more... but by identifying vector fields with the Lie derivatives you have the natural adjoint action of the Lie derivative a.k.a. vector fields, on themselves in the form of the Lie (commutator) product. But the gist of it is that we can thereby extend the actions of Lie derivatives and thus diffeomorphisms to vector and thence tensor fields.

With this in mind here's the short answer to your question.
Given a tensor field \mathbf{A} and a vector field X with corresponding Lie derivative \mathcal{L}_X, the generated 1-parameter Lie subgroup: \{ \Gamma(\theta)=\exp(\theta\mathcal{L}_X)\}_{\theta \in \mathbb{R}} is a symmetry of the field if each element of the group leaves the field invariant:
\Gamma(\theta)\mathbf{A} = \mathbf{A}\to
which implies that the corresponding Lie derivative...
e^{\theta\mathcal{L}_X}\mathbf{A}=\left[\boldsymbol{1}+\theta \mathcal{L}_X + \theta^2 \mathcal{L}_X^2 +\ldots\right]\mathbf{A}<br /> = \mathbf{A}+\boldsymbol{0}\to
maps the field to the zero field.
\mathcal{L}_X \mathbf{A} = \boldsymbol{0}

 

[jphsu]

Yes, there is a link to the external space-time symmetry in inertial frames. However, it is neither simple nor direct. The vanishing Lie derivative of an action is related to the conservation of energy-momentum in the following way: One must consider Lie derivatives in the coordinate expressions (rather than in a general manifold). In this specific case, one can verify and see that the Lie derivatives of general tensors in inertial frames is related to the (infinitesimal) local space-time translation (T_4 group): x'^\mu = x^\mu + \Lambda^\mu(x). The vanishing of the Lie derivative L_{\Lambda} of the action (via Cartan formula) of a gauge symmetry theory is equivalent to the invarince of the theory under the local T_4 translations (with 4 group generators). Hence, it implies the conservation of energy-momentum, which is more direct to see with Fock's approach rather than Noether's approach. Note that if one interprets x'^\mu = x^\mu + \Lambda^\mu(x) as arbitrary coordinate transformations in curved space-time, then there are continuously infinite numbers of generators and, as a result, it is not related to any physical conservation law in the usual sense. (Cf. Noether's theorem II in her famous 1918 paper.)