Perelman's toolkit

Surgery

In briefStop the flow just before a neck pinches, cut along the thin neck, glue standard caps onto the two ends, and restart. That is Perelman's way of continuing Ricci flow past singularities in dimension three, and its bookkeeping reads off the topology.

M≅M1 # ⋯ # Mk # (S2×S1) # ⋯ # (S2×S1)M \cong M_1 \,\#\, \cdots \,\#\, M_k \,\#\, (S^2\times S^1) \,\#\, \cdots \,\#\, (S^2\times S^1)
26papers
0in the last 30 days
8key references
9guidebook chapters

The ideas that matter here

Key concepts

Each one in a few lines, with the equation that carries it and the stage of the Guidebook where it is learned.

Ricci flow with surgery

Just before a neck pinches, cut along a thin ε\varepsilon-neck, discard the high-curvature piece, glue in standard caps, and restart the flow. Perelman showed the surgery times don't accumulate, so the process continues for all time. What gets discarded is topologically simple (spherical space forms and S2×S1S^2\times S^1 pieces), which is how topology is read off from the flow.

Where the concept cards came from: they were drafted by an AI at the site owner's request. The owner, who is still learning this material, chose which concepts to include but cannot vouch for every detail, so treat them as a well-drawn map and check the cited papers. Corrections are welcome: see how this site works.

Guide

In depth

What it is

Hamilton proposed surgery for 4-manifolds with positive isotropic curvature (1997). Perelman made it work for every closed 3-manifold. His canonical neighbourhood theorem says that near a singular time every point of high curvature lies in an ε\varepsilon-neck (almost a round cylinder), an ε\varepsilon-cap, or a closed component of positive curvature. Surgery then:

  • discards the components known to be spherical space forms or S2×S1S^2\times S^1-like;
  • cuts each thin neck along a 2-sphere, at a scale δ(t)\delta(t) chosen small enough to keep the estimates alive;
  • glues in standard caps and restarts the flow.

The delicate part is showing that the surgeries do not accumulate: only finitely many happen on any finite time interval. The estimates must also survive surgery.

Topologically, each surgery is the reverse of a connected sum. Keeping track of what was removed shows that the original manifold is a connected sum of the final pieces, spherical space forms and copies of S2×S1S^2\times S^1 — the formula at the top.

Why it matters

Surgery is the engine of the proof of the Poincaré and geometrization conjectures. The same idea was developed for mean curvature flow of 2-convex hypersurfaces (Huisken–Sinestrari; Haslhofer–Kleiner). In higher dimensions it works under curvature conditions that make every singularity neck-like. Chen, Tang and Zhu handled 4-manifolds with positive isotropic curvature, and Brendle manifolds with positive isotropic curvature in dimension 12 and higher.

Where it stands

In dimension three, surgery has been refined out of existence. Kleiner and Lott showed that letting the surgery scale go to zero produces a canonical singular Ricci flow, and Bamler and Kleiner proved it is unique. That uniqueness is what lets Ricci flow deform families of metrics continuously. In higher dimensions without curvature assumptions, neither surgery nor a canonical continuation is available, and building one is a central open problem.

If you are new to this

Foundational papers

