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.
Thermodynamics-GR fields, currents, reference normalization and units
Explicit primitive/derived quantities, mechanical versus energy covectors, proper versus KillingT, scalar/vectorβ and KMS time-length width, geometric/accelerationκ.
Definition
Use a smooth, oriented and time-oriented Lorentzian four-manifold of signature with its metric-selected Levi-Civita connection , as defined in Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model and Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields. A chart is a smooth coordinate map; an observer congruence is a smooth future-directed unit timelike vector field with ; its integral curves, an adapted chart, and a tetrad field are distinct objects. The exact regularity and rest-space conventions of Rest fluid state, frame and geometric current definitions and the chart/congruence distinction of Local flow boxes, adapted charts and the Frobenius criterion for rest distributions apply. An orthogonal family of rest slices is not available for every congruence.
For physical unit assignments use length coordinates and spatial coordinates in metres, where has units . In this convention the metric components, a unit observer , and a length-normalized Killing field are dimensionless. Other coordinate choices transform component units by their coordinate Jacobians. State maps and geometric currents have the types and units in Rest fluid state, frame and geometric current definitions: a formal marker density is ; entropy density is ; a entropy current has components ; and its physical flux is in . Its geometric divergence has units , so is entropy production per physical volume per second. The symmetric stress tensor has components in pascals in length coordinates; it is a tensor, not an observer-independent array of energy densities. The state-function energy density and the observer projection remain distinct unless a material model identifies them.
The constant supplies the spacetime length/time conversion. In a branch with dynamical Einstein gravity, is an independent coupling parameter in . The Boltzmann constant has units and is used when a statistical entropy/temperature calibration is adopted. Planck's constant has units ; is used only in a quantum branch. Under the current SI definition, , and have exact defining numerical values; this metrological fact does not make them derived predictions of a thermodynamic or gravitational model. is experimentally adjusted and carries measurement uncertainty. The roles of these quantities as primitive model inputs are framework-specific. The local energy function, pressure, temperature and chemical potential in Rest fluid state, frame and geometric current definitions are derived from the supplied state function; no particle mass or universal equation of state is derived from gravity alone.
For a smooth Killing field on an open domain, meaning by Killing fields of a Lorentzian metric, restrict attention to a domain where is future timelike and choose a positive normalization at infinity or at a specified wall/observer. Define the lapse and unit observer . For a supplied proper-temperature scalar in kelvins, define the Killing-normalized temperature field . It is not assumed constant; if a separate equilibrium argument proves constancy on its stated domain, denote that value by . The finite matter charge and its side-flux convention are those in Finite Killing energy current and reference normalization and Finite spacelike slab and normal flux charge; their charge-balance clause retains its explicitly conditional finite-slab hypotheses. This charge is not a general gravitational energy.
Keep covector types separate. A mechanical momentum covector has units ; its Killing energy is in joules. An energy-valued covector already has units joules and pairs as , without another factor of . An inverse-length wave covector has units and pairs as . For a specified charged stationary gauge, charge has coulombs and a potential covector in length coordinates has units ; when a global stationary potential is actually defined, has volts and has joules. A charged energy or chemical-potential convention requires its stated gauge and reference; no global potential, electrochemical equilibrium, or constancy is asserted here.
When is supplied, distinguish the inverse-temperature vector , with units , from the scalar , also in . For a quantum statistical model, let be a unital complex -algebra: an associative complex algebra with nonzero identity , a complete norm satisfying , and a conjugate-linear involution satisfying , , and . Its elements represent bounded observables. Let be bijective complex-linear maps preserving multiplication and involution, with , , and ; require to be norm-continuous for every . A state is a bounded complex-linear functional with and for every . For in the chosen flow-parameter units, define . The state satisfies the KMS condition at width when for every there is a function with , continuous on and complex-differentiable at every point of its interior, such that
This all-observable boundary-value definition uses no separately declared analytic subalgebra. With the quantum statistical calibration , a physical-time parameter in seconds has KMS width seconds. If the flow parameter is length , use the reparameterized group ; its KMS width is metres. These are unit and parameter-convention assignments only. This definition introduces no Hilbert-space operator and does not identify the abstract automorphism flow or its strip width with the finite matter charge of Finite Killing energy current and reference normalization. This item asserts neither the existence of an observable algebra or flow for a given thermodynamic-gravity model nor the existence of a KMS state or equilibrium.
On a specified smooth embedded null hypersurface , write for the inclusion. A generator here is a smooth section of with nonzero and null at each . For a smooth tangent field on and a smooth vector field along it, define by Pullback connection, applied to the ambient tangent bundle and its metric-selected connection. The prescription is independent of frames by Pullback connection is well defined and functorial. In particular, is a vector field along and needs no chosen ambient extension. If is the restriction of a smooth ambient field , the same theorem gives ; thus this convention also covers the supplied ambient Killing generators. The generator may admit a scalar defined by . When the flow parameter has length units, has units ; the corresponding acceleration-unit quantity has units . This definition does not assert a horizon exists, that is constant, or that a temperature law follows. The formula requires a specified quantum/semiclassical model, and an area-entropy formula requires a separate thermodynamic identification. In particular, equal units do not identify local material entropy, finite statistical entropy, and area entropy, and no generalized second law is asserted here.
Remarks
The source scaffold also discusses relativistic kinetic partition integrals and finite-regulator generalized entropy. Their detailed preparation, existence, convergence, and moment claims require their own exact definitions and proofs on the later planned pages; they are not additional consequences of this units definition. The sources are used for conventions and independent treatments, not as substitutes for those arguments or as evidence that a selected model describes every material.
Depends on
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields
Killing fields of a Lorentzian metric
Rest fluid state, frame and geometric current definitions
Finite Killing energy current and reference normalization
Finite spacelike slab and normal flux charge
Local flow boxes, adapted charts and the Frobenius criterion for rest distributions
Pullback connection
Pullback connection is well defined and functorial
Dependency tree · 2 levels
Sources
- Éric Gourgoulhon, An Introduction to Relativistic Hydrodynamics, arXiv:gr-qc/0603009v1 (2006), §§3.1–3.2, 4.1–4.3, and 5.3
- Nicolas Borghini, Elements of Hydrodynamics, University of Bielefeld lecture notes (version 2015)
- H. S. Reall, Part III General Relativity, University of Cambridge lecture notes (12 October 2022 revision)
- David Tong, General Relativity, University of Cambridge Part III lecture notes
- The International System of Units (SI), BIPM, 9th edition, version 4.01 (2026)
- P. J. Mohr, D. B. Newell, and B. N. Taylor, CODATA Recommended Values of the Fundamental Physical Constants: 2022, NIST
- Pieter Naaijkens, Quantum Spin Systems on Infinite Lattices, arXiv:1311.2717v2 (2016), §3.4, Definition 3.4.4
- David Ruelle, Topics in Quantum Statistical Mechanics and Operator Algebras, arXiv:math-ph/0107009v1 (2001), Chapter 1, §7