Alphabeta Math
RemarkRemark: AI-adaptedProof: AI-generatedprecheck passverified 2026-11-05 (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.

F4 Singular Wrapped M2 Physical Transfer Obligation

Physical scope

The original F4 background/charge and singular matter-curve/selected-fibral sector objective is retained. This remark records current local proof/readiness gaps and makes no literature-wide open-problem claim.

Remark

The classical action and selected matter surface presently carried into this pair do not construct the actual singular wrapped-M2 protected state sector, the light branch and vertex states, a closed transfer/domain, a regulator limit, or the combined fermion/C-field twist that identifies an index with ∫SRg4. The required inputs are listed in def-f4-singular-wrapped-m2-sector-realization-data. A finite matrix or a point-matching prescription chosen to give a desired Euler characteristic is not a derivation of those inputs. This is a scoped local authoring hold, not a new physical postulate and not a claim that the standard relation is a substantiated open research problem or that no literature construction exists. The symbol ∫SRg4 is the intended comparison target only when a smooth compact resolved model supplies the oriented surface cycle and flux class in the scope of the zero-mode postulate below; this remark does not assert that the integral is defined or computed for every singular or noncompact matter surface in the retained scope.

The named smooth comparison target is the adopted postulate post-f4-m2-matter-curve-zero-mode-dictionary, with its own regime: a smooth compact resolved flat sectioned elliptic Calabi--Yau fourfold, a selected smooth compact matter surface SRsm embedded by i:SRsm↪Y^4 and a proper smooth submersion q:SRsm→CR with closed oriented real two-dimensional fibres equal to the chosen rational curve, over a smooth compact matter curve CR, algebraic gauge-background flux, the oriented fibre-integrated real class α=q∗(i∗[g4])∈HdR2(CR;R), a chosen integral lift c∈H2(CR;Z) of α, a supplied holomorphic line bundle LR with c1(LR)=c, and a spin line SRspin with (SRspin)⊗2≅KCR. The postulate itself denotes the smooth matter surface and spin line by SR and SR, respectively. Under those assumptions it adopts deg⁡LR=∫SRsmg4 and χR=h0(CR,LR⊗SRspin)−h1(CR,LR⊗SRspin). Here Hq(CR,E) is cohomology of the sheaf of holomorphic sections and hq its complex dimension, finite for the supplied smooth-curve line by the postulate's declared general-line Dolbeault/sheaf comparison. The coefficient map is its degree-two integral-to-de-Rham map, and degree and KCR have its explicit characteristic-class and holomorphic-cotangent meanings. The selected singular-model surface SR in the target ∫SRg4 above is a different object. The smooth zero-mode postulate records net chirality only and excludes singular curves, general non-algebraic flux and microscopic M2 quantization.

The separate postulate post-f4-mtheory-g4-shifted-quantization gives only a conditional free-period convention: for a smooth compact connected resolved Calabi--Yau fourfold Y^4 with holomorphically trivial canonical bundle, an oriented Hausdorff second-countable smooth eleven-manifold Y11 with a smooth mostly-plus Lorentzian metric g, a time orientation τ, and a principal Spin+(10,1)-bundle covering its oriented time-oriented orthonormal frame bundle as specified by that postulate, and internal inclusion i:Y^4↪Y11 with i∗TY11≅TY^4⊕ε3, the adopted tension TM2=(2π)−2ℓp−3 and unit-curvature identification give g4=[G4,CJS]/((2π)3ℓp3) and g4+12ρY^4(c2(TY^4))∈im⁡ρY^4,ρY^4:H4(Y^4;Z)→HdR4(Y^4;R). It does not choose the integral lift, holomorphic line bundle or spin line and retains no torsion or differential C-field data; it has no singular-space conclusion. These postulates identify smooth comparison conventions only; neither supplies singular states, a transfer map, an index proof or the twist.

Facts & Assumptions

Given: The exact current interfaces of the classical action and the specified resolution/matter-surface data, plus the present assigned batch scope. Physical conclusions remain conditional on an actually supplied singular sector and comparison map.

[F1]

M2 Brane Worldvolume Action defines a classical action on one smooth closed oriented three-manifold with Lorentzian nondegenerate induced metric and explicitly claims no quantization.

[F2]

Crepant resolution and matter surface defines a selected fibral family as specified geometric data over one chosen resolution chamber; different resolutions or selected components remain separate choices.

[F3]

M2 matter-curve zero modes for smooth algebraic flux backgrounds is an adopted zero-mode index dictionary only in its smooth compact algebraic-flux regime; it expressly excludes singular matter curves and does not derive microscopic M2 quantization.

[F4]

Shifted M-theory G4 quantization on a resolved Calabi–Yau fourfold is conditional on its smooth compact Calabi--Yau, oriented time-oriented Lorentzian spin, tangent-splitting, tension and curvature-identification hypotheses and asserts only the stated free-period shift. It supplies no singular-space index or line-bundle lift.

Proof

Given: The current classical action and resolution/matter-surface interfaces in [F1] and [F2].

1.1F1given

The input contract in [F1] is a single smooth closed worldvolume with a nondegenerate Lorentzian induced metric, and the item explicitly identifies it as a classical action with no quantum definition. Hence this carrier alone does not define the Hilbert-space sector or closed singular supercharge required for a quantum chiral count.

1.2F2given

The geometric object in [F2] is a specified cycle in one chosen resolution chamber, with different resolution/component choices kept separate. That geometric input does not furnish the missing quantum domain or the comparison calculation required by this remark.

1.3F3F4given

The zero-mode dictionary [F3] applies only to its smooth compact algebraic-flux assumptions, while [F4] gives only a conditional free-period flux convention; neither supplies the singular Hilbert-space sector or its closed transfer comparison. They are adopted postulates, not deductions from the local operator examples.

2.1F1F2F3F4step 1.1step 1.2step 1.3∎

The action and geometric-cycle interfaces thus leave the physical singular-sector and transfer comparison as a required additional input. The remark records that scoped obligation without converting it into a physical postulate or literature-wide open-problem claim.

Interface and realization boundary

The regulated protected-sector carrier and combined mathematical data carrier specify conditional input contracts. Their current source and readiness must be assessed using the native records after any interface correction. The full-AC hypothesis inherited from the spinor/characteristic prerequisites is retained explicitly in the required-data definition. Neither a current ready input contract nor the correction of an obsolete carrier-absence statement constructs the physical singular sector or its transfer comparison. This remark may be locally ready as a nonlogical statement of that obligation while the physical construction itself remains unproved. No Pfaffian/electric family theorem or physical realization is assumed to clear a status-record defect.

Depends on

Dependency tree · 2 levels

Sources