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.
Exact Schwarzschild horizon data at the zero-rotation KN point
Statement
In the selected smooth ingoing KN model of Regular ingoing KN metric, field and sphere axes, set and let . The metric, time orientation field and potential reduce to The hypersurface is a null Killing horizon for in the exact vocabulary of Causal solutions, Killing horizons, escape and metric extensions. Its generator is future-directed, its signed surface gravity is , and its round sections have area . The angular-velocity, potential and angular-momentum parameter functions of Smooth null screen and subextremal Kerr–Newman parameter family are respectively , , and at this parameter point.
This is an exact geometric special case of the selected metric, not a uniqueness or formation theorem.
Facts & Assumptions
Given: The smooth ingoing KN metric data and time orientation field of Regular ingoing KN metric, field and sphere axes, the mathematical parameter point , , and the local horizon vocabulary.
Regular ingoing KN metric, field and sphere axes: for real on , the product metric is smooth, the potential is , and the time orientation is , where and .
Causal solutions, Killing horizons, escape and metric extensions: a smooth embedded hypersurface is null when its induced metric is degenerate; a Killing horizon has a nonempty dense nonzero-generator part on which its Killing field is null, tangent and normal; signed surface gravity is fixed by the ambient-covector identity .
Killing fields of a Lorentzian metric: a smooth vector field is Killing exactly when .
Smooth null screen and subextremal Kerr–Newman parameter family: at , , , , , , , and .
and . The parameters are real mathematical values; no physical units are assigned by this lemma.
Proof
Substituting , into [F1] gives , , the displayed ingoing metric and ; the potential vanishes. The inverse of the metric block is , so . At , and , with . Thus is a null hypersurface and is tangent, null and normal there. Since every coefficient is independent of , , so [F3] makes Killing; never vanishes, so the nonzero-generator part is all of . Finally on , so its generator is future-directed. This verifies the exact horizon conditions in [F2].
The Killing norm is , so . From and [F5], , so at this is . Comparing with [F2] and gives , hence . A section at fixed and has induced metric . In spherical coordinates , so its area is . Substitution in [F4] gives the same area and surface-gravity functions and gives .
Remarks
The generic selected-model supplier KN Killing generators, surface gravity, area and potential is stated only for . This lemma supplies its missing zero-rotation, zero-charge parameter point directly from the smooth ingoing metric data; it does not extend any field-equation or global-horizon conclusion.