Pith. sign in

REVIEW 2 major objections 4 minor 37 references

A rigidity theorem of ancient solutions to the mean curvature flow in codimension one

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Complete ancient mean curvature flows with Gauss map in an open hemisphere and sub-square-root tilt must be affine linear.

desk verdict A promising rigidity theorem under an optimal growth condition, but the proof as printed has a load-bearing gap: the local estimate (1.2) does not follow from (3.18), and the application with T=R^2 does not make the RHS vanish. read the letter →

arxiv 2412.08867 v1 pith:C6SPPXKE submitted 2024-12-12 math.DG

Qun Chen , Hongbing Qiu This is my paper · ORCID
classification math.DG MSC 53C2453E10
keywords ancientsolutionmeancurvatureflowrigiditytheoremestimateGaussmaptranslatingsolitoncodimensiononeoptimalgrowthcondition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a rigidity theorem for complete noncompact ancient solutions to the mean curvature flow in codimension one: if the Gauss map of the flow stays inside an open hemisphere and the inverse distance to the boundary of that hemisphere grows more slowly than $\sqrt{|F|}+\sqrt{|t|}$ at infinity, then every time slice $M_t$ is an affine linear subspace. Ancient solutions are the asymptotic models for the flow near singularities, so this rigidity says which local models can actually occur. The proof is a maximum-principle estimate for the second fundamental form, and the authors show the growth condition is optimal by comparing with a quadratic translating graph whose inverse boundary distance is $O(|F|^{1/2})$ and which is genuinely curved. A corollary gives the same rigidity for translating solitons, and the argument extends to eternal solutions.

What carries the argument

The carrying object is the weighted curvature function $f=|B|^2/(b-\phi\circ\gamma)^2$, with $\phi=1-\cos\rho$ and $b=\frac12(1+\sup_{D_{R,T}}\phi\circ\gamma)$, on the space-time domain $D_{R,T}$. The motion of the Gauss map (via the harmonic-map heat-flow identity $\tau(\gamma)-\partial_t\gamma=0$) gives $(\Delta-\partial_t)(\phi\circ\gamma)=\cos(\rho\circ\gamma)\,|B|^2$, while Huisken's inequality gives $(\Delta-\partial_t)|B|^2\ge 2|\nabla B|^2-2|B|^4$; combining these yields a differential inequality for $f$. A cutoff function $\eta(r,t)$ constructed after Kunikawa localizes the maximum principle, producing the curvature estimate in Theorem 1. The rigidity then follows by taking $T=R^2$ and letting $R\to\infty$, so the decay of the right-hand side forces $|B|\equiv 0$.

What would settle it

Compute the right-hand side of the estimate in Theorem 1 with $T=R^2$ for a solution whose inverse hemisphere distance satisfies the theorem's $o$-condition; the decisive check is whether $\frac{1}{R}\sup_{D_{R,R^2}}(\pi/2-\rho\circ\gamma)^{-2}$ tends to zero. If it does, the rigidity proof closes; if not, the growth condition alone is insufficient.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2: let $F\colon M^n\times(-\infty,0]\to\mathbb{R}^{n+1}$ be a complete ancient solution to the mean curvature flow, let $\gamma$ be its Gauss map, and let $\rho$ be the distance function on $S^n$ from a point $p_0$. If the image of $\gamma$ lies in an open hemisphere and $(\pi/2-\rho\circ\gamma)^{-1}=o(\sqrt{|F|}+\sqrt{|t|})$ near infinity, then $M_t$ is affine linear for every $t$. The proof first establishes a local pointwise estimate (Theorem 1) controlling $|B|/(b-\phi\circ\gamma)$ on $D_{R/2,T/2}$ in terms of the inverse hemisphere distance on $D_{R,T}$; setting $T=R^2$ and letting $R\to\infty$ forces the second fundamental form to vanish. The authors also state that the growth rate is optimal, because the well-known entire rotationally symmetric translating graph with $|u(x)|\sim C|x|^2$ satisfies $(\pi/2-\rho\circ\gamma)^{-1}=O(|F|^{1/2})$ and is nonflat, and they record the analogous rigidity for translating solitons.

Load-bearing premise