The papers the rest of the topic builds on, in reading order. Titles open the paper.

  1. 1997
    Four-manifolds with positive isotropic curvature Richard S. Hamilton · Communications in Analysis and Geometry, vol. 5 Hamilton: four-manifolds with positive isotropic curvature, where surgery was first proposed. DOI 10.4310/CAG.1997.v5.n1.a1
  2. 2003
    Ricci flow with surgery on three-manifolds Grisha Perelman · arXiv:math/0303109 Perelman: Ricci flow with surgery on three-manifolds. View paper Connections
  3. 2008
    Complete classification of compact four-manifolds with positive isotropic curvature Bing-Long Chen, Siu-Hung Tang, Xi-Ping Zhu · arXiv:0810.1999 Chen–Tang–Zhu: completing Hamilton's program for 4-manifolds with positive isotropic curvature. PDFarXiv:0810.1999
  4. 2017
    Ricci flow with surgery on manifolds with positive isotropic curvature S. Brendle · arXiv:1711.05167 Brendle: surgery on manifolds with positive isotropic curvature in high dimensions. PDFarXiv:1711.05167
  5. 2008
    Mean curvature flow with surgeries of two–convex hypersurfaces Gerhard Huisken, Carlo Sinestrari · Inventiones mathematicae, vol. 175 Huisken–Sinestrari: surgery for mean curvature flow of 2-convex hypersurfaces. DOI 10.1007/s00222-008-0148-4
  6. 2014
    Singular Ricci flows I Bruce Kleiner, John Lott · arXiv:1408.2271 Kleiner–Lott: singular Ricci flows, the limit of surgery as the scale goes to zero. View paper Connections

Where to start reading

Surveys & books

Longer, gentler routes in, and the references specialists keep on their desks.

  1. 2006
    Notes on Perelman's papers Bruce Kleiner, John Lott · Geom. Topol. 12 (2008) 2587-2855 Kleiner–Lott: detailed notes on Perelman's papers, including every step of surgery. View paper ConnectionsJournal version
  2. 2006
    Ricci Flow and the Poincare Conjecture John W. Morgan, Gang Tian · arXiv:math/0607607 Morgan–Tian: a book-length, complete account of Ricci flow with surgery. View paper Connections

Learn it step by step

In the guidebook

Chapters of the Guidebook that build surgery from the ground up, with proofs, figures and exercises.

  1. 11B.7
    Hamilton’s Program in 2002Book 11B · Solitons, Compactness and Singularities

    What was proved, what was missing, and where Perelman came in.

  2. 12B.5
    The Canonical Neighbourhood TheoremBook 12B · κ-Solutions and Surgery

    Every high-curvature point looks like a neck or a cap.

  3. 12B.7
    The Singular Time: Horns and Strong NecksBook 12B · κ-Solutions and Surgery

    The limit metric at a singular time, the set Ω where curvature stays bounded, ε-horns and their ends, and strong δ-necks deep in a horn, following Perelman II §3 and Morgan–Tian chapter 11.

  4. 12B.8
    The Standard SolutionBook 12B · κ-Solutions and Surgery

    The capped cylinder that surgery glues in: existence, positive curvature, extinction at time one, rotational symmetry, uniqueness, and canonical neighbourhoods (Perelman II §2; Morgan–Tian chapter 12).

  5. 12B.9
    SurgeryBook 12B · κ-Solutions and Surgery

    The standard solution, cutting along necks, and the topology of surgery.

  6. 12B.10
    Surgery on a δ-NeckBook 12B · κ-Solutions and Surgery

    The gluing construction in detail: the profile function, preservation of the Hamilton–Ivey pinching, closeness to the standard solution, and the definition of Ricci flow with surgery as a space-time (Morgan–Tian chapters 13–15).

  7. 12B.11
    Noncollapsing After SurgeryBook 12B · κ-Solutions and Surgery

    Perelman II Lemma 5.2 proved: admissible curves, the evolution of surgery caps, the length estimate for curves that come near a surgery, and the reduced-volume argument in a space-time with surgeries (Morgan–Tian chapter 16).

  8. 12B.12
    Canonical Neighbourhoods After SurgeryBook 12B · κ-Solutions and Surgery

    The strong canonical neighbourhood assumption justified across surgeries: the blow-up argument, the three cases for a limit that meets a surgery, and the choice of δ (Perelman II §5; Morgan–Tian chapter 17).

  9. 12B.13
    Ricci Flow with Surgery for All TimeBook 12B · κ-Solutions and Surgery

    Choosing the parameters, and why surgeries don’t accumulate.

