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 be nonempty and open, and suppose on . On the static dyonic RN product , orient by and use the field . For every sphere , On the north and south patches it has smooth potentials with and on the overlap. A global smooth real one-form potential on this sphere-containing product exists exactly when . No circle-bundle normalization or charge quantization is imposed.
Facts & Assumptions
Given: The static RN metric, field, orientation and sphere patches.
Dyonic Reissner-Nordström metric and field domains: on , and , where is the outward unit-sphere area form.
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.
Stokes theorem for smooth singular chains: for a finite smooth singular chain and smooth form , .
is nonempty; are real length parameters. In a polar chart, , , . Potentials are used only on their named patches; contains only radii with . The coordinates have length units and angles are dimensionless.
Proof
Fix . For each , let be the chain obtained by radially projecting the eight outward-oriented triangular faces of the octahedron with vertices onto the unit sphere and then embedding that sphere as , radius . 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 is a finite smooth singular 2-cycle covering once with its outward orientation. The face interiors partition the sphere, and the polar area form is ; the finitely many face edges have zero 2-dimensional integral. Therefore Pulling [F1]'s back to removes the electric term and leaves , so the first flux is . The inverse static metric has , , and the oriented volume form is . In the component formula of [F2], and . The oriented volume component is , so that formula gives for either sign of . Therefore ; its sphere pullback integrates to .
On and , respectively, The denominators are nonzero on the indicated patches, so both one-forms are smooth there. Differentiation gives and . Thus both potentials differentiate to [F1]. Subtracting them gives on the overlap.
If a global smooth one-form with existed and , apply [F3] to the oriented sphere cycle : since . This contradiction rules out a global potential when .
If , the one-form is smooth and global on , and its exterior derivative is . 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 or quantization condition follows.