The load-bearing step is in the passage from equation (3.18) to (3.19): the error term must vanish as the space-time radius $R$ grows, and the theorem's growth condition is what has to guarantee that decay; if it does not, the flatness conclusion does not follow.

Editorial extensions

If this is right

  • Nonflat complete ancient codimension-one solutions with Gauss map in an open hemisphere must have $(\pi/2-\rho\circ\gamma)^{-1}$ at least of order $\sqrt{|F|}+\sqrt{|t|}$; any sub-square-root growth is impossible.
  • Every complete translating soliton in $\mathbb{R}^{n+1}$ whose Gauss image lies in an open hemisphere and whose inverse boundary distance is $o(|F|^{1/2})$ is an affine subspace.
  • The open-hemisphere condition is necessary: the grim reaper has Gauss image a great circle and is nonflat.
  • The rigidity also holds for eternal solutions, since the same argument works on $[-T,T]$ time intervals.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof suggests a general quantitative principle: for ancient mean curvature flow, rigidity is controlled by the rate at which the normal approaches the boundary of an open hemisphere, and the sharp hypothesis is a growth rate rather than a bounded-slope assumption.
  • The same weighted maximum-principle estimate could be adapted to other parabolic geometric flows where the target has a distance function with positive Hessian and the curvature satisfies a Bochner-type inequality.
  • A testable consequence is that the critical exponent $1/2$ should reappear in any rigidity theorem for ancient solutions or translating solitons formulated via Gauss-map hemisphere distance, with exactly $O(|F|^{1/2})$ marking the boundary between flat and nonflat behavior.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves a rigidity theorem for complete ancient solutions to the mean curvature flow in codimension one. Under the assumptions that the Gauss map image lies in an open hemisphere and that, near infinity, (π/2 - ρ∘γ)^{-1} = o(√|F| + √|t|), the authors conclude that each time slice is affine linear. The proof is based on a local pointwise estimate for the second fundamental form obtained via a maximum-principle argument with an auxiliary function, following the approach of Kunikawa and Souplet-Zhang. The authors also claim that the growth condition is optimal, using a rotationally symmetric translating soliton as an example. The main technical statement is Theorem 1, a local estimate for |B|/(b - ϕ∘γ), and Theorem 2 is the resulting rigidity theorem.

Significance. If the main rigidity claim is valid, the result is a meaningful extension of earlier Bernstein-type theorems for ancient solutions to the mean curvature flow, replacing bounded Gauss-map slope (Kunikawa, Qiu) by a quantitative growth condition that is shown to be sharp via the translating soliton example. The proof is self-contained and uses standard tools (Wang's Gauss map evolution, Huisken's Simons identity, and a parabolic maximum principle with a Li-Yau-type cutoff); no free parameters are fitted. The optimality example in Remark 3 is informative. However, the printed estimate (1.2) is not a correct consequence of the preceding computation, and the application to Theorem 2 has a scaling gap. These issues are load-bearing for the rigidity conclusion.

major comments (2)
  1. [Section 3, derivation of (1.2) from (3.18)] The step 'Hence from (3.18), we derive' is algebraically invalid. Taking square roots of (3.18) gives φ^{1/2} f ≤ C( (1/ε + 1/ε^2) R^{-2} + (1/ε) T^{-1} ). Using the printed bound 1/ε ≤ C sup_{D_{R,T}} (π/2 - ρ)^{-2} =: C S_2, this becomes C( (S_2 + S_2^2) R^{-2} + S_2 T^{-1} ), not the R^{-1}(S_1 + S_2) + T^{-1/2} S_1 that appears in (1.2). The powers of R and T in (1.2) do not follow from (3.18). Since Theorem 2's proof invokes (1.2) through (3.19), the rigidity conclusion as printed does not follow from the derived estimate.
  2. [Section 3, proof of Theorem 2, Eq. (3.19)] Even if (1.2) were granted, the choice T = R^2 in (3.19) makes the right-hand side fail to decay under the theorem's hypothesis. On D_{R,R^2}, the growth condition gives S := sup_{D_{R,R^2}} (π/2 - ρ)^{-1} = o(R), because √|F| + √|t| ≤ 2R there. Consequently the term R^{-1} S^2 in (1.2) is o(R), which need not tend to zero as R→∞. The same issue affects the S_2 = S^2 term. The argument would close if T were taken to be R (where S = o(√R) and R^{-1} S^2 = o(1)), but the proof as written uses T = R^2. Thus the limit R→∞ in (3.19) does not force B ≡ 0.
