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.
The Komar angular-momentum flux of the Kerr end
Statement
For the axial field and the orientations already specified, the Komar angular momentum of the Kerr end exists and equals .
Statement references
Facts & Assumptions
The following exact suppliers supply the geometric objects and earlier conclusions used here: Kerr exterior tensor including the extremal parameter range Asymptotic mass and axial angular-momentum conventions The Boyer–Lindquist spatial end and differentiated expansion
The exact metric tensor is the Boyer–Lindquist tensor of Kerr-Newman metric and potential on the exact Boyer-Lindquist domain, with and . Apply that definition on the exterior polar patch , ; [F1] gives and , so its domain hypotheses hold also when .
Proof
**Given:**The exterior metric, differentiated end expansions and Komar/Hodge conventions of [F1].
Goal: Evaluate the axial flux including the inverse-metric mixing term.
Write . Expanding, inverting and radially differentiating the exact tensor in [F2] gives the exterior coefficients used below. Since and the metric has no or mixed terms, the pulled-back dual on a sphere has coefficient . The sign follows from and . The exterior coefficients give , , , , , and . Thus the coefficient is , with a bounded smooth angular remainder.
Both inverse-metric terms contribute: their leading sum before the overall minus sign is , so ignoring the term would give an incorrect factor. Since , the limiting flux is . The Komar normalization therefore gives , including negative , zero and extremal .
External input
The cited Kerr coordinate formulas provide background for the local calculation in this item.
Depends on
- Kerr exterior tensor including the extremal parameter range
- Asymptotic mass and axial angular-momentum conventions
- The Boyer–Lindquist spatial end and differentiated expansion
- Kerr-Newman metric and potential on the exact Boyer-Lindquist domain
- The Kerr Metric · §2, equations (2.1), (2.5)–(2.8), PDF pp. 2–3
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.
External dependencies
The review gives ingoing and Boyer–Lindquist Kerr forms, their coordinate transformation, and the asymptotic identification of mass M and angular momentum J=aM.
Hypotheses: The Kerr metric in the stated coordinate systems and their indicated domains.
Reading limits: Consulted browser-extracted PDF text in section 2 at equations (2.1), (2.5)–(2.8) and adjacent discussion on PDF pages 2–3. This is coordinate and parameter background only. The exact tensor premise is the declared mathematical supplier; the differentiated coefficients and normalization-specific flux evaluation are local calculations. No full-review reading or source proof reconstruction is claimed.
Sources
- The Kerr Metric · §2, equations (2.1), (2.5)–(2.8), PDF pp. 2–3