no_circle_linking_high_dim
plain-language theorem explainer
The result shows that spheres in dimension four or higher do not support nontrivial linking between embedded circles. Researchers in algebraic topology would reference this when establishing that linking phenomena are special to three dimensions. The argument reduces the assumption of linking to the equality D equals three via an upstream implication and obtains a contradiction with the dimension hypothesis using integer arithmetic.
Claim. Let $D$ be a natural number with $D ≥ 4$. Then the $D$-sphere does not admit nontrivial linking of disjoint embedded circles, equivalently $˜H^{D-2}(S^1; ℤ) = 0$.
background
This declaration sits in the Alexander Duality module, which replaces a prior tautological definition of circle linking with a proof from reduced cohomology. The key definition states that the D-sphere admits circle linking precisely when the reduced cohomology group $˜H^{D-2}(S^1; ℤ)$ is nontrivial. From the module documentation, Alexander duality gives an isomorphism between the first homology of the complement and the (D-2)th cohomology of the circle, and the circle has nontrivial reduced cohomology only in degree one. Upstream, the theorem that circle linking forces D equals three provides the implication from linking to D equals three.
proof idea
The proof is a one-line wrapper that applies the upstream implication from circle linking to dimension three and then invokes omega to derive a contradiction from the assumption D greater than or equal to four.
why it matters
This result completes the characterization that nontrivial circle linking occurs if and only if the dimension is three, supporting the framework's selection of three spatial dimensions. It pairs with the low-dimensional counterpart and the forcing theorem to establish the topological necessity of D equals three. In the Recognition Science setting this underpins the emergence of three-dimensional space as the unique dimension permitting circle linking.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.
papers checked against this theorem (showing 3 of 3)
-
Equilateral three-body orbits in 4D are generically unstable
"We classify regular n-gons in R^4 in Proposition 5.1... nonplanar regular n-gons of type (I) and (II)"
-
SDP relaxation exactly solves quadratic submodular min for n<=3
"Lemma 1 ... r(r+1)≤2(a+1) ... r=3 with a≥5"
-
Matrix model supersymmetry selects four-dimensional Euclidean spacetime
"In any dimension D≠4, the stringent constraints of the non-renormalization theorem cannot be bypassed"