minor comments (4)
  1. [Eq. (3.19)] In (3.19), the notation ρ∘u should read ρ∘γ; this appears to be a typo.
  2. [Theorem 2 statement] The hypothesis is phrased 'as t→-∞, the image ... is contained in an open hemisphere', but the proof applies Theorem 1 on arbitrary time intervals [-T,0]. The condition should be stated as holding for all t ∈ (-∞,0] (or on each interval), not only as a limiting statement.
  3. [Remark 3] There is a parenthesis error in the expression 'cos(ρ∘γ))^{-1}'; it should read (cos(ρ∘γ))^{-1}.
  4. [References] Reference [31] is cited as 'to appear'; if the article has since been published, the citation should be updated.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a self-contained maximum-principle estimate relying on external standard theorems, with no fitted parameters or construction-forced predictions.

full rationale

The paper's derivation chain is not circular. Theorem 1 is a local pointwise estimate for |B|/(b - phi o gamma) obtained from a maximum-principle computation using the Gauss map evolution equation (Theorem A of Wang [35]), Huisken's Simons-type identity (Corollary 3.5 of [18]), and Kunikawa's graphic representation/compactness result (Proposition 3.3 of [22]). None of these inputs is equivalent to the target rigidity conclusion, and the proof does not fit any parameter to data and then rename the fit as a prediction. The authors' own prior work [31] appears only in Remark 1 as a comparison stating that the new growth condition is weaker than the earlier bounded-slope condition; it is not used as a load-bearing ingredient in the proof of Theorem 1 or Theorem 2. The paper is self-contained against external benchmarks for the curvature estimate. The potential issue noted by a skeptical reader, namely that the displayed step 'Hence from (3.18), we derive' may not follow algebraically and that equation (3.19) may not have a vanishing right-hand side under the stated growth hypothesis, concerns the validity or completeness of the proof, not circularity. Under the given instructions, algebraic gaps and proof errors are not grounds for a circularity finding, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The proof relies on standard background theorems of geometric analysis and the auxiliary quantities b, ϕ, and Φ. No free parameters are fitted to data, and no new geometric or physical entities are postulated.

assumptions (4)
  • standard math Wang's Theorem A: for a hypersurface MCF in R^{n+1}, the Gauss map satisfies τ(γ)-∂tγ=0.
    Invoked in Eq. (3.2) and Eq. (3.7) to compute evolution of functions of the Gauss map.
  • standard math Huisken's evolution inequality: (∆-∂t)|B|² = 2|∇B|² - 2|B|⁴ ≥ 2|∇|B||² - 2|B|⁴.
    Used in Eq. (3.8) as the curvature evolution input.
  • domain assumption Under the Gauss image condition, each Mt can be written as a complete graph, so D_{R,T}(o) is compact.
    Quoted from Proposition 3.3 in [22] and used before the maximum principle at the maximum point of φf.
  • standard math Parabolic maximum principle on compact space-time domains.
    Used at the maximum point of φf to derive inequality (3.14).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A rigidity theorem of ancient solutions to the mean curvature flow in codimension one." pith.science (2026). https://pith.science/paper/C6SPPXKE

@misc{pith2026241208867,
  author       = {Pith},
  title        = {Pith review of: A rigidity theorem of ancient solutions to the mean curvature flow in codimension one},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C6SPPXKE}},
  note         = {Machine review of arXiv:2412.08867}
}
read the original abstract

