The Eight-Point Polarity Link and the Failure of Arity-Indexed
Record
Date: 2026-08-13
Status: superseded in part by entry 68. The counterexample to and every marked-boundary calculation remain exact. The claimed global requires collapsing each rank-one fiber even though that fiber has two connected components. It is therefore a coarse quotient, not the canonical scalar carrier. The raw rank-zero/rank-one incidence is two disjoint eight-road stars; rank-two cells are required to compare the polarities.
The eight-point scalar parity-core carrier does not canonically produce . If connected components are forgotten and every exact rank-one fiber is collapsed only by its physical-core label, one obtains the coarse quotient . Entry 68 proves that the fibers are disconnected and that this quotient is not the scalar homotopy carrier.
On each of the eight marked physical boundaries, the scalar presentation does canonically restrict to
the established six-point suspension carrier. Thus is neither an arity index nor, globally, merely the number of rank-one labels. It is meaningful only for a local connected incidence link.
Scalar derivation of the global carrier
Let be the 132 octagon triangulations. A diagonal is physical when its endpoints have opposite parity, and the parity core of a triangulation is
The exact core-rank distribution is
Retain scalar flip adjacency before making any target graph.
Polarity components
The four zero-core scalar triangulations are not four independent polarity centers. Under flips that remain in the zero-core fiber, they form exactly two connected components of size two:
One-step rotation exchanges the two components. They are the scalar-derived polarity pair.
Physical roads
There are exactly eight distinct rank-one physical cores,
Each rank-one core fiber contains four scalar triangulations, but it splits into two connected interval components. For every polarity component and physical label , exactly one scalar flip enters the matching interval component; it does not enter the component of the opposite polarity.
Thus the canonical connected-fiber contraction is
Collapsing both disconnected components over a common label produces the coarse quotient . The enumeration in this entry verifies that quotient's labelled incidence and full dihedral covariance, but entry 68 shows why its cycles are not intrinsic scalar homology.
Why the tempting quotient is wrong
Half-turn rotation pairs the eight physical diagonals into four antipodal orbits. Quotienting by those orbits would manufacture .
That quotient is not an admissible scalar-core contraction.
For every antipodal pair
the pair itself is a genuine noncrossing rank-two physical core. Its exact fiber contains eight scalar refinements. Identifying with therefore collapses a two-channel factorization stratum to rank one and merges distinct physical poles.
Hence:
The falsified statement is the guessed identification , not the abstract all- suspension theorem.
Every physical boundary recovers
Fix any physical diagonal . It cuts the octagon into a quadrilateral and a hexagon. The scalar boundary has
triangulations and factors as
The two quadrilateral triangulations are a spectator scalar flip. Quotienting that factor leaves all fourteen hexagon triangulations.
Inside the fiber of the marked core :
- the four scalar triangulations form two core-preserving flip components of size two;
- precisely three additional physical diagonals are compatible with ;
- after quotienting the quadrilateral spectator, each polarity component meets each compatible extension once.
Thus the link of every marked physical core is
The computation passes all 48 local center-road incidence checks across the eight choices of .
This is an exact self-factorization statement at the carrier level: the six-point suspension carrier is reconstructed on every eight-point physical boundary.
The Cut changes core rank
The local is not obtained by deleting five roads from the coarse quotient, nor from either canonical global star.
Globally:
- the centers come from connected components of the rank-zero core fiber;
- the roads are rank-one physical cores.
After cutting on :
- the local centers come from connected components of the rank-one fiber over ;
- the local roads are the compatible rank-two cores .
Thus a physical Cut shifts the filtration:
This explains why marked-road deletion on an isolated graph was the wrong naturality test. The correct Cut is a link/Gysin operation on the entire core-stratified scalar carrier.
The core-incidence cosheaf
Let be the poset of partial physical cores. For , let
be its exact-core scalar fiber, with scalar-flip incidence retained. Define
after quotienting only spectator scalar factors appropriate to the marked boundary, and let
A local suspension graph occurs only when the connected extension fibers are incident to both local polarity components. The eight-point rank-zero link fails this condition and is two disjoint stars. After marking a physical channel and quotienting the spectator quadrilateral factor, the rank-one link does satisfy it:
Thus a suspension object is a property of a typed local link, not a formal construction from the set alone. Entry 68 gives the general regional-polarity component formula.
Relation to the existing scalar coefficient cosheaf
Entries 27, 32, and 37 construct the occurrence-level coefficient system and its strict physical Gysin maps
The new incidence result identifies the carrier on which the first two ranks of those maps live. It suggests that the Ward circuit object should be a local-homology coefficient system
A physical Cut should compare with through the Gysin/link map, not through a graph homomorphism .
That comparison has not yet been constructed. The exact eight-point data make it finite and typed.
Conceptual consequence
The all- suspension theorem remains the correct local algebra:
What changes is its indexing. The scalar master does not present a single arity-labelled sequence
It presents a stratified family of local links whose valence is the number of allowed one-step physical extensions at the current core.
This is a stronger fit to the carrier-first picture. Factorization does not act on one fixed graph. It moves to a new link in a self-similar incidence cosheaf.
Next experiment
Retain connected components separately and add all rank-two physical-core fibers. Determine whether their actual scalar faces connect the two global stars through the known eight-triangle/four-square Möbius carrier, and whether the link at every marked is the local suspension. This is the correct higher-core Gysin test; there is no canonical to compare.
Reproducible certificate
Run:
rustc --edition=2021 -D warnings -O research/nima/check_eight_point_polarity_carrier.rs -o "$env:TEMP\\marici-eight-point-polarity.exe"
& "$env:TEMP\\marici-eight-point-polarity.exe"
The certificate derives all triangulations and labelled incidences, constructs
the coarse quotient, rejects the antipodal quotient by
exhibiting genuine rank-two fibers, verifies full dihedral covariance, and
recovers on all marked boundaries. Entry 68 and
check_global_polarity_incidence.rs supply the required connected-fiber
correction.
Internal dependencies
- Entries 21--24: the six- and eight-point scalar presentation carriers.
- Entries 27, 32, and 37: the core-filtered scalar coefficient cosheaf and strict physical Cut coaction.
- Entries 64--66: suspension and cross-normal coefficient relations.
- Entry 68: regional polarity fibers and the correction of the coarse quotient.
research/nima/check_eight_point_polarity_carrier.rs: labelled quotient and marked-boundary certificate.- Entries 21--24: the six- and eight-point scalar presentation carriers.
- Entries 27, 32, and 37: the core-filtered scalar coefficient cosheaf and strict physical Cut coaction.
- Entries 64--66: suspension and cross-normal coefficient relations.
research/nima/check_eight_point_polarity_carrier.rs: exact certificate.