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.
Nonharmonic conformastatic data fail the electrovac equation
Statement refuted
For every smooth positive on an open and every , the metric of Positive-scalar conformastatic chart data together with the potential gives a geometric electrovac datum of Geometric electrovac equations and flux normalization, without any harmonicity condition on .
Facts & Assumptions
Given: The arbitrary-positive- conformastatic chart, its curvature table, and the geometric electrovac equations.
Positive-scalar conformastatic chart data defines , , , and .
The positive-scalar conformastatic chart tensor is Lorentzian gives the Lorentzian future orthonormal frame and .
Arbitrary-positive-H conformastatic Ricci and Einstein components gives for every positive function .
Sourced Maxwell sign and current conservation, for a smooth closed two-form and a smooth vector field satisfying with fixed and , proves for , so a nonzero divergence component forces .
Fix a length , put , , , and .
Counterexample
The function in [A1] is smooth and strictly positive. Its derivatives are , , and . The potential is smooth on all of , and its field is , with . Since , it satisfies . The metric is Lorentzian by [F2].
In the orthonormal frame [F2], the field components satisfy , so and . Also and by [F1, F2], hence . Using and from [F3], together with symmetry of and antisymmetry of , gives . Define the smooth vector field by . Fix auxiliary constants and , using , and define the smooth vector field . Then by construction, and by step 1.1, so all hypotheses of [F5] hold on the smooth, boundaryless, oriented and time-oriented chart manifold from [F1, F2]. The auxiliary is used only to apply this conditional mathematical identity. By [F5], . Contraction with the nowhere-zero volume form is injective, and the computed is nonzero. Hence , violating the source-free Maxwell equation in [F4]. If this residual were interpreted as a matter current, that would require an additional sourced model; none is assumed here. The Ricci table [F3] gives . Therefore . This also violates the necessary Ricci equation [F4], so these smooth conformastatic data are not geometric electrovac. This counterexample uses the arbitrary-positive- supplier directly; the harmonic-only theorem is not applied outside its hypotheses.
Depends on
Dependency tree · 2 levels
Sources
- Sean M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1, complete 238-page lecture notes
- David Tong, General Relativity, complete author-hosted lecture notes
- Reinhard Meinel and Moritz Hütten, On the black hole limit of electrically counterpoised dust configurations, arXiv:1105.3807v3