MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 69 · 2026-08-13 · marici.Nima · research

Full-Core Suspension and the Two-Axis Quadrangulation Carrier

Record

Date: 2026-08-13

Status: exact eight-point combinatorial and integral-homology theorem. It executes the rank-two falsifier posed in entry 68. The proposed identification of the scalar rank-two completion with the known Möbius carrier is false.

The positive replacement is more structured. After contracting only connected exact-core fibers, the scalar rank-at-most-two carrier has homotopy type

K2,12=S0∗Quad⁡8,K_{2,12}=S^0*\operatorname{Quad}_8,

where the twelve roads are the full octagon quadrangulations, not the eight rank-one physical channels. The Möbius carrier instead organizes compatibility and coherence among those quadrangulations. These are two different axes of one derived incidence calculus.

The claim that was tested

Entry 68 left two precise questions:

  1. Does the honest rank-two scalar completion recover the eight-triangle, four-square Möbius carrier?
  2. Does its marked link at a physical channel recover the local K2,3K_{2,3} suspension?

The answers are respectively

noandyes.\boxed{\text{no}} \qquad\text{and}\qquad \boxed{\text{yes}}.

The negative answer is not a lack of enough scalar cells. The exact associahedral cells are present, but their boundaries have a different typing from the guessed Γ8\Gamma_8 fillers.

Exact octagon census

Let Tri⁡8\operatorname{Tri}_8 be the 132 octagon triangulations and let the physical core retain diagonals joining vertices of opposite parity.

The exact fibers in core ranks zero through two are:

core ranknumber of connected componentscomponent type02I116I (two over each of eight channels)212I3 (one over each quadrangulation).\begin{array}{c|c|c} \text{core rank}&\text{number of connected components}& \text{component type}\\ \hline 0&2&I\\ 1&16& I\ \text{(two over each of eight channels)}\\ 2&12&I^3\ \text{(one over each quadrangulation)}. \end{array}

Thus the rank-zero/rank-one incidence is the disjoint union

K1,8+⊔K1,8−.K_{1,8}^{+}\sqcup K_{1,8}^{-}.

Every rank-two core is a compatible pair Q={D,E}Q=\{D,E\}, hence a full quadrangulation of the octagon. Its exact fiber contains eight triangulations and has the one-skeleton of a cube.

Why the cube does not fill Γ8(eD−eE)\Gamma_8(e_D-e_E)

The octagon associahedron has 300 two-faces. For every rank-two core QQ, the six square faces internal to its cube are core-constant. After the exact fiber is contracted, all six boundaries become zero. Across the twelve quadrangulations this gives

12⋅6=7212\cdot 6=72

core-constant squares, none of which has boundary Γ8(eD−eE)\Gamma_8(e_D-e_E).

The actual transverse faces are different. For each pair (Q,ε)(Q,\varepsilon), with ε∈{+,−}\varepsilon\in\{+,-\}, there is exactly one associahedral route face comparing the two paths through DD and EE on the same polarity sheet. There are

16 squares+8 pentagons=2416\ \text{squares}+8\ \text{pentagons}=24

such faces. A pentagon has two zero-core vertices in the same connected interval, so after connected-fiber contraction it becomes the same four-edge route cell as a square:

Pε⟶Dε⟶Q⟶Eε⟶Pε.P_\varepsilon \longrightarrow D_\varepsilon \longrightarrow Q \longrightarrow E_\varepsilon \longrightarrow P_\varepsilon.

This is a same-sheet homotopy. A single route face never crosses from ++ to −-, and therefore cannot itself be a polarity suspension square.

The honest rank-two carrier

After contracting connected exact-core fibers and retaining the 24 transverse route cells, the cellular ranks are

(rank⁡C0,rank⁡C1,rank⁡C2)=(30,64,24).(\operatorname{rank}C_0, \operatorname{rank}C_1, \operatorname{rank}C_2) =(30,64,24).

The integral boundary matrices satisfy

∂1∂2=0,\partial_1\partial_2=0,

with exact Smith data

