The Frohmanian Tether on SDiff(𝕋³): A Metriplectic Correction, Its Canonicity, and an Obstruction to Damping
Preprint with Lean 4 formalization. Conditional results only; no claim of Navier–Stokes global regularity. Proves an obstruction: under (C2) and symmetry the tether contributes zero damping. Open assumptions are listed in the paper and repository README.
Authors
- Benjamin Frohman (ORCID: https://orcid.org/0009-0006-7068-3718)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-11-04
- DOI
- https://doi.org/10.5281/zenodo.23956935
- Primary Topic
- Navier-Stokes equation solutions
- Type
- preprint