In briefCurvature conditions that force a manifold to be a sphere. Ricci flow settled the 1/4-pinched differentiable sphere theorem, which had been open for about fifty years.
41<K≤1 (pointwise pinched)⟹M is diffeomorphic to a spherical space form
The curvature condition that makes higher-dimensional Ricci flow work. A manifold has PIC if for every orthonormal 4-frame,
R1313+R1414+R2323+R2424−2R1234≥0.
It looks technical, and it is exactly the condition preserved by Ricci flow (Hamilton in dimension 4, Brendle–Schoen in general). Brendle and Schoen proved that pointwise 1/4-pinched manifolds satisfy a version of it, which gave the differentiable sphere theorem: such a manifold is diffeomorphic — not merely homeomorphic — to a spherical space form.
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
The topological sphere theorem of Rauch, Berger and Klingenberg (1950s–60s) says that a closed, simply connected manifold whose sectional curvatures lie in (1/4,1] is homeomorphic to a sphere. The constant 1/4 is sharp: complex projective space has curvatures in [1/4,1]. Whether "homeomorphic" could be upgraded to "diffeomorphic" — exotic spheres exist in many dimensions — was a famous open problem.
Micallef and Moore (1988) used minimal surfaces to show that a closed, simply connected manifold with positive isotropic curvature (PIC) is a homotopy sphere, and hence homeomorphic to a sphere. The decisive progress came from Ricci flow:
Positive curvature operator (Böhm–Wilking, 2008): the flow converges to a metric of constant curvature, so M is diffeomorphic to a spherical space form, in every dimension.
Pointwise 1/4-pinching (Brendle–Schoen, 2009): the same conclusion, the differentiable sphere theorem. Their key discovery was that PIC for M×R2 is preserved by the flow, and it holds for 1/4-pinched manifolds.
Weak pinching (Brendle–Schoen): with curvatures in [1/4,1], the manifold is a space form or locally symmetric, like CPn.
Why it matters
The sphere theorems are the cleanest example of Ricci flow as a machine for turning curvature hypotheses into topology. They are also where the theory of preserved curvature cones, now used throughout the subject, was built.
Where it stands
The pinched case is settled. Open questions concern weaker hypotheses: which curvature conditions are preserved and pinch towards constant curvature, the classification of manifolds with positive isotropic curvature (Brendle's surgery in high dimensions), and sphere theorems under integral or Ricci pinching. Related problems ask about manifolds of positive sectional curvature in general, where very few examples are known.
If you are new to this
Foundational papers
The papers the rest of the topic builds on, in reading order. Titles open the paper.
We prove that a complete connected four-dimensional gradient steady Ricci soliton with positive curvature operator that is κ-noncollapsed at all scales admits an effective isometric O(3) action preserving the potential function and having principal orbits diffeomorphic to S2.
We study quermassintegral-preserving curvature flows in Hn+1, n≥3, driven by the curvature quotient (Ek/Eℓ)1/(k−ℓ). For 1≤ℓ<k with k+ℓ≤n, we prove that positive sectional curvature is preserved. Starting from a smooth closed strictly convex hypersurface with positive sectional curvature, the flow exists for all time and converges smoothly and exponentially to a geodesic sphere. As an application, we establish sharp Alexandrov–Fenchel inequalities between Wk and Wℓ for smooth bounded convex domains whose boundaries have nonnegative sectional curvature, whenever 0≤ℓ<k≤n and k+ℓ≤n. Equality holds if and only if the domain is a geodesic ball. Together with previously known cases, these inequalities give the full family of Alexandrov–Fenchel inequalities for this class of domains in H6. We also construct counterexamples showing that k+ℓ≤n is the optimal range for preservation of positive sectional curvature by these flows.
We prove stability of geodesic spheres under volume-preserving mean curvature flow in the simply connected space forms under genuinely first-order geometric assumptions. The initial hypersurface is required to lie in a sufficiently thin annulus around a geodesic sphere and to have outward normal making a small angle with the radial direction. No convexity, mean convexity, initial curvature bound, or Hölder control of the normal is assumed. The main ingredient is a quantitative Alexandrov reflection argument that converts these initial assumptions into a strong reflection property preserved by the flow. The resulting radial and angular control allows us to derive estimates for the mean curvature and the full second fundamental form, and hence long-time existence, eventual convexity, and smooth exponential convergence to a geodesic sphere. In hyperbolic space, the eventual convexity can be strengthened to horospherical convexity. The reflection threshold also yields a quantitative estimate for the displacement of the limiting centre. For Lipschitz initial hypersurfaces, we develop a separate positive-time curvature estimate that is uniform along smooth approximations. This produces an instantaneously smooth evolution with the same eventual convexity and smooth exponential convergence.
We extend the classification of manifolds with positive isotropic curvature to all dimensions n≥5. This result also completes the classification of uniformly positive isotropic curvature on complete non-compactκ-noncollapsed ancient solutions and gradient shrinking Ricci solitons. The proof involves a construction of pinching cones in all dimensions, refining and extending to all dimensions the results of the first author. We have used MATHEMATICA to find viable parameters for the cone families. The final presentation is self-contained and can be verified manually. No stage of this work involved LLMs.
We establish the eventual monotonicity of the Willmore deficit ∫ΣH2dμ−16π along the mean curvature flow of smooth closed embedded strictly convex surfaces in R3, thereby complementing Huisken's exponential convergence with an eventual monotonicity property. As a consequence, the Hawking mass is eventually nondecreasing along the contracting mean curvature flow, in contrast with the usual inclusion monotonicity expected of the Hawking mass. We also discuss totally umbilical solutions in three-dimensionalspace forms, where the monotonicity directions of the Willmore energy and the Hawking mass depend on the sign of the ambient sectional curvature.
We study gradient Ricci solitons on partially totally real (PTR) submanifolds of complex space forms. In nonzero ambient holomorphic sectional curvature, the Gauss–soliton equation reconstructs the square P2 of the tangential Kähler operator from the Hessian endomorphism and an extrinsic Ricci operator. Consequently, the PTR tangency spectrum is encoded by intrinsic soliton data together with the second fundamental form. For compact minimal PTR solitons with positive ambient curvature we obtain λ≤c(n−1)/4, with a strict version under a relative-nullity condition. We also prove compact triviality criteria, an exact trace-free anisotropy identity, a parallel-data rigidity result, and a nonexistence theorem for compact real hypersurfaces. A flat multi-level Gaussian model and a nonflat Segre CR-product provide explicit consistency checks and identify the limiting cases of the reconstruction formulas.
We construct and prove the transversal invariance of two families of pinching cones for the Hamilton ODE dtdR=Q(R) in dimensions n=7,8, thereby extending the pinching estimate established by Brendle for n≥12 and by Chen for 9≤n≤11. In dimension n=8, two steps in Chen's construction genuinely fail. The first, an estimate for the second cone family, is repaired by retaining a coupling discarded in the dimension-general argument. The second is the gluing of the two cone families, for which Chen's estimate fails at n=8 by a definite margin. We replace it with a new argument that reduces the gluing to a single linear inequality on the cone of weakly PIC curvature operators, and prove this inequality by an explicit finite combination of frame inequalities. In dimension n=7, the two separate cone-invariance results are proved, but the gluing step is not established here. Accordingly, the resulting full pinching estimate and classification statements are restricted to dimension n=8. The n=8 pinching estimate, together with dimension-free arguments of Brendle, yields the topological classification in dimension eight of compact manifolds with positive isotropic curvature that contain no nontrivial incompressible (n−1)-dimensional space forms, extending a theorem of Brendle from n≥12. Together with curvature-improvement and classification results of Cho–Li and Brendle–Naff, it also yields the classification of noncompactκ-noncollapsed ancient solutions to the Ricci flow with uniformly PIC, extending a theorem of Cho–Li from n=4 or n≥12.
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 study non-compactRicci solitons of finite volume whose potential vector field has constant length. Under the assumptions that the scalar curvature is constant along the integral curves of the potential field and that a natural divergence term is integrable on the unit tangent bundle, we prove that such Ricci solitons are necessarily trivial. As applications, we characterise 3-dimensional Ricci solitons of constant length and of finite volume on almost α-cosymplectic manifolds. In fact, we show that these spaces are indeed compact quotients of Euclidean spaces. We also study complete, non-compact and finite volume contact metric manifolds in dimension 3 admitting a Reeb vector field as a Ricci soliton. We show that it is a compact spherical space form. We include some examples to illustrate the necessity of the finite-volume and constant-length assumptions.
We obtain the unique asymptotics of SO(k)×SO(n−k+1)-invariant, compact, simply-connected, factorwisely non-self-similar n-dimensional κ-solutions of the Ricci flow(Mn,g(t)), where n≥4 and 2≤k≤n−2. More precisely, these κ-solutions are either ancient ovals of the Ricci flow that are diffeomorphic to the standard sphere Sn, having a positive curvature operator metric g(t) and a cylindrical tangent flow at −∞, or they are a Riemannian product of a Perelman's ancient oval and a shrinking round sphere. The metric g(t) of every SO(k)×SO(n−k+1)-invariant ancient oval is represented in the form g(t)=dz⊗dz+F2(z,t)gSk−1+G2(z,t)gSn−k (up to flipping k−1 and n−k). We obtain results about the blowdown limits of such solutions, establish the unique sharp asymptotics of the profile function G(z,t), and prove that the uniqueness of G(z,t) implies the uniqueness of F(z,t). In particular, this provides the first instance of a classification result for geometric flows represented by a coupled PDE system, opening new avenues for studying the classification of higher-dimensional κ-solutions of the Ricci flow.
Kong and Liu introduced the concept of hyperbolic Ricci flow in 2007 and used it to study the wave character of metrics. After that, many mathematicians have used this new geometric flow to study the evolution of manifolds and their structures. Ricci solitons and hyperbolic Ricci solitons are self-similar solitons of the Ricci flow and hyperbolic Ricci flow respectively. In this paper, we introduce the concept of hyperbolic ∗−Ricci solitons and hyperbolic Ricci-Yamabe solitons on a trans-Sasakianspace forms and characterized the nature of some hyperbolic solitons. Additionally, we deduce the Ricci tensors of submanifolds of trans-Sasakian space forms and conformal trans-Sasakian space form and found the nature of solitons on submanifolds. Finally, we have included an example which will justify our result.
We prove that the Ricci flow preserves positive sectional curvature on homogeneous spheres and complex projective spaces. In conjunction with prior results, this completes the classification of which homogeneous spaces have positively curved metrics flowing outside the set of positively curved metrics and which do not.
We show that κ-solutions to the Ricci flow in dimensions n≥4 whose asymptotic shrinking Ricci soliton is the round cylinder Sn−1×R must be uniformly PIC. Combined with earlier classification results, this implies that any such noncompact solution is either the round shrinking cylinder or the Bryant steady soliton, and any such compact solution is Perelman's ancient solution.
We study contracting curvature flows of compact hypersurfaces with positive sectional curvature in hyperbolic space Hn+1. The speed is assumed to be homogeneous of degree one in the principal curvatures and to satisfy certain conditions. This class of flows includes the kth mean curvature flow as a special case. We show that if the initial hypersurface has positive sectional curvature, then this property is preserved along the flow, and the evolving hypersurface contracts to a round point in finite time.
Hamilton's pinching conjecture, that three-dimensionalcomplete non-compact manifolds with pinched Ricci curvature are flat, has recently been resolved using Ricci flow. In this paper we prove a direct analogue of that result in all dimensions. In order to do so we develop a lifting technique that allows us to handle manifolds that are collapsed at infinity. This new method also gives an alternative way of handling collapsed manifolds in the known three-dimensional case. As part of this approach, we prove a Ricci flow curvature estimate of a type that would normally be derived from the Harnack inequality, but without requiring the strong curvature positivity hypothesis demanded by Harnack. We give an improved gap theorem as a further application.
In this paper, we investigate curvature pinching phenomena in complete non-compact asymptotically conical gradient expanding Ricci solitons and establish several Hamilton-Ivey type curvature pinching estimates. These results are parallel to those known for shrinking and steady Ricci solitons. In particular, we prove a three-dimensional Hamilton-Ivey type curvature pinching theorem: any three-dimensional non-compact gradient Ricci expander, which is asymptotic to a cone with positive scalar curvature, must have positive sectional curvature. Furthermore, we formulate a general method and apply it to obtain analogues of several additional known generalized Hamilton-Ivey type curvature pinching results for ancient solutions. Among these is a curvature pinching estimate for four-dimensional asymptotically conical Ricci expanders with uniformly positive isotropic curvature, analogous to a result for four-dimensional gradient steady solitons due to Brendle [8].
We find new examples of steady gradient Ricci solitons with positive curvature operator in dimensions four and above. Utilising a procedure first introduced by Lai, we construct examples with O(p)×O(q) symmetry in dimension p+q for any pair of integers p,q≥2 and discuss their asymptotic geometry.
Lorantzian trans-Sasakianspace form is a special type of space form in which the nature of even and odd dimensional space form both exist. Various curvature tensors with respect to Levi-Civita connection on the space form are derived in this paper. We have shown that if an odd-dimensional Lorentzian trans-Sasakian space form admits a hyperbolic Ricci soliton and hyperbolic conformal Ricci soliton then they will be η-Einstein. We also obtained the conditions for the solitons to be expanding, steady or shrinking. Finally, an example has been constructed which justifies the results obtained.
For all dimensions n≥5, let (M,g,f) be a n−dimensional shrinking gradient Ricci soliton with strictly positive isotropic curvature (PIC). Suppose furthermore that ∇2f is 2−nonnegative and the curvature tensor is WPIC1 at some point xˉ∈M. Then (M,g) must be a quotient of either Sn or Sn−1×R. Our result partially extends the classification result for 4-dimensional PIC shrinking Ricci solitons established in [LNW16] to highter dimensions. Combining the pinching estimates deduced in [Chen24] we also extend the result in [CL23] to dimensions n≥9. Namely that a complete ancient solution to the Ricci flow of dimension n≥9 with uniformly PIC must be weakly PIC2.
This paper studies minimal surface entropy (the exponential asymptotic growth of the number of minimal surfaces up to a given value of area) for negatively curved metrics on hyperbolic 3-manifolds of finite volume, particularly its comparison to the hyperbolic minimal surface entropy in terms of sectional and scalar curvature. On one hand, for metrics that are bilipschitz equivalent to the hyperbolic metric and have sectional curvature bounded above by −1 and uniformly bounded below, we show that the entropy achieves its minimum if and only if the metric is hyperbolic. On the other hand, by analyzing the convergence rate of the Ricci flow toward the hyperbolic metric, we prove that among all metrics with scalar curvature bounded below by −6 and with non-positive sectional curvature on the cusps, the entropy is maximized at the hyperbolic metric, provided that it is infinitesimally rigid. Furthermore, if the metrics are uniformly C0-close to the hyperbolic metric and asymptotically cusped, then the entropy associated with the Lebesgue measure is uniquely maximized at the hyperbolic metric.