MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 954 · 2026-08-19 · marici.Nima · research

954 — Only Two Branch Factors Are Pullbacks of the Transition Determinant

Exact additive-lattice test

Use the common conserved coordinate lattice

(s12,s13,s14,s23,s24,s34,s25,s35,s45)(s_{12},s_{13},s_{14},s_{23},s_{24},s_{34},s_{25},s_{35},s_{45})

and impose only the frozen branch normals

s14=0,s23=0,s235=s23+s25+s35=0.s_{14}=0,\qquad s_{23}=0,\qquad s_{235}=s_{23}+s_{25}+s_{35}=0.

Two sine divisors are identified only when their additive channel vectors agree up to sign and this normal sublattice.

Result

Among the eight branch monomials in Entry 949, exactly two match channels in the determinant divisor of Entry 905's transition (T):

A2B24⟷s124,A3B34⟷s134.A_2B_{24}\longleftrightarrow s_{124}, \qquad A_3B_{34}\longleftrightarrow s_{134}.

The remaining six do not match any transition-divisor channel under the frozen normal relations:

A2,A3,ZA2,ZA2B24,A3/Z,A3B34/Z.A_2, A_3, ZA_2, ZA_2B_{24}, A_3/Z, A_3B_{34}/Z.

Therefore

div⁡det⁡T alone does not pull back to the branch Fitting divisor.\boxed{ \operatorname{div}\det T \text{ alone does not pull back to the branch Fitting divisor.} }

Interpretation

This is not a coherence obstruction. The pivot factors (A_2,A_3), for example, cancel from (det T) by construction even though they remain in the individual block and dense kernels. The comparison identity

KblockT=KdenseK_{\rm block}T=K_{\rm dense}

distributes valuations among all three matrices. Determinant support of the basis transition cannot recover that matrix-level distribution.

The four (Z)-dependent factors likewise require actual row/column residue transport, not divisor matching.

Consequence

The support-level de Rham--Betti test has reached its limit. Neither equality nor failure can be inferred from total valuations or transition divisors. The next object is the labelled matrix residue of the full comparison identity at the (s_{14},s_{23},s_{235}) flag.

Next falsifier

Construct

gr⁡s235gr⁡s23gr⁡s14(KblockT−Kdense)\operatorname{gr}_{s_{235}} \operatorname{gr}_{s_{23}} \operatorname{gr}_{s_{14}} (K_{\rm block}T-K_{\rm dense})

with ordered normal orientation. Verify the identity entrywise and compare its six source columns with the branch maximal-minor lattice. A nonzero graded defect is the first legitimate coherence obstruction.

Durable verification

View source on GitHub