{"id":"d5ab9a04-f263-45dd-8a64-e91a8375b478","arxiv_id":"2606.25132","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes new Lipschitz and width lower bounds plus rigidity theorems for bands in 3-manifolds with negative Ricci bounds via μ-bubbles, including a sharp boundary-area estimate for certain noncompact manifolds with scalar curvature ≥ −6.","lead":"The paper derives optimal lower bounds on the Lipschitz constants of functions and on the widths of bands in 3-dimensional Riemannian manifolds whose Ricci curvature is bounded from below by a negative constant, using Gromov’s μ-bubble technique, and proves rigidity statements for the equality cases. A smart generalist might read it to see how curvature bounds, topology, and minimal-surface methods interact to control geometric sizes in negatively curved spaces.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's provisional UNVERDICTED verdict and identification of the μ-bubble applicability as weakest assumption are consistent with the abstract. No load-bearing gap is detectable from the given information, so the verdict requires no adjustment.","tokens_in":1655,"tokens_out":213,"duration_ms":33170,"concrete_test":"Confirm that the model space (infinite hyperbolic band with higher-genus totally geodesic boundaries) saturates the claimed Lipschitz constant and area lower bound; if the constants match exactly, the optimality claim holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After examining the central claim and the described application of the μ-bubble method to obtain Lipschitz lower bounds and width estimates under a negative Ricci lower bound (including for higher-genus boundaries), no internal inconsistency or unsecured assumption is visible that would undermine the argument. The topological condition on H_2 and the rigidity statement to the hyperbolic band appear consistent with the curvature hypothesis R_g ≥ -6.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript establishes optimal Lipschitz lower bounds for proper smooth functions on three-dimensional Riemannian manifolds with Ricci curvature bounded below by negative constants. These bounds are applied via Gromov's μ-bubble method to obtain a new family of width estimates for Riemannian bands, including those with higher-genus boundary components, together with rigidity statements characterizing equality cases. For complete noncompact 3-manifolds with bounded geometry, scalar curvature R_g ≥ -6, and H_2(M, ℤ) containing no spherical or toroidal classes, a sharp lower bound on boundary area is proved, with equality implying the manifold is isometric to an infinite hyperbolic band.","tokens_in":1719,"tokens_out":395,"duration_ms":17398,"significance":"If the central claims hold, the work provides a meaningful extension of the μ-bubble technique to the negative-curvature setting and to higher-genus boundaries, yielding explicit quantitative estimates that relate width, boundary area, and topology. The rigidity results and the sharp area bound under the stated topological hypothesis are potentially useful contributions to the study of 3-manifolds with curvature bounds. The absence of free parameters or ad-hoc fitting in the stated results is a strength.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction refer to 'optimal' Lipschitz bounds and 'sharp' area bounds; a brief remark in §1 or §2 clarifying the sense in which optimality is achieved (e.g., equality on the model hyperbolic band) would help readers.","section":"Introduction"},{"comment":"In the statement of the noncompact area bound, the precise meaning of 'bounded geometry' (e.g., injectivity radius and curvature bounds) should be recorded explicitly, as it is used to control the μ-bubble construction at infinity.","section":"Theorem on noncompact manifolds"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation of minor revision. No specific major comments appear in the report.","responses":[],"tokens_in":1208,"tokens_out":54,"duration_ms":14806,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The one or two things to know about this paper are that it establishes optimal Lipschitz lower bounds for proper smooth functions on three-dimensional manifolds with Ricci curvature bounded from below by negative numbers, which then give new width estimates for bands, and it includes rigidity statements for the equality cases. It also proves a sharp lower bound on boundary area for certain complete noncompact manifolds with scalar curvature at least -6.\n\nThe new part is the ability to deal with higher-genus boundary components and the resulting connection to the topology through the width and area. This builds directly on Gromov's μ-bubble technique but adapts it to the negative curvature regime in a way that previous estimates did not cover. The rigidity to the infinite hyperbolic band in the equality case is a nice touch and seems to fit with the given conditions on homology.\n\nIt does well in keeping the arguments grounded in established methods without introducing free parameters or invented entities. The claims about optimality and the family of estimates are presented clearly in the abstract.\n\nWhere it might be soft is in the verification of the bounds; since the full manuscript details aren't in front of me right now, I can't inspect the error estimates or how exactly the μ-bubbles are chosen to achieve the Lipschitz constants. The assumption that the method applies smoothly to higher genus under the Ricci bound could use a close look in the proofs. If those hold, the central argument looks solid.\n\nThis paper is for researchers in geometric analysis, particularly those studying width problems, minimal surfaces, and rigidity in manifolds with curvature bounds. A reader who follows work on 3-manifold geometry and comparison theorems would get value from the specific estimates.\n\nIt deserves a serious referee because the results are precise and extend existing techniques in a targeted way.","headline":"Cruz gives new width estimates for 3-manifolds with negative Ricci bounds via μ-bubbles, extending to higher-genus boundaries plus a rigidity result for noncompact cases with controlled H2.","tokens_in":2203,"tokens_out":437,"would_cite":false,"duration_ms":19472,"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":"Three-dimensional manifolds with Ricci curvature bounded below by negative constants admit optimal Lipschitz lower bounds for proper smooth functions.","keywords":["Riemannian manifolds","Ricci curvature","width estimates","Lipschitz bounds","rigidity","three-manifolds","negative curvature","bands"],"falsifier":"A three-dimensional Riemannian manifold with Ricci curvature bounded below by a negative constant that admits a proper smooth function whose Lipschitz constant falls below the optimal lower bound claimed in the theorem.","tokens_in":2542,"feed_emoji":"","tokens_out":735,"duration_ms":38714,"temperature":0.7,"pith_summary":"The paper establishes optimal Lipschitz lower bounds for proper smooth functions on three-dimensional Riemannian manifolds with Ricci curvature bounded below by negative constants. These bounds produce new width estimates for Riemannian bands. The approach handles higher-genus boundary components and supplies rigidity statements for equality cases. It also yields a sharp lower bound on boundary area for certain complete noncompact three-manifolds with scalar curvature at least -6 and no spherical or toroidal classes in second homology, with equality only for the infinite hyperbolic band.","feed_headline":"Optimal width estimates for bands in 3-manifolds with negative Ricci curvature","feed_subtitle":"The estimates follow from Lipschitz bounds on proper functions, apply to higher-genus boundaries, and include rigidity plus area bounds for","key_machinery":"Gromov's μ-bubble method, which produces the Lipschitz lower bounds and width estimates while handling higher-genus boundary components under the Ricci curvature lower bound.","core_discovery":"We establish optimal Lipschitz lower bounds for proper smooth functions on three-dimensional Riemannian manifolds with Ricci curvature bounded below by negative constants, yielding a new family of width estimates for Riemannian bands using Gromov's μ-bubble method, together with rigidity statements characterizing the equality case. One of the novelties of our approach lies in its ability to handle higher-genus boundary components, revealing a precise interplay between the width, the area of boundary surfaces, and the underlying topology. Finally, for a complete noncompact three-manifold M with bounded geometry and scalar curvature R_g ≥ -6, whose H_2(M,ℤ) contains no spherical or toroidal cl","pith_inferences":["The interplay between width, boundary area, and topology could be examined in manifolds satisfying different curvature lower bounds.","The homology restriction in the noncompact result limits the manifolds to which the area bound applies.","The sharpness of the bounds could be tested by direct computation on explicit examples such as quotients of hyperbolic three-space."],"forward_implications":["New family of width estimates for Riemannian bands in three-manifolds satisfying the Ricci lower bound.","Rigidity statements that characterize the manifolds achieving equality in the Lipschitz and width bounds.","Width estimates that incorporate the genus of the boundary components and relate width to boundary area and topology.","Sharp lower bound on boundary area for complete noncompact three-manifolds with bounded geometry, scalar curvature at least -6, and no spherical or toroidal homology classes.","Equality case in the area bound is an infinite hyperbolic band."],"fun_headline_variants":["Band width estimates in 3-manifolds with negative Ricci curvature","Rigidity of band widths under negative curvature bounds","Lipschitz bounds on proper functions in 3-manifolds","Higher-genus boundary width estimates via mu-bubbles"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The μ-bubble method can be applied to produce the stated Lipschitz and width bounds while handling higher-genus boundary components under the given Ricci lower bound.","fun_headline_variants_meta":{"raw":{"variants":["Band width estimates in 3-manifolds with negative Ricci curvature","Rigidity of band widths under negative curvature bounds","Lipschitz bounds on proper functions in 3-manifolds","Higher-genus boundary width estimates via mu-bubbles"]},"model":"grok-4.3","cost_usd":0.00763,"raw_usage":{"total_tokens":3403,"prompt_tokens":648,"num_sources_used":0,"completion_tokens":64,"cost_in_usd_ticks":76303000,"prompt_tokens_details":{"text_tokens":648,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2691,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":648,"tokens_out":64,"duration_ms":22868,"temperature":1.0,"reasoning_tokens":2691,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-03T22:49:22.380567+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A three-dimensional Riemannian manifold with Ricci curvature bounded below by a negative constant that admits a proper smooth function whose Lipschitz constant falls below the optimal lower bound claimed in the theorem.","supporting_citations":[],"review_version":2}