If you follow the research

Latest papers · 26 papers

The newest 20, updated every weekday from arXiv. Follow this topic with its own RSS feed, or see who writes most on it.

math.DGarXiv:2609.33842

A Lean Formalization of the Hamilton–Perelman Proof of the Three-Dimensional Poincaré Conjecture

Ziyang Qin, Yuan Liao, Ayush Khaitan, Bennett Chow

We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth proof follows the Hamilton–Perelman route through Ricci flow with surgery and finite-time extinction.

View paper Connections
math.DGWider flowsarXiv:2608.25971

Positive -bi-Ricci curvature and Mean curvature flow with surgery in hyperbolic space

Tianci Luo, Yong Wei, Rong Zhou

Let and . We prove that every smooth closed connected immersed hypersurface in hyperbolic space whose induced metric has positive -bi-Ricci curvature admits a mean curvature flow with surgery which has only finitely many surgery times and terminates. In the range compatible with cylindrical necks, the key ingredients are a preserved quantitative spectral pinching condition, which converts the intrinsic hypothesis into uniform two-convexity, and cylindrical and derivative estimates that remain valid across the hyperbolic standard neck replacement. At the endpoint , , positive -bi-Ricci curvature is positive Ricci curvature and forces strict convexity, so the ordinary mean curvature flow converges to a round point. Consequently, the underlying manifold is diffeomorphic to a sphere or to a finite connected sum of copies of . If the initial hypersurface is embedded and bounds a compact domain, that domain is a one-handlebody, namely a ball with finitely many one-handles attached.

View paper Connections
math.DGv2arXiv:2608.18002

Small Normal Curvature and Three-Manifold Topology

Tsz-Kiu Aaron Chow, Jingbo Wan

For , we prove that every smooth immersion satisfies , with equality only for the Veronese embedding, up to congruence. We also prove that a closed, connected, orientable three-manifold admitting an immersion into a Euclidean unit ball with is diffeomorphic to , , or . All three possibilities occur, while forces . These results answer a question of Petrunin and prove a conjecture of Chodosh–Li concerning the normal curvature of three-manifolds. The key intrinsic input is the strict scalar–systolic inequality for every spherical three-space form with . Its proof uses systolic monotonicity along Ricci flow with surgery. This strict inequality complements the sharp scalar–systolic inequality for of Bray–Brendle–Eichmair–Neves.

View paper Connections
math.DGWider flowsarXiv:2606.00964

Mean convex flows with surgery

Gábor Székelyhidi

We construct a mean curvature flow with surgery starting with any compact mean convex hypersurface in , extending previous results of Huisken-Sinestrari, Brendle-Huisken, and Haslhofer-Kleiner for 2-convex flows. In contrast with previous constructions of mean curvature flow with surgery, the topological surgeries are performed by the flow itself through nondegenerate cylindrical singularities. At the same time the flow needs to be slightly adjusted at finitely many smooth times.

View paper Connections
math.DGWider flowsv2arXiv:2603.11022

Nondegenerate neck pinches along the mean curvature flow

Gábor Székelyhidi

We show that for generic smooth compact initial surfaces the mean curvature flow in has spherical or nondegenerate neck pinch singularities at the first singular time. In particular the singularities at the first singular time are isolated in spacetime. As an application we give a new approach to constructing a mean curvature flow with surgery for smooth compact initial surfaces in .

View paper Connections
math.DGarXiv:2510.13511

Moving Manifolds and the Poincare Conjecture

David V. Svintradze

