Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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.

Schwarzschild scalar Killing-flux balance

Physical scope

A finite-region conservation identity for a mathematical test scalar on the fixed Schwarzschild exterior and its regular advanced extension; it proves no decay or gravitational backreaction.

Statement

Assume ACω. Let s>0 and let gext be the regular advanced-chart extension of the Schwarzschild exterior, with f(r)=1−s/r and stationary field T=∂v. Give its domain Mext=Rv×(0,∞)r×S2 the product orientation determined by dv∧dr∧ωS2, where ωS2 is the positive area form of the unit round sphere in its outward orientation; write dΩ for its associated positive area measure. In this orientation, volgext=r2 dv∧dr∧ωS2. Let C be a compact finite smooth singular four-chain in the exterior closure r≥s, with oriented boundary ∂C=Σ2−Σ1+H++Bout, where Σ1,Σ2 are spacelike faces with future unit normals n1,n2, H+ is a future-horizon face, and Bout is the remaining signed outer boundary. Let ψ be smooth on a neighborhood of C and solve □gextψ=0. Define jTa:=−Qab[ψ]Tb. Orient each spacelike face Σj so that its adapted unit normal is the future unit normal nj, and define

Ej:=ΦjT(Σj)=∫ΣjQab[ψ]njaTb dμΣj.

Define Fout as the signed flux of jT through Bout and FH:=∫H+(Tψ)2 dμH, where dμH=s2 dv dΩ is the positive horizon measure in the advanced chart. Then E1,E2,FH≥0 and

E2+FH+Fout=E1.

The signed outer flux need not be nonnegative. On the exterior static slices x0=constant, n=f−1/2T and Q(n,T)=f Q(n,n); this stationary slice energy degenerates as r↓s, where T becomes null in the regular extension.

Facts & Assumptions

Given: The chain, boundary decomposition, smooth wave, and Schwarzschild extension in the Statement.

[F1]

Scalar test-wave stress and multiplier current: JaT=QabTb and the energy-current vector is jTa=−gabJbT.

[F2]

Wave multiplier divergence identity: on a solution of □gψ=0, a Killing multiplier T gives ∇aJaT=0.

[F3]

Killing fields of a Lorentzian metric: T is Killing when LTg=0.

[F4]

The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation and The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold: in the exterior T=∂0 is future timelike, g(T,T)=−f, and the metric coefficients are independent of x0.

[F5]

Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart: the advanced extension has gext=−f dv2+2 dv dr+r2dΩ2, the exterior is isometric to r>s, and r=s is a future null hypersurface generated by T=∂v.

[F6]

Dominant energy inequality for the real scalar test tensor: for a future unit timelike n and future causal X, Q(n,X)≥0.

[F7]

The metric volume form, current flux through 3-faces and finite-chain charges and Divergence, Stokes flux balance and the non-null face formula for a Lorentzian current: for a smooth vector field j, d(ιjvolg)=(∇aja)volg and Φj(∂C)=∫C(∇aja)volg.

[F8]

Divergence, Stokes flux balance and the non-null face formula for a Lorentzian current clause (c): its face formula gives flux density εg(j,ν∗)∣det⁡(g(vi,vj))∣ for the adapted unit normal ν∗; on a spacelike face oriented with future unit normal n, this is −g(j,n) dμΣ for the induced positive volume measure.

[A1]

ACω is the only choice principle used in the smooth Schwarzschild extension and tangent-bundle conventions (The Axiom of Countable Choice (ACω)).

Proof

1.1givenA1F2F3F5algebra

In the advanced coordinates all coefficients of gext are independent of v, so the coordinate formula for L∂vgext gives LTgext=0 and T is Killing by [F3]. The multiplier identity [F2] therefore gives ∇aJaT=0 on C. Since jTa=−gabJbT, its divergence also vanishes.

1.2F1F8algebra

The Statement orients each spacelike face so its adapted unit normal is the future unit normal nj. By [F8] its current flux density is −g(jT,nj) dμΣj. The definition jTa=−gabQbcTc gives g(jT,nj)=−QabnjaTb, so integration yields ΦjT(Σj)=∫ΣjQabnjaTb dμΣj=Ej.

1.3givenF4F5F6

The isometric exterior has T future timelike for r>s, and [F5] makes T future null on H+. Thus T is future causal throughout the stated closure. Applying [F6] to each spacelike face gives E1,E2≥0.

2.1F1F5F7step 1.3algebra

On H+, the inverse of the (v,r) metric block has grv=1 and grr=f=0. Hence jTr=−grbQbv=−Qvv=−(Tψ)2, since gvv=0 there. With volgext=r2 dv∧dr∧ωS2 and the outward boundary orientation at the inner face r=s, the pullback of ιjTvolgext is (Tψ)2s2 dv∧ωS2. Therefore this face flux is exactly FH≥0.

3.1givenF7step 1.1step 1.2step 2.1algebra

By [F7] and step 1.1, ΦjT(∂C)=0. The stated boundary decomposition and additivity of flux give ΦjT(Σ2)−ΦjT(Σ1)+FH+Fout=0. Using step 1.2 to identify the two face fluxes with E2 and E1 gives the asserted balance.

4.1F4F5F6step 1.3algebra∎

On the static exterior slices g(T,T)=−f and n=f−1/2T, so T=f n and bilinearity gives Q(n,T)=f Q(n,n). By [F6] with X=n, Q(n,n)≥0, while the coefficient f tends to zero as r↓s. In the regular extension g(T,T)=−f vanishes at r=s by [F5], so T becomes null there and the static Killing slice density loses its transverse coercivity.

Remarks

The calculation proves conservation with the stated side flux and the degeneracy of the stationary Schwarzschild energy at the horizon. A redshift estimate remains deferred: its proof route requires a multiplier vector field that is timelike across the horizon and has positive deformation tensor near the nonextremal horizon. A Morawetz estimate also remains deferred: its proof route requires a radial multiplier whose bulk term degenerates at the photon sphere r=3s/2 (here s=2M), together with a controlled far-region r-weighted estimate. This finite-region stationary balance proves none of those estimates. The item does not supply a Kerr scalar-decay theorem or any gravitational perturbation stability result.

Depends on

Dependency tree · 2 levels

Sources