Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generated
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 JK=Ma.

Facts & Assumptions

[F2]

The exact metric tensor is the Boyer–Lindquist tensor of Kerr-Newman metric and potential on the exact Boyer-Lindquist domain, with q=0 and x0=t. Apply that definition on the exterior polar patch r>r+, 0<θ<π; [F1] gives Σ>0 and Δ>0, so its domain hypotheses hold also when ∣a∣=M.

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.

1.1givenF1F2

Write b=sin⁡2θ. Expanding, inverting and radially differentiating the exact tensor in [F2] gives the exterior coefficients used below. Since η♭=gtϕdt+gϕϕdϕ and the metric has no r or θ mixed terms, the pulled-back dual on a t,r sphere has coefficient (⋆dη♭)θϕ=−−det⁡g grr(gtt∂rgtϕ+gtϕ∂rgϕϕ). The sign follows from ϵtrθϕ>0 and dηtr♭=−∂rgtϕ. The exterior coefficients give gtt=−1+O(r−1), gtϕ=−2Ma/r3+O(r−4), grr=1+O(r−1), ∂rgtϕ=2Mab/r2+O(r−4), ∂rgϕϕ=2rb+O(r−2), and −det⁡g=Σsin⁡θ. Thus the coefficient is 6Masin⁡3θ+O(r−1)sin⁡θ, with a bounded smooth angular remainder.

2.1givenF1step 1.1∎

Both inverse-metric terms contribute: their leading sum before the overall minus sign is −6Mab/r2, so ignoring the gtϕ term would give an incorrect factor. Since ∫02πdϕ∫0πsin⁡3θ dθ=8π/3, the limiting flux is 16πMa. The Komar normalization therefore gives JK=Ma, including negative a, zero a and extremal ∣a∣=M.

External input

The cited Kerr coordinate formulas provide background for the local calculation in this item.

Depends on

Used by · 1

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 Kerr Metric · §2, equations (2.1), (2.5)–(2.8), PDF pp. 2–3

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