We present a differential geometric formulation of the Poincare problem using the calculus of moving surfaces (CMS). In this framework, an n dimensional compact hypersurface evolves under a velocity field that couples motion to the extrinsic curvature tensor while preserving topology through smooth diffeomorphic flow. A variational energy principle identifies constant mean curvature (CMC) manifolds as the unique stationary equilibria of CMS dynamics. Consequently, the evolution of any compact simply connected hypersurface relaxes to a CMC equilibrium and, in the isotropic case, to the round sphere. Unlike Ricci flow approaches, which are dimension restricted and require topological surgery, the CMS formulation holds for all dimensions and preserves manifold topology for all time. This provides a deterministic geometric mechanical route to the Poincare conclusion, unifying dynamics, topology, and equilibrium geometry within a single analytic framework.

View paper Connections
math.DGv2arXiv:2509.05470

Linear stability of the blowdown Ricci shrinker in 4D

Keaton Naff, Tristan Ozuch

We prove that the four-dimensional blowdown shrinking Ricci soliton constructed by Feldman-Ilmanen-Knopf is strictly linearly stable in the sense of Cao-Hamilton-Ilmanen. This provides the first known example of a non-cylindrical linearly stable shrinking Ricci soliton. This offers new insights into the topological behavior of generic solutions to the Ricci flow in four dimensions: on top of reversing connected sums and handle surgeries, they should also undo complex blow-ups. The proof starts from an explicit description of the metric and develops a tensor harmonic analysis, adapted to its weighted Lichnerowicz Laplacian and based on its -invariance. It further exploits the Kähler structure of the blowdown shrinking soliton and insights from four-dimensional selfduality. The main difficulty is that the weighted Lichnerowicz Laplacian of the soliton admits a -dimensional set of eigentensors associated with nonnegative eigenvalues. We show that they correspond to the Ricci tensor and gauge transformations.

View paper Connections
cs.LGarXiv:2503.19867

Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement

Ming Lei, Christophe Baehr

This paper establishes a unified framework integrating geometric flows with deep learning through three fundamental innovations. First, we propose a thermodynamically coupled Ricci flow that dynamically adapts parameter space geometry to loss landscape topology, formally proved to preserve isometric knowledge embedding (Theorem ). Second, we derive explicit phase transition thresholds and critical learning rates (Theorem ) through curvature blowup analysis, enabling automated singularity resolution via geometric surgery (Lemma ). Third, we establish an AdS/CFT-type holographic duality (Theorem ) between neural networks and conformal field theories, providing entanglement entropy bounds for regularization design. Experiments demonstrate 2.1 convergence acceleration and 63% topological simplification while maintaining complexity, outperforming Riemannian baselines by 15.2% in few-shot accuracy. Theoretically, we prove exponential stability (Theorem ) through a new Lyapunov function combining Perelman entropy with Wasserstein gradient flows, fundamentally advancing geometric deep learning.

View paper Connections
math.DGWider flowsarXiv:2501.16678

Passing through nondegenerate singularities in mean curvature flows

Ao Sun, Zhihan Wang, Jinxin Xue

In this paper, we study the properties of nondegenerate cylindrical singularities of mean curvature flow. We prove they are isolated in spacetime and provide a complete description of the geometry and topology change of the flow passing through the singularities. Particularly, the topology change agrees with the level sets change near a critical point of a Morse function, which is the same as performing surgery. The proof is based on a new -distance monotonicity formula, which allows us to derive a discrete almost monotonicity of the "decay order", a discrete mean curvature flow analog to Almgren's frequency function.

View paper Connections
math.CAv3arXiv:2411.06393

Evolution of weights on a connected finite graph

Jicheng Ma, Yunyan Yang

On a connected finite graph, we propose an evolution of weights including Ollivier's Ricci flow as a special case. During the evolution process, on each edge, the speed of change of weight is exactly the difference between the Wasserstein distance related to two probability measures and certain graph distance. Here the probability measure may be chosen as an -lazy one-step random walk, an -lazy two-step random walk, or a general probability measure. Based on the ODE theory, we show that the initial value problem has a unique global solution. A discrete version of the above evolution is applied to the problem of community detection. Our algorithm is based on such a discrete evolution, where probability measures are chosen as -lazy one-step random walk and -lazy two-step random walk respectively. Note that the latter measure has not been used in previous works. Moreover, only one surgery needs to be performed after the last iteration, which makes our algorithm much simpler than earlier ones based on Lin-Lu-Yau's Ricci curvature.

