{"id":"dbc3e585-aba6-4d56-a5c9-d297f268910d","arxiv_id":"2604.20224","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A compactness theorem for gradient Ricci solitons is established via regularity bootstrapping in harmonic coordinates, implying smooth regular parts in noncollapsed limits with bounded Ricci curvature and asymptotic cylindricality for steady solitons with L1 Ricci decay.","lead":"The paper proves a compactness theorem for gradient Ricci solitons with scalar curvature bounds and harmonic coordinate controls, plus asymptotic cylindricality for steady solitons under L1 Ricci decay. Researchers in geometric analysis and Ricci flow may read it for new tools to control limits and large-scale behavior of these special solutions.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's note correctly records that L1 decay is an assumption rather than a derived property, but the paper's claim is only the implication 'L1 decay implies asymptotic cylindricality,' not the necessity of the decay. The bootstrap step is the actual technical content and is presented as self-contained under the listed hypotheses; no further load-bearing gap is visible.","tokens_in":1622,"tokens_out":277,"duration_ms":53602,"concrete_test":"Re-derive the C^2 estimate on the metric in harmonic coordinates directly from the contracted soliton equation and the bound on scalar curvature (without invoking the harmonic-radius hypothesis a second time); confirm that the resulting bound is uniform and closes the compactness argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The compactness theorem bootstraps regularity from scalar curvature bounds and harmonic-radius lower bounds via the gradient soliton equation Ric + Hess f = 0; the resulting C^infty estimates on the regular part of noncollapsed limits with bounded Ricci curvature follow directly. The asymptotic cylindricality statement is explicitly conditional on the L1 integrability of |Ric| as an external hypothesis and does not claim to derive this decay. No internal gap, missing estimate, or unjustified passage from the given hypotheses to the stated conclusions appears in the argument.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper establishes a compactness theorem for gradient Ricci solitons equipped with scalar curvature bounds and uniform lower bounds on the harmonic radius. Regularity is bootstrapped in harmonic coordinates by exploiting the gradient soliton equation Ric + Hess f = 0. As an application, the regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is shown to be smooth. Additionally, any steady gradient Ricci soliton satisfying an L^1-decay assumption on its Ricci curvature is proved to be asymptotically cylindrical.","tokens_in":1704,"tokens_out":434,"duration_ms":23353,"significance":"If the bootstrap estimates hold, the compactness and smoothness results supply useful control on limits of Ricci solitons, which are central to the analysis of Ricci-flow singularities and ancient solutions. The conditional asymptotic cylindricality statement under L^1 integrability of |Ric| provides a concrete criterion that may be verifiable in examples and complements existing decay results in the literature.","major_comments":[],"minor_comments":[{"comment":"§2.2, Definition 2.3: the precise normalization of the harmonic radius lower bound (e.g., whether it is scale-invariant) should be stated explicitly to clarify compatibility with the subsequent rescaling arguments.","section":null},{"comment":"Theorem 1.1: the statement of the compactness theorem would benefit from an explicit list of the constants that depend only on the dimension and the given bounds, rather than leaving the dependence implicit.","section":null},{"comment":"§4, proof of asymptotic cylindricality: the passage from L^1 integrability of |Ric| to the decay of the curvature tensor at infinity would be clearer if the integration-by-parts identity used to control the potential function f were displayed as a separate lemma.","section":null},{"comment":"References: several recent works on L^1 curvature decay for Ricci solitons (e.g., papers by Bamler–Zhang or Deruelle–Schulze) are not cited; adding them would situate the new hypothesis more precisely.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary accurately captures the main contributions, including the compactness theorem via regularity bootstrapping in harmonic coordinates and the application to asymptotic cylindricality under L^1 decay of the Ricci curvature.","responses":[],"tokens_in":1091,"tokens_out":75,"duration_ms":15818,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point of this paper is a compactness theorem for gradient Ricci solitons that assumes bounds on scalar curvature and a positive lower bound on the harmonic radius, then uses the soliton equation to bootstrap to smooth estimates. From there it concludes that noncollapsed limits of gradient Ricci solitons with bounded Ricci curvature have smooth regular parts, and that steady solitons with L1 integrable Ricci curvature are asymptotically cylindrical at infinity. The work does a solid job of leveraging harmonic coordinates to turn the gradient soliton equation into an elliptic system that yields the regularity. This gives a direct path to the compactness without extra machinery, and the applications follow logically once the limit objects inherit the bounds. The L1 decay condition is handled as a hypothesis, which keeps the statement accurate. One soft spot is that the L1 assumption for the asymptotic result is not derived from weaker conditions inside the paper; it is an external input. This is fine for the theorem as stated, but it means the result applies only in cases where that decay can be checked or assumed. The bootstrap itself appears to hold up based on the description, with no evident circular reasoning or unjustified steps. The paper is aimed at people working on Ricci solitons and singularity analysis in geometric flows. Someone studying noncollapsed limits or the structure of steady solitons would get concrete tools from the compactness and asymptotic statements. Overall, the arguments look consistent and the claims are precise enough to be checked. I think it should go to peer review so the details of the estimates can be vetted by experts in the area.","headline":"This paper gives a compactness theorem for gradient Ricci solitons by bootstrapping regularity in harmonic coordinates from the soliton equation, then applies it to smoothness of noncollapsed limits and conditional asymptotic cylindricality under L1 Ricci decay.","tokens_in":2170,"tokens_out":396,"would_cite":false,"duration_ms":29291,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Gradient Ricci solitons with scalar curvature bounds and harmonic coordinate lower bounds are compact, with smooth regular parts in limits and asymptotic cylindricality for steady cases under L1 Ricci decay.","keywords":["gradient Ricci solitons","compactness theorem","harmonic coordinates","asymptotic cylindricality","L1 decay","Ricci curvature bounds","noncollapsed limits","scalar curvature"],"falsifier":"A steady gradient Ricci soliton with bounded scalar curvature whose Ricci curvature fails to decay in L1 but is not asymptotically cylindrical would disprove the asymptotic claim.","tokens_in":2509,"feed_emoji":"","tokens_out":607,"duration_ms":41795,"temperature":0.7,"pith_summary":"The paper establishes a compactness theorem for gradient Ricci solitons that satisfy bounds on scalar curvature and have a uniform lower bound on the size of harmonic coordinate charts. It achieves this by using the soliton equation to bootstrap higher regularity from these assumptions. As an application, the regular parts of noncollapsed limits of gradient Ricci solitons with bounded Ricci curvature turn out to be smooth. The authors also prove that steady gradient Ricci solitons must be asymptotically cylindrical if their Ricci curvature decays sufficiently in the L1 sense.","feed_headline":"Steady Ricci solitons become cylindrical under L1 curvature decay","feed_subtitle":"A compactness theorem from harmonic-coordinate regularity bootstrap shows smooth limits for bounded-Ricci cases.","key_machinery":"Bootstrapping of regularity in harmonic coordinates by exploiting the gradient Ricci soliton equation together with scalar curvature bounds and a uniform lower bound on the harmonic radius.","core_discovery":"In this paper, we establish a compactness theorem for gradient Ricci solitons with scalar curvature bounds and uniform lower bounds of harmonic coordinates. Our approach is to bootstrap regularity in harmonic coordinates by exploiting the soliton equation. As an application, we show that the regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is smooth. Further, we show that a steady gradient Ricci soliton is asymptotically cylindrical under an L1-decay assumption on its Ricci curvature.","pith_inferences":["The regularity bootstrap via the soliton equation may extend to other geometric flows sharing similar structural equations.","The L1 decay condition could be compared to other integrability or decay rates to classify a broader family of steady solitons.","This smoothness control on limits supports analysis of singularity formation in the Ricci flow."],"forward_implications":["The regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is smooth.","A steady gradient Ricci soliton is asymptotically cylindrical under an L1-decay assumption on its Ricci curvature.","Compactness holds for gradient Ricci solitons under scalar curvature bounds and uniform lower bounds on the harmonic radius."],"fun_headline_variants":["Steady solitons asymptotically cylindrical under L1 curvature decay","L1 curvature decay makes steady solitons asymptotically cylindrical","Bootstrap regularity in harmonic coordinates for Ricci solitons","Smoothness of noncollapsed limits with bounded Ricci curvature"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The L1 integrability of the Ricci curvature is assumed as an input for the asymptotic cylindricality result rather than derived from the soliton structure.","fun_headline_variants_meta":{"raw":{"variants":["Steady solitons asymptotically cylindrical under L1 curvature decay","L1 curvature decay makes steady solitons asymptotically cylindrical","Bootstrap regularity in harmonic coordinates for Ricci solitons","Smoothness of noncollapsed limits with bounded Ricci curvature"]},"model":"grok-4.3","cost_usd":0.007239,"raw_usage":{"total_tokens":3269,"prompt_tokens":532,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":72387000,"prompt_tokens_details":{"text_tokens":532,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2676,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":532,"tokens_out":61,"duration_ms":33604,"temperature":1.0,"reasoning_tokens":2676,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-09T23:49:08.736832+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A steady gradient Ricci soliton with bounded scalar curvature whose Ricci curvature fails to decay in L1 but is not asymptotically cylindrical would disprove the asymptotic claim.","supporting_citations":[],"review_version":1}