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.
Selected stationary thermal equilibrium
One selected comoving bath on a connected smooth Lorentzian domain with a future timelike Killing field and a Killing inverse-temperature vector; no universal equilibrium existence, KMS state, or empirical thermometer law.
Postulate
On a nonempty connected open set in the smooth, time-oriented Lorentzian four-manifold of Thermodynamics-GR fields, currents, reference normalization and units, select one smooth future timelike Killing field and one smooth scalar in kelvins. Its dimensionless lapse and selected observer congruence are
Thus and the physical four-velocity is in the length-coordinate convention . A reference normalization of is part of the selected model. The local temperature is assigned to this comoving observer congruence; it is not a coordinate temperature or a value assigned to every observer.
Adopt the inverse-temperature vector
where is Boltzmann's constant in joules per kelvin, and assume that this field is Killing on . In this item, a selected stationary thermal equilibrium means precisely this adopted bath, observer congruence, positive proper-temperature field, and Killing condition on . The field is not assumed constant here; its constancy is the conclusion of Conditional Tolman–Ehrenfest relation.
This is a model assumption, not a statement that every stationary geometry admits a thermal state or that every material realizes this bath. It asserts no complete Killing flow, KMS state, trace-class stress exponential, collision or thermalization law, Hawking or Unruh temperature, or empirical thermometer reading.
Depends on
Dependency tree · 2 levels
Sources
- Rubén O. Acuña-Cárdenas, Carlos Gabarrete, and Olivier Sarbach, An introduction to the relativistic kinetic theory on curved spacetimes, §§VI.B–VI.C
- Francesco Becattini, Thermodynamic equilibrium in relativity: four-temperature, Killing vectors and Lie derivatives, §§4–6
- Jessica Santiago and Matt Visser, Tolman-like temperature gradients in stationary spacetimes, §§III–IV