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
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 . 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 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 embedded by and a proper smooth submersion with closed oriented real two-dimensional fibres equal to the chosen rational curve, over a smooth compact matter curve , algebraic gauge-background flux, the oriented fibre-integrated real class , a chosen integral lift of , a supplied holomorphic line bundle with , and a spin line with . The postulate itself denotes the smooth matter surface and spin line by and , respectively. Under those assumptions it adopts and . Here is cohomology of the sheaf of holomorphic sections and 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 have its explicit characteristic-class and holomorphic-cotangent meanings. The selected singular-model surface in the target 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 with holomorphically trivial canonical bundle, an oriented Hausdorff second-countable smooth eleven-manifold with a smooth mostly-plus Lorentzian metric , a time orientation , and a principal -bundle covering its oriented time-oriented orthonormal frame bundle as specified by that postulate, and internal inclusion with , the adopted tension and unit-curvature identification give and 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.
Remark references
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.
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.
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.
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.
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].
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.
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.
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.
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.