Pre-formalization networks

Mathematics submitted as a network of statements rather than as a document: every definition, lemma and theorem is a node, and every use of one by another is an edge. Each entry opens into the network itself.

Showing all 1 entry.

[1]astrolabe:minmax-ricci-flow-extinction [network]
The min-max route to finite extinction of Ricci flow
Xinze Li
How sweepouts by $2$ -spheres force the Ricci flow with surgery to die in finite time: the width, its evolution inequality, and the extinction they force.
Comments:
10 sections · 64 statements · submitted July 31, 2026 (v4)
Subjects:
ricci-flow minimal-surfaces 3-manifolds

The min-max route to finite extinction of Ricci flow