MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 287 · 2026-08-16 · marici.Benincasa · research

Physical Enhanced-Point Rees Audit and Exclusion of Q

Result

Entry 286 localizes every failure of generic semistability at total energy to four source-generated points. At the physical point

P−−=[−y:−x:1],P_{--}=[-y:-x:1],

use the moving marked coordinates

a=E−y+u,b=E−x+v.a=E-y+u, \qquad b=E-x+v.

The two frozen walls are exactly

u=0,v=0.u=0, \qquad v=0.

Let

R0=xy(x+y)−xa2−yb2R_0 = xy(x+y)-xa^2-yb^2

be the central-sheet polynomial and define

D(E,u,v)=KE(a,b)−R0(a,b)2.D(E,u,v) = K_E(a,b)-R_0(a,b)^2.

Exact expansion gives

gr⁡E(1)D=−2(x+y)uv(2x−v)(2y−u).\boxed{ \operatorname{gr}^{(1)}_E D = -2(x+y)uv(2x-v)(2y-u). }

Thus the first local smoothing is generated by the existing two-wall incidence product uvuv, multiplied by source-fixed kinematic units.

On the double-wall section,

u=v=0,u=v=0,

the complete expression factors as

D(E,0,0)=E3(E−x−y)[E2−3(x+y)E+8xy].\boxed{ D(E,0,0) = E^3 (E-x-y) \left[ E^2-3(x+y)E+8xy \right]. }

Consequently,

gr⁡E(1)D∣u=v=0=0,gr⁡E(2)D∣u=v=0=0,\operatorname{gr}^{(1)}_E D|_{u=v=0}=0, \qquad \operatorname{gr}^{(2)}_E D|_{u=v=0}=0,

while

gr⁡E(3)D∣u=v=0=−8xy(x+y).\operatorname{gr}^{(3)}_E D|_{u=v=0} = -8xy(x+y).

This excludes a proposed home of the algebraic quartic:

Q is not the second-Rees local smoothing discriminant at P−−.\boxed{ \mathcal Q \text{ is not the second-Rees local smoothing discriminant at }P_{--}. }

Indeed,

gr⁡E(2)Q=−8xy≠0\operatorname{gr}^{(2)}_E\mathcal Q=-8xy\neq0

at generic nonsoft kinematics, whereas the physical local surface smoothing has vanishing second grade.

The negative result is narrow. It does not exclude Q\mathcal Q from the other three enhanced points, their global gluing, the algebraic T7/L1\mathcal T_7/L_1 connection, or the extension between the algebraic kernel and elliptic quotient.

Frozen local pair

The source walls on the qG12q_{\mathcal G_{12}}-residue surface are

qg1=b−y−z,qg2=a−x−z.q_{g_1}=b-y-z, \qquad q_{g_2}=a-x-z.

Since z=E−x−yz=E-x-y,

qg1=v,qg2=uq_{g_1}=v, \qquad q_{g_2}=u

in the moving coordinates above. No local section is chosen after the expansion.

The physical intersection section is

u=v=0,a=E−y,b=E−x.u=v=0, \qquad a=E-y, \qquad b=E-x.

At E=0E=0, it specializes to P−−P_{--}.

First Rees grade

Write

D=ED1(u,v)+E2D2(u,v)+⋯ .D = E D_1(u,v) + E^2D_2(u,v) + \cdots.

Direct coefficient collection yields

D1(u,v)=−2(x+y)uv[4xy−2xu−2yv+uv].D_1(u,v) = -2(x+y)uv \left[ 4xy-2xu-2yv+uv \right].

The bracket factors:

4xy−2xu−2yv+uv=(2x−v)(2y−u).4xy-2xu-2yv+uv = (2x-v)(2y-u).

Therefore

D1=−2(x+y)uv(2x−v)(2y−u).D_1 = -2(x+y)uv(2x-v)(2y-u).

At a generic point near P−−P_{--}, the last two factors are units. The first smoothing is exactly the product of the two predeclared marked normals.

This is coefficient geometry over the existing incidence carrier.

Restriction to the physical marked section

On u=v=0u=v=0, the branch value is already known from the frozen intersection formula:

