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 — Examples
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Cm Math Continuum
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Norms and Realification
- Complexification, Realification and Real Structures
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Constructed independent cell Gibbs states
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Determinants of Matrices over a Commutative Ring
- Distributions Integral Manifolds and the Frobenius Theorem
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Einstein And Matter
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Killing energy current and reference normalization
- Finite spacelike slab and normal flux charge
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Observer Measurements
- Order, Zorn's Lemma, and the Axiom of Choice
- Orthonormal Bases, Parseval and Fourier Series
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Relations, Functions, and Quotients
- Rest fluid state, frame and geometric current definitions
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Selected stationary thermal equilibrium
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Stationary thermal geometric data
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Thermodynamics-GR fields, currents, reference normalization and units
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Worldlines And Clocks
2 · Summary
These examples compute the exact lapse, local temperature, and observer acceleration in the Schwarzschild exterior, the Rindler right wedge, and a rigidly rotating Minkowski domain. Each uses the selected Killing flow and stays inside its timelike domain. The rotating quantum trace check is restricted to the cited one-mode model; it is not a continuum-field theorem. No horizon, Hawking, Unruh, or reported experimental temperature is inferred.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
Schwarzschild supported thermal bath
Static test bath on the Schwarzschild exterior r>r_s, with asymptotic Killing-time normalization, exact lapse and acceleration, and a bounded weak-field expansion; no horizon or quantum-temperature claim.
Example
Let be a source mass in kilograms, distinct from any kinetic particle mass, let be Newton's constant in , and let be the speed of light in . Set
In physical length coordinates , use the Schwarzschild exterior metric
and select with the asymptotic normalization as . The time orientation is chosen so is future-directed. Under the selected stationary-bath assumption, the local proper temperature satisfies
The static observer congruence has outward covariant acceleration component , contravariant component , and physical proper-acceleration magnitude
For a fixed and , the weak-field expansion has the explicit bound
This is a conditional calculation in the specified exterior model. At , the chosen Killing field is null and the normalized stationary observers do not exist. The limiting divergence as is not a constructed horizon state, a Hawking temperature, or a claim that every observer measures an infinite temperature.
Facts & Assumptions
Given: The Schwarzschild exterior metric and constants above, the chosen future Killing field , and the selected stationary thermal-bath assumption on .
Conditional Tolman–Ehrenfest relation: for one selected connected stationary bath with smooth future timelike Killing field , positive proper temperature , and Killing , the constant satisfies and . Its draft proof is conditional and its current Step 1 record is authoring readiness only.
, , and have the stated SI units; the metric is taken as the model geometry on , and the time orientation makes future-directed there.
This example adopts the selected bath only on the connected exterior, with the chosen asymptotic normalization. No matter equation of state, support apparatus, experiment, or state construction is assumed.
Verification
The metric coefficients are independent of , so is Killing. Its norm is , and exactly on . Therefore it is future timelike on this domain and .
The connected exterior, smooth positive lapse, selected stationary bath, and Killing inverse-temperature field meet [F1]. Hence throughout the exterior, so . Since as , write this reference constant as .
From in [F1], . Raising the index with gives , and then , so .
Put . For , Taylor's theorem at for gives for some , and . Thus the remainder is at most . Since , this proves the displayed bound.
Rindler and rigid rotating bath domains
Rindler right wedge and rigidly rotating Minkowski domain inside its light cylinder; arbitrary positive classical reference temperature; differential rotation and one-mode trace restrictions kept distinct.
Example
Rindler right wedge. Let be an acceleration in , use coordinates with , and take the open domain with metric
The selected Killing field has lapse and observer acceleration , so the physical proper-acceleration magnitude is . The selected stationary-bath model gives
At the reference point , and . Any is allowed by this classical geometric model; the metric and temperature relation do not select the Unruh value.
Rigid rotation in Minkowski spacetime. In cylindrical coordinates let
where is a constant angular velocity in . For , use the annular domain ; for , is timelike throughout Minkowski space. On the rotating domain,
The radial acceleration component is , directed inward, with physical magnitude , where . At the light cylinder , becomes null and the normalized stationary observer does not exist. A differential-rotation field is not Killing when : its metric Lie derivative has .
One-mode trace check. If an additional model specifies a single bosonic mode with lab Hamiltonian and angular momentum , then its rotating generator is . Its Gibbs trace is finite exactly when . This is the separate one-mode spectral condition of Rotating mode Gibbs obstruction; it does not prove a continuum-field trace obstruction or describe every rotating equilibrium state.
Domain sketches
The left panel uses dimensionless Minkowski coordinates for a fixed length and the exact Rindler embedding
It maps onto the right wedge ; the red curve is the constant-Rindler-position orbit , which obeys . The right panel is a fixed- cross-section of the rotating timelike domain. Its dashed circle is the excluded null boundary , and the shaded open disk is where . The sketches show domains only; every lapse, acceleration, and temperature claim is established by the coordinate calculations in Verification.
Facts & Assumptions
Given: The displayed Rindler and Minkowski metrics, the constant parameters and , and a selected stationary bath only where its stated Killing field is future timelike.
Conditional Tolman–Ehrenfest relation: on a selected connected stationary bath, and for the chosen future timelike Killing field. Its physical conclusion is conditional on the postulated bath, not a universal thermometer law.
Rotating mode Gibbs obstruction: for a single bosonic occupation mode with , integer mode number, in , and positive inverse temperature, the diagonal partition sum is finite exactly when . The proposition explicitly constructs no continuum field state.
The Rindler metric and the rotating Minkowski metric are the exact model geometries used in this example; and are the explicitly selected Killing generators on their respective timelike domains.
The Rindler and rotating temperature fields are conditional classical bath assumptions. No equilibrium state is constructed, and no Unruh or Hawking temperature is inferred.
The one-mode trace paragraph applies only when the additional Hamiltonian and angular-momentum assignments displayed in the Example are adopted.
Verification
The Rindler metric is independent of , so is Killing. Its norm is on , hence . Differentiating gives , whose metric norm is .
In the rotating Minkowski metric, and are Killing fields and is constant, so their displayed linear combination is Killing. Its squared norm is , which is negative exactly for when ; therefore .
For a nonconstant angular velocity, the coordinate formula for the Lie derivative gives . Thus if , this field is not Killing and the selected stationary theorem does not apply.
By [F1] and [A2], the selected Rindler bath has and physical proper acceleration . The point has , so it provides the stated reference normalization.
Applying [F1] on that selected timelike domain yields . Differentiating gives . Since , its physical magnitude is . At the light cylinder the norm tends to zero and the timelike-field hypothesis of [F1] fails.
Under [A3], the mode generator has coefficient in the exact occupation model of [F2]. Applying [F2] gives a finite trace exactly for . This condition is logically separate from the geometric timelike-domain condition in step 1.2 and supplies no continuum-field conclusion.
Sources
- MIT OpenCourseWare 8.033 (Fall 2024), Introduction to Relativity and Spacetime Physics, full lecture notes, §§18.2.2 and 19.1
- Jessica Santiago and Matt Visser, Tolman-like temperature gradients in stationary spacetimes, §§III and VII.A
- MIT OpenCourseWare 8.033 (Fall 2024), Introduction to Relativity and Spacetime Physics, full lecture notes, §§14.5–14.6
- Jessica Santiago and Matt Visser, Tolman-like temperature gradients in stationary spacetimes, §§IV and VII.A