M2 Physical General Flux Descent Obligation

HELD OBLIGATION, not an existence theorem or physical postulate. The F4 target here consists of the following specified data. Work under full AC. Fix a smooth compact connected Kähler complex fourfold ${\widehat{Y}}_4$ with holomorphically trivial canonical line, a flat sectioned elliptic projection $\widehat{\pi }:{\widehat{Y}}_4\to B_3$ to a smooth integral complex algebraic threefold, and a chosen crepant resolution of its Weierstrass model. Use the crepant-resolution and matter-surface definition: the resolution is proper and birational and identifies the canonical lines; its chamber specifies chosen irreducible fibral curve components. Fix a matter curve $C\subset D\subset B_3$ (a reduced integral closed curve in the specified divisor, with geometric generic fibre configuration different from that over $D$), and a selected reduced integral matter surface ${\mathcal{S}}_R\subset {\widehat{Y}}_4$ whose restriction $q_R:{\mathcal{S}}_R\to C$ is proper and flat with nonempty pure one-dimensional geometric fibres and selected geometric generic fibre ${\mathbb{P}}^1$. The wrapped charge is this chosen fibre component with its specified orientation, rather than the full generic elliptic fibre; its charge labels relative to any specified gauge divisors are their integral intersection numbers with this oriented component.

The flux data range over all real degree-four classes $g$ satisfying the shifted-quantization and gauge-preserving supersymmetry interfaces, with their stated leading-order physical qualifications. Explicitly, supply the spin eleven-manifold and internal tangent splitting required by the shifted-quantization interface; use $c=\mathrm{\hslash }=1$, $T_{M2}=(2\pi {)}^{-2}{\mathrm{\ell }}_p^{-3}$ and $g=[G_{4,\mathrm{C}\mathrm{J}\mathrm{S}}]\mathrm{/}((2\pi {)}^3{\mathrm{\ell }}_p^3)$ conditional on its physical normalization identification. Here ${\mathrm{\ell }}_p$ has units of length and $T_{M2}$ of inverse length cubed. Require $g+\rho (c_2(T^{1,0}{\widehat{Y}}_4))\mathrm{/}2\in \mathrm{im}\rho$, where $\rho :H^4({\widehat{Y}}_4;\mathbb{Z})\to H_{\mathrm{d}\mathrm{R}}^4({\widehat{Y}}_4;\mathbb{R})$ is coefficient change followed by inverse de Rham comparison and $c_2$ is the integral second Chern class. For the specified Kähler class $[J]$, zero-section class $[Z_0]$, and Cartan divisor classes $[E_i]$, require Hodge type $(2,2)$, $[J]⌣g=0$, and ${\int }_{{\widehat{Y}}_4}g⌣{\widehat{\pi }}^{\ast }{d}_a⌣{\widehat{\pi }}^{\ast }{d}_b={\int }_{{\widehat{Y}}_4}g⌣[Z_0]⌣{\widehat{\pi }}^{\ast }{d}_a={\int }_{{\widehat{Y}}_4}g⌣[E_i]⌣{\widehat{\pi }}^{\ast }{d}_a=0.$ Here $d_a,d_b$ range over the real span of first Chern classes of algebraic line bundles on $B_3$, divisor classes are real Poincaré duals, and integration means evaluation on the complex-oriented fundamental class. These conditions specify the adopted target regime; they prove no vacuum exists. No algebraic cycle representing $g$ is required. All integral lifts, torsion and flat refinements compatible with the fixed shift remain in scope, rather than being identified merely because they have the same real curvature.

For every such geometric and flux datum, construct the physical regulated fermion/C-field descent and identify its reduction to the actual curve twist, meaning the bundle or singular-curve replacement in which the reduced physical wavefunctions take values, with its connection and operator domain. Construct and match the shifted cocycle $(u,a,t,\omega )$ and the supplied operator and line data of the combined Euclidean descent package; its convention is $\delta t=\mathrm{Int}(\omega )-a_{\mathbb{R}}-u_{\mathbb{R}}\mathrm{/}2$. Neither a free-period class nor an abstract package supplies this physical identification. In a smooth reduction, the Berry factor means the actual light-state bundle $\mathrm{im}P$ with connection $P{\mathrm{\nabla }}^{\mathcal{H}}$, for a smooth finite-rank orthogonal spectral projection $P$ on the regulated Hilbert bundle $\mathcal{H}$ with its supplied unitary connection; construct these objects and retain their gradings, rather than assume a rank-one vacuum.

Compatibility is required at every singular point of $C$ and every point where $q_R$ fails to be a smooth submersion, including reducible or nonreduced special fibres. Specify a finite set $\mathrm{\Delta }\subset C$ containing these points and an actual smooth proper submersion over $C\setminus \mathrm{\Delta }$. At each point of $\mathrm{\Delta }$, and at any additional parameter value where the light/high spectral gap closes, construct the branch and vertex states, their transfer maps, the closed limiting operator domains and the regulator comparison; include states becoming light before using an inverse on the high sector. A smooth-family calculation alone supplies no extension there. State the exact subset on which any proposed construction succeeds and identify each excluded case; exclusions remain outstanding portions of this target. This unsupplied interface neither disproves a standard index relation nor claims a literature-wide open problem.

Crepant resolution and matter surface

Shifted M-theory G4 quantization on a resolved Calabi–Yau fourfold

F-theory flux transversality and supersymmetry conditions

M2 Combined Fermion Cfield Descent Data

The Axiom of Choice

This item records a scoped authoring obligation. It does not claim that the obligation is a genuinely open problem in the literature, and it is not a logical supplier to a theorem.

The local transgression calculation in M2 Smooth Family Wess Zumino Transgression applies to an actual smooth family and an actual normalized three-form potential. It does not identify that potential, its flat data, or its quantum phase with a physical M2 C-field. The installed shifted-flux premise records free periods but does not provide the full differential/flat refinement. The closed smooth Euclidean source pairing, even if completed, would not construct physical quantum states over wrapped spatial fibres or identify their Berry line. No rank-one even vacuum, prescribed curve degree, or degeneration law is adopted as an assumption to force the desired answer.

The classical M2 action and the adopted flux conditions specify coupling and target conventions, not a construction of quantum states. The missing input is an actual regulated physical combined descent package and a proved comparison to the curve twist over the full target specified above, including classes without an algebraic lift and singular curves. This remains a held owner-level construction obligation after the local authoring in this batch.

• Freed–Moore, Setting the Quantum Integrand of M-Theory, §5.2: the closed smooth Euclidean source model and its stated scope.
• The current local data boundary is explicit in the Definition and Remarks of M2 Combined Fermion Cfield Descent Data and in Current boundary above. The previously cited historical research note is unavailable in this workspace; no claim of having inspected it is made.