A note on Huisken monotonicity-type formula for the mean curvature flow in a gradient shrinking extended Ricci soliton background

Hikaru Yamamoto; Jos\'e N.V. Gomes; Matheus Hudson

REVIEW 3 major objections 5 minor 16 references

A note on Huisken monotonicity-type formula for the mean curvature flow in a gradient shrinking extended Ricci soliton background

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read In a gradient shrinking extended Ricci soliton background, a type-I mean curvature flow has subsequential limits that are f-minimal hypersurfaces, with a noncompact analogue under extra uniformity conditions.

desk verdict A modest but useful application note that extends MCF convergence to extended Ricci soliton backgrounds; the main gap is an unverified evolution equation for higher derivatives of A. read the letter →

arxiv 2412.19939 v3 pith:YU5UE5PZ submitted 2024-12-27 math.DG

José N.V. Gomes , Matheus Hudson , Hikaru Yamamoto This is my paper · ORCID

classification math.DG MSC 53E1053E20

keywords meancurvatureflowextendedRiccimonotonicityformulaCheeger-Gromovconvergencegradientshrinkingsolitonf-minimalhypersurfacetype-Isingularity

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

Mean curvature flow is usually studied in a fixed ambient space; this paper studies it when the ambient metric itself is moving, governed by a shrinking self-similar solution of the extended Ricci flow, a coupled flow of a metric and a scalar function. The paper's main theorem says that if such a flow develops a type-I singularity, then any sequence of parabolic-rescaled immersions has a subsequence converging, in the smooth Cheeger-Gromov sense, to a complete limiting immersion whose image is an f-minimal hypersurface: the mean curvature of the limit is exactly balanced by the normal derivative of the soliton potential. This extends a classical singularity-analysis result for the mean curvature flow in Euclidean space to a curved, time-dependent background. Under additional uniformity conditions, the same conclusion is proved for noncompact ambient manifolds.

What carries the argument

