3 papers
math.DG2026
A Lean Formalization of Hamilton's Three-Manifold Theorem
Bennett Chow, Yuan Liao, Ziyang Qin
We describe a Lean formalization of Hamilton's 1982 theorem on closed, connected three-manifolds with positive Ricci curvature. The development contains a short-time existence theo…
math.GT2026
Normal-Euler excess for disjoint nonorientable surfaces in a closed -manifold
Bennett Chow, Michael Freedman
Let \(M\) be a closed connected oriented topological \(4\)-manifold. We prove that if \(F_1,\dots,F_r\subset M\) are pairwise disjoint connected locally flat topologically embedded…
math.DG2026
Correction to: Curvature growth of some 4-dimensional gradient Ricci soliton singularity models
Bennett Chow, Michael H. Freedman, Henry Shin +1
This note corrects an error in the proof of Proposition 13 in arXiv:1903.09181 and simultaneously establishes a more general result. We prove that if is a compact connected or…