{"id":"3b0197ec-943e-4f4e-922a-e2b065794961","arxiv_id":"2412.19939","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Normalized mean curvature flows in gradient shrinking extended Ricci soliton backgrounds converge, under type-I and bounded-geometry hypotheses, to f-minimal hypersurfaces in the Cheeger-Gromov sense.","lead":"This paper proves that a mean curvature flow that shrinks to a singularity in a moving space whose geometry evolves by the extended Ricci flow converges, after rescaling, to a special surface called an f-minimal hypersurface. The result extends known convergence theorems from Ricci flow backgrounds to a more general setting with an extra scalar field.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 1 hinges on an evolution equation for |∇^k A|^2 that is merely asserted by reference to the Ricci-flow case [14, Prop. 4.9]; the extended-flow w-terms are never derived, so the induction and Theorem 1 are conditional on an unverified algebraic identity.","rationale":"The reader's weakest-assumption analysis correctly identifies the unproved evolution equation in Proposition 1 as the most load-bearing gap. I read the full text in good faith: the theorem is a plausible extension of [5,14], and the surrounding structure of the proof, including the maximum-principle induction and the monotonicity argument for f∞-minimality, is coherent. The decisive point is that the paper's central compactness claim depends on uniform estimates for all derivatives of the second fundamental form, and those estimates are obtained by an induction whose first nontrivial input is an evolution equation that the authors do not derive. Because the ambient flow here is the extended Ricci flow, not the Ricci flow, an appeal to [14, Prop. 4.9] is not a formal justification; the extra αn dw⊗dw term in the metric equation must be checked term by term. This is a verifiable algebraic computation, not a conceptual impossibility. I therefore find no reason to strengthen or weaken the reader's conditional verdict, but I would insist on the derivation before treating Theorem 1 as fully established.","tokens_in":19286,"tokens_out":16653,"duration_ms":160021,"concrete_test":"Independently derive the evolution equation for |A|^2 and |∇A|^2 for a hypersurface moving by MCF in an ambient extended Ricci flow satisfying (2.1), using the Simons identity together with the time derivative of the Levi-Civita connection. Retain every term involving w, including those from ∂_t Γ and ∂_t (dw⊗dw), and check membership in the spaces V_{3/2 + k/2, k}, V_{3/2 + k/2, k+1}, and V_{1/2 + k/2, k−1} defined in Section 3, for k = 1 and k = 2. The check is decisive: if any term contains Δw, ∇^2 w, or ∇w⊗∇w in a combination not expressible through contractions with ∇^m(dw⊗dw) at the stated degree, then Proposition 1's induction hypothesis is false; if all such terms fit the asserted decomposition, the gap is only presentational.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Proposition 1 states: 'As used in the proof of [14, Prop. 4.9], there exist tensors E[k] ∈ V..., C[k] ∈ V..., G[k] ∈ V...' satisfying an evolution equation for |∇^k_g A|^2. That reference concerns MCF in a Ricci-flow background, where the ambient metric evolves by ∂_t g = −2Ric. The present setting has ∂_t g = −2Ric + 2αn dw⊗dw, so the time derivative of the ambient connection, and hence the evolution of A and its covariant derivatives, acquires terms involving w that are not present in [14]. The required membership of these terms in the spaces V_{a,b} is not established in the text; the paper does not display E[k], C[k], G[k], nor does it verify that every w-dependent contribution, such as ∇(dw⊗dw), Hess w, or products of Ric with ∇w⊗∇w, has the prescribed degree and derivative order. This is load-bearing because Proposition 1 is the only source of the uniform C^k bounds on A used to apply Chen–Yin and Arzelà–Ascoli in the proof of Theorem 1. If the asserted tensor decomposition fails, the induction in Proposition 1 collapses and the convergence theorem has no support. The remainder of the paper is structurally coherent conditional on this identity, and the w-terms may well be controllable, but the current manuscript does not supply the verification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19617,"tokens_out":8829,"duration_ms":91085,"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":[{"comment":"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":"Section 3, proof of Proposition 1"},{"comment":"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":"Section 3, proof of Lemma 2"},{"comment":"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.","section":"Section 3, proof of Lemma 3"}],"minor_comments":[{"comment":"The notation d^2/d^2s should be d^2/ds^2.","section":"Section 3, statement of Lemma 3"},{"comment":"In the definition h := -2 Ric_g + 2α_n dw ⊗ w, the final factor should be dw ⊗ dw, not dw ⊗ w.","section":"Section 3, proof of Lemma 2"},{"comment":"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":"Section 2, Remark 1"},{"comment":"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":"Section 3, introductory paragraph"},{"comment":"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.","section":"Section 5, Example 1"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short extension of the third author's Ricci-flow-background convergence theorem to the extended Ricci flow setting, relying heavily on the authors' own prior papers [5] and [14]. That reliance is not by itself a problem, but the central new step—the evolution equation in Proposition 1—is simply asserted by reference to the Ricci-flow case. This is exactly the kind of gap that a careful referee should ask the authors to close before publication. The same applies to the omitted sign analysis in Lemma 2. I recommend major revision rather than rejection, because the overall strategy is coherent and the gap may well be fillable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nOverall: 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.","headline":"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.","tokens_in":20110,"tokens_out":2286,"would_cite":true,"duration_ms":23383,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E10","53E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["mean curvature flow","extended Ricci flow","monotonicity formula","Cheeger-Gromov convergence","gradient shrinking soliton","f-minimal hypersurface","type-I singularity"],"falsifier":"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.","tokens_in":19123,"feed_emoji":"🌀","tokens_out":10150,"duration_ms":92211,"temperature":0.7,"pith_summary":"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.","feed_headline":"Type-I MCF singularities converge to f-minimal hypersurfaces","feed_subtitle":"Shrinking soliton background: type-I mean curvature flow has f-minimal limits","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the monotonicity formula for MCF in an extended Ricci flow background, which the paper restates as Theorem 2 and uses to control the weighted area.","marker":"[5]"},{"why":"Provides the convergence strategy for normalized MCF in gradient shrinking Ricci solitons and the asserted evolution equation for |∇^k A|^2 that Proposition 1 copies.","marker":"[14]"},{"why":"Gives the original monotonicity formula and type-I blow-up-to-self-shrinker theorem for MCF in Euclidean space that this note generalizes.","marker":"[7]"},{"why":"Establishes the extended Ricci flow system, its short-time existence, and the evolution of S = R - α_n|∇w|^2 used for nonnegativity and the reduced length.","marker":"[8]"},{"why":"Supplies the injectivity radius estimate for hypersurfaces with uniformly bounded second fundamental form, needed for Cheeger-Gromov compactness.","marker":"[2]"},{"why":"Provides quadratic growth bounds for the potential function on noncompact Ricci-harmonic metrics, used to prove the flowing base points remain bounded in the noncompact theorem.","marker":"[16]"}],"fun_headline_variants":["MCF blow-up limits are f-minimal in shrinking solitons","Type-I MCF singularities yield f-minimal limit hypersurfaces","F-minimal hypersurfaces from MCF type-I blow-ups","Shrinking solitons force MCF limits to be f-minimal","Huisken formula yields f-minimal MCF limits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["MCF blow-up limits are f-minimal in shrinking solitons","Type-I MCF singularities yield f-minimal limit hypersurfaces","F-minimal hypersurfaces from MCF type-I blow-ups","Shrinking solitons force MCF limits to be f-minimal","Huisken formula yields f-minimal MCF limits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000704,"raw_usage":{"total_tokens":3127,"prompt_tokens":848,"completion_tokens":2279,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":464,"completion_tokens_details":{"reasoning_tokens":2200}},"tokens_in":464,"tokens_out":2279,"duration_ms":16120,"temperature":1.0,"reasoning_tokens":2200,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:44:47.368365+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Gomes and M","cited_arxiv_id":null,"evidence_quote":"Supplies the monotonicity formula for MCF in an extended Ricci flow background, which the paper restates as Theorem 2 and uses to control the weighted area."},{"cited_title":"Yamamoto, Ricci-mean curvature flows in gradient shrinking Ricci solitons, Asian J","cited_arxiv_id":null,"evidence_quote":"Provides the convergence strategy for normalized MCF in gradient shrinking Ricci solitons and the asserted evolution equation for |∇^k A|^2 that Proposition 1 copies."},{"cited_title":"Huisken, Asymptotic behavior for singularities of the mean curvature flow, J","cited_arxiv_id":null,"evidence_quote":"Gives the original monotonicity formula and type-I blow-up-to-self-shrinker theorem for MCF in Euclidean space that this note generalizes."},{"cited_title":"List, Evolution of an extended Ricci flow system, Comm","cited_arxiv_id":null,"evidence_quote":"Establishes the extended Ricci flow system, its short-time existence, and the evolution of S = R - α_n|∇w|^2 used for nonnegativity and the reduced length."},{"cited_title":"Chen and L","cited_arxiv_id":null,"evidence_quote":"Supplies the injectivity radius estimate for hypersurfaces with uniformly bounded second fundamental form, needed for Cheeger-Gromov compactness."},{"cited_title":"Wang, On Ricci-harmonic metrics, Ann","cited_arxiv_id":null,"evidence_quote":"Provides quadratic growth bounds for the potential function on noncompact Ricci-harmonic metrics, used to prove the flowing base points remain bounded in the noncompact theorem."}],"review_version":1}