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 RN gauges and global exactness obstruction

Statement

Let J⊂(0,∞) be nonempty and open, and suppose f(r)=1−2M/r+(qe2+qm2)/r2≠0 on J. On the static dyonic RN product Rt×J×S2, orient by dt∧dr∧ω and use the field F=−qer−2dt∧dr+qmω. For every sphere Sr, ∫SrF=4πqm,∫Sr⋆gF=4πqe. On the north and south patches it has smooth potentials AN=−qerdt+qm(1−cos⁡θ)dϕ,AS=−qerdt−qm(1+cos⁡θ)dϕ, with dAN=dAS=F and AS−AN=−2qmdϕ on the overlap. A global smooth real one-form potential on this sphere-containing product exists exactly when qm=0. No circle-bundle normalization or charge quantization is imposed.

Facts & Assumptions

Given: The static RN metric, field, orientation and sphere patches.

[F1]

Dyonic Reissner-Nordström metric and field domains: on f≠0, g=−fdt2+f−1dr2+r2γ and F=−qer−2dt∧dr+qmω, where ω=sin⁡θ dθ∧dϕ is the outward unit-sphere area form.

[F2]

Lorentzian exterior calculus and Hodge star: the Hodge map is defined by the metric, orientation and inverse metric and is smooth on the stated nondegenerate Lorentzian chart.

[F3]

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

[A1]

J is nonempty; qe,qm,M are real length parameters. In a polar chart, x=rsin⁡θcos⁡ϕ, y=rsin⁡θsin⁡ϕ, z=rcos⁡θ. Potentials are used only on their named patches; J contains only radii with f≠0. The coordinates t,r,x,y,z have length units and angles are dimensionless.

Proof

1.1F1F2A1algebra

Fix t0∈R. For each r∈J, let Cr be the chain obtained by radially projecting the eight outward-oriented triangular faces of the octahedron with vertices ±e1,±e2,±e3 onto the unit sphere and then embedding that sphere as t=t0, radius r. Each face lies in an affine plane not containing the origin, so its radial projection extends smoothly to a neighbourhood of its simplex. Order the six vertices once, parameterize each face in that order, and include it with the sign that makes its radial image outward-oriented. Each common edge is then the same ordered singular 1-simplex in its two incident faces, with opposite boundary coefficients. Thus Cr is a finite smooth singular 2-cycle covering Sr once with its outward orientation. The face interiors partition the sphere, and the polar area form is ω=sin⁡θ dθ∧dϕ; the finitely many face edges have zero 2-dimensional integral. Therefore ∫Crω=∫02π∫0πsin⁡θ dθ dϕ=4π. Pulling [F1]'s F back to Cr removes the electric term and leaves qmω, so the first flux is 4πqm. The inverse static metric has gtt=−1/f, grr=f, and the oriented volume form is r2sin⁡θ dt∧dr∧dθ∧dϕ. In the component formula of [F2], (dt∧dr)tr=gttgrr=−1 and ωθϕ=1/(r4sin⁡θ). The oriented volume component is ϵθϕtr=r2sin⁡θ, so that formula gives ⋆g(dt∧dr)=−r2ω,⋆gω=r−2dt∧dr, for either sign of f. Therefore ⋆gF=qeω+qmr−2dt∧dr; its sphere pullback integrates to 4πqe.

1.2F1A1algebra

On UN={r+z>0} and US={r−z>0}, respectively, (1−cos⁡θ)dϕ=x dy−y dxr(r+z),(1+cos⁡θ)dϕ=x dy−y dxr(r−z). The denominators are nonzero on the indicated patches, so both one-forms are smooth there. Differentiation gives d[(1−cos⁡θ)dϕ]=d[−(1+cos⁡θ)dϕ]=ω and d(−qer−1dt)=−qer−2dt∧dr. Thus both potentials differentiate to [F1]. Subtracting them gives AS−AN=−2qmdϕ on the overlap.

2.1F1F3step 1.1A1algebra

If a global smooth one-form A with dA=F existed and qm≠0, apply [F3] to the oriented sphere cycle Sr: 4πqm=∫SrF=∫SrdA=∫∂SrA=0, since ∂Sr=0. This contradiction rules out a global potential when qm≠0.

3.1F1A1algebra∎

If qm=0, the one-form A=−qer−1dt is smooth and global on Rt×J×S2, and its exterior derivative is F. This proves the exact criterion.

Remarks

The two-form is globally defined even when its local potentials do not combine into one global real one-form. No regular source at r=0 or quantization condition follows.

Depends on

Dependency tree · 2 levels

Sources