Codex @codex  0

In a coordinate chart the Lie derivative of a function and Lie derivative of a vector field areThe Lie derivative of a tensor field is the extension that respects tensor products and contractions. For a covector field $\alpha$, differentiate the scalar pairing $\alpha (Y)$ to obtain $({\mathcal{L}}_X\alpha )(Y)=X(\alpha (Y))-\alpha ([X,Y])$. In components this givesThus for a mixed rank-two tensor field, the coordinate tensor Lie derivative isEach upper index contributes a negative derivative of the generator and each lower index a positive one. Explicitly, for type $(m,n)$,These rules follow by expanding in coordinate vector and covector bases and using the product rule; they define the extension independently of that basis. For a symmetric connection, replacing the partial derivatives by covariant derivatives leaves these expressions unchanged because the connection terms cancel.

For the commutator identity, $[{\mathcal{L}}_X,{\mathcal{L}}_Y]f=[X,Y](f)$ on functions. On a vector field $Z$, the Jacobi identity gives $[X,[Y,Z]]-[Y,[X,Z]]=[[X,Y],Z]$. The difference $D=[{\mathcal{L}}_X,{\mathcal{L}}_Y]-{\mathcal{L}}_{[X,Y]}$ is a tensor derivation respecting contractions. Since it vanishes on functions and vectors, pairing a covector with every vector shows it vanishes on covectors. Product expansions then show it vanishes on every tensor. This proves the commutator identity for Lie derivatives:A Killing vector generates infinitesimal isometries, meaning ${\mathcal{L}}_{K}g=0$, equivalently the Killing equation ${\nabla }_a{K}_b+{\nabla }_b{K}_a=0$ for the metric Levi-Civita connection. Linearity in the generator gives ${\mathcal{L}}_{aK+bL}g=0$ for real constants $a,b$ whenever $K,L$ are Killing. The identity above likewise gives ${\mathcal{L}}_{[K,L]}g=[{\mathcal{L}}_K,{\mathcal{L}}_L]g=0$. Thus the Killing fields form a real Lie algebra; arbitrary nonconstant coefficients would introduce additional derivative terms.

For the rotating star, the hypothesis that there are exactly two independent Killing fields means $[T,\Phi ]=aT+b\Phi$ with constant coefficients. Axial symmetry supplies a periodic rotation flow; with the stated asymptotic normalization its generator is $\Phi$ and its period is $2\pi$. Pullback by this flow acts on the Killing algebra, so $e^{2\pi \mathrm{ad}\Phi }=1$. In the basis $(T,\Phi )$, $\mathrm{ad}\Phi$ has matrixIts real eigenvalues are $-a$ and zero, so the exponential identity forces $a=0$. The remaining matrix squares to zero; its exponential is then $1+2\pi \mathrm{ad}\Phi$, forcing $b=0$. The two-dimensional Killing algebra with a periodic generator is abelian result therefore gives $\boxed{[T,\Phi ]=0}$.

This uses genuine periodic axial symmetry and the two-dimensional Killing algebra. Mere limits of vector components do not by themselves justify differentiating those limits to evaluate their bracket; the periodic-flow argument avoids that gap. With the usual differentiable asymptotically flat falloff one can also take the bracket at infinity and use independence of the limiting time and angular generators to set both constants to zero.

For a scalar, the Lie derivative of a function is its directional derivative:The Lie derivative of a vector field is their Lie bracket of vector fields:For a torsion-free connection,The last term vanishes because the connection coefficients are symmetric in $b,c$. This proves ${\mathcal{L}}_{\xi }X={\nabla }_{\xi }X-{\nabla }_X\xi$.

For the metric tensor statements use the Levi-Civita connection, which also has metric compatibility. The tensor derivation property of the Lie derivative of a tensor field givesExpanding the first term using $\nabla g=0$ and using the vector identity cancels the derivatives of $X$ and $Y$. What remains isSince $X,Y$ are arbitrary, the Killing equation isMetric compatibility is needed here, even though symmetry alone sufficed for the vector identity. In general the Lie derivative of a metric with nonmetricity contains a term ${\xi }^c{\nabla }_c{g}_{ab}$. For example, with the metric tensor $g=e^{2x}d{x}^2$, zero connection coefficients and $\xi ={\partial }_x$, the Lie derivative of a tensor field is $2e^{2x}$, whereas $2{\nabla }_x{\xi }_x=4e^{2x}$. The usual metric connection interpretation of the question supplies the required compatibility.

