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
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 , and , zero magnetic flux, and parameters For a fixed real duality angle , rotate its geometric field by where 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 and the same metric solve the same equation-based SI model, conditional on Verified rotating electric KN physical model. On the full-sphere exterior of Full-sphere exterior extension of the Kerr-Newman datum, with , the resulting geometric flux parameters and matching SI inputs are In particular , so the metric is unchanged. On each sphere-containing full-sphere exterior region, ; hence a global smooth real one-form potential for there is impossible if , by finite-chain Stokes. In the nonrotating case , 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: , , the pure-electric seed inputs, a fixed real , and the named model domains.
SI and geometric solution parameter identifications: , , , , and .
Verified rotating electric KN physical model: for a pure-electric KN seed, the SI-rescaled data satisfy the adopted , , equations conditionally on the exact draft verification and current-form interfaces; the mathematical proof is draft and not independently accepted.
Fully verified electric Kerr-Newman electrovacuum: for the exact pole-free KN datum and its stated full-sphere exterior, and ; its current proof remains draft and is not independently accepted.
Classical electrovac dual rotation: for any smooth geometric electrovac field and constant , has and ; hence the same metric satisfies the same geometric Einstein–Maxwell equation. This mathematical lemma is draft and not independently accepted.
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 , , 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.
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 ; this draft proposition assumes no bundle normalization or quantization.
Kerr-Newman metric and potential on the exact Boyer-Lindquist domain and Dyonic Reissner-Nordström metric and field domains: setting in the electric KN potential gives the static RN electric field ; the dyonic RN datum uses with the outward sphere orientation.
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 in an oriented chart.
Full-sphere exterior extension of the Kerr-Newman datum: on the pure-electric seed has the smooth global potential and on the full-sphere exterior.
Stokes theorem for smooth singular chains: for a finite smooth singular chain and smooth form , .
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.
The Axiom of Countable Choice (): the geometric flux and metric conventions inherited through [F1] and [F2] use only , 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
By [F1] and the seed's zero magnetic flux, its geometric electric parameter is 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.
Let 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 ; since is constant, for . Put . In an oriented coordinate chart write with ; 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 ; the Christoffel formula and symmetry of give . Hence , so . At each point , choose a positively oriented orthonormal frame with metric matrix . Torsion-freeness of the metric-selected connection [F4] gives . The Hodge component formula [F7] has and , where is alternating with . In this frame and . Substituting the displayed Hodge components into gives In the same oriented frame, and , so these components establish . Its left side is zero. Contraction with the nonzero volume form is an isomorphism , so ; hence 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 . The Einstein tensor and metric are unchanged, so the same zero-source SI equation-based model equations hold on every base domain of [F2].
On the full-sphere exterior [F8], let , , and . Differentiating the exact seed potential in [F2] gives and . Raising indices with the KN inverse metric and applying [F7] yields . Since , integration over the outward sphere gives The global potential in [F8] and Stokes' theorem [F5] give . By [F7], on two-forms, so integrating and its Hodge dual directly yields and . Therefore , and every KN metric coefficient depending on charge through this sum is unchanged. This local integral calculation proves the stated flux values.
The electric conversion in [F1] gives , using the flux parameter from step 2.2. For the magnetic flux, [F1] gives , with from step 2.2. From , Both are positive, hence . Substituting gives . These conversions preserve the stated SI flux convention and introduce no magnetic-charge relabeling.
Assume a global smooth real one-form on a sphere-containing exterior with and . Represent the fixed sphere 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 -cycle, so . By [F5] and step 2.2, a contradiction. Thus no such global potential exists on the rotating sphere-containing exterior when its magnetic flux is nonzero.
If , the KN potential in [F6] reduces to , so its exterior derivative is . On the sphere-containing exterior , the positively oriented orthonormal coframe , , , gives and by the Hodge component convention [F7]. Hence . Therefore the dual rotation is 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.
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 in [A2]; they impose no full AC, flux quantization, or empirical claim.
Depends on
Verified rotating electric KN physical model
SI and geometric solution parameter identifications
Fully verified electric Kerr-Newman electrovacuum
Classical electrovac dual rotation
Sourced Maxwell sign and current conservation
Dyonic RN gauges and global exactness obstruction
Kerr-Newman metric and potential on the exact Boyer-Lindquist domain
Full-sphere exterior extension of the Kerr-Newman datum
Dyonic Reissner-Nordström metric and field domains
Lorentzian exterior calculus and Hodge star
Stokes theorem for smooth singular chains
The Axiom of Countable Choice ()