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
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 . Let and let be the regular advanced-chart extension of the Schwarzschild exterior, with and stationary field . Give its domain the product orientation determined by , where is the positive area form of the unit round sphere in its outward orientation; write for its associated positive area measure. In this orientation, . Let be a compact finite smooth singular four-chain in the exterior closure , with oriented boundary , where are spacelike faces with future unit normals , is a future-horizon face, and is the remaining signed outer boundary. Let be smooth on a neighborhood of and solve . Define . Orient each spacelike face so that its adapted unit normal is the future unit normal , and define
Define as the signed flux of through and , where is the positive horizon measure in the advanced chart. Then and
The signed outer flux need not be nonnegative. On the exterior static slices , and ; this stationary slice energy degenerates as , where becomes null in the regular extension.
Statement references
Scalar test-wave stress and multiplier current
The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation
Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart
Wave multiplier divergence identity
Dominant energy inequality for the real scalar test tensor
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
Facts & Assumptions
Given: The chain, boundary decomposition, smooth wave, and Schwarzschild extension in the Statement.
Scalar test-wave stress and multiplier current: and the energy-current vector is .
Wave multiplier divergence identity: on a solution of , a Killing multiplier gives .
Killing fields of a Lorentzian metric: is Killing when .
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 is future timelike, , and the metric coefficients are independent of .
Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart: the advanced extension has , the exterior is isometric to , and is a future null hypersurface generated by .
Dominant energy inequality for the real scalar test tensor: for a future unit timelike and future causal , .
Divergence, Stokes flux balance and the non-null face formula for a Lorentzian current clause (c): its face formula gives flux density for the adapted unit normal ; on a spacelike face oriented with future unit normal , this is for the induced positive volume measure.
is the only choice principle used in the smooth Schwarzschild extension and tangent-bundle conventions (The Axiom of Countable Choice ()).
Proof
In the advanced coordinates all coefficients of are independent of , so the coordinate formula for gives and is Killing by [F3]. The multiplier identity [F2] therefore gives on . Since , its divergence also vanishes.
The Statement orients each spacelike face so its adapted unit normal is the future unit normal . By [F8] its current flux density is . The definition gives , so integration yields .
The isometric exterior has future timelike for , and [F5] makes future null on . Thus is future causal throughout the stated closure. Applying [F6] to each spacelike face gives .
On , the inverse of the metric block has and . Hence , since there. With and the outward boundary orientation at the inner face , the pullback of is . Therefore this face flux is exactly .
By [F7] and step 1.1, . The stated boundary decomposition and additivity of flux give . Using step 1.2 to identify the two face fluxes with and gives the asserted balance.
On the static exterior slices and , so and bilinearity gives . By [F6] with , , while the coefficient tends to zero as . In the regular extension vanishes at by [F5], so 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 (here ), together with a controlled far-region -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
The Axiom of Countable Choice ()
Scalar test-wave stress and multiplier current
Killing fields of a Lorentzian metric
The metric volume form, current flux through 3-faces and finite-chain charges
Observers, rest spaces and the spatial projection at an event
The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation
Dominant energy inequality for the real scalar test tensor
Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart
The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold
Wave multiplier divergence identity
Divergence, Stokes flux balance and the non-null face formula for a Lorentzian current