View paper Connections
math.APv3arXiv:2408.09435

A modified Ricci flow on arbitrary weighted graph

Jicheng Ma, Yunyan Yang

In this paper, we propose a modified Ricci flow, as well as a quasi-normalized Ricci flow, on arbitrary weighted graph. Each of these two flows has a unique global solution. In particular, these global existence and uniqueness results do not require an exit condition proposed by Bai et al in a recent work [2]. As applications, these two Ricci flows are applied to community detection for complex networks, including Karate Club, American football games, Facebook, as well as artificial networks. In our algorithms, unlike in [5,15], there is no need to perform surgery at every iteration, only one surgery needs to be performed after the last iteration. From three commonly used criteria for evaluating community detection algorithms, ARI, NMI and Q, we conclude that our algorithms outperform existing algorithms, including Ollivier's Ricci flow [5], normalized Ollivier's Ricci flow and normalized Lin-Lu-Yau's Ricci flow [15]. The codes for our algorithms are available at https://github.com/mjc191812/Modified-Ricci-Flow.

View paper Connections
math.DGarXiv:2401.05056

A discrete uniformization theorem for decorated piecewise hyperbolic metrics on surfaces

Xu Xu, Chao Zheng

In this paper, we study a natural discretization of the smooth Gaussian curvature on surfaces. A discrete uniformization theorem is established for this discrete Gaussian curvature. We further investigate the prescribing combinatorial curvature problem for a parametrization of this discrete Gaussian curvature, which is called the combinatorial -curvature. To find decorated piecewise hyperbolic metrics with prescribed combinatorial -curvatures, we introduce the combinatorial -Ricci flow for decorated piecewise hyperbolic metrics. To handle the potential singularities along the combinatorial -Ricci flow, we do surgery along the flow by edge flipping under the weighted Delaunay condition. Then we prove the longtime existence and convergence of the combinatorial -Ricci flow with surgery. As an application of the combinatorial -Ricci flow with surgery, we give the existence of decorated piecewise hyperbolic metrics with prescribed combinatorial -curvatures. We further introduce the combinatorial -Calabi flow with surgery and study its longtime behavior.

View paper Connections
math.DGarXiv:2311.15825

Open manifolds with uniformly positive isotropic curvature

Hong Huang

We prove the following result: Let be a complete noncompact manifold of dimension with isotropic curvature bounded below by a positive constant, with scalar curvature bounded above, and with injectivity radius bounded below. Then there is a finite collection of spherical -manifolds and manifolds of the form , where is a discrete subgroup of the isometry group of the round cylinder , such that is diffeomorphic to a (possible infinite) connected sum of members of . This extends a recent work of Huang. The proof uses Ricci flow with surgery on open orbifolds with isolated singularities.

View paper Connections
math.DGarXiv:2311.04450

The existence of inversive distance circle packing on hyperbolic polyhedral surface

Xiang Zhu

In this paper, we prove that given a hyperbolic polyhedral metric with an inversive distance circle packing, and a target discrete curvature satisfying Gauss-Bonnet formula, there exist a unique inversive distance circle packing which is discrete conformal to the former one. We deform the surface by discrete Ricci flow, and do surgery by edge flipping when the orthogonal circles of some faces are about to be non-compact. The revised weighted Delaunay inequality of hyperbolic case implies the compactness of the orthogonal circle. We use a variational principle of a convex Ricci potential defined on the fiber bundles with cell-decomposition and differential structure based on Teichmüller space to finish the proof.

View paper Connections
math.DGarXiv:2311.01272

The existence of inversive distance circle packing on polyhedral surface

Xiang Zhu