By carrying out a point-wise estimate for the second fundamental form, we prove a rigidity theorem of complete noncompact ancient solutions to the mean curvature flow in codimension one. Moreover, we derive an optimal growth condition.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 36 canonical work pages

  1. [1]

    Differential Geom

    Angenent, S., Daskalopoulos, P., Sesum, N., Unique asymptotics o f ancient convex mean curvature flow solutions, J. Differential Geom. 111 (2019), no. 3, 381–455

    work page 2019

  2. [2]

    Angenent, S., Daskalopoulos, P., Sesum, N., Uniqueness of two-c onvex closed ancient solutions to the mean curvature flow, Ann. of Math. 192 (2020), no. 2, 353–436

    work page 2020

  3. [3]

    Brendle, S., Choi, K., Uniqueness of convex ancient solutions to me an curvature flow in R3, Invent. Math. 217 (2019), no. 1, 35–76

    work page 2019

  4. [4]

    Brendle, S., Choi, K., Uniqueness of convex ancient solutions to me an curvature flow in higher dimensions, Geom. Topol. 25 (2021), no. 5, 2195–2234

    work page 2021

  5. [5]

    N., Scheuer, J., On the classification of ancien t solutions to curvature flows on the sphere, Ann

    Bryan, P., Ivaki, M. N., Scheuer, J., On the classification of ancien t solutions to curvature flows on the sphere, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 25 (2024), no.1, 53–76

    work page 2024

  6. [6]

    Bryan, P., Louie, J., Classification of convex ancient solutions to c urve shortening flow on the sphere, J. Geom. Anal. 26 (2016), no. 2, 858–872

    work page 2016

  7. [7]

    Differential Geom

    Bourni, T., Langford, M., Tinaglia, G., Collapsing ancient solutions of mean curvature flow, J. Differential Geom. 119 (2021), no. 2, 187–219

    work page 2021

  8. [8]

    M., Ancient mean curvature flows and their spacetime tracks , arXiv: 1901.05481v2, 2019

    Chini, F., M ∅ller, N. M., Ancient mean curvature flows and their spacetime tracks , arXiv: 1901.05481v2, 2019. A RIGIDITY THEOREM OF ANCIENT SOLUTIONS 9

    arXiv 1901