SNF⁡(∂1)=129,SNF⁡(∂2)=124.\operatorname{SNF}(\partial_1)=1^{29}, \qquad \operatorname{SNF}(\partial_2)=1^{24}.

Consequently

H0≅Z,H1≅Z11,H2=0.H_0\cong\mathbb Z, \qquad H_1\cong\mathbb Z^{11}, \qquad H_2=0.

There is also a direct homotopy description. For each polarity, the route cells form a contractible sheet. The two sheets intersect precisely in the twelve discrete rank-two fibers. Their union is therefore homotopy equivalent to the suspension of that twelve-point set:

hocolim⁡(Core⁡≤2(Tri⁡8))≃S0∗Quad⁡8≃K2,12.\operatorname{hocolim} \bigl(\operatorname{Core}_{\le2}(\operatorname{Tri}_8)\bigr) \simeq S^0*\operatorname{Quad}_8 \simeq K_{2,12}.

This does not restore the rejected rule “one K2,mK_{2,m} per arity.” It identifies the correct eight-point indexing set only after the full-core rank is reached. At six points full quadrangulations already have rank one, so the three channels and the three quadrangulations happen to coincide.

The inadmissible K2,8K_{2,8} quotient

If the two disconnected components over every rank-one channel are first merged, one manufactures a coarse K2,8K_{2,8}. Attaching one abstract square for each compatible pair {D,E}\{D,E\} then gives boundaries

Γ8(eD−eE).\Gamma_8(e_D-e_E).

In H1(K2,8)≅A7H_1(K_{2,8})\cong A_7, their incidence matrix has Smith form

17⊕05,1^7\oplus 0^5,

so the imposed quotient complex has

H0≅Z,H1=0,H2≅Z5.H_0\cong\mathbb Z, \qquad H_1=0, \qquad H_2\cong\mathbb Z^5.

This is a valid abstract suspension of the compatibility graph, but it is not the contraction of connected scalar fibers. The merger that creates its polarity-crossing squares is precisely the noncanonical step.

Why the Möbius carrier is a second axis

Let G8G_8 be the compatibility graph whose eight vertices are physical channels and whose twelve edges are octagon quadrangulations. It is the Möbius ladder, with

H1(G8;Z)≅Z5.H_1(G_8;\mathbb Z)\cong\mathbb Z^5.

The known medial carrier contains eight channel triangles, four square relations, and a residual octagon. The four square cycles together with the octagon span a sublattice of H1(G8)H_1(G_8) with Smith invariants

(1,1,1,1,2).(1,1,1,1,2).

Equivalently, the octagonal boundary is twice the Möbius core; after the final cell is attached one sees the familiar Z/2\mathbb Z/2 class of RP2\mathbb{RP}^2.

This proves that the Möbius object is not the connected-fiber rank-two homotopy colimit:

H∙(rank-two scalar carrier)=(Z,Z11,0),H_\bullet(\text{rank-two scalar carrier}) =(\mathbb Z,\mathbb Z^{11},0),

whereas

H∙(Mo¨bius carrier)=(Z,Z,0).H_\bullet(\text{Möbius carrier}) =(\mathbb Z,\mathbb Z,0).

The two objects play complementary roles:

vertical axishorizontal axisglobal polarity descentquadrangulation compatibilityS0∗Quad⁡8triangles, squares, and octagon on G8transition between two dictionariescoherences among full-core roads.\begin{array}{c|c} \text{vertical axis}&\text{horizontal axis}\\ \hline \text{global polarity descent}& \text{quadrangulation compatibility}\\ S^0*\operatorname{Quad}_8& \text{triangles, squares, and octagon on }G_8\\ \text{transition between two dictionaries}& \text{coherences among full-core roads}. \end{array}

At six points G6=C3G_6=C_3, so its road compatibility complex and the three-road suspension are small enough to masquerade as a single triangle. Eight points is the first arity at which the two directions separate.

Marked Cut is a degree-shifting Gysin map

Fix one physical channel DD. Its rank-one fiber has two connected components; these become the two centers of the local carrier. Exactly three rank-two quadrangulations contain DD. After contracting the spectator quadrilateral factor, these become the three roads. Hence the marked link is honestly

K2,3.K_{2,3}.

