13 citations · 48 across the 36 of their papers we have counts for
37 papers
A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
Ziyang Qin, Yuan Liao, Ayush Khaitan +1
We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth…
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…
The Fisher Metric of the Ricci Flow Heat Kernel
Bennett Chow, Robert Koirala
We introduce and study a Fisher information metric \(g^F_τ\) associated to the conjugate heat kernel of a Ricci flow \((M^n,g_t)\). This tensor measures, at a fixed scale, how the…
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…
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…
Lower bounds for the scalar curvatures of Ricci flow singularity models
Pak-Yeung Chan, Bennett Chow, Zilu Ma +1
In a series of papers, Bamler [Bam20a,Bam20b,Bam20c] further developed the high-dimensional theory of Hamilton's Ricci flow to include new monotonicity formulas, a completely gener…