Work

The Bridge Implication for the (3,4,∞) Lattice Form: Restriction Lemma for Ω0

Year: 2026

Type: preprint

Abstract: A short note recording the lattice bridge checked in OmegaZero34/TetherInterface.lean. Proved in Lean: the classification uniqueness_over_Q of the invariant form, and the bridge implication restriction_lemma (nondegeneracy forces the scalar to be nonzero). Not proved: the geometric hypotheses, and X≃S^6 is not claimed. The Lean development builds in CI (green on the commit archived here) with no sorry and no user-declared axioms. Source: https://github.com/BenFrohman/OmegaZero34 at commit 222e48d5db30f3b2097b4e8ca5bfc38b0a16b2ea.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.23942460

Author: Frohman, Benjamin Stanley

Language: English

Topic: Geometric and Algebraic Topology

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7225261406

Cites:

Cited by:

Related to: 10