The Gysin map lowers the core rank:

GD:{D,E}⟼qE.G_D:\{D,E\}\longmapsto q_E.

A single quadrangulation maps to a road, not to a local cycle. Only a sum-zero difference suspends:

ΓD(qE−qF)∈H1(K2,3;Z).\Gamma_D\bigl(q_E-q_F\bigr) \in H_1(K_{2,3};\mathbb Z).

All eight marked channels, 48 center-road incidences, and 24 local four-circuits pass exactly. Therefore factorization is typed as

global full-core coefficient→ GD local road coefficient→ ΓD local Ward circuit.\boxed{ \text{global full-core coefficient} \xrightarrow{\ G_D\ } \text{local road coefficient} \xrightarrow{\ \Gamma_D\ } \text{local Ward circuit}.}

It is not a graph-deletion map H1(K2,8)→H1(K2,3)H_1(K_{2,8})\to H_1(K_{2,3}).

Revised all-arity trajectory

For a 2p2p-gon, the number of full quadrangulations is the Fuss--Catalan number

Q2p=12p−1(3p−3p−1)=3,12,55,273,…Q_{2p} =\frac{1}{2p-1}\binom{3p-3}{p-1} =3,12,55,273,\ldots

for 2p=6,8,10,12,…2p=6,8,10,12,\ldots.

The eight-point theorem motivates, but does not prove, the all-arity candidate

V2p≃S0∗Quad⁡2p\mathcal V_{2p} \simeq S^0*\operatorname{Quad}_{2p}

for the vertical full-core polarity carrier. The horizontal object should be a cellular resolution of the quadrangulation flip/compatibility complex. A minimal algebraic shadow is the sequence

C1(Q2p)→∂flipC~0(Quad⁡2p)→ΓH1(S0∗Quad⁡2p),C_1(\mathcal Q_{2p}) \xrightarrow{\partial_{\rm flip}} \widetilde C_0(\operatorname{Quad}_{2p}) \xrightarrow{\Gamma} H_1(S^0*\operatorname{Quad}_{2p}),

with higher cells encoding relations among flips. This is a conjectural trajectory, not yet an all-arity scalar theorem.

The more invariant candidate is the Grothendieck construction or homotopy colimit of connected exact-core fibers over the physical-core poset, equipped with the occurrence coefficient cosheaf and regional-polarity orientation line. It replaces the idea of a strict arity-indexed operator algebra by a derived, homotopy-coherent dictionary between self-factorizing carriers.

Next coefficient-level falsifier

The topological carrier is now typed. The missing datum is the coefficient map. For each of the 24 transverse route faces, attach the actual scalar residue line and polarity transport, then test whether

GD(QE−QF)G_D(Q_E-Q_F)

intertwines the occurrence differential with the local Ward suspension

ΓD(qE−qF)\Gamma_D(q_E-q_F)

before gauge/BRST descent. This must be checked facewise and with the one-step-rotation orientation local system. Agreement only after summing the amplitude is not sufficient.

Forward result: entry 70 proves the coefficient comparison on all sixteen transverse square routes and all 192 marked full-core basis factorizations. The remaining eight route faces are nontransverse pentagons whose initial same-core scalar edge has no coefficient/residue-line transport in the current occurrence cosheaf. The full twenty-four-face comparison is therefore precisely untyped at that map, rather than numerically violated.

Reproducible certificate

Run:

rustfmt --check research/nima/check_eight_point_rank_two_gysin.rs
rustc --edition=2021 -D warnings -O research/nima/check_eight_point_rank_two_gysin.rs -o "$env:TEMP\\marici-rank-two-gysin.exe"
& "$env:TEMP\\marici-rank-two-gysin.exe"

The certificate exhausts all 132 triangulations and 300 associahedral two-faces, derives all connected exact-core fibers and transverse route faces, computes both integral chain complexes and their Smith data, compares the Möbius face lattice, and checks every marked link/Gysin incidence.

Certificate SHA-256:

80a15902886bd3b4cfda13fbfedf2513a2b275000fdc83fb237d82a1a00e6318

Internal dependencies

View source on GitHub