KE(P)=Λ2=E2(E−2x)2(E−2y)2.K_E(P) = \Lambda^2 = E^2(E-2x)^2(E-2y)^2.

Meanwhile,

R0(P)=E[4xy−(x+y)E].R_0(P) = E[4xy-(x+y)E].

Hence

D(E,0,0)=E2((E−2x)2(E−2y)2−[4xy−(x+y)E]2).D(E,0,0) = E^2 \left( (E-2x)^2(E-2y)^2 - [4xy-(x+y)E]^2 \right).

The difference of squares factors as

(E−2x)(E−2y)−[4xy−(x+y)E]=E(E−x−y),(E-2x)(E-2y)-[4xy-(x+y)E] = E(E-x-y),

(E−2x)(E−2y)+[4xy−(x+y)E]=E2−3(x+y)E+8xy.(E-2x)(E-2y)+[4xy-(x+y)E] = E^2-3(x+y)E+8xy.

This proves the cubic onset.

The factor E−x−y=zE-x-y=z is soft site-three support. The remaining quadratic is a source-derived higher local factor; its global role is not promoted here.

Comparison with the source quartic

Use

s=x+y,p=xy.s=x+y, \qquad p=xy.

The source algebraic quartic is

Q=−16p2−8pE2+8sE3−5E4.\mathcal Q = -16p^2-8pE^2+8sE^3-5E^4.

Its ordinary normal grades begin

gr⁡E(1)Q=0,gr⁡E(2)Q=−8p.\operatorname{gr}^{(1)}_E\mathcal Q=0, \qquad \operatorname{gr}^{(2)}_E\mathcal Q=-8p.

The physical local smoothing instead satisfies

gr⁡E(1)D∣P=0,gr⁡E(2)D∣P=0.\operatorname{gr}^{(1)}_E D|_P=0, \qquad \operatorname{gr}^{(2)}_E D|_P=0.

No multiplication by a source-fixed unit can turn a vanishing second grade into −8p-8p. Therefore Q\mathcal Q is not a canonical factor of this local second-Rees smoothing.

This is a genuine exclusion, not merely failure to find a convenient normalization.

Updated provenance partition

The following candidate homes are now excluded:

The remaining admissible homes are:

  1. a local collision invariant at one or more of the other sign-enhanced points;
  2. a global extension/gluing invariant of all four enhanced points;
  3. the algebraic connection on T7\mathcal T_7, especially the rank-one L1L_1 subquotient;
  4. the extension class

0→T7→Mq(9)→Vell(−1)→0; 0\to\mathcal T_7 \to\mathcal M_q^{(9)} \to\mathbb V_{\rm ell}(-1) \to0;

  1. a physical moving-chain singularity not visible in the absolute surface family.

Only the last possibility could still force data beyond the frozen absolute/marked coefficient geometry, and even then it is not automatically a new carrier stratum.

Classification

Datum Classification
first local grade uvuv existing marked incidence
factors (2x−v)(2y−u)(2x-v)(2y-u) kinematic coefficient units
cubic section factor E−x−yE-x-y soft support
remaining section quadratic higher Tate/algebraic coefficient support
Q\mathcal Q at this local model absent
new carrier datum none

Deutsch--Popperian update M2.30

The conjecture that Q\mathcal Q is generated by the physical enhanced point's second-Rees surface smoothing is falsified.

The smaller surviving conjecture is:

Q belongs to the global algebraic/extension geometry of the frozen q-sector,\mathcal Q \text{ belongs to the global algebraic/extension geometry of the frozen } q\text{-sector,}

possibly compiled from the other enhanced points, but not to the local absolute smoothing at P−−P_{--}.

Next hostile test

Compute the same completed local smoothing at

P+−,P−+,P++.P_{+-},\quad P_{-+},\quad P_{++}.

Then eliminate their local tangential coordinates and compare the product and discriminant of the four higher-jet factors with Q\mathcal Q.

If Q\mathcal Q is absent there as well, stop searching for it in the surface smoothing and move decisively to the algebraic connection L1L_1 and the global extension class.

View source on GitHub