Palatini identity


In general relativity and tensor calculus, the Palatini identity is:
where denotes the variation of Christoffel symbols and indicates covariant differentiation.
A proof can be found in the entry Einstein–Hilbert action.
The "same" identity holds for the Lie derivative. In fact, one has:
where denotes any vector field on the spacetime manifold.