Alphabeta Math
PropositionStatement: AI-adaptedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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.

Dyonic Kerr-Newman parameters and conserved electric/magnetic flux

Statement

Let M,a,q∈R and choose an auxiliary length ℓ∗>0. Use the full-sphere exterior extension Full-sphere exterior extension of the Kerr-Newman datum with parameters (M,a,q) on an annulus r∈(R0,R1)⊂(0,∞) where Δ>0. For example, take R0=4∣M∣+ℓ∗. For every r>R0, 1−2M/r>1/2 and (a2+q2)/r2≥0, so Δ/r2>1/2. For constant β∈R, the dual-rotated field Fβ=cos⁡β F+sin⁡β ⋆gF has flux parameters qe=qcos⁡β,qm=qsin⁡β. The metric depends on these two parameters only through qe2+qm2=q2. The unrotated electric field has zero magnetic sphere flux and electric sphere flux 4πq. Flux conservation is asserted only between finite homologous exterior spheres; no quantization or noncompact side-flux claim is made.

Facts & Assumptions

Given: The electric KN datum, its source-free field equations, a full sphere Sr in an exterior annulus, and a constant duality angle β.

[F1]

Fully verified electric Kerr-Newman electrovacuum: the electric KN equations hold on every pole-free chart and on the full-sphere exterior extension.

[F2]

Classical electrovac dual rotation: a constant dual rotation preserves the source-free Maxwell equations and the tensor Qab.

[F3]

Full-sphere exterior extension of the Kerr-Newman datum: on r>R0>4∣M∣ the metric and potential extend smoothly across both poles; λ=X dY−Y dX is the global form agreeing with sin⁡2θ dϕ away from the poles.

[F5]

Stokes theorem for smooth singular chains: for a finite smooth singular chain c and smooth form η, ∫cdη=∫∂cη; the chain integral is additive and its boundary is the signed face chain.

[F4]

A continuous function on [a,b] is Riemann integrable, by Heine-Cantor and Riemann's criterion makes a continuous real integrand on a compact interval Riemann integrable. The second fundamental theorem: if G is differentiable on [a,b] with G′=f and f is integrable, then ∫abf=G(b)−G(a) evaluates its integral as G(b)−G(a) when it is the derivative of a differentiable primitive G.

[A1]

R0=4∣M∣+ℓ∗ with ℓ∗>0, so r>R0 implies Δ>0. The rational Boyer-Lindquist formulas are used only on 0<θ<π; the global fields at the poles are those of [F3].

Proof

1.1F1F3F5A1constructalgebra

On the sphere let X=sin⁡θcos⁡ϕ and Y=sin⁡θsin⁡ϕ. Then λ=X dY−Y dX=sin⁡2θ dϕ away from the poles, and [F3] proves this is a global smooth one-form. At a fixed (x0,r), represent Sr by the oriented radial projections of the eight octahedral faces; each projection extends smoothly to a neighborhood of its face, shared edges cancel, and the resulting finite smooth singular two-chain has zero boundary. The global potential Aˉ=−qrΣ−1(dx0−aλ) is smooth since Σ>0. Hence Fˉ=dAˉ and [F5] gives ∫SrFˉ=∫∂SrAˉ=0.

1.2F1F4A1algebra

For the explicit unit-sphere parametrization s(θ,ϕ)=(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ), direct differentiation gives s⋅(sθ×sϕ)=sin⁡θ. Thus its outward area form pulls back to sin⁡θ dθ∧dϕ. By [F4], the continuous sine density is integrable and its primitive −cos⁡θ evaluates each polar integral. Integrating on δ≤θ≤π−δ, 0≤ϕ≤2π gives 4πcos⁡δ; the two caps have total area 4π(1−cos⁡δ) by the same bounded polar density, tending to zero. Hence ∫S2ω=4π. In the oriented (x0,r,θ,ϕ) coordinates, direct raising of Fr0=q(r2−a2y2)/Σ2 and Frϕ=−asin⁡2θ Fr0 with the KN inverse metric gives (⋆gF)θϕ=q(r2+a2)(r2−a2y2)sin⁡θΣ2=qsin⁡θ+O(r−2)sin⁡θ, The numerator factor minus Σ2 is a2r2(1−3y2)−a4y2(1+y2), whose absolute value is at most 2a2r2+2a4 for ∣y∣≤1. Since Σ2≥r4, the remainder is uniformly O(r−2) on the sphere. Hence lim⁡r→∞(4π)−1∫Sr⋆gF=q.

2.1F1F3F5A1step 1.1step 1.2constructalgebra

For R0<r1<r2, in the fixed-x0 slice of step 1.1, take the product of each of the same eight projected triangular faces with [r1,r2]. Each triangular prism splits into three tetrahedra; their oriented sum is a finite smooth singular three-chain C, internal faces cancel, and its boundary is Sr2−Sr1. By steps 1.1-1.2 and [F1], d(⋆gF)=0 on this shell. Stokes [F5] therefore gives ∫Sr2⋆gF−∫Sr1⋆gF=∫∂C⋆gF=∫Cd(⋆gF)=0. Step 1.2 identifies the common value as 4πq.

3.1F2step 1.1step 2.1algebra

The fluxes of Fβ satisfy ⋆gFβ=cos⁡β ⋆gF−sin⁡β F by [F2]. Dividing the two sphere integrals by 4π and using steps 1.1 and 2.1 gives qe=qcos⁡β and qm=qsin⁡β.

4.1F1F2step 3.1algebra∎

The metric function Δ=r2−2Mr+a2+q2 is unchanged because qe2+qm2=q2(cos⁡2β+sin⁡2β)=q2. The stress tensor is unchanged by [F2], so the same metric satisfies the dyonic geometric electrovac equations. This is a classical flux normalization; no integrality condition follows.

Remarks

The asymptotic limit is used only to evaluate the electric flux constant on a finite exterior sphere. It is not an assertion of charge conservation on an arbitrary noncompact region.

Depends on

Dependency tree · 2 levels

Sources