MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

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

Primitive Top Specialization into the Invariant A2 Line

Result

Entries 282--284 reduce the finite ℓ1=0\ell_1=0 marked degeneration to one undetermined integral scalar

Nrel(g111)=c(α−β)N_{\rm rel}(g_{111}) = c(\alpha-\beta)

in the invariant line of the A2A_2 lattice. The local log resolution of the frozen pair fixes this scalar:

Nrel(g111)=±(α−β).\boxed{ N_{\rm rel}(g_{111}) = \pm(\alpha-\beta). }

The sign depends only on the orientation convention for the top graph cycle. Its absolute coefficient is one.

Thus the finite (+1)(+1) extension is nonzero and primitive. It is the canonical incidence extension between

On this finite block,

rank⁡Nrel=1,Nrel2=0.\operatorname{rank}N_{\rm rel}=1, \qquad N_{\rm rel}^2=0.

No fitted scalar, extra support summand, or new carrier stratum is needed. The simultaneous elliptic unipotent contribution remains a distinct block.

Central marked model

After analytic splitting, the central surface germ is

XY=t3.X Y=t^3.

The two walls each have two branches. Up to nonzero analytic units, one wall supplies the coordinate branches

CX: X=t=0,CY: Y=t=0.C_X:\ X=t=0, \qquad C_Y:\ Y=t=0.

The other supplies branches with valuations

DX:X∼ct2,Y∼c−1t,D_X: \quad X\sim c t^2, \quad Y\sim c^{-1}t,

DY:X∼c−1t,Y∼ct2,D_Y: \quad X\sim c^{-1}t, \quad Y\sim c t^2,

where cc is a nonzero kinematic unit.

These valuations are fixed by the source wall equations u=0u=0, v=0v=0 and the reduced coordinates used in entries 282--283. They are not chosen after inspecting the exceptional geometry.

One blowup resolves the central A2 germ

Blow up the singular point. In the tt-chart write

X=ta,Y=tb.X=ta, \qquad Y=tb.

The strict-transform equation is

ab=t.ab=t.

It is smooth. The exceptional divisor is the transverse chain

E1: a=0,E2: b=0.E_1:\ a=0, \qquad E_2:\ b=0.

The branch incidences are:

Each branch occurs with multiplicity one. No exceptional component is inserted except those forced by resolving the frozen A2A_2 surface germ.

The collapsing conductor cycle

In the edge ordering of entry 280,

(n1a,n1b,n2a,n2b,P+,P−),(n_{1a},n_{1b},n_{2a},n_{2b},P_+,P_-),

the chosen integral top lift is

g111=(1,0,0,−1,−1,1).g_{111} = (1,0,0,-1,-1,1).

At Λ=0\Lambda=0, precisely the four supported edges in this vector coalesce at the four-branch marked point. They form a primitive oriented quadrilateral.

After resolution, its four branches attach in pairs to E1E_1 and E2E_2. The cellular specialization boundary is therefore the oriented difference of the two exceptional components:

sp⁡(g111)=±(E1−E2).\operatorname{sp}(g_{111}) = \pm(E_1-E_2).

With the root-lattice identification

[E1]=α,[E2]=β,[E_1]=\alpha, \qquad [E_2]=\beta,

this is

sp⁡(g111)=±(α−β).\operatorname{sp}(g_{111}) = \pm(\alpha-\beta).

The coefficient is primitive because the quadrilateral generator and all four branch-incidence entries have coefficients ±1\pm1. Equivalently, the relevant graph-incidence matrix is totally unimodular; its rank-one image has torsion-free cokernel.

Monodromy interpretation

The physical finite monodromy decomposes as

A2⊗Q=L+⊕L−,A_2\otimes\mathbb Q = L_+\oplus L_-,

where

L+=Q(α−β),L−=Q(α+β).L_+=\mathbb Q(\alpha-\beta), \qquad L_-=\mathbb Q(\alpha+\beta).

Entry 283 proves that the top graph line cannot extend into L−L_-. The log-resolution incidence now determines the remaining column. After removing the order-two semisimple reflection, the finite relative nilpotent operator satisfies

Nrel(g111)=±(α−β),N_{\rm rel}(g_{111}) = \pm(\alpha-\beta),

and vanishes on the finite absolute target. Hence

Nrel2=0.N_{\rm rel}^2=0.

This is the local finite part only. It does not include NellN_{\rm ell} from the simultaneous nodal elliptic boundary.

Integral parity audit

Entry 284 finds

A2/(Z(α−β)⊕Z(α+β))≃Z/2.A_2/ \left( \mathbb Z(\alpha-\beta) \oplus \mathbb Z(\alpha+\beta) \right) \simeq \mathbb Z/2.

The present map lands primitively in the invariant sublattice itself. It does not require dividing α−β\alpha-\beta by two. Therefore:

No post hoc parity correction is admitted.

Classification

Datum Classification
exceptional chain E1∪E2E_1\cup E_2 resolved Cayley--Menger coefficient geometry
four branch attachments frozen marked-denominator data
g111↦E1−E2g_{111}\mapsto E_1-E_2 primitive relative specialization
finite rank-one NN Tate extension data
index-two eigensplitting integral coefficient-lattice gluing
new carrier stratum none

Deutsch--Popperian conclusion M2.28

For a generic ℓ1=0\ell_1=0 or ℓ2=0\ell_2=0 collision, the complete finite marked nearby-cycle block is generated by the frozen Cayley--Menger A2A_2 resolution and the strict transforms of the two source walls. Its only nonzero relative extension is the primitive map

Ztop⟶L+,1⟼±(α−β).\mathbb Z_{\rm top} \longrightarrow L_+, \qquad 1\longmapsto\pm(\alpha-\beta).

The finite Λ\Lambda-collision therefore closes without a new cosmology-specific carrier datum.

This conclusion is narrow:

Next hostile test

The finite ℓ1/ℓ2\ell_1/\ell_2 block is closed. Move to the global total-energy component

E=ℓ4=0,E=\ell_4=0,

where

KE=R2K_E=R^2

and the affine surface splits. Construct the global semistable model of the compactified pair, compute the dual complex and nearby-cycle weight graded object, and determine whether the marked top extension remains Tate/Kummer away from xy=0xy=0. Keep the second Rees grade of Q\mathcal Q visible throughout.

View source on GitHub