We prove that for any discrete curvature satisfying Gauss-Bonnet formula, there exist a unique up to scaling inversive distance circle packing in the discrete conformal equivalent class, whose polyhedral metric meets the target curvature. We prove it by constructing diffeomorphism between fiber bundles with cell decomposition based on Teichmüller spaces, and each discrete conformal equivalent class is a fiber passing through finite cell with respect to triangulations, which means we can do surgery on the discrete Ricci flow by edge flipping using a generalized Ptolemy equation to ensure it converge and never blow up.

View paper Connections
math.DGarXiv:2308.02271

Combinatorial curvature flows with surgery for inversive distance circle packings on surfaces

Xu Xu, Chao Zheng

Inversive distance circle packings introduced by Bowers-Stephenson are natural generalizations of Thurston's circle packings on surfaces. To find piecewise Euclidean metrics on surfaces with prescribed combinatorial curvatures, we introduce the combinatorial Calabi flow, the fractional combinatorial Calabi flow and the combinatorial -th Calabi flow for the Euclidean inversive distance circle packings. Due to the singularities possibly developed by these combinatorial curvature flows, the longtime existence and convergence of these combinatorial curvature flows have been a difficult problem for a long time. To handle the potential singularities along these combinatorial curvature flows, we do surgery along these flows by edge flipping under the weighted Delaunay condition. Using the discrete conformal theory recently established by Bobenko-Lutz for decorated piecewise Euclidean metrics on surfaces, we prove the longtime existence and global convergence for the solutions of these combinatorial curvature flows with surgery. This provides effective algorithms for finding piecewise Euclidean metrics on surfaces with prescribed combinatorial curvatures.

View paper Connections
math.DGWider flowsarXiv:2306.07714

Free boundary flow with surgery

Robert Haslhofer

In this paper, we prove the existence of mean curvature flow with surgery for mean-convex surfaces with free boundary. To do so, we implement our recent new approach for constructing flows with surgery without a prior estimates in the free boundary setting. The flow either becomes extinct in finite time or for converges smoothly in the one or two sheeted sense to a finite collection of stable connected minimal surfaces with empty or free boundary (in particular, there are no surgeries for sufficiently large). Our free boundary flow with surgery will be applied in forthcoming work with Ketover, where we will address the existence problem for free boundary minimal disks in convex balls.

View paper Connections
math.DGv10arXiv:2305.18154

Classification of compact manifolds with positive isotropic curvature

Hong Huang

We show the following result: Let be a compact manifold of dimension with positive isotropic curvature. Then is diffeomorphic to a spherical space form, or a quotient manifold of by a cocompact discrete subgroup of the isometry group of the round cylinder , or a connected sum of a finite number of such manifolds. This extends previous works of Brendle and Chen-Tang-Zhu, and improves a work of Huang. The proof uses Ricci flow with surgery on compact orbifolds, with the help of the ambient isotopy uniqueness of closed tubular neighborhoods of an isolated singular point in an orbifold.

View paper Connections
hep-tharXiv:2209.10297

Cobordism, Singularities and the Ricci Flow Conjecture

David Martín Velázquez, Davide De Biasio, Dieter Lust

In the following work, an attempt to conciliate the Ricci flow conjecture and the Cobordism conjecture, stated as refinements of the Swampland distance conjecture and of the No global symmetries conjecture respectively, is presented. This is done by starting from a suitable manifold with trivial cobordism class, applying surgery techniques to Ricci flow singularities and trivialising the cobordism class of one of the resulting connected components via the introduction of appropriate defects. The specific example of is studied in detail. A connection between the process of blowing up a point of a manifold and that of taking the connected sum of such with is explored. Hence, the problem of studying the Ricci flow of a whose cobordism class is trivialised by the addition of copies of is tackled by applying both the techniques developed in the previous sections and the classification of singularities in terms of ADE groups.

View paper Connections

All 26 papers on Surgery, by year