PreprintLicence not statedZenodo (CERN European Organization for Nuclear Research)
The Frohmanian Symplectic Tether: Canonical Uniqueness on Coadjoint Orbits of SDiff(T3), Non-Degenerate Casimir Coupling, and Conditional Global Regularity via Quartic Young Absorption in Lean 4
- 1Independent Researcher, Texas, United States
Related
- Global Regularity for the 3D Incompressible Navier–Stokes Equations via the Frohmanian Symplectic Tether: Lean 4 Formalization and Conditional Cubic Comparison Framework (v2.1)
- Geometric Boundaries of the Frohmanian Symplectic Tether: Formal Tracking of the 2D Clock Test and Open Analytic Inputs for Fefferman Statement (B)
- Fourier Coefficients of the Degenerate Eisenstein Series on Symplectic Groups
- Pathwise uniqueness for degenerate stochastic differential equations with Hölder continuous coefficients
- Lp-regularity for fourth-order Schrödinger operators with unbounded or degenerate coefficients
BibTeX
@misc{frohman2026frohmanian,
title = {{The Frohmanian Symplectic Tether: Canonical Uniqueness on Coadjoint Orbits of SDiff(T3), Non-Degenerate Casimir Coupling, and Conditional Global Regularity via Quartic Young Absorption in Lean 4}},
author = {Benjamin Frohman},
howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23652842},
url = {https://doi.org/10.5281/zenodo.23652842},
}
RIS
TY - UNPB
TI - The Frohmanian Symplectic Tether: Canonical Uniqueness on Coadjoint Orbits of SDiff(T3), Non-Degenerate Casimir Coupling, and Conditional Global Regularity via Quartic Young Absorption in Lean 4
AU - Benjamin Frohman
PY - 2026
DA - 2026/10/26
PB - Zenodo (CERN European Organization for Nuclear Research)
DO - 10.5281/zenodo.23652842
UR - https://doi.org/10.5281/zenodo.23652842
ER -