The load-bearing identity is the monotonicity-type formula (Theorem 2, restated from the authors' prior work): for the weighted area A(t)=[4π(T-t)]^{-(n-1)/2}∫_Σ $e^{{-f}}$ dA_g, one has dA/dt = -[4π(T-t)]^{-(n-1)/2}∫_Σ (H_g + e_t f)^2 $e^{{-f}}$ dA_g; in normalized variables s=-log(T-t) the same identity reads d/ds ∫ $e^{{-f∘ex_s}}$ dA = -∫ (H(ex_s)+e_s(f∘ex_s))^2 $e^{{-f∘ex_s}}$ dA. This makes the weighted area monotone and forces the squared integrand to have finite integral over s; Lemmas 2 and 3 bound that integrand's derivative so that it must actually tend to zero along the sequence. The other half of the machinery is Proposition 1, a uniform interior estimate for all covariant derivatives of the second fundamental form on the normalized hypersurfaces, proved by induction from an evolution equation for |∇^k A|^2 with error terms organized in tensor classes V_{a,b}; those bounds, together with an injectivity-radius estimate and a Nash embedding, feed an Arzelà-Ascoli argument that produces the Cheeger-Gromov limit and shows that the limiting hypersurface is f-minimal, meaning its mean curvature plus the normal derivative of the potential vanishes.

What would settle it

Derive directly the evolution equation for |∇^k A|^2 for a hypersurface whose ambient metric satisfies the extended Ricci flow (2.1) and check whether every term can be written as E[k]*∇^k A + C[k]*G[k] with E[k], C[k], G[k] in the V-classes defined in Section 3. A single term involving derivatives of dw tensor dw with weight exceeding the allowed degree, or a term quadratic in ∇w that survives with the wrong scaling weight, would invalidate Proposition 1 and hence Theorem 1; the computation can be tested first by setting w constant, where it must reduce to the equation used in the Ricci soliton case.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 1: for an n-dimensional compact Riemannian manifold (M,g) with a shrinking self-similar solution (g(t), w(t)) of the extended Ricci flow with potential f, and for an (n-1)-dimensional compact hypersurface evolving by mean curvature flow in this background with a type-I singularity bound, the normalized flow has subsequences converging in the C-infinity Cheeger-Gromov sense to an immersion x_infty: Sigma_infty -> (M,g) such that the pullback metric is complete and (Sigma_infty, x*_infty g) is an f_infty-minimal hypersurface, f_infty = f composed with x_infty. In other words, the blow-up limit of the flow is a hypersurface where the mean curvature vector is cancelled by the potential gradient. The noncompact version (Theorem 3) reaches the same conclusion under the extra assumptions that the ambient has bounded geometry with all derivatives of dw tensor dw bounded, admits a Nash isometric embedding with fully bounded second fundamental form, and the reduced distance based at a flowing point converges pointwise to f.

Load-bearing premise

The proof assumes that the differential equation governing the size of the curvature and all its derivatives has the same form in the extended Ricci flow background as in the Ricci flow case, without deriving that equation here; if the extra scalar field creates terms that this assumption misses, the uniform estimates and the main result fail.

Editorial extensions

If this is right

In compact gradient shrinking extended Ricci solitons, every type-I mean curvature flow singularity has at least one blow-up limit, and every such limit is a complete f-minimal hypersurface rather than an arbitrary singular object.
The limiting hypersurface inherits the soliton structure: its mean curvature equals minus the normal component of the ambient potential gradient, so the limit is a stationary point of the weighted area functional.
When the scalar field w is constant, the extended Ricci flow reduces to Ricci flow, so the theorem recovers the corresponding convergence result for gradient shrinking Ricci soliton backgrounds as a special case.
In the noncompact case, the same compactness holds provided the ambient satisfies full derivative bounds on the metric and the field w, admits a well-controlled isometric embedding, and the reduced distance from a flowing base point converges to the potential f.

Reading between the lines

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

The main gap the paper leaves open is exactly the evolution equation behind Proposition 1; if one derives that equation for the extended flow, the tensor-class method suggests the needed estimates should come out with modified weights, but the present note does not supply the derivation.
A natural testable extension is to drop the type-I bound and ask whether the same compactness fails in a controlled way, for instance whether type-II singularities in this background produce non-smooth or non-f-minimal limits, mirroring behavior in Euclidean mean curvature flow.
The spherical-cap example in the final section could serve as a concrete numerical testbed: evolve the cap in the conformally flat radial background built from the paper's Proposition 2 and check numerically whether the normalized flow converges to the f-minimal boundary with the predicted type-I rate.
Because the monotonicity formula identifies the limit as a stationary point of a weighted area functional, the result points toward a singularity-model classification program in extended Ricci soliton backgrounds, where nonnegativity of S = R - α_n|∇w|^2 plays the role that scalar curvature plays in Ricci-flow singularity analysis.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Short version: the paper proves what it says—a Cheeger–Gromov convergence result for normalized MCF in a gradient shrinking extended Ricci soliton background, with an f-minimal limit. That result is new for this background, and it is a clean combination of the monotonicity formula from Gomes–Hudson [5] with Yamamoto's convergence argument from the Ricci soliton case [14]. The exposition is honest about being a note, and the final section is a genuine bonus: an explicit f-minimal spherical-cap example that corrects a mistake in [5] plus a construction of soliton parameters. The citation pattern is normal: [5] and [14] are prior work by the authors, but the new theorem doesn't reduce to them by definition.

The soft spot is exactly where the stress-test note points. Proposition 1 is the load-bearing uniform estimate, and its proof imports, without derivation, an evolution equation for |∇^k A|^2 with tensors E[k], C[k], G[k] “as used in the proof of [14, Prop. 4.9]”. The extended flow adds the αn dw⊗dw term to ∂_t g, so the ambient connection time-derivative changes; the w-dependent contributions need to be shown to land in the V_{a,b} spaces. The paper never displays these tensors or checks the degree bookkeeping. I suspect it is true—the extra term has the right scaling and should be controllable—but the induction collapses if the decomposition fails, so the manuscript as written does not fully support Theorem 1. Similarly, Lemma 2 ends with “the result follows from the analysis of the sign,” which is a skipped step, though less central. The noncompact section depends on an added assumption about reduced distance convergence plus the embedding bound (4.1); that's a real restriction but the authors flag it.

Overall: a plausible, useful note for specialists in geometric flows. The main theorem is likely correct and the fix is likely a few pages of algebra. It deserves a serious referee, not a desk reject. I'd send it to peer review with instructions to check Proposition 1 carefully and to ask for the missing derivation or a reference where it appears.

Referee Report

3 major / 5 minor

Summary. The paper claims a Cheeger-Gromov convergence theorem for the normalized mean curvature flow in a compact ambient manifold whose metric evolves by a gradient shrinking extended Ricci soliton, assuming the flow develops a type-I singularity. The compact case is Theorem 1 and a noncompact version is Theorem 3 under additional uniformity assumptions. The proof follows the strategy of Yamamoto's earlier work on Ricci-mean curvature flows in gradient shrinking Ricci solitons: a Huisken-type monotonicity formula from the authors' previous paper gives control of weighted area, parabolic maximum principle arguments give uniform derivative estimates for the second fundamental form, and a compactness argument yields a limiting f-infinity-minimal hypersurface. The new technical ingredients are the extension of the derivative estimates to the extended Ricci flow background and the three auxiliary lemmas in Section 3.

Significance. If the missing technical verification is supplied, the convergence theorem is a natural and plausible extension of Huisken's classical convergence result and of Yamamoto's analogue in Ricci soliton backgrounds to the extended Ricci flow setting. The paper builds on a monotonicity formula established in the authors' prior work and includes an explicit example of an f-minimal hypersurface in a Euclidean spherical cap, which is a useful contribution. The main new mathematical difficulty, however, is not treated in the manuscript: the evolution equation for |∇^k A|^2 is asserted by reference to the Ricci-flow case, and the final step of Lemma 2 is left to an omitted sign analysis. The central claim is therefore currently conditional on an unverified algebraic identity and on an unproved uniform-area bound.

major comments (3)

[Section 3, proof of Proposition 1] The displayed evolution equation for |∇^k_g A|^2 is asserted with the sentence "As used in the proof of [14, Prop. 4.9], there exist tensors E[k], C[k], G[k] ...". In [14] the ambient metric evolves by ∂_t g = -2Ric, whereas here ∂_t g = -2Ric + 2α_n dw⊗dw. The time derivative of the Levi-Civita connection, and hence the evolution of the second fundamental form and its covariant derivatives, therefore contains terms involving Hess w, ∇(dw⊗dw), Ric*∇w⊗∇w, and analogous products that are absent in [14]. The manuscript does not display E[k], C[k], or G[k], and does not verify that every such term lies in the spaces V_{a,b} with the stated degree and derivative order. This is load-bearing because Proposition 1 is the only source of the uniform C^k bounds on A that are used in the proof of Theorem 1 to apply Chen-Yin and Arzelà-Ascoli. I am not claiming these terms cannot be controlled; the point is that the current text does not supply the verification.
[Section 3, proof of Lemma 2] The proof ends with "The result of the lemma follows from the analysis of the sign on the previous inequality," but no sign analysis is given. The previous inequality is d/ds ∫ e^{-f/2} dA < (1/4)∫(C0 - f)e^{-f/2} dA. When f < C0, the right-hand side is positive, so the display alone does not yield a uniform upper bound for ∫ e^{-f/2} dA. One would need an additional argument, for instance using f ≥ 0, S ≥ 0, or a differential inequality for the weighted area with a controlled right-hand side. Since Lemma 2 is used in the proof of Lemma 3 and in the contradiction argument leading to (3.13), this omitted step is load-bearing for Theorem 1.
[Section 3, proof of Lemma 3] The proof states that the result follows from Lemma 2 and "the same steps as done in [14]", but none of the steps are shown. The desired estimate bounds the derivative of ∫(H + e(f))^2 e^{-f} dA; obtaining it requires differentiating the integrand and using the flow equation, the uniform bounds from Proposition 1, and the uniform weighted-area bound from Lemma 2. This is not an immediate consequence of Lemma 2 alone, and the details should be written out because the interval-of-positivity argument in the proof of Theorem 1 depends quantitatively on the constant C' from Lemma 3.

minor comments (5)

[Section 3, statement of Lemma 3] The notation d^2/d^2s should be d^2/ds^2.
[Section 3, proof of Lemma 2] In the definition h := -2 Ric_g + 2α_n dw ⊗ w, the final factor should be dw ⊗ dw, not dw ⊗ w.
[Section 2, Remark 1] The symbol H_g is used with two meanings: initially it denotes the mean curvature of the immersion with respect to g(t), while in the final line H_g appears to mean the mean curvature with respect to ψ_t^*g. This ambiguity should be removed by explicit notation such as H_{g(t)} and H_{ψ_t^*g}.
[Section 3, introductory paragraph] The text says the global supremum estimates depend only on initial bounds on Rm_g and Hessian ∇^2_g w, but Proposition 1 actually uses the full C^∞ norm of g and all derivatives ∇^j(dw⊗dw). The opening summary should be made consistent with the hypotheses actually used.
[Section 5, Example 1] The decomposition "∇f = ∇f + ⟨∇f, ⃗x⟩ ⃗x" uses the same symbol for the ambient and tangential gradients; this should be clarified, for example by writing the tangential part explicitly as ∇_{S^n} f.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the paper applies the authors' earlier monotonicity formula and convergence techniques to the extended Ricci flow background, and the main theorem does not reduce to its inputs by construction.

full rationale

The derivation chain is an application rather than a reduction. Theorem 2 is a restatement of the monotonicity-type formula proved in the authors' prior paper [5], and Proposition 1 follows the induction scheme of Yamamoto's [14, Prop. 4.9] after rescaling. These are self-citations, and they are load-bearing in the sense that the paper does not re-derive the ambient evolution formulas. However, they are published prior results with independent derivations; the present theorem is not used to prove them, and no equation in the present paper defines the f-minimal limit in terms of the monotonicity formula. The weakest point is the assertion in the proof of Proposition 1 that the evolution equation for |∇^k A|^2 holds 'as used in the proof of [14, Prop. 4.9]' with the extended-Ricci-flow w-terms; the tensors E[k], C[k], G[k] are not displayed and the w-dependent contributions are not verified. This is a substantive rigor gap concerning the transfer of a Ricci-flow identity to the extended flow, but it is not circular: a missing or wrong algebraic identity is not the same as defining the conclusion as an input. Similarly, the f-minimality of the limit is obtained from the vanishing of the integrated squared quantity ∫(H+e f)^2, not merely from the definition of the normalized flow. There are no fitted parameters dressed as predictions and no renaming of a known result under new coordinates. The self-citation is real but non-circular, so the appropriate circularity score is low.

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

The central claim rests on standard PDE and geometric-analysis tools (parabolic maximum principle, Arzela-Ascoli, Nash embedding) and on several hypotheses: bounded geometry, the type-I singularity bound, the derivative bounds (3.1), and for the noncompact case the additional conditions (4.1) and reduced-distance convergence.

assumptions (7)

domain assumption The ambient manifold (M,g) has bounded geometry (Definition 1).
Used throughout: injectivity radius lower bound and uniform bounds on grad^j Rm are needed for Chen-Yin's injectivity radius theorem and for the maximum principle arguments in Section 3.
domain assumption The MCF develops a type-I singularity: max |A| <= C/sqrt(T-t) (2.4).
This is the starting bound for the induction in Proposition 1 and for the L-length estimate in Section 4.
domain assumption Uniform derivative bounds |grad^j(dw tensor dw)| <= C'_j (3.1).
Needed to absorb the extra extended-Ricci terms in the tensor estimates V_{a,b} in Proposition 1; automatic in the compact case.
domain assumption For the noncompact case, there exists a Nash isometric embedding Theta with |grad^j_g A(Theta)| <= D_j (4.1).
Used to guarantee bounded geometry of the ambient space and to embed the normalized immersions into Euclidean space for the Arzela-Ascoli argument.
domain assumption In Theorem 3, the reduced distance ell_{x_t(q0),t} converges pointwise to f as t -> T.
This is the mechanism that bounds the normalized base point ex_s(q0); it is not proved and is a strong extra hypothesis.
standard math Parabolic maximum principle and Arzela-Ascoli compactness theorem.
Used to obtain global bounds from the evolution inequality (3.6)-(3.8) and to extract convergent subsequences.
standard math Chen-Yin Theorem 2.1 gives a uniform injectivity radius lower bound for hypersurfaces with bounded second fundamental form.
Invoked in the proof of Theorem 1 to control the geometry of the normalized hypersurfaces.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A note on Huisken monotonicity-type formula for the mean curvature flow in a gradient shrinking extended Ricci soliton background." pith.science (2026). https://pith.science/paper/YU5UE5PZ

@misc{pith2026241219939,
  author       = {Pith},
  title        = {Pith review of: A note on Huisken monotonicity-type formula for the mean curvature flow in a gradient shrinking extended Ricci soliton background},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YU5UE5PZ}},
  note         = {Machine review of arXiv:2412.19939}
}

