Alphabeta Math
Physics theoremStatement: 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 rotating model and gauge obstruction

Physical scope

Conditional source-free equation-model solution after a constant dual rotation of the electric KN seed, with geometric flux lengths and the corresponding SI electric charge and magnetic flux. Nonzero magnetic flux obstructs a global real one-form potential on sphere-containing model regions; no magnetic-charge quantization or empirical realization is asserted.

Statement

Take a pure-electric KN seed with SI inputs m∗>0, J∈R and Q0∈R, zero magnetic flux, and parameters M=GNm∗c2,a=Jm∗c,q0=γeQ0,α=4πGNμ0c4,γe:=GN4πε0c4. For a fixed real duality angle β, rotate its geometric field by Fβ:=cos⁡β F0+sin⁡β ⋆gF0, where F0=αF0 is the seed's geometric field. On the seed's stated Boyer–Lindquist domains, the dual-rotated geometric field is source-free and has unchanged geometric stress, conditional on Classical electrovac dual rotation; thus Fβ:=Fβ/α and the same metric solve the same equation-based SI model, conditional on Verified rotating electric KN physical model. On the full-sphere exterior X:=Rx0×(R0,∞)r×S2 of Full-sphere exterior extension of the Kerr-Newman datum, with R0>4∣M∣, the resulting geometric flux parameters and matching SI inputs are qe=q0cos⁡β,qm=q0sin⁡β,Qeout=Q0cos⁡β,ΦBout=μ0cQ0sin⁡β. In particular qe2+qm2=q02, so the metric is unchanged. On each sphere-containing full-sphere exterior region, ∫SrFβ=4πqm; hence a global smooth real one-form potential for Fβ there is impossible if qm≠0, by finite-chain Stokes. In the nonrotating case a=0, the corresponding dyonic RN field also has the explicit north/south patch potentials and exact global-potential criterion of Dyonic RN gauges and global exactness obstruction. No charge quantization, ADM/Komar identification or observed object is asserted.

Facts & Assumptions

Given: GN,c,μ0>0, ε0=(μ0c2)−1, the pure-electric seed inputs, a fixed real β, and the named model domains.

[F1]

SI and geometric solution parameter identifications: qe=γeQe, qm=αΦB/(4π), γe=GN/(4πε0c4), α=4πGN/(μ0c4), and ε0μ0c2=1.

[F2]

Verified rotating electric KN physical model: for a pure-electric KN seed, the SI-rescaled data satisfy the adopted Λ=0, j=0, Tm=0 equations conditionally on the exact draft verification and current-form interfaces; the mathematical proof is draft and not independently accepted.

[F3]

Fully verified electric Kerr-Newman electrovacuum: for the exact pole-free KN datum and its stated full-sphere exterior, dF=d(⋆gF)=0 and Ric⁡=2Q(F); its current proof remains draft and is not independently accepted.

[L1]

Classical electrovac dual rotation: for any smooth geometric electrovac field and constant β, Fβ=cos⁡β F+sin⁡β ⋆gF has dFβ=d(⋆gFβ)=0 and Q(Fβ)=Q(F); hence the same metric satisfies the same geometric Einstein–Maxwell equation. This mathematical lemma is draft and not independently accepted.

[F4]

Sourced Maxwell sign and current conservation: its current Statement assumes the sourced divergence equation before stating the form-equation equivalence. Its Facts [F1]–[F3] specify the smooth oriented Lorentzian geometry, torsion-free metric connection and Hodge conventions. Its Proof 2.1 derives the pointwise identity d(⋆gF)=−ιvvolg, vb=∇aFab, from smoothness and those geometric conventions; the equivalence clause is not used as a black-box implication here. The supplier proof is draft and not independently accepted.

[L3]

Dyonic RN gauges and global exactness obstruction: on the nonrotating dyonic RN product the field has the stated smooth north and south patch potentials, and a global smooth real one-form potential exists exactly when qm=0; this draft proposition assumes no bundle normalization or quantization.

