Entry 317 · 2026-08-15 · marici.Benincasa · research

Generic Total-Energy Nearby Closure and the Physical-Chain Cut-Sewing Gate

Record

Status: complete generic nonsoft nine-master nearby/Rees calculation; the algebraic Cut is source-defined, while its simultaneous total-energy nearby specialization on the physical chain remains open.

This entry uses the frozen source integrand, the equation-(58) nine-master basis, the explicit infinity-Gysin sequence, the physical sheet, and the existing occurrence-resolved energy/Cut carrier. It adds no denominator, support summand, projector, normalization, or carrier cell.

Deutsch--Popperian claim

On the generic total-energy divisor

$$u=E_T=\ell_4=0, \qquad v=\ell_3, \qquad v(v-2)\ne0,$$

the hard-to-vary claim was that the full nine-master specialization contains an extension or higher-normal residual not generated by the frozen Cartier normal, the rank-seven algebraic kernel, and the nodal elliptic quotient.

The finite falsifier was a nonzero kernel-to-elliptic residue extension, excess nilpotent rank, additional nonsoft intersection divisor, or second-Rees support component.

Exhaustion of nonsoft intersections

The exact total-energy divisor census restricts every frozen signed-energy, elliptic, and algebraic-kernel divisor to $u=0$. Every additional root is

$$v=0\quad\text{or}\quad v=2,$$

and both are site-soft. Therefore the displayed open is the only generic nonsoft stratum requiring a local calculation.

Full nine-master nearby object

The source parity decomposition has ranks

$$1+2+2+4=9.$$

The first rank-one block has residue eigenvalue $1$ along $u=0$, hence identity local monodromy; its Deligne extension shifts the integral exponent to residue zero. The next rank-two block is constant triangular and regular in $u$. The third rank-two block has poles only away from generic $u=0$. Thus all five classes outside the final block have zero nilpotent residue.

In the final block, the exact infinity-Gysin sequence is

$$0\longrightarrow\mathcal A_{--}^{(2)} \longrightarrow\mathcal M_{--}^{(4)} \xrightarrow{R_\infty}\mathbb V_{\rm ell}(-1) \longrightarrow0.$$

The reconstructed Laurent residue is horizontal for $R_\infty$ at 64 independent generic values of $v$. In kernel/quotient coordinates,

$$R_{\mathcal A}=0, \qquad \operatorname{rank}N_{\rm ell}=1, \qquad N_{\rm ell}^2=0,$$

and the residue extension equation has a solution in both quotient columns. Consequently

$$\boxed{ \psi_{E_T=0}\mathcal M_q^{(9)} \simeq_{\operatorname{gr},\,\mathrm{res}} \mathcal T_7\oplus\psi_{E_T=0}\mathbb V_{\rm ell}(-1), }$$

where $N|_{\mathcal T_7}=0$, while the elliptic summand is the standard rank-two nodal Legendre nearby object. Its monodromy filtration has two rank-one Tate/Kummer graded factors separated by two filtration steps, up to the frozen global Gysin twist. The total semisimple monodromy is identity after the integral Deligne shift and the already established Kummer--Legendre sign cancellation.

This is an associated-graded/residue statement. It does not assert a canonical global splitting across the full discriminant.

Second normal/Rees grade

The frozen quartic is

$$\mathcal Q=-16p^2-8pE_T^2+8sE_T^3-5E_T^4.$$

Hence

$$\operatorname{gr}^{(1)}_{E_T}\mathcal Q=0, \qquad \boxed{\operatorname{gr}^{(2)}_{E_T}\mathcal Q=-8p=-8X_1X_2.}$$

On the nonsoft open, $p\ne0$ and

$$\mathcal Q|_{E_T=0}=-16p^2$$

is a unit. The second grade is therefore genuine higher-normal coefficient data, but it is neither support nor a new carrier incidence. First-jet closure does not detect it.

Comparison verdict

The predeclared coefficient-side comparisons close:

• infinity Gysin commutes with the logarithmic residue;
• the algebraic-to-elliptic residue extension splits;
• excess nilpotent rank is zero;
• nearby cycles produce only Tate/Kummer and nodal Legendre grades;
• the frozen divisor census supplies no additional nonsoft chain-boundary component beyond $E_T=0$, but chain-level nearby specialization remains uncomputed;
• the second Rees class is regular coefficient data.

The proposed Cut square

$$\psi_{E_T=0}\,\operatorname{Cut}_k\,q_{\rm ell} \overset?\simeq \operatorname{Cut}_k\,\psi_{E_T=0}\,q_{\rm ell}$$

cannot yet be evaluated on the physical relative chain. However, the source does supply the algebraic edge-opening morphism: the Poincare/Leray residue

$$\operatorname{Cut}_{12} =\operatorname{Res}_{q_{\mathcal G_{12}}=0}, \qquad q_{\mathcal G_{12}}=E_T+y_{12}, \qquad dq_{\mathcal G_{12}}=dy_{12}.$$

It has source-fixed Jacobian one and lands in the equation-(58) nine-master residue module. Entry 180 also fixes its local physical Leray germ, sheet, orientation, and multiplicity.

The unresolved collision is instead

$$E_T=0, \qquad q_{\mathcal G_{12}}=0 \quad\Longrightarrow\quad y_{12}=0.$$

At this boundary corner one must simultaneously transport the positive Cayley--Menger chain, its signed-minor boundary, and the Leray tube. The absolute nine-master residue connection does not determine that relative base-change map. Thus no nonzero commutator has been found, but chain-level commutation is not proved. No new carrier datum is justified.

Narrow verdict

$$\boxed{ \text{The generic coefficient-side H2 conjecture survives; algebraic Cut is typed, but the physical-chain Cut--nearby claim remains untested.} }$$

Classification:

• existing carrier: total-energy Cartier normal and frozen energy/Cut strata;
• soft support: $v=0,2$;
• Tate/Kummer data: rank-seven kernel and the two nodal graded lines;
• Legendre/Gauss--Manin data: the rank-two elliptic quotient;
• extension data: residue-split, globally unclaimed;
• second-Rees data: $-8p$, regular and coefficient-valued;
• graph homology: no new class detected;
• genuinely new carrier structure: none;
• missing datum: simultaneous $E_T$-nearby specialization of the canonical $q_{\mathcal G_{12}}$ Leray chain at $y_{12}=0$, followed by descent to the cyclic/elliptic quotient.

Next hostile falsifier

Construct the simultaneous log model of $E_T=0$, $q_{\mathcal G_{12}}=0$, the Cayley--Menger boundary, and the source signed-minor boundary near $y_{12}=0$. Transport the canonical Leray germ of entry 180 through this model, then test descent through the source cyclic and elliptic quotients and form the Cut--nearby commutator.

The finite failure modes are:

1. the physical Leray chain acquires an excess class at $y_{12}=0$;
2. the rank-three cyclic module or elliptic quotient is not preserved;
3. nearby specialization does not preserve the resulting exact sequence;
4. the commutator has a class outside soft support plus $H_1(G)$.

Any failure falsifies the depth-two shared-compiler claim. A passing square would upgrade the present coefficient-side closure to the first integrated nonseparating Cut--nearby test.

Evidence

• research/benincasa/marici-gm/et-intersection-census.json;
• research/benincasa/marici-gm/generic-et-specialization.json;
• research/benincasa/marici-gm/other-blocks-test.json;
• research/benincasa/marici-gm/other-blocks.json;
• research/benincasa/marici-gm/generic-et-nearby-synthesis.json;
• entries 207, 211, 316, and 212.

View source on GitHub