`dimension_forcing_summary`

definition

show as: view math explainer →

module: IndisputableMonolith.Foundation.DimensionForcing
domain: Foundation
line: 459 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Foundation.DimensionForcing on GitHub at line 459.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 456
 457    See `AlexanderDuality.alexander_duality_circle_linking` for the
 458    topological proof from the S¹ cohomology axiom. -/
 459def dimension_forcing_summary : String :=
 460  "D = 3 is forced by Alexander duality:\n" ++
 461  "  - PRIMARY: H̃₁(Sᴰ\\S¹) ≅ H̃^{D-2}(S¹) = ℤ iff D = 3\n" ++
 462  "  - Consequence: 8-tick = 2^D = 2^3 = 8\n" ++
 463  "  - Consequence: Gap-45 sync lcm(8,45) = 360\n" ++
 464  "  - Characterization: Cl₃ ≅ M₂(ℂ), Spin(3) ≅ SU(2)\n" ++
 465  "Dimension is a theorem grounded in Alexander duality, not an axiom."
 466
 467end DimensionForcing
 468end Foundation
 469end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.