dimension_forcing_summary
plain-language theorem explainer
Dimension forcing summary asserts that spatial dimension D equals 3 follows from Alexander duality applied to the cohomology of a circle complement in the Recognition Science ledger. Researchers deriving the structure of the RS framework from first principles would reference this summary when explaining the origin of three-dimensional space. The content is assembled as a direct string concatenation that packages the topological equivalence together with its consequences for the tick period and spinor representations.
Claim. The spatial dimension satisfies the cohomological condition $D=3$ via the isomorphism $H_1(S^Dsetminus S^1)cong H^{D-2}(S^1)congmathbb{Z}$, which holds precisely when $D=3$. This forces the eight-tick period $2^D=8$, the synchronization $mathrm{lcm}(8,45)=360$, and the characterizations $mathrm{Cl}_3cong M_2(mathbb{C})$ together with $mathrm{Spin}(3)congmathrm{SU}(2)$.
background
The DimensionForcing module defines spatial dimension as a natural number and proves it is forced rather than chosen. The linking argument shows that only D=3 permits non-trivial topological conservation in the ledger: D=1 is collinear, D=2 unlinks by the Jordan curve theorem, and D greater than or equal to 4 unlinks by codimension. Gap-45 synchronization requires the 8-tick cycle (2^D) to match the 45-tick cumulative phase T(9), yielding lcm(8,45)=360 uniquely for D=3. Upstream results include the shifted cost H(x)=J(x)+1 satisfying the d'Alembert equation H(xy)+H(x/y)=2H(x)H(y), the fundamental tick tau_0=1, and the dimensional signature structure tracking length, time, and mass exponents.
proof idea
This is a definition that directly constructs the summary string by concatenating fixed text lines. The lines state the primary Alexander duality equivalence, list the immediate consequences for the tick period and gap synchronization, and record the Clifford algebra and spin group characterizations. No lemmas are applied inside the definition itself; the topological content is imported from the AlexanderDuality module.
why it matters
This definition encapsulates the resolution of the T7/T8 circularity in the forcing chain: T8 (D=3) is established independently via Alexander duality before deriving the eight-tick period as a consequence. It supports the claim that dimension is a theorem grounded in cohomology rather than an axiom. The module doc-comment notes that the linking predicate is genuinely cohomological and points to alexander_duality_circle_linking for the topological proof from the S^1 cohomology axiom. No downstream declarations are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.