Does the mean curvature flow naturally come with less applications than intrinsic curvature flows?

Here is a list of some topological and geometric applications:

  1. Huisken-Ilmanen used inverse MCF to prove the Riemannian Penrose inequality: https://projecteuclid.org/euclid.jdg/1090349447

  2. Huisken-Sinestrari used MCF with surgery to classify two-convex hypersurfaces: https://link.springer.com/article/10.1007/s00222-008-0148-4

  3. Buzano, Hershkovits and I used MCF with surgery to prove that the moduli space of two-convex embedded spheres is connected: https://arxiv.org/abs/1607.05604

  4. Ketover and I used MCF with surgery to prove existence of smooth mean convex foliations and minimal spheres: https://arxiv.org/abs/1708.06567

  5. Bernstein-Wang used MCF to classify hypersurfaces with low entropy: https://arxiv.org/abs/1511.00387

  6. Ilmanen-White used MCF to prove sharp lower bounds on the density of minimal cones: https://arxiv.org/abs/1010.5068

  7. Schulze proved the optimal isoperimetric inequality for surfaces in any codimension in Cartan-Hadamard manifolds: https://arxiv.org/abs/1802.00226


Mu-Tao Wang (Math. Res. Lett. 2001) showed that any diffeomorphism $f:S^2\to S^2$ is isotopic to an isometry, which was originally shown by Smale (Proc. AMS 1959)

Mao-Pei Tsui and Mu-Tao Wang (Comm. Pure Appl. Math. 2004) showed that if $f:S^n\to S^m$ is area-decreasing on two-dimensional submanifolds, then $f$ is null-homotopic. (Gromov had shown this in the weaker context that the two-dimensional area distortion factor is sufficiently close to 0. Larry Guth (Geom. Func. Anal. 2013) has counterexamples if "two" is replaced by "three".)

Ivana Medos and Mu-Tao Wang (J Diff. Geom. 2011) showed that if $f:\mathbb{CP}^n\to\mathbb{CP}^n$ is a symplectomorphism such that $f$ and $f^{-1}$ have Lipschitz constants sufficiently close to one, then $f$ is symplectically isotopic to an isometry. (Gromov (Invent. Math. 1985) showed that in the case $n=2$ this is true without a condition on the Lipschitz factors.)

The method in each case is to deform the graph of $f$ by the mean curvature flow and to show a long-time existence and convergence result. So it is mean curvature in codimension larger than one, as opposed to most research in MCF.

As for mean curvature flow in codimension one, any smooth compact four-manifold which is homeomorphic to $S^4$ can be smoothly embedded in $\mathbb{R}^5$, and I think some people hope that a sufficiently good understanding of its mean curvature flow could prove the four-dimensional smooth Poincaré conjecture, roughly analogously to the Hamilton-Perelman proof of the three-dimensional Poincaré conjecture using Ricci flow. But it would probably be much more complicated, for analytic reasons.


I think there are two issues at play.

  1. MCF of $n$ dimensional hypersurfaces is analogous to $2n$ dimensional Ricci flow (at least for $n=1$ and $n=2$).
  2. The Riemann curvature tensor is more algebraically interesting than the second fundamental form so there are more possible interesting curvature conditions preserved.

For 1, there are several heuristic reasons to compare mean curvature flow of $n$-dimensional hypersurfaces to Ricci flow of $2n$ dimensional Riemannian manifolds. For instance, 1D MCF (i.e., curve shortening flow) is "trivial" in an analogous way that 2d Ricci flow is. Similarly, 2D MCF is "complex" (i.e. has many potential singularity models) in the same way 4D Ricci flow is and is beyond our present understanding. Ricci flow on three-manifolds is somewhere in between and so it was possible, with a lot of insight and work, to get results. However, there is no analog for MCF for dimensional reasons.

For the second point, there are nice applications of MCF to the study of hypersurfaces with various curvature conditions (e.g., two-convex). However, these are more exotic than curvature conditions that behave well with Ricci flow.