Show all 37 references
  1. [9]

    Choi, K., Mantoulidis, C., Ancient gradient flows of elliptic functionals and Morse index, Amer. J. Math. 144 (2022), no. 2, 541–573

    2022

  2. [10]

    Choi, K., Haslhofer, R., Hershkovits, O., A nonexistence result f or wing-like mean curvature flows in R4, arXiv: 2105.13100v1 , 2021

    2021 arXiv

  3. [11]

    C., Schulze, F., Stability of tran slating solutions to mean curvature flow, Calc

    Clutterbuck, J., Schn¨ urer, O. C., Schulze, F., Stability of tran slating solutions to mean curvature flow, Calc. Var. Partial Differential Equations 29 (2007), no. 3, 281–293

    2007

  4. [12]

    Du, W., Haslhofer, R., The blowdown of ancient noncollapsed mean curvature flows, arXiv: 2106.04042v1, 2021

    2021 arXiv

  5. [13]

    Reine Angew

    Du, W., Haslhofer, R., A nonexistence result for rotating mean c urvature flows in R4, J. Reine Angew. Math. 802 (2023), 275–285

    2023

  6. [14]

    Pure Appl

    Du, W., Haslhofer, R., Hearing the shape of ancient noncollapsed flows in R4, Comm. Pure Appl. Math. , 77(2024), no. 1, 543–582

    2024

  7. [15]

    Differential Geom

    Daskalopoulos, P., Hamilton, R., Sesum, N., Classification of compa ct ancient solutions to the curve shortening flow, J. Differential Geom. 84 (2010), no. 3, 455–464

    2010

  8. [16]

    Guan, L., Xu, H., Zhao, E., A Bernstein type theorem for ancient solutions to the mean curvature flow in arbitrary codimension, Proc. Amer. Math. Soc. 151(2023), no. 1, 269–279

    2023

  9. [17]

    Haslhofer, R., Hershkovits, O., Ancient solutions of the mean cu rvature flow, Comm. Anal. Geom. 24 (2016), no. 3, 593–604

    2016

  10. [18]

    Differential Geom

    Huisken, G., Flow by mean curvature of convex surfaces into sp heres, J. Differential Geom. 20 (1984), no. 1, 237–266

    1984

  11. [19]

    Huisken, G., Sinestrari, C.,Mean curvature flow singularities for m ean convex surfaces, Calc. Var. Partial Differential Equations 8 (1999), no. 1, 1–14

    1999

  12. [20]

    183 (1999), no

    Huisken, G., Sinestrari, C., Convexity estimates for mean curva ture flow and singularities of mean convex surfaces, Acta Math. 183 (1999), no. 1, 45–70

    1999

  13. [21]

    Differential Geom

    Huisken, G., Sinestrari, C., Convex ancient solutions of the mean curvature flow, J. Differential Geom. 101 (2015), no. 2, 267–287

    2015

  14. [22]

    Kunikawa, K., Bernstein-type theorem of translating solitons in arbitrary codimension with flat normal bundle. Calc. Var. Partial Differential Equations 54 (2015), no. 2, 1331–1344

    2015

  15. [23]

    Kunikawa, K., A Bernstein type theorem of ancient solution to th e mean curvature flow, Proc. Amer. Math. Soc. 144(2016), no. 3, 1325–1333

    2016

  16. [24]

    Kunikawa, K., Sakurai, Y., Liouville theorems for harmonic map hea t flow along ancient super Ricci flow via reduced geometry, Calc. Var. Partial Differential Equations 60 (2021), no.5, Paper No. 199, 24 pp

    2021

  17. [25]

    Langford, M., A general pinching principle for mean curvature fl ow and applications, Calc. Var. Partial Differential Equations 56(2017), no. 4, Paper No. 107, 31 pp

    2017

  18. [26]

    Langford, M., Sharp one-sided curvature estimates for mean curvature flow, arXiv: 1701.05372v1 , 2017

    2017 arXiv

  19. [27]

    Langford, M., Lynch, S., Sharp one-sided curvature estimate s for fully nonlinear curvature flows and applications to ancient solutions. J. Reine Angew. Math. 765 (2020), 1–33

    2020

  20. [28]

    T., Pinched ancient solutions to the high co dimension mean curvature flow

    Lynch, S., Nguyen, H. T., Pinched ancient solutions to the high co dimension mean curvature flow. Calc. Var. Partial Differential Equations 60 (2021), no. 1, Paper No. 29, 14 pp

    2021

  21. [29]

    156(1986), 153–201

    Li, P., Yau, S..-T., On the parabolic kernel of the Schr¨ odinger op erator, Acta Math. 156(1986), 153–201

    1986

  22. [30]

    Lei, Li, Xu, H., Zhao, E., Ancient solution of mean curvature flow in space forms, Trans. Amer. Math. Soc. 374 (2021), no. 4, 2359–2381

    2021

  23. [31]

    B., Rigidity of complete ancient solutions to the mean curva ture flow, to appear in Math- ematical Research Letters

    Qiu, H. B., Rigidity of complete ancient solutions to the mean curva ture flow, to appear in Math- ematical Research Letters

  24. [32]

    B., Xin, Y

    Qiu, H. B., Xin, Y. L., Curvature estimates of ancient solutions to the mean curvature flow of higher codimension with convex gauss image, arXiv:2311.12400v1, 2023

    2023 arXiv

  25. [33]

    Risa, S., Sinestrari, C., Ancient solutions of geometric flows with c urvature pinching, J. Geom. Anal. 29 (2019), no. 2, 1206–1232. 10 CHEN AND QIU

    2019

  26. [34]

    S., Sharp gradient estimate and Yau’s Liou ville theorem for the heat equation on noncompact manifolds, Bull

    Souplet, P., Zhang, Q. S., Sharp gradient estimate and Yau’s Liou ville theorem for the heat equation on noncompact manifolds, Bull. London Math. Soc. 38(2006), no. 6, 1045–1053

    2006

  27. [35]

    Wang, M.-T., Gauss maps of the mean curvature flow, Math. Res. Lett. 10 (2003), no. 2–3, 287–299

    2003

  28. [36]

    Wang, X.-J., Convex solutions to the mean curvature flow, Ann. of Math. (2)173 (2011), no. 3, 1185–1239

    2011

  29. [37]

    White, B., The nature of singularities in mean curvature flow of me an-convex sets, J. Amer. Math. Soc. 16 (2003), no. 1, 123–138. School of Mathematics and Statistics, Wuhan University, Wu han 430072, China Email address : qunchen@whu.edu.cn School of Mathematics and Statistic...

    2003

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.