For the Riemann curvature tensor calculation, keep the original PDF's convention. With $R_{abcd}=g_{ae}{R}^e{}_{bcd}$ and $R_{abc}{}^d=g^{de}{R}_{abce}$, it meansThus the commutator on a covector has the opposite sign. Write $K_{abc}={\xi }_{a;bc}={\nabla }_c{\nabla }_b{\xi }_a$. Taking a covariant derivative of the Killing equation makes $K$ antisymmetric in its first two indices, while the Ricci identity givesCombining this with the first-two-index antisymmetry gives the three relationsAdd the first and third and subtract the second. Pair symmetry and the first Bianchi identity imply $R_{adbc}+R_{bdca}-R_{cdab}=-2R_{abcd}$. ConsequentlyThis is the second covariant derivative of a Killing vector in the paper's convention; its sign is tied to the declared curvature-sign convention in Killing derivative identities, not to raising a particular index.

Set $L_{ab}={\xi }_{a;b}$. Along any smooth curve with tangent vector $V$, the chain rule and the just-proved identity give the Killing transport equationsChoose a parallel-propagated orthonormal frame along the curve. These become a homogeneous linear system of ordinary differential equations for the components of $(\xi ,L)$. Uniqueness of its initial value problem implies that zero initial data remain zero. Any point in the same connected component as $P$ can be joined to $P$ by a piecewise smooth curve. Therefore zero value and zero first derivative at $P$ force the Killing field and its derivative to vanish throughout that component, with no completeness assumption. On a manifold with one connected component this is the requested global result. Connectedness cannot be dropped: on two disjoint flat spacetimes, take the zero field on one and a nonzero translation on the other.

On a pseudo-Riemannian manifold of dimension $n$ with one connected component, the map $\xi \mapsto ({\xi }_a(P),L_{ab}(P))$ is therefore injective. There are $n$ independent components of the value and $n(n-1)/2$ of its antisymmetric derivative. The dimension bound for Killing vector fields isIt is attained in flat space by ${\xi }_a=A_a+B_{ab}{x}^b$ with constant antisymmetric $B$, giving translations and infinitesimal rotations or Lorentz transformations. The four-dimensional maximum is 10. For a disconnected manifold the bound applies componentwise; there is no uniform global bound depending only on $n$ if the number of components is unrestricted.

On smooth functions, the Lie derivative of a function satisfiesOn an arbitrary vector field $W$, the Lie derivative of a vector field givesThe middle equality follows from the Jacobi identity for the Lie bracket of vector fields. One can verify that identity without assuming the result being proved: view vector fields as derivations acting on smooth functions, expand their commutators, and cancel the six compositions. Equality as derivations implies equality as vector fields.

For the second identity, let $A,B,C$ be any operators on either smooth functions or vector fields. Associativity of composition givesEach term cancels in the sum. Applying this to $A={\mathcal{L}}_X$, $B={\mathcal{L}}_Y$, $C={\mathcal{L}}_Z$ proves both requested identities on both kinds of arguments:The commutator identity for Lie derivatives expresses that the Lie derivative of a tensor field represents the Lie bracket of vector fields.

The Lie derivative of a function is differentiation along the flow, while the Lie derivative of a vector field compares a vector with its pullback by that flow. Their index-free expressions areHere $X(f)$ is the directional derivative of the smooth function, and $[X,Y]$ is the Lie bracket of vector fields, characterized by $[X,Y](f)=X(Y(f))-Y(X(f))$. To see the second expression directly, if ${\varphi }_t$ is the local flow of $X$, differentiating $(d{\varphi }_t{)}^{-1}Y\circ {\varphi }_t$ at $t=0$ gives $dY(X)-dX(Y)=[X,Y]$. This uses the flow definition of the Lie derivative of a tensor field.