{"id":"d6151be2-02e7-426e-9eec-fc491a17c726","arxiv_id":"2506.10809","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An N-warped product over a one-dimensional base satisfies the RCD(KN,N+1) curvature condition exactly when the warping function is K-concave, obeys a boundary condition, and the fiber satisfies a related RCD condition.","lead":"This paper proves when a warped product space, a metric space built by attaching a fiber over a one-dimensional base with a weight function, satisfies a modern synthetic lower Ricci curvature bound. It gives conditions on the weight function and the fiber that are both sufficient and necessary, unifying known cases like cones, suspensions, and products.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Corollary 1.5's diameter bound says 'if N = 1' but uses N−1, forcing diamF ≤ 0 for N=1; the iff is false as stated (e.g., the round hemisphere example).","rationale":"The reader identified compactness of F as the weakest assumption. I agree the theorem is restricted to compact fibers, but the paper explicitly declares this restriction in Section 1.0.3, and the proof uses the discreteness of the spectrum as stated, so compactness is an acknowledged limitation rather than a hidden flaw in the theorem as formulated. The more serious issue is the N = 1 diameter condition, which the reader mentioned in the rationale as a likely typo but did not treat as the weakest assumption. The condition 'diamF ≤ π sqrt((N−1)/KF) if N = 1 and KF > 0' is internally inconsistent for N = 1: since N − 1 = 0, it demands diameter at most 0 whenever KF > 0. This makes the central iff statement literally false, as shown by the round hemisphere example. The proof body assumes N > 1, and the N = 1 proof is asserted without deriving any diameter bound, so the intended condition is clearly N > 1. The fix is trivial, but until it is made the theorem cannot be accepted as stated. Thus the correct verdict remains CONDITIONAL, as the reader recommended, with the added requirement to correct the N = 1 statement. Since my concern does not move the verdict away from the reader's conditional verdict, I set verdict_should_be to UNCHANGED while noting a different load-bearing concern than the reader's compactness worry.","tokens_in":42266,"tokens_out":14430,"duration_ms":153428,"concrete_test":"Run the N = 1 example: set K = 1, N = 1, B = [0, π], f(r) = sin(r), and F = [0, π] with the flat metric and Lebesgue measure. Verify F is RCD(0, 1) and diamF = π; compute KF = sup_B{(cos r)^2 + sin^2 r} = 1; note f'' + f = 0 and ∂B = f^{-1}(0), so the boundary condition is vacuous. Show the warped product B ×_f^1 F is isometric to the round hemisphere and hence satisfies RCD(1, 2). This satisfies the RCD side of the iff in Corollary 1.5 but violates condition (3) because the stated bound gives diamF ≤ 0. This settles that the statement is false as written. The follow-up check is to replace 'N = 1' by 'N > 1' in the diameter bound and verify that the corrected theorems hold for N = 1 separately (with no Bonnet–Myers diameter restriction and with the N = 1 argument via Theorem 3.6 and [44]).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central characterization (Theorem 1.1, Corollary 1.5, Theorem 1.6) states as a necessary and sufficient condition 'diamF ≤ π sqrt((N−1)/KF) if N = 1 and KF > 0'. Since N ≥ 1 is allowed, taking N = 1 makes the bound diamF ≤ 0, which holds only for a point fiber. This is not a benign typo: it makes the iff statement false. Example: B = [0, π], f(r) = sin(r), K = 1, N = 1, F = [0, π] with Lebesgue measure and flat metric. F is RCD(0, 1) with diamF = π, KF = sup_B{(cos r)^2 + sin^2 r} = 1, f'' + f = 0, and ∂B = f^{-1}(0) so the boundary condition is vacuous. The warped product is the round hemisphere, which satisfies RCD(1, 2), so the RCD side of the iff holds. But condition (3) as written fails because π sqrt((N−1)/KF) = 0 < diamF. Thus the 'only if' direction of Corollary 1.5 is violated for N = 1. The technical body assumes N > 1 (Section 3), and the N = 1 proof of Theorem 1.1 invokes Theorem 3.6 and [44] without deriving any diameter bound; the intended condition is evidently 'N > 1'. As stated, the theorem must either exclude N = 1 or correct the bound, and the N = 1 case needs a separate statement. This is a load-bearing correctness issue in the headline result, not a mere presentation matter.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a sharp characterization of the Riemannian curvature-dimension condition RCD(KN,N+1) for N-warped products B×_f^N F whose base B is one-dimensional. The main sufficient direction (Theorem 1.1) requires f to be fK-concave, a sub-Neumann boundary condition, and the fiber F to satisfy RCD(KF(N−1),N) with KF = sup_B{(Df)^2+Kf^2}; the necessity direction (Theorem 1.2) and the affine-case iff (Theorem 1.6) are also stated. The proof uses a spectral decomposition of the fiber Laplacian to reduce the problem to Schrödinger operators on B, establishes a Gamma2 formula mimicking the smooth Ricci tensor, and removes smoothness of f by approximation and Gromov-Hausdorff stability.","tokens_in":42615,"tokens_out":7204,"duration_ms":79851,"significance":"If the central computation is correct, this is a substantial contribution to the synthetic Ricci curvature literature: it unifies and extends previous cone and suspension results, allows non-smooth warping functions and non-compact bases, and gives a two-sided characterization rather than merely sufficient conditions. The detailed Gamma2 computation in Section 5.1 and Corollary 5.7, the spectral reduction in Proposition 5.8, and the explicit approximation arguments in Section 5.3 are serious technical achievements that go well beyond earlier work. The paper is self-contained in its main sufficiency arguments and clearly delineates the compactness restriction on F, which is acknowledged in Section 1.0.3.","major_comments":[{"comment":"The diameter condition is stated as 'diamF ≤ π sqrt((N−1)/KF) if N = 1 and KF > 0'. Since N ∈ [1,∞), the case N=1 gives diamF ≤ 0, which is only possible for a point fiber. This makes the stated iff false: take B=[0,π], f(r)=sin r, K=1, N=1, F=[0,π] with its flat metric and Lebesgue measure. Then F is RCD(0,1), KF=sup{(cos r)^2+sin^2 r}=1, f''+f=0, and the boundary condition is vacuous; the warped product is the round hemisphere, hence RCD(1,2), so the RCD side holds, but diamF=π>0 violates the stated bound. The technical body explicitly assumes N>1 (Section 3.1), and the N=1 proof in Section 5.3 invokes Theorem 3.6 and [44] without deriving a diameter bound. The intended condition is evidently 'if N>1'; as written, the theorem, corollary, and Theorem 1.6 need correction and a separate statement for N=1.","section":"Theorem 1.1 and Corollary 1.5"},{"comment":"The hyperbolic cone case (K=−1, KF=−1, B=R, f(r)=cosh(r)) is explicitly not proved in this paper. The text says this case 'can be treated exactly like the cases in [37]' and that the proof is 'verbatim the same', then refers to [37] without supplying the details. Since Theorem 1.6 claims an iff for all KF∈R, including KF=−1, this is a missing proof of one of the six enumerated cases. The deferred argument should either be included or the theorem should be restricted to the cases actually proved.","section":"Section 6.0.1, proof of Theorem 1.6"},{"comment":"In the proof for the case KF<0, the stated goal is to show 'the condition CDloc(KN,N+1) for F', and the final conclusion is RCD(KN,N+1). But Theorem 1.2 asserts RCD(KF N,N+1), which is a stronger statement when KF>K. The rescaling step sets inf f^2=1, which does not by itself force KF=K. Unless an additional argument identifies K with KF in this regime, the proof establishes a weaker bound than the theorem claims. Please clarify the constants used in Step (4).","section":"Section 6, proof of Theorem 1.2, item (4)"}],"minor_comments":[{"comment":"The statement of Theorem 4.2 says MCP(KN, K+1); the second parameter is a dimension and should be N+1. This appears to be a typo, but it affects the reader's understanding of which measure-contraction property is used.","section":"Theorem 4.2 and Proposition 4.3"},{"comment":"The notation 'f K-concave' is used inconsistently (also written 'fK-concave' and 'f K-conave' in Section 2.1). Please standardize the term and add a definition at first use.","section":"Section 1 and Section 2.1"},{"comment":"The word 'conditon' should be 'condition'. There are also several other typographical errors (e.g., 'conave', 'dicussions', 'exsits') that should be corrected in a final revision.","section":"Example 1.4"},{"comment":"The proof of Proposition 5.8 uses a strict inequality KF>sup_B{(f')^2+Kf^2} and then removes it by a scaling/Gromov-Hausdorff argument in Corollary 5.10. The wording of Proposition 5.8 should state the strict inequality explicitly in the assumption or clarify that the non-strict case is handled later.","section":"Section 5.2, Proposition 5.8"},{"comment":"The list of six cases for Theorem 1.6 is helpful, but the cases 'elliptic cone' and 'parabolic cone' are dispatched by referring to prior work; given that Theorem 1.6 is a headline result, it would be useful to state precisely which parts of the proof appear in [37] and which are new here.","section":"Section 6.0.1"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a substantial step forward. It gives sharp necessary and sufficient conditions for N-warped products over one-dimensional bases to satisfy RCD, allowing Lipschitz warp functions and noncompact bases, and it proves the necessity direction for the first time. The main Gamma2 computation is detailed and plausible, the reduction to Schrödinger operators on the base via the discrete spectrum of the fiber is clever, and the approximation argument for non-smooth f is reasonable. The paper is also honest about its two main restrictions—compactness of F and the one-dimensional base—and openly states where finer spectral analysis would be needed.\n\nThe soft spots are real but manageable. First, the diameter bound condition in Theorem 1.1 and Corollary 1.5 says “if N = 1 and KF > 0” and then uses N−1, forcing diamF ≤ 0 when N=1. The stress-test example with the round hemisphere shows the statement as written is false. The proof handles N=1 separately, so the intended condition is clearly “N>1,” but the theorem as stated is wrong. This is a statement-level typo that must be fixed before acceptance, not a deep flaw in the mathematics. Second, Theorem 1.6 covers the hyperbolic cone by saying the proof is “verbatim the same” as in the author’s prior paper [37] and deferring all details. That is too thin; a careful referee will want at least a sketch or a precise statement of which existing lemmas apply. Third, the compactness of F is genuinely load-bearing for the spectral reduction, as the paper acknowledges; the result does not cover noncompact fibers, and that is a limitation rather than a hidden error.\n\nThe necessity argument and the overall structure of the proof look sound to me. The self-citations to [37] and [12] are appropriate because those are separate published results. I would be comfortable citing the main characterization once the diameter typo is corrected.\n\nFor peer review: yes, this deserves a serious referee. The result is important, the methods are substantial, and the flaws are correctable. The referee should demand the diameter condition be fixed and the hyperbolic cone case be made self-contained or explicitly reduced to published work.","headline":"Strong, referee-worthy characterization of RCD warped products, but the diameter-bound typo in the main theorem must be fixed and the hyperbolic cone case needs a real proof.","tokens_in":43140,"tokens_out":1900,"would_cite":true,"duration_ms":22410,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["51M15","53C21","49Q22"],"pacs":[],"model":"deepseek-v4-flash","headline":"A single inequality and a fiber curvature bound decide when a warped product over a one-dimensional base satisfies the Riemannian curvature-dimension condition.","keywords":["warped products","metric measure spaces","Riemannian curvature-dimension condition","RCD spaces","Bakry-Émery condition","one-dimensional base","spectral decomposition","Schrödinger operators"],"falsifier":"Set $B=\\mathbb{R}$, $f\\equiv 1$, $K=0$, and let $F$ be a flat 2-torus; the warped product is the metric product $\\mathbb{R}\\times F$ and satisfies $\\mathsf{RCD}(0,3)$, while condition (3) of the corollary would require $F$ to satisfy $\\mathsf{RCD}(1,2)$, which the flat torus does not, so computing this case decides the iff claim.","tokens_in":42039,"feed_emoji":"📐","tokens_out":18986,"duration_ms":206211,"temperature":0.7,"pith_summary":"The paper establishes a sharp criterion for when a warped product over a one-dimensional base space carries a lower Ricci curvature bound in the modern metric-measure sense. Writing the warped product as $B\\times_f^N F$, with base $B$, Lipschitz warping function $f$, and compact fiber $F$, the criterion is: $f$ must satisfy the differential inequality $f''+Kf\\le 0$, a sub-Neumann boundary condition on the boundary where $f$ is positive, and the fiber $F$ must satisfy $\\mathsf{RCD}(K_F(N-1),N)$ with $K_F=\\operatorname{ess-sup}_B((f')^2+Kf^2)$. The paper proves both sufficiency and, for $K_F\\ge 0$, necessity, so the conditions are not convenient assumptions but the exact content of the curvature bound. This turns a broad family of nonsmooth constructions—cones, suspensions, products, and more—into objects whose Ricci bound is read off from one number and one inequality.","feed_headline":"One inequality settles Ricci curvature of warped products","feed_subtitle":"On one-dimensional bases, a warped product obeys the RCD bound exactly when warping and fiber pass curvature tests.","key_machinery":"The proof is carried by a $\\Gamma_2$ (carré-du-champ, or Bochner-formula) identity for the Cheeger energy of the warped product that mirrors the Ricci-tensor computation for smooth warped products. On a compact fiber, the Laplace operator has discrete spectrum, so the warped-product Laplacian splits along eigenspaces and reduces to Schrödinger operators on the one-dimensional base; essential self-adjointness of these operators is decided by the classical limit-point criterion. The $fK$-concavity inequality and the fiber curvature bound then feed term-by-term into the Bakry-Émery inequality, with the algebraic identity $a^2+\\frac{1}{N}b^2=\\frac{1}{N+1}(a+b)^2+\\frac{1}{(N+1)N}(b-Na)^2$ producing the exact dimension $N+1$. Smoothness of $f$ is removed by convolution approximation and stability of the condition under measured Gromov-Hausdorff convergence.","core_discovery":"The central claim is that for a compact, geodesic fiber $F$ and a one-dimensional base $B$, the $N$-warped product $B\\times_f^N F$ satisfies $\\mathsf{RCD}(KN,N+1)$ if and only if: $f$ is $fK$-concave ($f''+Kf\\le 0$), $f$ satisfies $\\partial f/\\partial n\\ge 0$ on $\\partial B\\setminus f^{-1}(0)$, and $F$ satisfies $\\mathsf{RCD}(K_F(N-1),N)$ with $K_F=\\operatorname{ess-sup}_B((f')^2+Kf^2)$, together with the stated diameter bound in the $N=1$, $K_F>0$ case. Theorem 1.1 is the forward direction, Theorem 1.2 is the reverse direction when $K_F\\ge 0$, and Theorem 1.6 sharpens the equivalence to an iff statement for all real $K_F$ when $f$ is affine, $f''+Kf=0$. The author presents this as a unification and extension of previous results for spherical suspensions, Euclidean cones, and related model spaces.","pith_inferences":["Removing the compactness of $F$ would require replacing the discrete-spectrum decomposition by a continuous-spectrum analogue, and the spectral reduction that carries the proof is the natural place to start.","The same $\\Gamma_2$ identity could be re-weighted to produce Bochner inequalities with dimension parameters other than $N+1$, potentially extending the characterization to other curvature-dimension pairs.","Because the conditions are local on $B$, the proof suggests a gluing procedure: warped products over intervals that satisfy the conditions piece together into global $\\mathsf{RCD}(KN,N+1)$ spaces, as already used in the proof for unbounded bases."],"forward_implications":["Every warped product satisfying the conditions obeys the sharp Brunn-Minkowski inequality of Corollary 1.8, with distortion coefficients computed from the base curvature $K$.","The affine case $f''+Kf=0$ yields a complete iff statement covering spherical suspensions, Euclidean, elliptic, parabolic, and hyperbolic cones, and Cartesian products.","The necessity direction doubles as a rigidity tool: any $\\mathsf{RCD}(-N,N+1)$ space with a function of unit gradient and Laplacian $N$ splits as an $N$-warped product $\\mathbb{R}\\times_{\\exp}^N Y$ with $Y$ an $\\mathsf{RCD}(0,N)$ space (Theorem 1.9).","The theorem provides a construction kit: any compact $\\mathsf{RCD}(K_F(N-1),N)$ fiber combined with any $f$ satisfying the two conditions produces a new $\\mathsf{RCD}(KN,N+1)$ space, for example over a circle base with sufficiently negative $K$.","The fiber's effective curvature is exactly $K_F=\\operatorname{ess-sup}_B((f')^2+Kf^2)$, so the fiber curvature is not independent data but is dictated by the warping and the base curvature."],"supporting_citations":[{"why":"Supplies the Γ2 and spectral-decomposition method used here, and already covers the spherical, Euclidean-cone, and elliptic-cone cases of Theorem 1.6.","marker":"[37]"},{"why":"Provides the sharp warped-product curvature conditions in the Alexandrov setting that the paper's f-concavity and boundary conditions are modelled on.","marker":"[2]"},{"why":"Establishes fiber independence of geodesics in warped products, used to identify the metric and prove geodesic convexity of sub-products.","marker":"[1]"},{"why":"Supplies the measure contraction property for N-warped products that underpins the regularity and metric-structure arguments in Section 4.","marker":"[12]"},{"why":"Provides the splitting theorem used to treat Cartesian products and to extract RCD(0,N) for the fiber from a product limit.","marker":"[24]"},{"why":"Globalization theorem for curvature-dimension conditions, used to pass from local to global CD and hence to RCD in the necessity direction.","marker":"[13]"},{"why":"Shows how local CD together with Euclidean tangent cones implies RCD, used at the end of Theorem 1.1 and in Theorem 1.2.","marker":"[35]"},{"why":"Supplies nonbranching of geodesics in RCD spaces, used to rule out branching and to derive the boundary condition in Theorem 1.2.","marker":"[22]"},{"why":"Provides the limit-point criterion for essential self-adjointness of one-dimensional Schrödinger operators, on which the spectral reduction rests.","marker":"[47]"}],"fun_headline_variants":["Sharp RCD criterion for warped products over one-dimensional bases","Warped products satisfy RCD iff base and fiber curvature tests pass","One-dimensional base yields exact RCD criterion for warped products","Curvature-dimension condition sharpened for warped products"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on the fiber $F$ being compact, so the Laplace operator on $F$ has discrete spectrum and the problem reduces to Schrödinger operators on the one-dimensional base; the author states that removing this requires a finer spectral analysis and postpones it.","fun_headline_variants_meta":{"raw":{"variants":["Sharp RCD criterion for warped products over one-dimensional bases","Warped products satisfy RCD iff base and fiber curvature tests pass","One-dimensional base yields exact RCD criterion for warped products","Curvature-dimension condition sharpened for warped products"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000789,"raw_usage":{"total_tokens":3535,"prompt_tokens":1058,"completion_tokens":2477,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":674,"completion_tokens_details":{"reasoning_tokens":2404}},"tokens_in":674,"tokens_out":2477,"duration_ms":18541,"temperature":1.0,"reasoning_tokens":2404,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:17:24.600115+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Set $B=\\mathbb{R}$, $f\\equiv 1$, $K=0$, and let $F$ be a flat 2-torus; the warped product is the metric product $\\mathbb{R}\\times F$ and satisfies $\\mathsf{RCD}(0,3)$, while condition (3) of the corollary would require $F$ to satisfy $\\mathsf{RCD}(1,2)$, which the flat torus does not, so computing this case decides the iff claim.","supporting_citations":[{"cited_title":"Cones over metric measure spaces and the maximal diameter theorem","cited_arxiv_id":null,"evidence_quote":"Supplies the Γ2 and spectral-decomposition method used here, and already covers the spherical, Euclidean-cone, and elliptic-cone cases of Theorem 1.6."},{"cited_title":"Alexander and Richard L","cited_arxiv_id":null,"evidence_quote":"Provides the sharp warped-product curvature conditions in the Alexandrov setting that the paper's f-concavity and boundary conditions are modelled on."},{"cited_title":"Alexander and Richard L","cited_arxiv_id":null,"evidence_quote":"Establishes fiber independence of geodesics in warped products, used to identify the metric and prove geodesic convexity of sub-products."},{"cited_title":"The globalization theorem for the curvature- dimension condition","cited_arxiv_id":null,"evidence_quote":"Globalization theorem for curvature-dimension conditions, used to pass from local to global CD and hence to RCD in the necessity direction."},{"cited_title":"CD meets CAT","cited_arxiv_id":null,"evidence_quote":"Shows how local CD together with Euclidean tangent cones implies RCD, used at the end of Theorem 1.1 and in Theorem 1.2."},{"cited_title":"H¨ older continuity of tangent cones in RCD(K, N) spaces and applications to nonbranching","cited_arxiv_id":null,"evidence_quote":"Supplies nonbranching of geodesics in RCD spaces, used to rule out branching and to derive the boundary condition in Theorem 1.2."},{"cited_title":"Methods of modern mathematical physics","cited_arxiv_id":null,"evidence_quote":"Provides the limit-point criterion for essential self-adjointness of one-dimensional Schrödinger operators, on which the spectral reduction rests."}],"review_version":1}