read the original abstract

We give an application of a Huisken monotonicity-type formula for the mean curvature flow in a compact smooth manifold with a Riemannian metric that evolves by a shrinking self-similar solution of the extended Ricci flow. Our investigation builds on previous articles by Huisken and the third author, as we apply their techniques to establish new results in this geometric setting. Moreover, under some natural geometric assumptions, the noncompact case is also solved

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

[5]

Gomes and M

J.N.V. Gomes and M. Hudson, Mean Curvature Flow in an Extended Ricci Flow Background, J. Geom. Anal. 33 (2023), 339

work page 2023
[14]

Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, Asian J

H. Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, Asian J. Math. 24 (1) (2020), 77-94

work page 2020
[1]

Besse, Einstein Manifolds, Springer-Verlag, Berlin, 1987

A.L. Besse, Einstein Manifolds, Springer-Verlag, Berlin, 1987

work page 1987
[2]

Chen and L

B.-L. Chen and L. Yin, Uniqueness and pseudolocality theorems of the mean curvature flow, Comm. Anal. Geom. 15 (3) (2007), 435-490

work page 2007
[3]

B. Chow, P. Lu and L. Ni, Hamilton’s Ricci Flow, Graduate studies in mathematics, American Mathematical Society/Science Press, 2006

work page 2006
[4]

