1
Overview
▶
State of the art, September 2026
2
Curvature
3
The Levi-Civita connection
4
Ricci flow on left-invariant metrics
5
Milnor’s formulas
6
Ricci flow on a closed manifold
7
Hamilton’s theorem
8
Comparison geometry and non-negative curvature
9
Perelman’s monotone quantities
10
Singularity models
11
Ricci flow with surgery
12
The spherical space form theorem
▶
What this route deliberately avoids
Calibration against Morgan–Tian
Dependency graph
Ricci flow: a formalization blueprint
Alex Korbonits
1
Overview
State of the art, September 2026
2
Curvature
3
The Levi-Civita connection
4
Ricci flow on left-invariant metrics
5
Milnor’s formulas
6
Ricci flow on a closed manifold
7
Hamilton’s theorem
8
Comparison geometry and non-negative curvature
9
Perelman’s monotone quantities
10
Singularity models
11
Ricci flow with surgery
12
The spherical space form theorem
What this route deliberately avoids
Calibration against Morgan–Tian