Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedprecheck pass
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

Physical scope

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 (M,g,N) of mass parameter m∗>0 with s=2GNm∗/c2 and f(r)=1−s/r (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 n=f−1/2∂0 (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 η:J→M be the specified ray, a smooth affinely parametrized geodesic of ∇ on an interval J, with tangent W=η′, g(W,W)=0 and W future-directed (Geodesic of an affine connection, Timelike, null, spacelike and causal vectors of a Lorentz vector space). Let λE,λR∈J with λE<λR and suppose η(λE) and η(λR) lie on static observer worldlines of radii rE=r(η(λE)) and rR=r(η(λR)) with rE,rR∈(s,∞). For each parameter value define the observer energy of the ray relative to the static observers by

E(λ):=−c gη(λ)(W(λ),n(η(λ))),

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 n. Then:

(a) Constancy of the Killing pairing. K=∂0 is a Killing field of g and the function C(λ):=−gη(λ)(W(λ),K(η(λ))) is constant along J; moreover C>0.

(b) The observer-energy ratio. E(λ)>0 along the ray and

E(λR)E(λE)=f(rE)f(rR)=1−s/rE1−s/rR.

(c) Redshift parameter. If the redshift parameter of the pair of events is defined by z:=E(λE)E(λR)−1, equivalently by 1+z=E(λE)/E(λR), then

1+z=f(rR)f(rE).

The ratio in (b) and (c) is unchanged if W is replaced by μW 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 m∗>0 and s=2GNm∗/c2, its metric g, its connection ∇, its static congruence n=f−1/2∂0, a future null geodesic η:J→M with tangent W, parameters λE<λR in J with radii rE,rR>s, and the energies E(λ) of the statement.

[L1]

In a spherical-polar product chart the metric components are g00=−f, g11=f−1, g22=r2, g33=r2sin⁡2ϑ with f=1−s/r>0 on r>s, and the static congruence is n=f−1/2∂0 with g(n,n)=−1, g(n,∂0)=−f1/2 (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)).

[L2]

The product factor R defines a global time-translation field K=∂0 on the exterior datum. The global metric is invariant under these translations, so K is Killing; on every product chart its coordinate expression is ∂0. For any geodesic contained in one such chart, g(W,K) 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).

[L3]

The observer energy of a tangent vector P relative to an observer n is En(P)=−c g(P,n); for a nonzero future causal P 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).

[L4]

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

technique · contract the null tangent with the Killing field, express the observer energy through the static congruence, and take the ratio at the two parameter values
1.1L2L3L1algebra

(Constancy and positivity of the pairing.) The globally defined field K=∂0 is Killing by [L2]. Each parameter value has a neighborhood in J whose ray segment lies in a product chart; on that segment the Killing conservation identity gives constancy of the scalar function C(λ):=−gη(λ)(W(λ),K(η(λ))). These local constants agree on overlaps because the pairing is a globally defined scalar, so C is locally constant on the connected interval J and therefore constant on J. Since W is nonzero future causal and K is future timelike, [L3] with the unit observer n~:=K/f at each point gives g(W,n~)<0, hence C=−g(W,K)>0.

2.1step 1.1L1L3L4L5algebra

(The observer energy along the ray.) By [L3] and [L1], writing n=f−1/2K at each point and using the constancy of step 1.1, E(λ)=−c g(W,n)=−c f(r(η(λ)))−1/2g(W,K)=c C f(r(η(λ)))−1/2>0. Evaluating at λE and λR and dividing gives E(λR)/E(λE)=f(rE)/f(rR), which is claim (b); the definition 1+z=E(λE)/E(λR) gives 1+z=f(rR)/f(rE), which is (c). Replacing W by μW with μ>0 multiplies C and every E(λ) by μ, leaving both ratios unchanged, and by [L4] only this positive scale ambiguity is present for future tangents.

3.1step 1.1step 2.1given∎

(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 g(W,∂0) and the factor f−1/2; the Killing property of ∂0 gave constancy; the light-ray rule gave the identification of the ideal ray with a future null geodesic; the observer-energy definition entered through E=−cg(W,n). No field equation and no matter model was used: the result holds for every Schwarzschild exterior datum with s>0 irrespective of the field law, and it is the physical reading of the model that attaches the frequency interpretation.

Depends on

Dependency tree · 2 levels

Sources