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.
Just before a neck pinches, cut along a thin ε-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×S1 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 ε-neck (almost a round cylinder), an ε-cap, or a closed component of positive curvature. Surgery then:
discards the components known to be spherical space forms or S2×S1-like;
cuts each thin neck along a 2-sphere, at a scale δ(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×S1 — 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.
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.
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).
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).
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).
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).
We formalize the smooth three-dimensionalPoincaré 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.
Let n≥3 and 0≤τ≤2. 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 spectralpinching 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 n=3, τ=2, 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 Sn−1×S1. 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.
For m=2,3, we prove that every smooth immersion F:RPm↬B,N(1) satisfies κ(F)2≥2m/(m+1), 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 κ(F)≤3/2 is diffeomorphic to S3, RP3, or S2×S1. All three possibilities occur, while κ(F)<3/2 forces X≅S3. 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 (YminRg)sys(g)2<6π2 for every spherical three-space formY with ∣π1(Y)∣>2. Its proof uses systolic monotonicity along Ricci flow with surgery. This strict inequality complements the sharp scalar–systolic inequality for RP3 of Bray–Brendle–Eichmair–Neves.
We construct a mean curvature flow with surgery starting with any compact mean convex hypersurface in Rn+1, 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.
We show that for generic smooth compact initial surfaces the mean curvature flow in R3 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 R3.
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.
This paper shows for the first time the existence of a Ricci flow with surgery with local topology change \mathbbCP^2\setminus\{ pt\} \rightarrow \mathbbR^4. The post surgery flow converges to the Taub-NUT metric on \mathbbR^4 in infinite time.
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 U(2)-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 9-dimensional set of eigentensors associated with nonnegative eigenvalues. We show that they correspond to the Ricci tensor and gauge transformations.
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 L2-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.
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.
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.
We prove the following result: Let (M,g0) be a complete noncompact manifold of dimension n≥12 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 X of spherical n-manifolds and manifolds of the form Sn−1×R/G, where G is a discrete subgroup of the isometry group of the round cylinder Sn−1×R, such that M is diffeomorphic to a (possible infinite) connected sum of members of X. This extends a recent work of Huang. The proof uses Ricci flow with surgery on open orbifolds with isolated singularities.
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.
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.
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 p-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.
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 t→∞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 t sufficiently large). Our free boundary flow with surgery will be applied in forthcoming work with Ketover, where we will address the existence problem for 3 free boundary minimal disks in convex balls.
We show the following result: Let (M,g0) be a compact manifold of dimension n≥12 with positive isotropic curvature. Then M is diffeomorphic to a spherical space form, or a quotient manifold of Sn−1×R by a cocompact discrete subgroup of the isometry group of the round cylinder Sn−1×R, 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.
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 Ω4SO 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 CPn is explored. Hence, the problem of studying the Ricci flow of a K3 whose cobordism class is trivialised by the addition of 16 copies of CP2 is tackled by applying both the techniques developed in the previous sections and the classification of singularities in terms of ADE groups.