How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Exact thermal Killing kinematic equivalence
Statement
Let be a connected open set in a smooth time-oriented Lorentzian four-manifold, let be a smooth future unit timelike vector field on (), and let be smooth. Define , , , , and as in Stationary thermal geometric data. Then is a Killing field of (equivalently by Killing fields of a Lorentzian metric and Killing fields and conserved currents, and on-shell conservation of the Hilbert stress-energy tensor) if and only if No hypersurface-orthogonality or vanishing-vorticity condition is assumed.
Facts & Assumptions
Given: A smooth future unit timelike field , a positive smooth scalar , and the metric-selected connection and kinematic definitions of Stationary thermal geometric data.
The connection is torsion-free and metric-compatible, and the definitions give , , and (Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields, Stationary thermal geometric data). Killing means , equivalently (Killing fields of a Lorentzian metric, Killing fields and conserved currents, and on-shell conservation of the Hilbert stress-energy tensor).
Proof
Differentiating gives . Decompose the first derivative slot into its component parallel to and its rest-space projection: . Symmetrizing the rest-space term and using the definitions of expansion and shear yields . Differentiating then gives
Contracting this identity with shows that implies , hence because .
Projecting both indices with gives . Taking its -trace gives , since has rank three and is trace-free; substituting back gives .
Contracting one index with and projecting the other with gives . Thus the displayed temperature-gradient condition also follows from the Killing equation.
Conversely, the four stated conditions make the parallel, mixed and rest-space projections in step 1.1 all zero. Since at every , these projections determine the full symmetric tensor ; it is zero, so is Killing. In particular, the acceleration/temperature-gradient relation alone omits the necessary conditions , and .