Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
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.

Compact IIA D4 Flux Charge Balance

Physical scope

A conditional integrated consequence of the adopted D4-sourced massless IIA Bianchi law on a compact boundaryless six-manifold; does not prove a global stabilized solution or that the main Silverstein–Westphal phi^(2/3) configuration carries net D4 charge.

Statement

Let X6 be a compact oriented boundaryless six-manifold, γ a compact smooth closed oriented one-cycle, and ω1∈Ω1(X6) a smooth closed one-form. Assume G2∈Ω2(X6) and H3∈Ω3(X6) are smooth, and let G~4 be a degree-four de Rham current, meaning a continuous linear functional on smooth compactly supported two-forms with the test-form topology. For a degree-k current T, use the distributional exterior derivative defined by ⟨dT,η5−k⟩:=(−1)k+1⟨T,dη5−k⟩. Interpret the adopted D4 Bianchi law as the weak equality of degree-five currents dG~4+[H3∧G2]=2κ02μ4 δ5(γ), where ⟨[H3∧G2],η1⟩:=∫X6H3∧G2∧η1 and ⟨δ5(γ),η1⟩:=∫γη1 for smooth one-form test forms η1. Then ∫X6H3∧G2∧ω1=2κ02μ4∫γω1. This is a conditional weak flux-charge balance; it is not a proof of global source cancellation or a claim about the net charge in the main ϕ2/3 orientation.

Facts & Assumptions

Given: The compact oriented X6, source current and its normalization, dω1=0, and the D4-sourced Bianchi law displayed in [A1].

[F1]

D4 Distributional Source Current: the internal degree-five current is normalized by ∫X6δ5(γ)∧ω1=∫γω1.

[F2]

Finite chart localization gives choice-free integration and compact Stokes: on a compact oriented boundaryless manifold, compactly supported smooth top forms have the choice-free finite-chart integral used here.

[A1]

Type IIA D4 Sourced Four Form Bianchi: the adopted source law has coefficient 2κ02μ4. For this theorem, its internal reduction to X6 is interpreted weakly as the current equality in the Statement, not as an equality of smooth forms across γ.

Proof

1.1givenA1algebra

Pair the weak Bianchi identity [A1] with ω1. By the current-derivative definition in the Statement, ⟨dG~4,ω1⟩=(−1)5⟨G~4,dω1⟩=0.

2.1givenF1F2A1step 1.1algebra∎

The remaining pairings are defined in the Statement and [F1], so the asserted integral balance follows. Since H3,G2,ω1 are smooth, their wedge is a smooth top form on compact X6, and [F2] supplies its compact integration convention. This is weak integration by parts; it does not treat G~4 as smooth across the delta-current source.

Depends on

Dependency tree · 2 levels

Sources