{"id":"d522775d-a5b6-41eb-a3aa-53b98a43321d","arxiv_id":"2508.10790","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Blow-up limits of Ricci shrinkers based at Type I scalar curvature points split a line, with smooth convergence in dimension four.","lead":"The abstract announces a theorem: blow-up limits of Ricci shrinkers at points with Type I scalar curvature bounds split a line, smoothly in dimension four. A generalist should care because it extends structural control of Ricci shrinker ends from global to local curvature assumptions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central theorem depends on an asserted extension of F-convergence theory that is not present in the supplied text; absent that proof, the splitting conclusion is unsupported.","rationale":"The reader's verdict was UNVERDICTED because the supplied text does not contain the proof of the paper's central theorem. My stress-test identifies the same load-bearing concern: the theorem explicitly depends on an extension of F-convergence theory from Bamler and Li-Wang to a setting with only local Type I scalar curvature bounds, and the artifact provides no evidence that this extension is valid. This is not a manufactured objection—the abstract itself announces the extension as the enabling tool, and without it the splitting result has no logical support. The concern is about unsupportedness, not about a specific mathematical error, since we cannot inspect the actual proof. I agree with the reader's weakest_assumption: the extension and the preservation of the Type I bound along the sequences are unshown. However, I do not recommend changing the verdict to REJECT or CONDITIONAL because we have no evidence of a flaw; we only lack access to the proof. Thus UNCHANGED (UNVERDICTED remains appropriate) is the honest recommendation. The concrete test I propose is the minimal check that would settle the concern: retrieving the real paper and verifying that the extension indeed implies the required precompactness and splitting under only the stated local bound.","tokens_in":7010,"tokens_out":2211,"duration_ms":29739,"concrete_test":"Obtain the actual full text of arXiv:2508.10790 and locate the statement and proof of the announced extension of F-convergence theory. Verify specifically: (1) Does the proof establish precompactness of the blow-up sequence in the F-convergence sense using only the pointwise Type I scalar bound at q, or does it implicitly require a global scalar curvature lower bound or uniform local entropy bounds? (2) Does the splitting argument showing the F-limit is a product with a line follow rigorously from the shrinker equation and the F-convergence, without additional hidden curvature controls? (3) In dimension 4, is the smoothness of the limit and the Cheeger-Gromov convergence derived from the extension, or from a separate regularity theorem? If the extension proof is missing or relies on unstated global assumptions, the central claim is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main claim is that blow-up sequences of Ricci shrinkers satisfying only a local Type I scalar curvature bound at q have F-limits that split a line, and in dimension 4 are smooth shrinkers with smooth Cheeger-Gromov convergence. The abstract states this is obtained by extending the F-convergence theory of Bamler and Li-Wang, but the supplied text contains no statement or proof of this extension—in fact, the supplied full text is an unrelated cs.DS paper (arXiv:2508.10793), so the proof is entirely absent from the artifact.\n\nThe load-bearing step is the claimed extension itself. Bamler's F-convergence compactness requires conditions such as uniform scalar curvature lower bounds, local entropy bounds, and volume growth control. A pointwise Type I bound on scalar curvature at a single base point q does not obviously imply these global or local uniform bounds after rescaling, especially without global curvature assumptions. If the extension fails—e.g., if curvature concentrates away from q, or if the F-limit is not a smooth shrinker in dimension 4—the splitting conclusion is unsupported. Similarly, the four-dimensional smooth convergence depends critically on the regularity theory for F-limits, which the extension must supply. Because the extension is the bridge from the local Type I assumption to the splitting theorem, and no proof is available, the central claim is not verifiable from the artifact.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The submission consists of an abstract titled 'Geometric Structure of Ends of Ricci Shrinkers' (arXiv:2508.10790, math.DG) followed by a full text that is, in fact, a completely different paper on competitive plane search with multi-speed agents (arXiv:2508.10793, cs.DS). The abstract announces a theorem about blow-up sequences of Ricci shrinkers without global curvature assumptions: under a Type I scalar curvature bound at a base point q, the F-limits split a line, and in dimension four they are smooth Ricci shrinkers with pointed smooth Cheeger-Gromov convergence. The abstract further states that this is obtained by extending the F-convergence theory of Bamler and Li-Wang. No definitions, theorem statements, proofs, or any mathematical material related to Ricci shrinkers appear in the supplied full text.","tokens_in":7289,"tokens_out":1891,"duration_ms":22799,"significance":"If proved, the announced result would be a meaningful contribution to the structure theory of Ricci shrinkers: it would replace global curvature assumptions with a local Type I scalar curvature bound and yield a clean product-with-line conclusion for F-limits, including smoothness in dimension four. The claimed extension of F-convergence theory is a nontrivial bridge and, if valid, would open further applications. However, because the manuscript body does not contain the announced paper, the significance cannot be assessed from the artifact under review.","major_comments":[{"comment":"The body of the submission is not the announced paper. It is the full text of arXiv:2508.10793, a cs.DS paper titled 'Spirals and Beyond: Competitive Plane Search with Multi-Speed Agents.' None of the definitions, statements, or proofs relevant to 'Geometric Structure of Ends of Ricci Shrinkers' are present. This is not a minor presentation issue; the central claim of the abstract is entirely unsupported by the artifact.","section":"Full text"},{"comment":"The load-bearing assertion is that the authors 'extend the F-convergence theory from Bamler and Li-Wang' to handle blow-up sequences with only a local Type I scalar curvature bound at q. No statement of this extension is supplied, so one cannot check its hypotheses, its quantitative conclusions, or whether it implies the claimed F-limit splitting and the four-dimensional smoothness. Without this material, the theorem as stated is unverifiable.","section":"Abstract"},{"comment":"The consequence that 'limits along the integral curve of ∇f starting at such a point q split a line' is not derived anywhere in the supplied text. Since the body is an unrelated paper, there is no logical chain connecting the hypotheses to any conclusion, and no way to assess whether the Type I condition is preserved along the relevant sequences.","section":"Abstract"}],"minor_comments":[{"comment":"If a corrected submission is intended, the reference list, author list, and subject classification should be checked to ensure they correspond to the announced paper rather than to the unrelated cs.DS manuscript.","section":"General"}],"recommendation":"reject","confidential_remarks":"This appears to be a submission error: the uploaded full text is an entirely different paper from the one announced in the abstract. As a referee, I cannot review a paper whose actual content is absent. A desk reject or immediate request for a corrected resubmission seems appropriate. The abstract alone is not a citable proof of the claimed result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe document you sent can't be reviewed as it stands. The abstract is from a math.DG paper on Ricci shrinkers, but the full text is an unrelated cs.DS paper on spiral search with robots (arXiv:2508.10793). I have no idea whether Bertellotti and Buzano's actual paper is any good, because I haven't seen it.\n\nWhat I can say is about the abstract. The claim is a natural generalization: for blow-ups of Ricci shrinkers without global curvature bounds, if the scalar curvature at a base point satisfies a Type I bound, then F-limits split a line; in dimension four the limit is a smooth shrinker and convergence is smooth Cheeger-Gromov. That is a plausible and potentially useful result for the study of shrinker ends, and the stated method—extending the F-convergence theory of Bamler and Li-Wang—is the right kind of tool. If the proof goes through, it would remove the global curvature hypothesis from earlier work, which is a real contribution within the subfield.\n\nThe soft spot is that there is no proof here. The extension of F-convergence is the load-bearing step, and the abstract alone doesn't tell us whether the local Type I bound at one point is enough to satisfy the compactness hypotheses after rescaling. The stress-test note worries that curvature could concentrate away from q or that the regularity theory in dimension four may not follow from this weaker bound. Those are legitimate questions, but they are questions about a paper I haven't examined, not detected errors. A pointwise bound at a single base point does not obviously yield the uniform local bounds Bamler's theory needs, so the abstract leaves me unconvinced but not suspicious.\n\nWho is this for? Differential geometers working on Ricci shrinkers and F-convergence. If the full paper delivers on the abstract, it deserves a serious referee. But this submission does not contain the paper. I recommend desk-rejecting this version on form—send it back for a correct full text—and revisiting once the actual manuscript is supplied.","headline":"The abstract promises a plausible Ricci shrinker result, but the supplied full text is an unrelated cs.DS paper, so there is no math to referee.","tokens_in":7765,"tokens_out":3064,"would_cite":false,"duration_ms":33109,"reading_group":"no","serious_thinker":"unclear","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Blow-up limits of Ricci shrinkers based at points with Type I scalar curvature split a line, and in four dimensions the limits are smooth.","keywords":["Ricci shrinkers","blow-up analysis","F-convergence","splitting theorem","Cheeger-Gromov convergence","scalar curvature","ends of manifolds","Ricci flow"],"falsifier":"Find a single Ricci shrinker and a basepoint $q$ at which the scalar curvature satisfies the Type I bound but for which some blow-up limit fails to split a line — for example, a limit whose asymptotic cone is not a product with $\\mathbb{R}$ or whose tangent cone at infinity has a nontrivial cross-section. Such an example would disprove the splitting claim; conversely, verifying that all known shrinker ends satisfy the splitting would support it.","tokens_in":6887,"feed_emoji":"","tokens_out":7349,"duration_ms":83337,"temperature":0.7,"pith_summary":"This paper tries to establish a rigidity statement for the ends of Ricci shrinkers: if you zoom in near a point where the scalar curvature obeys a Type I bound (a scale-invariant upper bound), then every blow-up limit splits off a Euclidean line, meaning the geometry becomes translation-invariant in one direction. In dimension four the limit is actually a smooth Ricci shrinker and the convergence is the strongest kind available. This matters because earlier results needed curvature bounds everywhere on the manifold, whereas this one uses only a bound at the basepoint. If right, it says the shape of a shrinker's end is determined by local data where the potential function flows, and it opens the same tools to blow-up analysis without global assumptions.","feed_headline":"Blow-up limits of Ricci shrinkers split a line","feed_subtitle":"A local scalar-curvature bound at one point is enough; four-dimensional limits are smooth shrinkers.","key_machinery":"The load-bearing tool is $\\mathbb{F}$-convergence, a compactness and limit theory for sequences of Ricci flows in which one can extract pointed limits after rescaling. The paper extends this theory to blow-up sequences that satisfy only a local Type I scalar-curvature bound at the basepoint, rather than uniform curvature or energy bounds everywhere. The splitting is obtained by applying the extended $\\mathbb{F}$-convergence to the blow-up sequence and then showing that the presence of a shrinking direction, encoded in the potential $f$ and its gradient flow, forces the limit to be a metric product with a Euclidean line. In four dimensions the same machinery upgrades the limit to a smooth Ric","core_discovery":"The paper's central claim is that the local geometry of a Ricci shrinker near a point with controlled scalar curvature is rigid: any blow-up sequence based at such a point $q$, where the scalar curvature satisfies a Type I bound, has an $\\mathbb{F}$-limit that splits isometrically as a product $X \\times \\mathbb{R}$ with a line. In dimension four, the limit is itself a smooth Ricci shrinker and the blow-up converges in the pointed smooth Cheeger-Gromov sense. A corollary is that limits taken along the integral curve of the gradient of the shrinker's potential function, $\\nabla f$, starting at $q$ also split a line. This removes the global curvature assumptions used in earlier end-structure th","pith_inferences":["If the same extension works in higher dimensions, blow-up limits at Type I points should still split a line, but the limit may not be smooth; the analogy with other collapse limits suggests cone-like transverse factors can appear.","The result implies a local-to-global principle: a single Type I point with a trapped gradient-flow trajectory may force an entire end of the shrinker to be cylindrical, so classifying shrinker ends could reduce to classifying points where the bound fails.","One can test the necessity of the Type I condition by constructing shrinkers with faster scalar-curvature growth at $q$ and checking whether blow-up limits fail to split.","The same $\\mathbb{F}$-convergence extension may apply to singular limits of general Ricci flows, giving line-splitting statements for Type I singularities without global assumptions."],"forward_implications":["Every pointed limit of a blow-up sequence based at a Type I scalar-curvature point of a Ricci shrinker is a product $X \\times \\mathbb{R}$, so the limit's geometry is translation-invariant along one direction.","In dimension four, these limits are smooth Ricci shrinkers and convergence is in the pointed smooth Cheeger-Gromov sense, giving genuine curvature control at the end rather than only a weak limit.","Limits along the $\\nabla f$ integral curve starting at $q$ split a line, so ends of shrinkers in the potential-flow direction are asymptotically cylindrical.","The results remove the need for global curvature bounds in this part of shrinker end-structure theory, extending known splitting statements to a wider class of manifolds."],"supporting_citations":[],"fun_headline_variants":["Blow-up limits split a line from a single-point bound","Local scalar bound: blow-up limits split a line","No global curvature: line-splitting in Ricci shrinker blow-ups","Four-dimensional Ricci shrinker limits are smooth under local bound","Pointwise Type I bound yields line-splitting blow-up limits"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The whole conclusion rests on the claim that a blow-up sequence of a Ricci shrinker can be passed through the $\\mathbb{F}$-convergence machinery using only a local, scale-invariant scalar-curvature bound at the basepoint, with no control on curvature elsewhere; the supplied text states this extension rather than proving it.","fun_headline_variants_meta":{"raw":{"variants":["Blow-up limits split a line from a single-point bound","Local scalar bound: blow-up limits split a line","No global curvature: line-splitting in Ricci shrinker blow-ups","Four-dimensional Ricci shrinker limits are smooth under local bound","Pointwise Type I bound yields line-splitting blow-up limits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000586,"raw_usage":{"total_tokens":2542,"prompt_tokens":648,"completion_tokens":1894,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":392,"completion_tokens_details":{"reasoning_tokens":1822}},"tokens_in":392,"tokens_out":1894,"duration_ms":14797,"temperature":1.0,"reasoning_tokens":1822,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:13:52.065830+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a single Ricci shrinker and a basepoint $q$ at which the scalar curvature satisfies the Type I bound but for which some blow-up limit fails to split a line — for example, a limit whose asymptotic cone is not a product with $\\mathbb{R}$ or whose tangent cone at infinity has a nontrivial cross-section. Such an example would disprove the splitting claim; conversely, verifying that all known shrinker ends satisfy the splitting would support it.","supporting_citations":[],"review_version":1}