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.
A divergence-free symmetric tensor with negative measured energy density
A flat-space pointwise counterexample in the framework's reading: a smooth symmetric tensor with vanishing divergence whose measured energy density is negative for a static observer congruence. It refutes the claim that on-shell conservation alone forces nonnegative measured energy density; no dynamics, no solution of any field equation, no measurement and no empirical claim is involved.
Statement refuted
Statement refuted: "Let carry the flat metric , time orientation and the identity chart, with metric-selected connection , and let be a smooth symmetric covariant -tensor field on an open subset with on . Then the measured energy density of The observer split of a symmetric two-tensor: energy density, energy-momentum current, flux and stress is nonnegative, on for every smooth observer congruence on ."
Facts & Assumptions
Given: The time-oriented flat Lorentzian four-manifold with identity chart, , time orientation and the standard coordinate orientation, with metric-selected connection ; the open set ; constants with units and with units ; the smooth function , with energy-density units; and the smooth symmetric covariant -tensor field with components .
On the identity chart the Christoffel symbols vanish and is the coordinate connection, so and (Metric compatibility, torsion freedom and the metric-selected connection class, Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields, The inverse metric, musical isomorphisms and index raising).
is a smooth symmetric covariant -tensor field on : its components are smooth functions of and symmetric in ; equivalently, is a smooth manifold and the component prescription defines a smooth tensor field (Smooth covariant 2-tensor fields on a smooth manifold, An open subset of a smooth manifold has a canonical restricted smooth structure, and smooth maps between smooth manifolds).
The measured energy density is (The observer split of a symmetric two-tensor: energy density, energy-momentum current, flux and stress clause (b), Physical reading of the observer split: measured energy density, energy flux and momentum density, and measured stress clause (a)).
The smooth field is timelike since and therefore supplies a time orientation. For , one has and , so is a smooth future-directed observer congruence on , with and (Observer congruences, their observer curves and adapted charts, Timelike, null, spacelike and causal vectors of a Lorentz vector space, Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model).
The weak energy condition of The pointwise energy conditions WEC, NEC, DEC and SEC is an additional pointwise assumption on , not a consequence of conservation (The pointwise energy conditions WEC, NEC, DEC and SEC, Stress-energy tensor field of a model).
Counterexample
(Smoothness and symmetry.) The functions are smooth on and symmetric in , so by [L2] they define a smooth symmetric covariant -tensor field on .
(Divergence-freedom.) By [L1], , since and depends only on ; hence for every , because for and is independent of . Thus on : the hypothesis of the refuted statement holds.
(Negative measured energy density.) For , [L3] and [L4] give on , since . The refuted conclusion fails: the divergence-free tensor has a negative measured energy density for the observer congruence .
(Conclusion.) A smooth symmetric tensor field with need not satisfy for every observer congruence; conservation and pointwise positivity are independent conditions, in accordance with [L5]. The displayed statement is refuted.
Remarks
-
Not a matter model. The tensor is a prescribed smooth symmetric tensor; no physical matter realization or field-equation solution is asserted for it. The counterexample concerns the logical independence of the conservation identity and the pointwise positivity of the measured density, both of which are conditions the framework states separately.
-
Complementary direction. The companion counterexample on the Einstein and matter examples page shows the other independence: the weak energy condition does not imply conservation.
Depends on
The observer split of a symmetric two-tensor: energy density, energy-momentum current, flux and stress
Physical reading of the observer split: measured energy density, energy flux and momentum density, and measured stress
Observer congruences, their observer curves and adapted charts
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
Stress-energy tensor field of a model
The pointwise energy conditions WEC, NEC, DEC and SEC
Metric compatibility, torsion freedom and the metric-selected connection class
Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields
Smooth covariant 2-tensor fields on a smooth manifold
The inverse metric, musical isomorphisms and index raising
SI unit and coordinate conventions of the classical gravitational framework
Timelike, null, spacelike and causal vectors of a Lorentz vector space
An open subset of a smooth manifold has a canonical restricted smooth structure
and smooth maps between smooth manifolds
Dependency tree · 2 levels
Sources
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 4: the Weak Energy Condition (4.72) as an additional assumption on T, printed p. 118 (PDF p. 125)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 4.5.7: the energy conditions are additional assumptions on the stress-energy tensor, printed pp. 194-198 (PDF pp. 201-205)