{"id":"fde05230-0251-4d5d-a95a-8870fd8e19fa","arxiv_id":"1908.00691","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Compact generalized τ-quasi Ricci-harmonic metrics are harmonic-Einstein under several scalar-curvature, integral, and gap conditions.","lead":"This paper studies compact manifolds carrying a generalized version of Ricci-harmonic soliton metrics and proves several rigidity theorems: under curvature or integral conditions, the metric must be harmonic-Einstein. A generalist might care because these equations come from a coupled Ricci flow with harmonic maps, and rigidity results constrain which singularity models can occur.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2's proof has a branch error: it claims contradictions where the stated alternative is the correct conclusion; the reader's primary concern about (5.6) does not land after a direct check.","rationale":"The reader flagged (5.6) and the Theorem 1.2(2) mu < 0 branch. On checking (5.6), the coefficient identities and (5.3) make the estimate valid, so that objection does not land. The remaining concern in Theorem 1.2 is real but localized: the proof's contradiction is invalid in the branch where the theorem's alternative should apply. The same maximum and minimum estimates contain the necessary information to prove the alternatives, so the central claims are not shown false, but the write-up needs a corrected case analysis. I therefore keep the reader's CONDITIONAL verdict.","tokens_in":16586,"tokens_out":34785,"duration_ms":308039,"concrete_test":"Re-derive the mu <= 0 branch of Theorem 1.2(2) from (4.5) and (4.2) without invoking a contradiction: show (i) if mu = 0, then (R_phi)_max = 0 and the integral identity forces R_phi identically 0, so Lemma 4.1 gives harmonic-Einstein; (ii) if mu < 0, then (R_phi)_max <= L, which is the stated alternative. If this derivation succeeds, the theorem is valid up to exposition; if it fails, Theorem 1.2(2) is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's main worry about (5.6) does not survive scrutiny. Expanding the difference between the two sides of (5.6) and using R_phi >= m(m-1)lambda/(m+tau-1) plus (5.3) gives a nonnegative remainder, so the estimate is valid. The real problem is in the proof of Theorem 1.2(2). For mu <= 0, (4.5) yields m mu/(1-m rho) <= (R_phi)_max <= m(m-1) mu/[tau+(m-1)(1-m rho)]. The text then claims that if R_phi is nonconstant, (4.2) gives (R_phi)_max > m mu/(1-m rho), contradicting this interval. But for mu < 0 that inequality is compatible with the interval and is exactly the theorem's first alternative R_phi <= L. For mu = 0, the interval forces (R_phi)_max = 0 and the average identity forces R_phi identically 0, so Lemma 4.1 gives harmonic-Einstein. Part (3) contains the analogous error for mu > 0. The theorem statements may still be correct, but the written proof does not support them as written; the contradiction must be replaced by a case split.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies compact generalized τ-quasi Ricci-harmonic metrics, defined by Ric_{f,τ} − α∇φ⊗∇φ = λg together with τgφ = ⟨∇φ,∇f⟩. The main results are: Theorem 1.1, an integral criterion (non-positivity of ∫⟨∇Rφ,∇f⟩e^{-f/τ}dυ) forcing the metric to be harmonic-Einstein; Theorem 1.2, rigidity alternatives for the special (τ,ρ)-quasi Ricci-harmonic case depending on ρ and μ; and Theorems 1.3 and 1.4, gap theorems for τ-quasi Ricci-harmonic metrics with λ>0, one involving a weighted L²-bound of |∇f| and the other a pointwise lower bound on Ricφ. The proofs use weighted Bochner-type identities, maximum-principle arguments, and a scalar-curvature lower bound quoted from [26].","tokens_in":16810,"tokens_out":24934,"duration_ms":233573,"significance":"The paper addresses a natural extension of known rigidity results for quasi-Einstein metrics and Ricci-harmonic solitons. The weighted integral formulas (3.1), (5.1)–(5.3) are derived from first principles, no parameters are fitted, and the gap estimates are explicit. The subject is appropriate for a differential-geometry journal, and the results, if fully justified, would be a useful contribution to the rigidity theory of weighted Riemannian manifolds with maps. The main reservations are proof gaps that appear repairable rather than fatal.","major_comments":[{"comment":"The equality case of (3.1) gives Ricφ = (Rφ/m)g and τgφ = 0, but the paper then states 'completing the proof' without showing that f is constant, which is required for the metric to be harmonic-Einstein. With Ricφ trace-free, the first equation in (1.1) becomes ∇²f − (1/τ)df⊗df = (λ − Rφ/m)g, a quasi-Einstein-type Hessian equation. The compactness rigidity for such equations is nontrivial and must either be proved or explicitly cited for τ>0.","section":"Section 3, proof of Theorem 1.1"},{"comment":"For μ≤0 the displayed interval is mμ/(1−mρ) ≤ (Rφ)max ≤ m(m−1)μ/[τ+(m−1)(1−mρ)]. The subsequent nonconstant argument gives only (Rφ)max > mμ/(1−mρ), which is the left endpoint of that interval, not a contradiction. The proof must be split into cases: μ>0 yields a genuine contradiction and hence harmonic-Einstein; μ=0 forces Rφ≡0; μ<0 yields exactly the theorem's first alternative.","section":"Section 4, proof of Theorem 1.2(2), equations (4.5)-(4.6)"},{"comment":"The same branch error occurs in the minimum-point argument. For μ>0 the nonconstant argument gives only (Rφ)min < mμ/(1−mρ), which is compatible with the interval m(m−1)μ/[τ+(m−1)(1−mρ)] ≤ (Rφ)min ≤ mμ/(1−mρ); hence it does not prove constancy. The correct conclusion for μ>0 is the stated alternative Rφ ≥ m(m−1)μ/[τ+(m−1)(1−mρ)], and the contradiction is only valid for μ≤0.","section":"Section 4, proof of Theorem 1.2(3), equations (4.7)-(4.8)"},{"comment":"The first displayed lower bound in (5.6), with coefficient 2+m − (3τ+m−1)/(τ(m+τ−1)), is not a consequence of (5.2) and the cited lower bound Rφ ≥ m(m−1)λ/(m+τ−1). For example, m=3 and τ=2 give that coefficient as 4, whereas the correct coefficient obtained from (5.2) is (τ−1)(2/(m+τ−1)+m/τ) = 2. The final inequality in (5.6) is nevertheless valid after this correction, and the proof of Theorem 1.3 can be repaired, but the derivation as printed is invalid.","section":"Section 5, equation (5.6)"}],"minor_comments":[{"comment":"The title contains a typo: 'PROPER TIES' should be 'PROPERTIES'.","section":"Title"},{"comment":"The step 'Hence f is constant' after equality in (5.9) should explicitly state that equality in the integrated chain forces pointwise equality in (5.3), which then makes the right-hand side of (2.24) constant.","section":"Section 5, proof of Theorem 1.3"},{"comment":"The phrase 'Myers theorem' should be 'Myers' theorem'.","section":"Section 5.2"},{"comment":"The notation V_{τ,f} is used in Theorem 1.3 before it is defined; a brief definition immediately after (1.8) would improve readability.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript contains several genuinely useful integral formulas and the theorems are plausibly correct, but the written proofs have two branch errors in Theorem 1.2 and a missing compactness step in Theorem 1.1. These are fixable within the manuscript's scope, so I recommend major revision rather than rejection. The referees should verify that the authors supply the missing quasi-Einstein rigidity argument for Theorem 1.1 and rewrite the case splits in the proof of Theorem 1.2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nShort version: this paper is a competent extension of quasi-Einstein rigidity to the coupled Ricci-harmonic setting, and most of the geometry is sound. The real problem is the proof of Theorem 1.2, where the branch logic is off. The theorem statements may be true, but the written argument does not establish them.\n\nWhat is new: the coupled system with a map phi and the tension-field equation is a genuine generalization of the quasi-Einstein results. Theorem 1.1's integral condition is clean, and the integral formula in Lemma 3.1 is derived from first principles. There is no circularity: the only external imports are standard identities and Wang's lower bound from [26], which are cited bounds, not outputs of this paper.\n\nThe soft spots, in order of severity:\n\nFirst, Theorem 1.2(2) and (3) contain a real branch error. In part (2), for mu <= 0, equation (4.5) gives an upper bound on (R_phi)_max that is exactly the stated alternative. The nonconstancy of R_phi gives (R_phi)_max > m mu / (1 - m rho), which is compatible with that interval when mu < 0. The proof needs a case split, not a contradiction. Part (4) is worse: saying it follows from (2) and (3) does not hold, because those alternatives are conditioned on opposite signs of mu. A referee should ask the author to fill this in.\n\nSecond, Lemma 3.1 and Theorem 1.1 cancel a factor (tau - 1)/tau. The statement allows tau > 0; for tau = 1 the derivation collapses. Either add tau > 1 or give a separate argument. This is minor if tau > 1 was intended, but as written it is a gap.\n\nThird, the reader flagged inequality (5.6). I checked it directly: expanding the difference between the two sides and using the lower bound on R_phi together with (5.3) gives a nonnegative remainder, so the estimate is valid. But the paper does not show the algebra. That is a presentation issue, not a fatal one.\n\nWho this is for: people working on quasi-Einstein metrics or Ricci-harmonic solitons. It is not a breakthrough, but it is a useful generalization. The proof of Theorem 1.2 needs revision, and the tau = 1 edge case should be handled. If those are fixed, I would be comfortable seeing it published.\n\nMy recommendation: send it to a serious referee. The branch error is substantial enough that the paper should not be accepted as is, but the underlying ideas are plausible and the remaining results are likely correct.","headline":"A competent quasi-Einstein rigidity extension to the Ricci-harmonic setting, with a genuine proof gap in Theorem 1.2 that a serious referee should catch.","tokens_in":17354,"tokens_out":16145,"would_cite":false,"duration_ms":143413,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Compact generalized τ-quasi Ricci-harmonic metrics satisfying any of four curvature conditions are forced to be harmonic-Einstein.","keywords":["generalized τ-quasi Ricci-harmonic metric","harmonic-Einstein metric","rigid property","gap theorem","τ-Bakry-Emery Ricci tensor","quasi Ricci-harmonic metric","scalar curvature","Ricci-harmonic flow"],"falsifier":"Test inequality (5.6) on a compact $\\tau$-quasi Ricci-harmonic metric with non-constant $f$, $\\lambda>0$, and $\\tau>1$: it is an explicit comparison of two weighted integrals, so a single metric that satisfies $R_\\varphi\\ge m(m-1)\\lambda/(m+\\tau-1)$ and $\\frac{\\tau-1}{\\tau}|\\nabla f|^2\\le (R_\\varphi)_{\\max}-R_\\varphi$ yet violates the integral comparison would invalidate the gap theorem. A cleaner test is to search numerically for a compact non-harmonic-Einstein solution with $(R_\\varphi)_{\\max}-m\\lambda$ no larger than the right-hand side of (1.8); Theorem 1.3 would then be false.","tokens_in":16334,"feed_emoji":"📐","tokens_out":14132,"duration_ms":125238,"temperature":0.7,"pith_summary":"This paper studies compact solutions of the generalized $\\tau$-quasi Ricci-harmonic system, a coupled system on a manifold with a map and a potential function that generalizes Einstein metrics and arises from the Ricci-harmonic flow. The author's aim is to prove rigidity: under a sign condition on one weighted integral, under a range condition on the parameter $\\rho$, or under a small curvature-gap condition, the system forces the potential to be constant and the map to be harmonic, i.e. the solution is harmonic-Einstein. Four theorems give such criteria, with the sharpest gap statement saying that a compact $\\tau$-quasi Ricci-harmonic metric with constant $\\lambda>0$ is harmonic-Einstein exactly when a weighted $L^2$ norm of $\\nabla f$ attains its theoretical lower bound. The value of the result is that it gives checkable conditions under which the only compact solutions of a broad coupled system are the trivial harmonic-Einstein ones.","feed_headline":"Four curvature conditions force one rigid metric state","feed_subtitle":"Compact solutions collapse to the trivial harmonic-Einstein state under sign, range, or gap conditions on curvature.","key_machinery":"The proof is carried by the self-adjoint weighted Laplacian $\\Delta_{\\tau,f} = \\Delta - \\frac{1}{\\tau}\\langle \\nabla f, \\nabla \\cdot\\rangle$ and by the identities it induces. Lemma 2.1 gives $\\Delta_{\\tau,f} f = m\\lambda - R_\\varphi$ together with Bochner-type formulas for $\\nabla R_\\varphi$ and $\\Delta R_\\varphi$; Lemma 3.1 converts the non-positivity of $\\int \\langle\\nabla R_\\varphi,\\nabla f\\rangle e^{-f/\\tau}dv$ into the vanishing of $\\mathrm{Ric}_\\varphi - R_\\varphi g/m$ and of $\\tau_g\\varphi$. For the gap theorems, the key identity is Lemma 2.4: $R_\\varphi + \\frac{\\tau-1}{\\tau}|\\nabla f|^2 - (m-\\tau)\\lambda = \\varrho e^{2f/\\tau}$, which implies the pointwise comparison $\\frac{\\tau-1}{\\tau}|\\nabla f|^2 \\le (R_\\varphi)_{\\max} - R_\\varphi$. Combining this comparison with the integrated Bochner formula produces the gap inequality and, under a small pointwise curvature gap, the integral bound that contradicts the hypothesis of Theorem 1.4.","core_discovery":"The central discovery is that harmonic-Einstein metrics are the only compact solutions in several natural parameter regimes of the generalized $\\tau$-quasi Ricci-harmonic equations. For $m\\ge 3$, if $\\int_M \\langle \\nabla R_\\varphi, \\nabla f \\rangle e^{-f/\\tau} dv \\le 0$, then the trace-free part of $\\mathrm{Ric}_\\varphi$ and the tension field $\\tau_g\\varphi$ both vanish, so the metric is harmonic-Einstein. For the $(\\tau,\\rho)$-special case, Theorem 1.2 delimits the range of $\\rho$: $\\rho\\ge 1/m$ forces harmonic-Einstein, and $\\rho=1/(2(m-1))$ with $\\tau\\ge1$ does as well, while the intermediate range leaves at most one alternative bound on $R_\\varphi$. For the $\\tau$-quasi Ricci-harmonic case with constant $\\lambda$, Theorem 1.3 establishes the gap inequality $(R_\\varphi)_{\\max} - m\\lambda \\le (\\tau-1)\\bigl(\\frac{2}{m(m+\\tau-1)}+\\frac{1}{\\tau}\\bigr)\\frac{1}{V_{\\tau,f}}\\int |\\nabla f|^2 e^{-f/\\tau} dv$, with equality forcing harmonic-Einstein, and Theorem 1.4 gives a pointwise lower-bound version under the technical restriction $\\tau>64m$.","pith_inferences":["The threshold $\\tau>64m$ in Theorem 1.4 looks like a technical artifact of the diameter and arctangent estimates; a sharper version of Lemma 5.2 might lower it, and one can numerically probe model warped-product examples to see how far it can be relaxed.","The method suggests that the sign condition in Theorem 1.1 could be replaced by a pointwise lower bound on $\\mathrm{Ric}_\\varphi$ of the type used in Theorem 1.4, producing additional rigidity results with more geometric hypotheses.","Because the central identity (2.24) holds whenever $\\lambda$ is constant, the same gap mechanism should apply to almost Ricci-harmonic solitons with $\\lambda=\\lambda(x)$ satisfying a monotonicity condition, a direction the paper only notes in passing.","One can test sharpness of the Theorem 1.3 gap by building a non-trivial compact solution and checking whether equality in the pointwise bound (5.3) occurs at a single point; the proof predicts that equality at two points forces $f$ to be constant."],"forward_implications":["For any compact generalized $\\tau$-quasi Ricci-harmonic metric with $m\\ge3$, the sign condition $\\int_M \\langle\\nabla R_\\varphi,\\nabla f\\rangle e^{-f/\\tau}dv\\le0$ is enough to conclude that the potential is constant and the map is harmonic.","In the $(\\tau,\\rho)$ family, the parameter range $\\rho\\ge1/m$ or $\\rho=1/(2(m-1))$ with $\\tau\\ge1$ leaves no room for non-trivial compact solutions; the only possible non-trivial solutions live in two complementary bands with explicit alternative bounds on $R_\\varphi$.","For compact $\\tau$-quasi Ricci-harmonic metrics with constant $\\lambda>0$ and $\\tau>1$, the gap between $(R_\\varphi)_{\\max}$ and $m\\lambda$ is controlled by the weighted $L^2$ norm of $\\nabla f$; a metric with non-constant $f$ must have a gap strictly above that bound.","A pointwise lower bound $\\mathrm{Ric}_\\varphi\\ge(1-\\delta)\\lambda g$ with $\\delta$ smaller than the ratio of the weighted $L^2$ norm of $\\nabla f$ to $3m\\tau\\lambda V_{\\tau,f}$ forces harmonic-Einstein when $\\tau>64m$.","The if-and-only-if form of the gap inequality gives a certificate: a compact solution is harmonic-Einstein exactly when the left and right sides of the inequality agree."],"supporting_citations":[{"why":"It supplies the lower-bound estimate $R_\\varphi\\ge m(m-1)\\lambda/(m+\\tau-1)$ and the standard identities for $\\tau$-quasi Ricci-harmonic metrics used in the proof of Theorem 1.3.","marker":"[26]"},{"why":"It gives the gap theorems for compact Ricci-harmonic solitons that Theorems 1.3 and 1.4 extend.","marker":"[22]"},{"why":"It provides the gap results for compact quasi-Einstein metrics whose arctangent estimate is adapted in Lemma 5.2.","marker":"[29]"},{"why":"It contains the integral formula for generalized quasi-Einstein metrics that Lemma 3.1 generalizes to the map-coupled setting.","marker":"[17]"},{"why":"It classifies $(m,\\rho)$-quasi-Einstein manifolds and supplies the parameter-range structure that motivates Theorem 1.2.","marker":"[15]"},{"why":"It gives conditions forcing gradient quasi-Einstein solitons to be Einstein, the analogue that Theorem 1.2 extends.","marker":"[28]"},{"why":"It provides the model gap theorems for gradient Ricci solitons that Theorem 1.3 is built on.","marker":"[9]"},{"why":"It defines the self-adjoint weighted Laplacian $\\Delta_{\\tau,f}$ and the integration-by-parts identity used throughout the paper.","marker":"[16]"}],"fun_headline_variants":[],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise for the sharp gap theorem is that the comparison (5.6), quoted as following from the lower bound on $R_\\varphi$ and the pointwise $|\\nabla f|^2$ bound, is correct; if that estimate is wrong, Theorem 1.3 has no support.","fun_headline_variants_meta":{"error":"Client error '402 Payment Required' for url 'https://api.deepseek.com/chat/completions'\nFor more information check: https://developer.mozilla.org/en-US/docs/Web/HTTP/Status/402"},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:43:06.296645+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test inequality (5.6) on a compact $\\tau$-quasi Ricci-harmonic metric with non-constant $f$, $\\lambda>0$, and $\\tau>1$: it is an explicit comparison of two weighted integrals, so a single metric that satisfies $R_\\varphi\\ge m(m-1)\\lambda/(m+\\tau-1)$ and $\\frac{\\tau-1}{\\tau}|\\nabla f|^2\\le (R_\\varphi)_{\\max}-R_\\varphi$ yet violates the integral comparison would invalidate the gap theorem. A cleaner test is to search numerically for a compact non-harmonic-Einstein solution with $(R_\\varphi)_{\\max}-m\\lambda$ no larger than the right-hand side of (1.8); Theorem 1.3 would then be false.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the lower-bound estimate $R_\\varphi\\ge m(m-1)\\lambda/(m+\\tau-1)$ and the standard identities for $\\tau$-quasi Ricci-harmonic metrics used in the proof of Theorem 1.3."},{"cited_title":"Tadano, Gap theorems for Ricci-harmonic solitons, A nn","cited_arxiv_id":null,"evidence_quote":"It gives the gap theorems for compact Ricci-harmonic solitons that Theorems 1.3 and 1.4 extend."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It provides the gap results for compact quasi-Einstein metrics whose arctangent estimate is adapted in Lemma 5.2."},{"cited_title":"Huang, F","cited_arxiv_id":null,"evidence_quote":"It contains the integral formula for generalized quasi-Einstein metrics that Lemma 3.1 generalizes to the map-coupled setting."},{"cited_title":"Huang, Y","cited_arxiv_id":null,"evidence_quote":"It classifies $(m,\\rho)$-quasi-Einstein manifolds and supplies the parameter-range structure that motivates Theorem 1.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It gives conditions forcing gradient quasi-Einstein solitons to be Einstein, the analogue that Theorem 1.2 extends."},{"cited_title":"Fern´ andez-L´ opez, E","cited_arxiv_id":null,"evidence_quote":"It provides the model gap theorems for gradient Ricci solitons that Theorem 1.3 is built on."},{"cited_title":"Huang, H","cited_arxiv_id":null,"evidence_quote":"It defines the self-adjoint weighted Laplacian $\\Delta_{\\tau,f}$ and the integration-by-parts identity used throughout the paper."}],"review_version":1}