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.
Absence of a universal global energy: observer dependence, no local gravitational energy, and deferred asymptotic masses
Scope and status note for energy questions of the classical gravitational framework: the observer dependence of measured energy density, the absence of any local gravitational energy density in the framework as built, the additional hypotheses a global energy requires, and the deferral of asymptotic masses. The note asserts no theorem about nature, no no-go theorem and no measured value.
Scope and status
This note fixes what the framework does and does not provide under the name "energy". It proves nothing by itself and asserts no fact about nature.
-
Observer dependence of measured energy. The measured energy density and the SI measured energy flux of Physical reading of the observer split: measured energy density, energy flux and momentum density, and measured stress depend on the observer congruence ; only the tensor itself is observer independent. For a prescribed model different congruences generally assign different energies to the same region, and the framework contains no congruence-independent local energy density of matter.
-
No local gravitational energy in the framework as built. The framework defines a stress-energy tensor only for the matter sector (Stress-energy tensor field of a model, Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions): is the matter content of the field law, and the geometric side has identically vanishing divergence (The second Bianchi identity and the vanishing divergence of the Einstein tensor). The local balance of Local energy balance of the measured current and conservation of the Killing charge in stationary models is a balance of the matter current; no item of the framework defines a local gravitational energy density or flux that would complete it into a conservation law for a total energy. The framework's normal-coordinate material (Point-normal and exponential coordinate charts of the metric-selected connection, Scope of normal coordinates and of the local-inertial-frame reading) records that the Christoffel symbols can be made to vanish at a point in a point-normal chart; it asserts nothing about second metric derivatives or curvature. Separately, the curvature operator of The Riemann curvature operator and the derived Ricci, scalar and Einstein tensors clause (a) is a tensor of type by Tensoriality of the curvature, its coordinate formula and its point-normal metric formula clause (a). Thus if , no chart can make all its components zero: zero components in a coordinate basis would imply, by multilinearity, that for all . This tensorial observation does not establish a no-go theorem for gravitational energy. The normal-coordinate identities alone define no local gravitational energy density; the cited discussions of gravitational-energy localization provide context, not a no-go theorem proved or used here.
-
A global energy needs a symmetry and control of the flux. The Killing charge of The timelike Killing current and the charge of a three-chain exists only for a model that admits an everywhere timelike future-directed Killing field ; the theorem is conditional on this field and supplies no existence result for any specified metric (Killing fields of a Lorentzian metric). Even with such a , the finite-chain statement of Local energy balance of the measured current and conservation of the Killing charge in stationary models gives : conservation requires the side flux to vanish. It is read as an energy in joules when is length-normalized under the framework's length-coordinate convention; for another flow-parameter normalization, its units carry that scale. For a slice of unbounded spatial extent one further needs the limiting flux and the integrals to converge; the flux theorem Divergence, Stokes flux balance and the non-null face formula for a Lorentzian current is stated for finite smooth singular chains and supplies no such limit. Smooth noncompact manifolds and open matter domains are allowed; it is integration over unbounded slices and passage to asymptotic limits that need additional convergence hypotheses. The scope note Scope and conventions of the Einstein-and-matter page: presentations, matter sectors and open obligations excludes distributional sources and low-regularity fields, not noncompact smooth domains.
-
A Killing field need not be timelike everywhere. A Killing field that is timelike on one region may be spacelike or past-directed elsewhere, in which case the charge is not an energy there; the de Sitter example recorded in the cited Tong reference has no globally defined positive conserved energy of this kind. Nothing in the framework selects a preferred Killing field or normalization: the normalization is part of the model data, and changing changes and can change its unit scale as recorded in The timelike Killing current and the charge of a three-chain clause (d).
-
Asymptotic and quasilocal masses are deferred. The ADM energy and related Bondi-type quantities are defined by surface integrals at infinity for asymptotically flat spacetimes, and Komar-type integrals by fluxes at a chosen boundary; both require an asymptotic or boundary structure (fall-off conditions, a sphere at infinity, limit arguments) or a chosen quasilocal surface. None of this structure is defined on this page or on the pages it depends on. Such masses are deferred to a future boundary-asymptotic module; no asymptotic mass, quasilocal mass or radiative energy loss is defined, computed or used in this framework here.
-
Empirical status. The note contains no experiment, no measured input and no empirical premise. It records the scope of the framework's energy statements and the obligations deferred to other pages; it does not assert that the framework's energy notions are the only possible ones, nor that the model describes nature.
Depends on
Local energy balance of the measured current and conservation of the Killing charge in stationary models
The timelike Killing current and the charge of a three-chain
Kinematics of a timelike Killing congruence and conservation of the redshift-weighted energy current
Killing fields of a Lorentzian metric
Killing fields and conserved currents, and on-shell conservation of the Hilbert stress-energy tensor
Physical reading of the observer split: measured energy density, energy flux and momentum density, and measured stress
The observer split of a symmetric two-tensor: energy density, energy-momentum current, flux and stress
The metric volume form, current flux through 3-faces and finite-chain charges
Divergence, Stokes flux balance and the non-null face formula for a Lorentzian current
The second Bianchi identity and the vanishing divergence of the Einstein tensor
Stress-energy tensor field of a model
Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions
Adopted Einstein field equation in the direct-equation presentation
Adopted classical gravitational action and variational field law
Scope and conventions of the Einstein-and-matter page: presentations, matter sectors and open obligations
Point-normal and exponential coordinate charts of the metric-selected connection
Scope of normal coordinates and of the local-inertial-frame reading
The Riemann curvature operator and the derived Ricci, scalar and Einstein tensors
Tensoriality of the curvature, its coordinate formula and its point-normal metric formula
SI unit and coordinate conventions of the classical gravitational framework
Dependency tree · 2 levels
Sources
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 4.3.2 and section 4.5.5: the energy associated with a Killing vector, the de Sitter example in which the Killing field is timelike only in the static patch and there is no global positive conserved energy, and the failure of covariant conservation of T to give actual conservation, printed pp. 163 and 187-189 (PDF pp. 170 and 194-196); section 4.3.3: Komar integrals and their interpretation as the mass of the spacetime, printed pp. 165-167 (PDF pp. 172-174)
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), section 7.5 'The energy in gravitational waves': the candidate quadratic tensor t_{mu nu} is not gauge invariant, 'the impossibility of localizing gravitational energy', and the ADM energy defined by a surface integral at infinity for asymptotically flat spacetimes, printed pp. 88-89 (PDF pp. 89-90)
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 4: the field equations and the energy-momentum tensor as matter content, printed pp. 116-118 (PDF pp. 123-125)