Eldering, Normally Hyperbolic Invariant Manifolds: The Noncompact Case, Atlantis Studies in Dynamical Systems, Atlantis Press, 2013

J. Eldering, Normally Hyperbolic Invariant Manifolds: The Noncompact Case, Atlantis Studies in Dynamical Systems, Atlantis Press, 2013

work page 2013
[6]

Hamilton, Harnack estimate for the mean curvature flow, J

R. Hamilton, Harnack estimate for the mean curvature flow, J. Differential Geom. 41 (1) (1995), 215-226

work page 1995
[7]

Huisken, Asymptotic behavior for singularities of the mean curvature flow, J

G. Huisken, Asymptotic behavior for singularities of the mean curvature flow, J. Differential Geom. 31 (1) (1990), 285-299

work page 1990

Show all 16 references

[8]

List, Evolution of an extended Ricci flow system, Comm

B. List, Evolution of an extended Ricci flow system, Comm. Anal. Geom. 16 (2008), 1007-1048

2008
[9]

Lott, Mean Curvature Flow in a Ricci Flow Background, Comm

J. Lott, Mean Curvature Flow in a Ricci Flow Background, Comm. Math. Phys. 313 (2012), 517-533

2012
[10]

Magni, C

A. Magni, C. Mantegazza and E. Tsatis, Flow by mean curvature in a moving ambient space, J. Evol. Equ. 13 (3) (2013), 561-576

