{"id":"7bb4663d-a749-4c84-b572-3658c9da1633","arxiv_id":"2506.00887","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A five-dimensional shrinking gradient Ricci soliton with constant scalar curvature 1 and bounded curvature must be a finite quotient of R^3 × S^2.","lead":"This paper proves that every complete five-dimensional shrinking gradient Ricci soliton with constant scalar curvature 1 and bounded curvature is a finite quotient of R^3 × S^2. The result advances the classification of Ricci solitons, the self-similar spaces that model the singularities of the Ricci flow.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2 relies on the unsupported claim that the topology of B(p,g(-τ),100√τ) is τ-independent; smoothness alone does not imply this, so the classification of the 4D ancient limit and the uniform decay of λ1+λ2+λ3 are not established.","rationale":"The central claim requires λ1+λ2+λ3→0 at infinity, which is Theorem 3.3. Theorem 3.3 relies entirely on Theorem 3.2 for the classification of the 4D ancient limit. Theorem 3.2's proof contains the topology-constancy assertion, which is not justified by smoothness and is not obviously implied by the Ricci-flow hypotheses stated. This is exactly the weakest assumption identified by the reader, and I agree that it is the most load-bearing soft spot. Other potential concerns, such as the differentiability of ordered eigenvalues near the focal variety in Proposition 4.1 and the algebraic constants in Lemma 5.5, appear secondary or likely repairable; the topology issue attacks the first main step of the proof. The theorem may still be true, and the gap may be closable with known results on ancient κ-solutions, so the appropriate verdict remains conditional rather than rejection. The reader's CONDITIONAL verdict is therefore unchanged.","tokens_in":17876,"tokens_out":36436,"duration_ms":338628,"concrete_test":"Concrete check: re-derive Theorem 3.2 without invoking the sentence about topology being τ-independent. Specifically, determine whether Γ1=Γ2 can be proved from Perelman's pseudo-locality, κ-noncollapsing, and the exact scalar curvature identity R=1/(-t), or from a published rigidity theorem for 4D ancient κ-solutions with this scalar curvature profile. If a rigorous derivation exists, the gap is harmless. If the only route is the topology-constancy assertion, test that assertion on a model family: take M=(R^2×S^2)/Γ with the standard product shrinker and perturb the initial metric slightly, then compute whether B(p,g(-τ),100√τ) changes diffeomorphism type as τ varies. A smooth perturbation whose normalized balls have nonconstant topology would falsify the claim as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is in Theorem 3.2. After rescaling by 1/τ_i, the paper obtains two Cheeger-Gromov limits, (R^2×S^2)/Γ1 as τ_i→∞ and (R^2×S^2)/Γ2 as τ_i→0, and needs Γ1=Γ2 to apply Naber's Theorem 2.3. The only justification offered is: 'Since the flow is smooth, the topology of B(p,g(-τ),100√τ) does not change along τ.' This is not a standard consequence of smoothness: a ball of growing radius in a smooth one-parameter family of metrics can change diffeomorphism type when the boundary crosses the cut locus or when the ball begins to see different ends or quotient identifications; flat tori and tubes around submanifolds give elementary examples. The normalizations in the proof provide precompactness of the rescaled balls, not constancy of their topology. Because Theorem 3.3 uses Theorem 3.2 to force λ1+λ2+λ3→0 uniformly, a genuine gap here removes the first main step of the proof of the main theorem. The assertion may be true for Ricci-flow-specific reasons, such as pseudo-locality, no local collapsing, or a classification of 4D ancient solutions with scalar curvature 1/(-t), but those reasons are not supplied. This is an internal gap, not a disagreement with consensus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Theorem 1.1: a 5-dimensional complete noncompact shrinking gradient Ricci soliton with constant scalar curvature 1 and bounded curvature is isometric to a finite quotient of R^3 × S^2. The strategy is to show that the sum of the three smallest Ricci eigenvalues λ1+λ2+λ3 is nonnegative, tends to 0 at infinity, and vanishes outside a compact set; combined with ∇Ric = 0 on that region and analyticity of the soliton, the De Rham splitting theorem then gives the product structure. The proof uses a classification of 4-dimensional ancient κ-solutions with scalar curvature 1/(-t), a lower volume bound for the focal variety M_- = f^{-1}(0), and integral estimates for |∇Ric|^2 on level sets of f.","tokens_in":18176,"tokens_out":19140,"duration_ms":171934,"significance":"If the proof were complete, this would finish the remaining R=1 case of Cao's constant-scalar-curvature rigidity conjecture in dimension five, complementing the authors' earlier work for R=3/2. The analytic strategy is natural and the explicit constants such as 0.9999 and 1.01 are used as absorbing constants rather than fitted data. The paper relies on external theorems (Cheng-Zhou, Naber, Cao-Zhou) in a clear way and does not appear circular. However, several load-bearing topological and algebraic steps are not justified as written, so the result cannot yet be regarded as established.","major_comments":[{"comment":"The proof of Theorem 3.2 relies on the assertion: \"Since the flow is smooth, the topology of B(p,g(-τ),100√τ) does not change along τ.\" Smoothness of a one-parameter family of metrics does not imply constancy of the diffeomorphism type of geodesic balls of growing radius; the boundary can cross the cut locus or encounter quotient identifications, and the Cheeger-Gromov convergence used in the preceding paragraph only gives diffeomorphisms of the rescaled balls to balls in the two limits. The identity Γ1 = Γ2, which is needed before applying Naber's Theorem 2.3, is therefore not established. Since Theorem 3.3 uses Theorem 3.2 to obtain the uniform decay λ1+λ2+λ3 → 0, this gap affects the main line of the proof. The authors should supply a Ricci-flow-specific argument for the topological constancy, or replace the step entirely.","section":"Section 3, Theorem 3.2"},{"comment":"The paragraph asserts that M_- is a deformation retract of M, that M_- is diffeomorphic to S^2, and that the level sets f^{-1}(t) are diffeomorphic to S^2 × S^2. These facts are stated as \"known\" or \"easy to see\" without proof or reference, and they are not consequences of Theorem 2.5, which only gives that M_- is a compact connected 2-dimensional minimal submanifold. The assertions are used to obtain χ(M_-) = 2 and χ(Σ(s)) = 4, which enter Proposition 4.1, Corollary 4.2, and Lemma 5.3 through the term 32π^2χ(Σ(s)). In addition, Section 4 is stated for a simply connected M, whereas Theorem 1.1 allows finite quotients; the covering argument needs to be made explicit.","section":"Section 4, first paragraph"},{"comment":"The displayed Gauss-Bonnet-Chern formula has the wrong signs. For a closed oriented 4-manifold the standard formula is 8π^2χ = ∫( |W|^2/4 + |Ric|^2/2 − R^2/12 ) dσ, equivalently ∫|W|^2 dσ = 32π^2χ − 2∫|Ric|^2 dσ + (1/3)∫R^2 dσ. The paper instead writes ∫|W|^2 = ∫ 2(|Ric^Σ|^2 − (1/3)(R^Σ)^2)dσ + 32π^2χ(Σ), which has positive Ricci and negative scalar contributions; on S^4 with the unit-sphere metric the right-hand side is nonzero while |W| = 0. The subsequent estimate bounds ∫|W|^2 from above by replacing 128π^2 with ∫ 1/f dσ via Corollary 4.2 and by discarding terms; with the correct formula the negative −2|Ric^Σ|^2 term cannot be discarded in the direction used. Since Proposition 5.4 and Lemma 5.5 rely on this estimate, the estimate needs to be redone.","section":"Lemma 5.3"}],"minor_comments":[{"comment":"The conjecture statement contains an unresolved placeholder reference '[?]' after 'Gaussian soliton R^k'; this reference should be completed.","section":"Section 1"},{"comment":"The statement 'we can always assume that λ2 = 0' is not justified by the ordering λ1 ≤ λ2 ≤ λ3 when the zero eigenvalue is the smallest; please clarify the relabeling convention used for the first three eigenvalues.","section":"Section 3"},{"comment":"In the proof of Lemma 5.5, the text refers to 'Theorem 5.2'; this should be 'Proposition 5.2'.","section":"Section 5, Lemma 5.5 proof"},{"comment":"The proof refers to 'Corollary 5.6', which does not exist; the correct reference is Proposition 5.6. The constants -0.3 and 0.6 used there also differ from the constants -0.3333 and 0.606 in Proposition 5.6, which is harmless but should be made consistent.","section":"Section 5, Proposition 5.7 proof"},{"comment":"There are several typographical errors, including 'rescall', 'Tpye I', 'apriorily', and 'Proprosition'; a careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a natural open case and the main analytic strategy is coherent. My concerns are concentrated in three places: the topological invariance in Theorem 3.2, the Section 4 diffeomorphism assertions, and the sign error in the Gauss-Bonnet formula in Lemma 5.3. The first two might be repaired by references or additional arguments, but the sign error in Lemma 5.3 requires redoing the integral estimates that support Propositions 5.4 and 5.5. I recommend major revision rather than rejection because the overall approach is promising."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Fengjiang, Jianyu, Yuanyuan, and Guoqiang prove the R=1 case of the 5D shrinking gradient Ricci soliton rigidity problem under bounded curvature, finishing the constant scalar curvature classification in dimension 5. That is a real result. The strategy follows their earlier R=3/2 paper, and the new technical content is substantial: the asymptotic decay of λ1+λ2+λ3, the volume lower bound for the focal variety via four-dimensional Gauss-Bonnet, and the long algebraic estimate for |∇Ric|^2 with the absorbing constants -0.9999 and 1.01. Nothing looks fabricated or circular; the constants are absorbing, not fitted. The reliance on Cheng-Zhou, Naber, and Cao-Zhou is legitimate, and their own prior result is used for strategy, not as an input.\n\nThe main soft spot is exactly where the stress-test points. In Theorem 3.2, the proof that the two Cheeger-Gromov limits have the same quotient group Γ relies on the sentence: 'Since the flow is smooth, the topology of B(p,g(-τ),100√τ) does not change along τ.' That is not a standard consequence of smoothness. A fixed-radius ball in a smoothly evolving metric can change diffeomorphism type as the center moves or as the radius grows past a critical value. The rescaling makes the radius proportional to √τ, so the ball is essentially a fixed-radius ball in the limit geometry, and its topology could depend on the center's trajectory. The argument needs a Ricci-flow-specific reason—pseudo-locality, noncollapsing, or a direct classification of 4D ancient solutions with R=1/(-t)—and none is supplied. Since Theorem 3.3 uses Theorem 3.2 to get uniform decay of λ1+λ2+λ3, this gap is load-bearing.\n\nA second, smaller issue is Section 4. The volume lower bound assumes M_- is diffeomorphic to S^2, asserted from 'M_- is the deformation contraction of M^5' on a simply connected soliton. The paper does not state the reduction to the universal cover, and the main theorem allows finite quotients. Passing to the universal cover is standard, but it should be said. The Gauss-Bonnet estimate itself is fine given S^2.\n\nThe long algebra in Section 5 is intricate; I did not spot a fatal error, but I also did not re-derive every line. Lemma 5.3 checks out, and the contradiction in Proposition 5.7 works. Proposition 5.2 is lengthy but plausible.\n\nWho is this for? Anyone working on Ricci soliton rigidity or Cao's conjecture. It deserves a serious referee. Send it to review, but expect that Theorem 3.2's topology statement must be fixed or replaced with a real argument. If that step survives, the result is a nice completion of the 5D classification. If not, the theorem may still be true, but the proof as written is incomplete.","headline":"Completes the last constant-scalar-curvature case in 5D, but Theorem 3.2's topology-change step is not justified and needs a Ricci-flow argument.","tokens_in":18715,"tokens_out":8586,"would_cite":true,"duration_ms":70978,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C44"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every 5-dimensional complete noncompact shrinking gradient Ricci soliton with constant scalar curvature 1 and bounded curvature is a finite quotient of $\\mathbb{R}^3\\times \\mathbb{S}^2$.","keywords":["shrinking gradient Ricci soliton","constant scalar curvature","rigidity theorem","Ricci flow","ancient solution","Gauss-Bonnet-Chern formula","Weyl curvature","isoparametric function"],"falsifier":"Exhibit a four-dimensional complete ancient Ricci flow that is $\\kappa$-noncollapsed, has bounded curvature and scalar curvature $R=1/(-t)$, and is not a finite quotient of $\\mathbb{R}^2\\times \\mathbb{S}^2$; such an object would falsify the paper's Theorem 3.2 and the uniform decay that feeds the main theorem. A more local check is to test the topology-invariance assertion directly by finding a smooth Ricci flow in which the diffeomorphism type of $B(p,g(-\\tau),100\\sqrt{\\tau})$ changes as $\\tau$ varies.","tokens_in":17661,"feed_emoji":"📐","tokens_out":10921,"duration_ms":94814,"temperature":0.7,"pith_summary":"This paper attempts to close the last open constant-scalar-curvature case of the rigidity conjecture for shrinking gradient Ricci solitons in dimension five. The main theorem asserts that if $(M,g,f)$ is a complete noncompact five-dimensional shrinking gradient Ricci soliton with scalar curvature $R=1$ and bounded curvature, then it is isometric to a finite quotient of $\\mathbb{R}^3\\times \\mathbb{S}^2$. This matters because the other admissible constant scalar curvature values in dimension five were already handled, so a positive result would complete the five-dimensional classification under the bounded-curvature hypothesis. The proof tracks the nonnegative eigenvalue sum $\\eta=\\lambda_1+\\lambda_2+\\lambda_3$, forces it to vanish outside a compact set, and then uses analyticity of the soliton to obtain the global product splitting. The bounded-curvature assumption enters in the blow-up analysis of the associated ancient Ricci flow and is not removed.","feed_headline":"Every 5D Ricci shrinker with R=1 and bounded curvature is R^3×S^2","feed_subtitle":"The proof forces the three smallest Ricci eigenvalues to vanish, making the soliton a finite quotient of R^3 × S^2.","key_machinery":"The load-bearing object is the function $\\eta=\\lambda_1+\\lambda_2+\\lambda_3$, the sum of the three smallest eigenvalues of the Ricci tensor, together with the level hypersurfaces $\\Sigma(s)=\\{f=s\\}$ of the normalized potential $f$, for which $|\\nabla f|^2=f$ and $R=1$ make $f$ isoparametric. The focal variety $M_-=f^{-1}(0)$ is a compact minimal surface whose intrinsic volume is bounded below by $8\\pi$, and that bound is used in a four-dimensional Gauss-Bonnet-Chern estimate to control the Weyl curvature of the level sets. On the flow side, an asymptotic-limit theorem from [24] reduces the decay of $\\eta$ to the classification of four-dimensional $\\kappa$-noncollapsed ancient solutions with scalar curvature $R=1/(-t)$ as finite quotients of $\\mathbb{R}^2\\times \\mathbb{S}^2$. The analytic engine is the identity $\\Delta_f|\\mathrm{Ric}|^2=2|\\mathrm{Ric}|^2+2|\\nabla\\mathrm{Ric}|^2-4K_{ij}\\lambda_i\\lambda_j$, sharpened by the estimate $|\\nabla\\mathrm{Ric}|^2\\le -0.9999\\,\\eta+1.01\\,(K_{12}+K_{13}+K_{23})$ outside a compact set, and then integrated over the level sets.","core_discovery":"The paper's central claim is Theorem 1.1: if $(M,g,f)$ is a 5-dimensional complete noncompact shrinking gradient Ricci soliton normalized by $\\mathrm{Ric}+\\nabla^2 f=\\frac12 g$, with constant scalar curvature $R=1$ and bounded curvature, then $(M,g)$ is isometric to a finite quotient of $\\mathbb{R}^3\\times \\mathbb{S}^2$. This is the last admissible constant-scalar-curvature value in dimension five whose rigidity was open under the bounded-curvature hypothesis, so it completes the five-dimensional case of the rigidity conjecture for shrinking Ricci solitons. The proof shows that the sum $\\eta=\\lambda_1+\\lambda_2+\\lambda_3$ of the three smallest Ricci eigenvalues is nonnegative, that it tends to zero at infinity by classifying the four-dimensional ancient limits as finite quotients of $\\mathbb{R}^2\\times \\mathbb{S}^2$, and then, through level-set integral estimates and the four-dimensional Gauss-Bonnet-Chern formula, that it vanishes outside a compact set. Together with the vanishing of the full covariant derivative of Ricci curvature outside a compact set, analyticity propagates the rigidity to all of $M$, and the Riemannian splitting theorem yields the product with a two-dimensional Einstein factor, $\\mathbb{S}^2$.","pith_inferences":["If bounded curvature could be removed, the theorem would exactly confirm the rigidity conjecture in dimension five; the boundedness assumption enters only through the blow-up limit step, so sharper local estimates may make it redundant.","Combined with the already-rigid admissible values $R=0,2,5/2$ and the companion treatment of $R=3/2$, the result effectively closes the five-dimensional constant-scalar-curvature classification under bounded curvature.","The same eigenvalue-sum strategy may transfer to higher dimensions, where the finite list of admissible constant scalar curvature values is already known, with the role of the four-dimensional limit classification played by the corresponding dimension."],"forward_implications":["For every soliton satisfying the hypotheses, outside a compact set the Ricci eigenvalues are $\\lambda_1=\\lambda_2=\\lambda_3=0$ and $\\lambda_4=\\lambda_5=1/2$, so the geometry is asymptotically a cylinder over $\\mathbb{S}^2$.","The uniform decay $\\lambda_1+\\lambda_2+\\lambda_3\\to 0$ at infinity depends on the classification of four-dimensional ancient solutions with scalar curvature $1/(-t)$, so the main theorem inherits that classification.","Because the soliton equation is analytic, rigidity propagates from the exterior region to all of $M$, yielding the finite-quotient splitting $\\mathbb{R}^3\\times \\mathbb{S}^2$.","Under the hypotheses there are no exotic examples: any such soliton must be the standard product geometry on a finite quotient of $\\mathbb{R}^3\\times \\mathbb{S}^2$."],"supporting_citations":[{"why":"Supplies the four-dimensional rigidity theorem classifying shrinking gradient Ricci solitons with constant scalar curvature as finite quotients of $\\mathbb{R}^2\\times \\mathbb{S}^2$.","marker":"[11]"},{"why":"Supplies the Cheeger-Gromov limit theory and the product-structure corollary for limits along integral curves of $\\nabla f$.","marker":"[24]"},{"why":"Provides the companion five-dimensional constant-scalar-curvature case and the proof strategy that this paper follows.","marker":"[14]"},{"why":"Gives the admissible constant scalar curvature values and the eigenvalue structure on the focal variety.","marker":"[10]"},{"why":"Supplies the quadratic growth estimate for the potential function used to normalize $f$ and define the level sets.","marker":"[7]"},{"why":"Establishes that the associated Ricci flow of a shrinking soliton is $\\kappa$-noncollapsed, a hypothesis needed in the limit arguments.","marker":"[15]"}],"fun_headline_variants":["5D Ricci shrinkers with R=1 and bounded curvature are rigid","Rigidity proven: 5D shrinkers with R=1 are R^3 × S^2 quotients","Every bounded-curvature 5D Ricci shrinker with R=1 splits","5D shrinking solitons classified: R=1 case forces R^3 × S^2","Theorem: 5D Ricci shrinkers with R=1 and bounded curvature are products"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's most exposed premise is that in the four-dimensional limit step, the diffeomorphism type of a large geodesic ball around a fixed point does not change as the time parameter of the flow advances; smoothness of a flow does not by itself force the topology of growing balls to stay fixed, and the classification of the ancient limit depends on this.","fun_headline_variants_meta":{"raw":{"variants":["5D Ricci shrinkers with R=1 and bounded curvature are rigid","Rigidity proven: 5D shrinkers with R=1 are R^3 × S^2 quotients","Every bounded-curvature 5D Ricci shrinker with R=1 splits","5D shrinking solitons classified: R=1 case forces R^3 × S^2","Theorem: 5D Ricci shrinkers with R=1 and bounded curvature are products"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0004,"raw_usage":{"total_tokens":2041,"prompt_tokens":851,"completion_tokens":1190,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":467,"completion_tokens_details":{"reasoning_tokens":1073}},"tokens_in":467,"tokens_out":1190,"duration_ms":8087,"temperature":1.0,"reasoning_tokens":1073,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:57:11.369327+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a four-dimensional complete ancient Ricci flow that is $\\kappa$-noncollapsed, has bounded curvature and scalar curvature $R=1/(-t)$, and is not a finite quotient of $\\mathbb{R}^2\\times \\mathbb{S}^2$; such an object would falsify the paper's Theorem 3.2 and the uniform decay that feeds the main theorem. A more local check is to test the topology-invariance assertion directly by finding a smooth Ricci flow in which the diffeomorphism type of $B(p,g(-\\tau),100\\sqrt{\\tau})$ changes as $\\tau$ varies.","supporting_citations":[{"cited_title":"Cheng, D","cited_arxiv_id":null,"evidence_quote":"Supplies the four-dimensional rigidity theorem classifying shrinking gradient Ricci solitons with constant scalar curvature as finite quotients of $\\mathbb{R}^2\\times \\mathbb{S}^2$."},{"cited_title":"Naber, Noncompact shrinking four solitons with nonnegative curvature , J","cited_arxiv_id":null,"evidence_quote":"Supplies the Cheeger-Gromov limit theory and the product-structure corollary for limits along integral curves of $\\nabla f$."},{"cited_title":"Fern´ andez-L´ opez, E","cited_arxiv_id":null,"evidence_quote":"Gives the admissible constant scalar curvature values and the eigenvalue structure on the focal variety."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the quadratic growth estimate for the potential function used to normalize $f$ and define the level sets."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that the associated Ricci flow of a shrinking soliton is $\\kappa$-noncollapsed, a hypothesis needed in the limit arguments."}],"review_version":1}