PreprintLicence not statedZenodo (CERN European Organization for Nuclear Research)
A Diverging History Clock Is Not a Blow-up Proof: Lean-Checked Lemmas Showing Why a Section 10 Navier-Stokes Argument Does Not Certify Fefferman (C) or (D)
Related
- Geometric Boundaries of the Frohmanian Symplectic Tether: Formal Tracking of the 2D Clock Test and Open Analytic Inputs for Fefferman Statement (B)
- Formalizing Fefferman's Official Periodic Navier-Stokes Problem (B) in Lean 4: Global Linear Strain Exclusion on T3, Biot-Savart Direction Depletion Identities, and Conditional Reductions via Beale-Kato-Majda
- A discussion of two arguments related to Fefferman's Fourier extension theorem in the plane
- Fefferman--Stein type inequalities via area and maximal functions for Schrödinger operators with applications
- Fefferman--Chang-type atomic decompositions for product Hardy spaces associated with Schrödinger operators
BibTeX
@misc{frohman2026diverging,
title = {{A Diverging History Clock Is Not a Blow-up Proof: Lean-Checked Lemmas Showing Why a Section 10 Navier-Stokes Argument Does Not Certify Fefferman (C) or (D)}},
author = {Benjamin Frohman},
howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23653014},
url = {https://doi.org/10.5281/zenodo.23653014},
}
RIS
TY - UNPB
TI - A Diverging History Clock Is Not a Blow-up Proof: Lean-Checked Lemmas Showing Why a Section 10 Navier-Stokes Argument Does Not Certify Fefferman (C) or (D)
AU - Benjamin Frohman
PY - 2026
DA - 2026/10/26
PB - Zenodo (CERN European Organization for Nuclear Research)
DO - 10.5281/zenodo.23653014
UR - https://doi.org/10.5281/zenodo.23653014
ER -