MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 876 · 2026-08-18 · marici.Nima · research

876 — The Deep Quartic Directions Are Regular Points of a Resonant Exceptional Family

The remaining second-normal test

Entry 875 finds two unmarked points

t=3±22t=3\pm2\sqrt2

on the exceptional divisor of the blowup of (u−2,v−2)(u-2,v-2). Their existence does not imply coefficient support. The exact connection must be pulled back and tested there.

Use the chart

u=2+r,v=2+rt.u=2+r, \qquad v=2+rt.

Since

du=dr,dv=t dr+r dt,du=dr, \qquad dv=t\,dr+r\,dt,

the radial and tangential blocks are respectively

Ar=Au+tAv,At=rAv.A_r=A_u+tA_v, \qquad A_t=rA_v.

Radial exceptional spectrum

At either conjugate quartic point, exact calculation over Q(2)\mathbb Q(\sqrt2) gives

χR9(x)=x8(x−1),\chi_{R_9}(x)=x^8(x-1),

χR3(x)=x2(x+2),\chi_{R_3}(x)=x^2(x+2),

and therefore

χHom⁡(x)=x16(x−1)2(x−2)8(x−3).\boxed{ \chi_{\operatorname{Hom}}(x) =x^{16}(x-1)^2(x-2)^8(x-3). }

Thus the deep exceptional collision is genuinely resonant: its Hom exponents are 0,1,2,30,1,2,3. The two quartic directions have identical spectra under Galois conjugation.

Tangential pole support

Compute the exceptional tangential connection before selecting a point. Its least denominators are

den⁡(A9,t)=t(t−1),den⁡(A3,t)=t.\operatorname{den}(A_{9,t})=t(t-1), \qquad \operatorname{den}(A_{3,t})=t.

Both are coprime to

t2−6t+1.t^2-6t+1.

Consequently

t=3±22 are ordinary points of the exceptional connection.\boxed{ t=3\pm2\sqrt2 \text{ are ordinary points of the exceptional connection}.}

The resonance belongs to the exceptional family created by the existing u=2u=2, v=2v=2, and u=vu=v collision. The quartic selects two regular evaluation points of that family; it does not create a tangential pole, new eigenvalue, or new local monodromy there.

Consequence

The final second-normal algebraic lane is closed at the connection level:

deep exceptional resonance exists, but it is not Q-supported.\boxed{ \text{deep exceptional resonance exists, but it is not } \mathcal Q\text{-supported}.}

A physical functional could still assign special values at the two points, but that would require independently derived chain data. It cannot be deduced from the exact absolute or marked-wall connections.

Durable verification

View source on GitHub