Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-05
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

Physical scope

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 π:Y^4→B3 with flat genus-one fibers and a specified regular section, in the geometric effective regime of the suppliers listed below. Let Δ⊂B3 be the discriminant divisor from the Weierstrass dictionary and B3∘=B3∖Δ its smooth-fiber locus. Fix b∈B3∘ and write Eb=π−1(b) for the smooth fiber over b, a compact complex curve. Let ϵ∈(0,ϵ0] parametrize the source's family of compactification metrics, with Kähler forms Jϵ that are smooth, positive, closed real (1,1)-forms on Y^4, and define the fiber area by Af(ϵ)=∫EbJϵ. Let M3 be the external Lorentzian three-dimensional spacetime, locally modeled on R1,2. For the wrapped-particle calculation, use the source's unwarped product idealization Y11=M3×Y^4 with external Lorentzian and internal Kähler metrics. In the dual Type-IIB description, let S~B1 be the external circle whose reduction gives the three-dimensional effective theory; write θ∼θ+2π for its angular coordinate and RB(ϵ) for its proper radius, so the circumference is 2πRB(ϵ). Adopt the source's low-energy F/M scaling Af(ϵ)→0 and RB(ϵ)→∞ as ϵ↓0. The four-dimensional Type-IIB description is the decompactification limit of M3×S~B1.

For an M2 membrane whose worldvolume locally is γ×Eb, let γ:I→M3 be a smooth timelike embedding from an interval I⊆R; this is the membrane's particle worldline. In the source's wrapped-fiber particle sector, the classical tension term contributes rest energy TM2Af per unit proper time, where TM2>0 is the independent tension of the M2 worldvolume-action definition. In units ℏ=c=1, [Af]=length2 and [TM2]=length−3, so this energy has dimension length−1. We adopt the source's identification of the generic elliptic-fiber wrapping class n[Eτ] with the Kaluza–Klein Fourier sector einθ of fields on S~B1, for n∈Z, and use the chosen smooth fiber Eb as its wrapped representative in this selected model; negative n 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 M3 with D3 source charge in the four-dimensional Type-IIB description on M3×S~B1. This space-filling source-charge correspondence is distinct from the particle state of an M2 wrapped on Eb. 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.

[F1]

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.

[F2]

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.

[F3]

M2 Brane Worldvolume Action currently defines the classical M2 area term and Wess–Zumino coupling, with TM2 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.

[F4]

M Theory Type IIA Circle Limit Dictionary currently adopts R11=gsℓs, ℓp3=gsℓs3, 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.

[F5]

Weigand's §3.4 identifies M2 states wrapping the generic elliptic-fiber class n[Eτ] 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 Eb 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.

Depends on

Dependency tree · 2 levels

Sources