Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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

Physical scope

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 O 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 T:O→(0,∞) in kelvins. Its dimensionless lapse and selected observer congruence are

Nξ:=−g(ξ,ξ)>0,u:=ξ/Nξ.

Thus g(u,u)=−1 and the physical four-velocity is cu in the length-coordinate convention x0=ct. A reference normalization of ξ is part of the selected model. The local temperature T 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

β:=ukBT,

where kB>0 is Boltzmann's constant in joules per kelvin, and assume that this field is Killing on O. 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 NξT 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