[F6]

Kerr-Newman metric and potential on the exact Boyer-Lindquist domain and Dyonic Reissner-Nordström metric and field domains: setting a=0 in the electric KN potential gives the static RN electric field −q0r−2dx0∧dr; the dyonic RN datum uses −qer−2dx0∧dr+qmω with the outward sphere orientation.

[F7]

Lorentzian exterior calculus and Hodge star: the Lorentzian Hodge map on two-forms is determined by the metric and oriented volume form and has components (⋆gF)ab=12(volg)abcdFcd in an oriented chart.

[F8]

Full-sphere exterior extension of the Kerr-Newman datum: on r>R0>4∣M∣ the pure-electric seed has the smooth global potential A0=−q0rΣ−1(dx0−aλ) and F0=dA0 on the full-sphere exterior.

[F5]

Stokes theorem for smooth singular chains: for a finite smooth singular chain c and smooth form η, ∫cdη=∫∂cη.

[A1]

β is a fixed real number and the duality rotation acts on the geometric two-form, not on the metric. The seed's magnetic flux is zero.

[A2]

The Axiom of Countable Choice (ACω): the geometric flux and metric conventions inherited through [F1] and [F2] use only ACω, meaning every specified countable family of nonempty sets has a choice function. The finite trigonometric and SI-conversion calculation adds no choice and uses no full AC.

Proof

1.1givenF1F2F3A1A2

By [F1] and the seed's zero magnetic flux, its geometric electric parameter is q0=γeQ0 and its geometric magnetic parameter is zero. The exact seed statement [F3] supplies the geometric electrovac hypotheses for [L1]; the conditional physical-model statement [F2] supplies the source-free SI solution on its stated pole-free and full-sphere exterior domains. Each cited carrier is used at its current draft interface only.

2.1F1F2F3F4F7L1step 1.1algebra

Let F0=F0/α be the SI seed field. By [L1], the geometric dual-rotated field is closed with closed Hodge dual and has the same quadratic stress as F0; since α>0 is constant, dFβ=d(⋆gFβ)=0 for Fβ=Fβ/α. Put Vb:=∇aFβab. In an oriented coordinate chart write volg=w dx0∧dx1∧dx2∧dx3 with w=∣det⁡(gab)∣; this coefficient follows from the defining value of the metric volume form on a positively oriented orthonormal basis and the determinant change-of-basis formula. Differentiating the determinant expansion gives ∂cw=12wgab∂cgab; the Christoffel formula and symmetry of g give Γaca=12gab∂cgab. Hence (∇cvolg)0123=∂cw−Γacaw=0, so ∇volg=0. At each point p, choose a positively oriented orthonormal frame with metric matrix η=diag⁡(−1,1,1,1). Torsion-freeness of the metric-selected connection [F4] gives (d⋆gFβ)abc=3∇[a(⋆gFβ)bc]. The Hodge component formula [F7] has (⋆gFβ)ij=−ϵijk(Fβ)0k and (⋆gFβ)0i=12ϵijk(Fβ)jk, where ϵijk is alternating with ϵ123=+1. In this frame V0=∑i∇i(Fβ)0i and Vk=−∇0(Fβ)0k+∑i∇i(Fβ)ik. Substituting the displayed Hodge components into 3∇[a(⋆gFβ)bc] gives (d⋆gFβ)123=−V0,(d⋆gFβ)0ij=ϵijkVk. In the same oriented frame, (ιVvolg)123=V0 and (ιVvolg)0ij=−ϵijkVk, so these components establish d(⋆gFβ)∣p=−ιV(p)volg∣p. Its left side is zero. Contraction with the nonzero volume form is an isomorphism TpM→Λ3Tp∗M, so V(p)=0; hence ∇aFβab=0 throughout every stated domain. Thus the source-free SI Maxwell equations hold without using the equivalence clause of [F4]. Its electromagnetic stress is unchanged because Q(Fβ)=α−2Q(Fβ)=α−2Q(F0)=Q(F0). The Einstein tensor and metric are unchanged, so the same zero-source SI equation-based model equations hold on every base domain of [F2].