2013
[11]

M¨ uller

R. M¨ uller. Ricci flow coupled with harmonic map flow, Ann. Sci. ´Ec. Norm. Sup´ er. (2012), 101-142

2012
[12]

Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv:math/0211159 [math.DG], 2002

G. Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv:math/0211159 [math.DG], 2002

2002 arXiv
[13]

Yamamoto, Examples of Ricci-mean curvature flows, J

H. Yamamoto, Examples of Ricci-mean curvature flows, J. Geom. Anal. 28 (2) (2018), 983- 1004

2018
[15]

Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, arXiv:1501.06256 [math.DG], 2015

H. Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, arXiv:1501.06256 [math.DG], 2015

2015 arXiv
[16]

Wang, On Ricci-harmonic metrics, Ann

L.F. Wang, On Ricci-harmonic metrics, Ann. Acad. Sci. Fenn. Math. 41 (2016), 417-437. 1Department of Mathematics, Universidade Federal de S˜ao Carlos, Rod. W ashing- ton Lu´ıs, Km 235, 13565-905 S ˜ao Carlos, S ˜ao Paulo, Brazil. 2 Institut f¨ur Mathematik, Carl von Ossietzky ...

2016

Pith tools

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

[1] [5]

Gomes and M

J.N.V. Gomes and M. Hudson, Mean Curvature Flow in an Extended Ricci Flow Background, J. Geom. Anal. 33 (2023), 339

work page 2023

[2] [14]

Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, Asian J

H. Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, Asian J. Math. 24 (1) (2020), 77-94

work page 2020

[3] [1]

Besse, Einstein Manifolds, Springer-Verlag, Berlin, 1987

A.L. Besse, Einstein Manifolds, Springer-Verlag, Berlin, 1987

work page 1987

[4] [2]

Chen and L

B.-L. Chen and L. Yin, Uniqueness and pseudolocality theorems of the mean curvature flow, Comm. Anal. Geom. 15 (3) (2007), 435-490

work page 2007

[5] [3]

B. Chow, P. Lu and L. Ni, Hamilton’s Ricci Flow, Graduate studies in mathematics, American Mathematical Society/Science Press, 2006

work page 2006

[6] [4]

Eldering, Normally Hyperbolic Invariant Manifolds: The Noncompact Case, Atlantis Studies in Dynamical Systems, Atlantis Press, 2013

J. Eldering, Normally Hyperbolic Invariant Manifolds: The Noncompact Case, Atlantis Studies in Dynamical Systems, Atlantis Press, 2013

work page 2013

[7] [6]

Hamilton, Harnack estimate for the mean curvature flow, J

R. Hamilton, Harnack estimate for the mean curvature flow, J. Differential Geom. 41 (1) (1995), 215-226

work page 1995

[8] [7]

Huisken, Asymptotic behavior for singularities of the mean curvature flow, J

G. Huisken, Asymptotic behavior for singularities of the mean curvature flow, J. Differential Geom. 31 (1) (1990), 285-299

work page 1990