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.
M-theory/F-theory elliptic-fiber limit
Adopted low-energy M/F duality limit for a fixed smooth compact flat sectioned elliptic Calabi–Yau fourfold. The chosen Kähler-form family, generic-fiber area limit, and external-circle decompactification are source-regime inputs. Generic-fiber- wrapped M2 states are identified with Kaluza–Klein modes; the space-filling M2/D3 source-charge map is stated separately. No universal equivalence, singular-model prescription, exact dimensionful fiber/radius coefficient, or general source-normalization theorem is asserted.
Postulate
Fix a smooth compact elliptically fibered Calabi–Yau fourfold with flat genus-one fibers and a specified regular section, in the geometric effective regime of the suppliers listed below. Let be the discriminant divisor from the Weierstrass dictionary and its smooth-fiber locus. Fix and write for the smooth fiber over , a compact complex curve. Let parametrize the source's family of compactification metrics, with Kähler forms that are smooth, positive, closed real -forms on , and define the fiber area by . Let be the external Lorentzian three-dimensional spacetime, locally modeled on . For the wrapped-particle calculation, use the source's unwarped product idealization with external Lorentzian and internal Kähler metrics. In the dual Type-IIB description, let be the external circle whose reduction gives the three-dimensional effective theory; write for its angular coordinate and for its proper radius, so the circumference is . Adopt the source's low-energy F/M scaling and as . The four-dimensional Type-IIB description is the decompactification limit of .
For an M2 membrane whose worldvolume locally is , let be a smooth timelike embedding from an interval ; this is the membrane's particle worldline. In the source's wrapped-fiber particle sector, the classical tension term contributes rest energy per unit proper time, where is the independent tension of the M2 worldvolume-action definition. In units , and , so this energy has dimension . We adopt the source's identification of the generic elliptic-fiber wrapping class with the Kaluza–Klein Fourier sector of fields on , for , and use the chosen smooth fiber as its wrapped representative in this selected model; negative represents reversed orientation. These are particle states from M2 branes wrapping the full smooth elliptic fiber, not D3 branes.
Separately, the source's tadpole dictionary identifies a space-filling M2 source in with D3 source charge in the four-dimensional Type-IIB description on . This space-filling source-charge correspondence is distinct from the particle state of an M2 wrapped on . These are adopted physical limit and charge postulates, not consequences of the fibration definition or bosonic membrane action alone. No universal equivalence, singular-model prescription, exact dimensionful fiber/radius coefficient, or general source-normalization theorem is asserted.
Facts & Assumptions
Given: A fixed smooth compact resolved flat elliptic Calabi–Yau fourfold, a regular section, and the low-energy duality regime.
Elliptic fibration with a section specifies a proper flat genus-one fibration with a regular section; its current record is escalated for an unrelated Mordell–Weil group-law input, while this postulate uses only the stated fibration clause.
Type-IIB axiodilaton and elliptic-fiber dictionary supplies the geometric type-IIB/elliptic-fiber interpretation; its current Step 1 record is escalated because its Weierstrass readiness is stale, so this is not treated as ready proof input.
M2 Brane Worldvolume Action currently defines the classical M2 area term and Wess–Zumino coupling, with as an independent physical normalization, on a smooth closed oriented timelike membrane in CJS superspace. Its current Step 1 record is ready. This postulate uses only the bosonic area-term interface and does not infer duality from it.
M Theory Type IIA Circle Limit Dictionary currently adopts , , the stated string-frame metric ansatz, and a conditional D0/first-KK mass match. Its current Step 1 record is ready. No exact coefficient for the F-theory circle scaling is inferred from this separate IIA/M dictionary.
Weigand's §3.4 identifies M2 states wrapping the generic elliptic-fiber class with the Kaluza–Klein tower of the dual circle and says the fiber-volume-zero limit decompactifies that circle. The Postulate uses the chosen smooth fiber as the wrapped representative in this selected model. Section 9.2, immediately after equation (9.11) on printed p. 87, separately identifies the space-filling M2 and D3 source charges. These are distinct M2 configurations.