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.
Restricted redshift prediction of the Schwarzschild vacuum model: the observer-energy ratio between static observers
Conditional prediction of the adopted Schwarzschild exterior vacuum model: for a specified ideal light ray (a future null geodesic) joining two events on static observer worldlines at radii r_E and r_R, the ratio of the observer energies measured with the static congruence is sqrt(f(r_E)/f(r_R)) with f = 1 - 2G_N m_*/(c^2 r), and the redshift parameter defined from that ratio satisfies 1 + z = sqrt(f(r_R)/f(r_E)). The statement is an exact consequence of the model metric, the null-geodesic light-ray rule and the observer-energy definition; it asserts no observed wavelength, spectral line, calibration or measurement, and it excludes moving observers, non-geometric-optics propagation and dispersion. Any comparison with a reported redshift requires a separate apparatus, calibration and statistical model.
Statement
Adopt the Schwarzschild exterior vacuum model of The Schwarzschild exterior vacuum model: field law, static clock readings and the mass parameter: the exterior datum of mass parameter with and (The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation), its metric-selected connection (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), its static congruence (The static observer congruence of the Schwarzschild exterior model: unit field, integral curves, acceleration and clock-rate ratios), and the light-ray rule that ideal light rays are future null geodesics of (Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework clause (iii)). Let be the specified ray, a smooth affinely parametrized geodesic of on an interval , with tangent , and future-directed (Geodesic of an affine connection, Timelike, null, spacelike and causal vectors of a Lorentz vector space). Let with and suppose and lie on static observer worldlines of radii and with . For each parameter value define the observer energy of the ray relative to the static observers by
the value of the observer-energy definition of Observer-relative energy, spatial momentum and rest mass of a tangent vector clause (a) for the unit observer . Then:
(a) Constancy of the Killing pairing. is a Killing field of and the function is constant along ; moreover .
(b) The observer-energy ratio. along the ray and
(c) Redshift parameter. If the redshift parameter of the pair of events is defined by , equivalently by , then
The ratio in (b) and (c) is unchanged if is replaced by with a positive constant : a future null ray determines its future tangent only up to positive scale, and only the ratio of energies is asserted. No observed wavelength, spectral line, calibration or measurement enters the statement; the identification of the ratio with a frequency ratio of an ideal ray is part of the framework's geometric-optics reading, and moving observers require additional factors.
(d) Scope. The statement is a model prediction for the specified ideal ray and the specified static observers; it asserts no redshift measurement and no property of any real source, and it excludes non-geometric-optics propagation, dispersion and any apparatus or analysis model.
Facts & Assumptions
Given: The Schwarzschild exterior datum with and , its metric , its connection , its static congruence , a future null geodesic with tangent , parameters in with radii , and the energies of the statement.
In a spherical-polar product chart the metric components are , , , with on , and the static congruence is with , (The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold, The static observer congruence of the Schwarzschild exterior model: unit field, integral curves, acceleration and clock-rate ratios clause (a)).
The product factor defines a global time-translation field on the exterior datum. The global metric is invariant under these translations, so is Killing; on every product chart its coordinate expression is . For any geodesic contained in one such chart, is constant by the Killing-field conservation identity (Conserved quantities and equatorial radial reduction of timelike geodesics of the Schwarzschild exterior model clause (a), Killing fields and conserved currents, and on-shell conservation of the Hilbert stress-energy tensor clause (b), Killing fields of a Lorentzian metric).
The observer energy of a tangent vector relative to an observer is ; for a nonzero future causal it is positive (Observer-relative energy, spatial momentum and rest mass of a tangent vector clause (a), Pairing of an observer with future causal vectors claim 1, Observers, rest spaces and the spatial projection at an event).
The ideal light ray of the model is a future null geodesic; when its future direction is retained, its tangent is determined only up to a positive constant affine rescaling, since a negative factor reverses time orientation (Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework clause (iii), Geodesic of an affine connection, Timelike, null, spacelike and causal vectors of a Lorentz vector space).
Proof
(Constancy and positivity of the pairing.) The globally defined field is Killing by [L2]. Each parameter value has a neighborhood in whose ray segment lies in a product chart; on that segment the Killing conservation identity gives constancy of the scalar function . These local constants agree on overlaps because the pairing is a globally defined scalar, so is locally constant on the connected interval and therefore constant on . Since is nonzero future causal and is future timelike, [L3] with the unit observer at each point gives , hence .
(The observer energy along the ray.) By [L3] and [L1], writing at each point and using the constancy of step 1.1, . Evaluating at and and dividing gives , which is claim (b); the definition gives , which is (c). Replacing by with multiplies and every by , leaving both ratios unchanged, and by [L4] only this positive scale ambiguity is present for future tangents.
(Conclusion and status.) Steps 1.1-2.1 establish (a)-(c) as consequences of the model, the light-ray rule and the observer-energy definition, using no observed quantity; clause (d) records that the statement is a conditional model prediction for the specified ideal ray and static observers, with moving observers and apparatus models excluded.
Remarks
-
Model prediction, not an observation. The theorem compares two ideal observer energies of one ideal null geodesic in the adopted model. A reported redshift is a measured quantity with an emission line, a spectrograph, calibration, resolution and uncertainty; identifying the two requires an apparatus and analysis model, and this is a subject for experiment items and for the experimental-interface page, not a consequence of the mathematics proved here.
-
Where each assumption entered. The metric form gave the pairing and the factor ; the Killing property of gave constancy; the light-ray rule gave the identification of the ideal ray with a future null geodesic; the observer-energy definition entered through . No field equation and no matter model was used: the result holds for every Schwarzschild exterior datum with irrespective of the field law, and it is the physical reading of the model that attaches the frequency interpretation.
Depends on
The Schwarzschild exterior vacuum model: field law, static clock readings and the mass parameter
The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation
The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold
The static observer congruence of the Schwarzschild exterior model: unit field, integral curves, acceleration and clock-rate ratios
Conserved quantities and equatorial radial reduction of timelike geodesics of the Schwarzschild exterior model
Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework
Observer-relative energy, spatial momentum and rest mass of a tangent vector
Pairing of an observer with future causal vectors
Observers, rest spaces and the spatial projection at an event
Observer congruences, their observer curves and adapted charts
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
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
Killing fields and conserved currents, and on-shell conservation of the Hilbert stress-energy tensor
Killing fields of a Lorentzian metric
Geodesic of an affine connection
Timelike, null, spacelike and causal vectors of a Lorentz vector space
The derivative of at a point that is a limit point of , and differentiability on a set
Sums, scalar multiples, products and quotients: , , , and when
Rational powers of a positive base
Dependency tree · 2 levels
Sources
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 7 (7.59)-(7.62): the computation of the frequency shift between two observers fixed at constant (r,theta,phi) in the Schwarzschild geometry, omega_2/omega_1 = sqrt((1-2GM/r_1)/(1-2GM/r_2)), printed pp. 180-181 (PDF pp. 187-188)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 1.2.5: the gravitational redshift derived from the static potential, omega_A/omega_B = 1 + (Phi(r_A)-Phi(r_B))/c^2 to leading order, printed pp. 25-26 (PDF pp. 32-33); section 6.1.3: the statement that light emerging from a deeper gravitational well appears increasingly redshifted, printed p. 243 (PDF p. 250)