MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

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

Q Is Invisible Through Regular Connection Order

Correction to the frontier

The algebraic quartic cannot first be detected in the regular E0E^0 coefficient of the total-energy connection. Its first varying signature occurs at connection order E1E^1, equivalently at second ordinary/Rees order in the coefficient object.

Therefore computing only the regular term after Entry 293 is insufficient to locate Q\mathcal Q. The next reduction must retain one additional normal order.

Exact expansion

Use

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

and the source-independent identity

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

Away from soft support p=0p=0,

−Q(E)16p2=1+E22p−sE32p2+5E416p2.\frac{-\mathcal Q(E)}{16p^2} = 1+\frac{E^2}{2p} -\frac{sE^3}{2p^2} +\frac{5E^4}{16p^2}.

Hence

log⁡(−Q)=log⁡(16p2)+E22p−sE32p2+3E416p2+O(E5),\log(-\mathcal Q) = \log(16p^2) +\frac{E^2}{2p} -\frac{sE^3}{2p^2} +\frac{3E^4}{16p^2} +O(E^5),

and

∂Elog⁡(−Q)=Ep−3s2p2E2+34p2E3+O(E4).\boxed{ \partial_E\log(-\mathcal Q) = \frac Ep -\frac{3s}{2p^2}E^2 +\frac{3}{4p^2}E^3 +O(E^4). }

For a square-root Kummer normalization,

12∂Elog⁡(−Q)=E2p−3s4p2E2+38p2E3+O(E4).\boxed{ \frac12\partial_E\log(-\mathcal Q) = \frac{E}{2p} -\frac{3s}{4p^2}E^2 +\frac{3}{8p^2}E^3 +O(E^4). }

In particular,

∂Elog⁡(−Q)∣E=0=0.\left.\partial_E\log(-\mathcal Q)\right|_{E=0}=0.

Consequence

A regular E0E^0 connection calculation may be required to complete the relative connection, but it cannot distinguish a genuine Q\mathcal Q deformation from its generic boundary unit

Q(0)=−16p2.\mathcal Q(0)=-16p^2.

The first discriminating datum is

[E1] ∂Elog⁡(−Q)=1p,\boxed{ [E^1]\,\partial_E\log(-\mathcal Q)=\frac1p, }

or 1/(2p)1/(2p) for the half-log Kummer character.

Thus the correct provenance test is not

compute through E0,\text{compute through }E^0,

but

compute the Rees-regularized connection through E1.\boxed{ \text{compute the Rees-regularized connection through }E^1. }

Architectural status

This is a normal-order constraint, not evidence that Q\mathcal Q actually is a Kummer factor. It applies to every proposed realization whose Q\mathcal Q-dependence is analytic or logarithmic at generic E=0E=0.

It sharpens the alternatives:

  1. an E1/pE^1/p term on the existing algebraic plane can realize the first Q\mathcal Q deformation as coefficient data;
  2. absence of that term excludes a local logarithmic/Kummer home there;
  3. a different E1E^1 term may place Q\mathcal Q in a nontrivial extension rather than a rank-one factor;
  4. none of these outcomes requires a new carrier stratum unless the frozen relative geometry cannot generate the term.

Next finite falsifier

After proving the universal logarithmic residue, compute both the regular E0E^0 and linear E1E^1 coefficients of the Rees-shifted primitive column. Project the E1E^1 term to

A−−=⟨e6,valg⟩\mathcal A_{--}=\langle e_6,v_{\rm alg}\rangle

and test for the source-fixed 1/p1/p signature. Do not assign Q\mathcal Q a home from the E0E^0 term alone.

View source on GitHub