Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck pass
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 H on an open D⊆R3 and every σ∈{−1,+1}, the metric gH of Positive-scalar conformastatic chart data together with the potential Aσ=σ(H−1−1)dx0 gives a geometric electrovac datum of Geometric electrovac equations and flux normalization, without any harmonicity condition on H.

Facts & Assumptions

Given: The arbitrary-positive-H conformastatic chart, its curvature table, and the geometric electrovac equations.

[F1]

Positive-scalar conformastatic chart data defines g00=−H−2, gij=H2δij, qH=∑iHi2, and ΔδH=∑iHii.

[F2]

The positive-scalar conformastatic chart tensor is Lorentzian gives the Lorentzian future orthonormal frame n=H∂x0 and ei=H−1∂i.

[F3]

Arbitrary-positive-H conformastatic Ricci and Einstein components gives Ric⁡00=qH/H6−ΔδH/H5 for every positive C3 function H.

[F4]
[F5]

Sourced Maxwell sign and current conservation, for a smooth closed two-form F and a smooth vector field j satisfying ∇aFab=−μ0jb with fixed μ0>0 and c>0, proves d(⋆gF)=−ιvvolg for vb=∇aFab, so a nonzero divergence component forces d(⋆gF)≠0.

[A1]

Fix a length ℓ>0, put λ=ℓ−2, D=R3, σ=+1, and H(x)=1+λ∣x∣2.

Counterexample

1.1givenF1F2A1algebraconstruct

The function in [A1] is smooth and strictly positive. Its derivatives are Hi=2λxi, qH=4λ2∣x∣2, and ΔδH=6λ>0. The potential Aσ=(H−1−1)dx0 is smooth on all of D, and its field is F=dAσ, with Fi0=−Hi/H2. Since d2=0, it satisfies dF=0. The metric is Lorentzian by [F2].

2.1givenF1F2F3F4F5A1step 1.1algebra∎

In the orthonormal frame [F2], the field components satisfy F(n,ei)=H⋅H−1F0i=Hi/H2, so FabFab=−2qH/H4 and Q(n,n)=qH/(2H4). Also Fi0=Hi/H2 and ∣det⁡g∣=H2 by [F1, F2], hence ∂i(∣det⁡g∣Fi0)=∂iHi=ΔδH=6λ. Using Γααi=2Hi/H and Γαα0=0 from [F3], together with symmetry of Γ0ac and antisymmetry of Fac, gives ∇aFa0=∂i(Hi/H2)+(2Hi/H)(Hi/H2)=ΔδH/H2=6λ/H2≠0. Define the smooth vector field v by vb:=∇aFab. Fix auxiliary constants μ0>0 and c>0, using t=x0/c, and define the smooth vector field j:=−μ0−1v. Then ∇aFab=−μ0jb by construction, and dF=0 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 j is used only to apply this conditional mathematical identity. By [F5], d(⋆gF)=−ιvvolg. Contraction with the nowhere-zero volume form is injective, and the computed v0=6λ/H2 is nonzero. Hence d(⋆gF)≠0, 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 Ric⁡(n,n)=H2Ric⁡00=qH/H4−ΔδH/H3. Therefore Ric⁡(n,n)−2Q(n,n)=−ΔδH/H3=−6λ/H3≠0. This also violates the necessary Ricci equation [F4], so these smooth conformastatic data are not geometric electrovac. This counterexample uses the arbitrary-positive-H supplier directly; the harmonic-only theorem is not applied outside its hypotheses.

Depends on

Dependency tree · 2 levels

Sources