2.2F2F5F7F8step 1.1algebra

On the full-sphere exterior [F8], let y=cos⁡θ, Σ=r2+a2y2, and R=r2+a2. Differentiating the exact seed potential in [F2] gives (F0)r0=q0(r2−a2y2)/Σ2 and (F0)rϕ=−asin⁡2θ(F0)r0. Raising indices with the KN inverse metric and applying [F7] yields (⋆gF0)θϕ=q0R(r2−a2y2)sin⁡θ/Σ2. Since ddy(y/Σ)=(r2−a2y2)/Σ2, integration over the outward sphere gives 14π∫Sr⋆gF0=q0R2∫−11r2−a2y2(r2+a2y2)2 dy=q0R2[yΣ]−11=q0. The global potential in [F8] and Stokes' theorem [F5] give ∫SrF0=∫SrdA0=0. By [F7], ⋆g2=−1 on two-forms, so integrating Fβ=cos⁡β F0+sin⁡β⋆gF0 and its Hodge dual directly yields qe=q0cos⁡β and qm=q0sin⁡β. Therefore qe2+qm2=q02(cos⁡2β+sin⁡2β)=q02, and every KN metric coefficient depending on charge through this sum is unchanged. This local integral calculation proves the stated flux values.

3.1F1step 2.2algebra

The electric conversion in [F1] gives Qeout=qe/γe=Q0cos⁡β, using the flux parameter from step 2.2. For the magnetic flux, [F1] gives ΦBout=4πqm/α, with qm from step 2.2. From ε0μ0c2=1, (αμ0c4π)2=GNμ04πc2=γe2. Both α,μ0,c,γe are positive, hence αμ0c/(4π)=γe. Substituting qm=γeQ0sin⁡β gives ΦBout=μ0cQ0sin⁡β. These conversions preserve the stated SI flux convention and introduce no magnetic-charge relabeling.

3.2F5step 2.2algebra

Assume a global smooth real one-form Aβ on a sphere-containing exterior with dAβ=Fβ and qm≠0. Represent the fixed sphere Sr by radially projecting the eight oriented triangular faces of the octahedron onto the unit sphere and taking their signed sum. Each face is disjoint from the origin, so its radial projection is smooth; common edges cancel with opposite orientations. This is a finite smooth singular 2-cycle, so ∂Sr=0. By [F5] and step 2.2, 4πqm=∫SrFβ=∫SrdAβ=∫∂SrAβ=0, a contradiction. Thus no such global potential exists on the rotating sphere-containing exterior when its magnetic flux is nonzero.

3.3F6F7L3step 2.2algebra

If a=0, the KN potential in [F6] reduces to −q0r−1dx0, so its exterior derivative is F0=−q0r−2dx0∧dr. On the sphere-containing exterior f>0, the positively oriented orthonormal coframe e0=f dx0, e1=f−1/2dr, e2=r dθ, e3=rsin⁡θ dϕ gives dx0∧dr=e0∧e1 and ⋆g(e0∧e1)=−e2∧e3 by the Hodge component convention [F7]. Hence ⋆gF0=q0ω. Therefore the dual rotation is Fβ=−q0cos⁡β r−2dx0∧dr+q0sin⁡β ω, which is exactly the dyonic RN field of [F6] with the flux parameters in step 2.2. The exact current interface [L3] supplies the two patch potentials and the criterion for a global real potential in this nonrotating case.

4.1A2step 1.1step 2.1step 2.2step 3.1step 3.2step 3.3∎

Steps 1.1-3.3 establish the conditional dual-rotated model, full-sphere flux identifications and global-potential obstruction. The conventions use only the inherited ACω in [A2]; they impose no full AC, flux quantization, or empirical claim.

Depends on

Dependency tree · 2 levels

Sources