Band width estimates with lower spectral curvature bounds

Xiaoxiang Chai (POSTECH); Yukai Sun (PKU)

Band width estimates with lower spectral curvature bounds

T0 review · 1 major / 0 minor · reviewed 2026-05-22 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Lower spectral Ricci and scalar curvature bounds imply an upper bound on the width of a torical band.

desk verdict Chai and Sun adapt the warped μ-bubble method to spectral lower bounds on Ricci and scalar curvature to bound the width of torical bands, with the main question being whether the stability inequality carries over without extra work. read the letter →

arxiv 2504.10142 v2 submitted 2025-04-14 math.DG

Xiaoxiang Chai (POSTECH) , Yukai Sun (PKU) This is my paper

classification math.DG

keywords bandwidthspectralcurvatureboundtoricalwarpedmu-bubblerigidityRicciscalardifferentialgeometry

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper applies the warped μ-bubble method to manifolds with spectral curvature bounds. It establishes that a torical band has width bounded above when both spectral Ricci curvature and spectral scalar curvature are bounded from below. The argument also produces rigidity statements in equality cases. A sympathetic reader cares because these integrated spectral conditions are weaker than pointwise curvature bounds yet still control the global size of bands.

What carries the argument

The warped μ-bubble method, which is extended to produce width estimates under the stated spectral curvature conditions.

What would settle it

A torical band with arbitrarily large width on a manifold that still obeys the lower spectral Ricci and scalar curvature bounds would falsify the estimate.

Watch

Extended reading notes

Core claim

With a lower spectral Ricci curvature bound and a lower spectral scalar curvature bound, the band width of a torical band is bounded above. Rigidity results are also obtained.

Load-bearing premise

The warped μ-bubble method extends from its usual setting to manifolds satisfying the stated lower spectral Ricci and scalar curvature bounds in a way that produces the width estimate.

Editorial extensions

If this is right

The width of a torical band is bounded above by a constant depending on the spectral curvature bounds.
Rigidity holds in the case of equality.
The bound applies to any manifold carrying the given spectral curvature conditions.
The method yields geometric control without requiring pointwise curvature lower bounds.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

This approach extends classical width estimates that used pointwise curvature to the weaker spectral setting.
The rigidity statements may identify model spaces achieving the bound, such as products with standard metrics.
Similar spectral bounds could be tested for width control on other classes of bands or hypersurfaces.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The central claim is that a lower bound on the first eigenvalue of the Ricci or scalar curvature operator is enough to run the warped μ-bubble argument and produce an upper bound on band width for torical bands, plus some rigidity statements. That is the one concrete new estimate the paper delivers. The authors take an existing technique that has been used with pointwise curvature bounds and apply it in the spectral setting, which is a direct and reasonable extension rather than a wholesale reinvention. If the details check out, it gives people working on width estimates one more setting where the method works. The paper stays inside the standard framework of μ-bubbles and torical bands, so the technical novelty sits in handling the spectral assumption rather than in new geometric constructions. The abstract does not suggest circularity or heavy reliance on prior self-citations to close the argument. The soft spot is the one flagged in the stress test. Standard μ-bubble proofs obtain the second-variation inequality from a pointwise lower bound on scalar curvature that directly controls the integrand. Replacing that with an L² or eigenvalue bound requires an extra step—either a suitable test function or an integration-by-parts argument—to recover the needed integral inequality. The abstract gives no indication of how that step is carried out, so the result stands or falls on whether that passage is valid under the precise definition of spectral curvature used here. If the paper supplies a clean justification, the claim holds; if it glosses over it, the estimate is not yet on firm ground. This is a paper for readers already following the μ-bubble program or working on spectral versions of comparison theorems in geometric analysis. A specialist will get value from seeing the adaptation written out, even if the result is incremental. It is narrow enough that most people outside that circle will not need it. The work shows clear engagement with the literature and a concrete claim, so it deserves a serious referee who can check the stability step in detail rather than a desk rejection.

Referee Report

1 major / 0 minor

Summary. The manuscript applies the warped μ-bubble method to obtain an upper bound on the width of torical bands under the assumption of a lower bound on the first eigenvalue of the Ricci curvature operator together with a lower bound on the first eigenvalue of the scalar curvature operator; rigidity statements are also derived.

Significance. If the technical extension of the μ-bubble stability inequality to spectral (rather than pointwise) curvature bounds is valid, the result would furnish band-width estimates under strictly weaker hypotheses than those in the existing literature, which is a meaningful advance in comparison geometry.

major comments (1)

[Main proof (likely §3 or the section containing the μ-bubble construction)] The central derivation requires that a lower spectral Ricci/scalar bound implies the stability inequality used to control the second variation of the warped μ-bubble (the step that produces the width upper bound). The standard argument relies on a pointwise lower bound; the manuscript must supply the precise integration-by-parts or test-function argument that closes the estimate under only an L²-eigenvalue hypothesis, and this justification is not visible from the abstract.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for recognizing the potential significance of extending band-width estimates to spectral curvature bounds. We address the single major comment below and will revise the manuscript to make the argument fully explicit.

read point-by-point responses

Referee: [Main proof (likely §3 or the section containing the μ-bubble construction)] The central derivation requires that a lower spectral Ricci/scalar bound implies the stability inequality used to control the second variation of the warped μ-bubble (the step that produces the width upper bound). The standard argument relies on a pointwise lower bound; the manuscript must supply the precise integration-by-parts or test-function argument that closes the estimate under only an L²-eigenvalue hypothesis, and this justification is not visible from the abstract.

Authors: We agree that the transition from pointwise to spectral bounds requires a clear, self-contained justification and that the current presentation does not make the steps sufficiently transparent. In the manuscript the argument appears in the proof of the main width estimate (Theorem 1.1), where the first eigenfunction of the scalar curvature operator and the first eigenform of the Ricci curvature operator are used as test functions in the second-variation formula for the warped μ-bubble. The Rayleigh-quotient characterization of the eigenvalues then supplies the integrated lower bounds after integration by parts against these test functions. Nevertheless, the referee is correct that the precise cancellations and the manner in which the L²-eigenvalue hypothesis replaces the pointwise bound are not written out in full detail. In the revised version we will insert a new Lemma 3.3 that isolates this step, containing the complete integration-by-parts calculation, the choice of test functions, and the resulting inequality that directly yields the width upper bound. This addition will occupy roughly two pages and will be placed immediately before the application to torical bands. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

Derivation applies warped μ-bubble method to spectral bounds without reducing to fitted inputs or self-citation chains

full rationale

The paper states it extends the warped μ-bubble technique to manifolds with lower spectral Ricci and scalar curvature bounds to obtain band width estimates for torical bands. No equation or step is shown to define a quantity in terms of itself, rename a fitted parameter as a prediction, or rely on a load-bearing self-citation whose prior result is unverified. The central estimate follows from applying the stability inequality under the stated spectral assumptions rather than by construction from the inputs. The derivation remains self-contained against external benchmarks such as the standard μ-bubble literature.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Only the abstract is available, so the ledger records the central methodological assumption mentioned in the text.

assumptions (1)

domain assumption The warped μ-bubble method applies to manifolds with lower spectral Ricci and scalar curvature bounds to control band width.
The paper invokes this method as the tool to obtain the stated estimates.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Band width estimates with lower spectral curvature bounds." pith.science (2026). https://pith.science/paper/2504.10142

@misc{pith2026250410142,
  author       = {Pith},
  title        = {Pith review of: Band width estimates with lower spectral curvature bounds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2504.10142}},
  note         = {Machine review of arXiv:2504.10142}
}

abstract

In this work, we use the warped \( \mu \)-bubble method to study the consequences of a spectral curvature bound. In particular, with a lower spectral Ricci curvature bound and a lower spectral scalar curvature bound, we show that the band width of a torical band is bounded above. We also obtain some rigidity results.

Discussion (0). Sign in to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We use the warped μ-bubble method to study the consequences of a spectral curvature bound... lower spectral Ricci curvature bound and lower spectral scalar curvature bound
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the operator −4/(4−γ)Δ_Σ + Sc_Σ is positive on ∂Ω which is a contradiction

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Band Width Estimates and Rigidity of Manifolds with Negative Curvature
math.DG 2026-06 unverdicted novelty 7.0 of 10

Optimal Lipschitz and width lower bounds plus rigidity theorems for bands in 3-manifolds with negative Ricci curvature, including a sharp boundary area bound for certain noncompact manifolds with scalar curvature ≥ -6...
Some rigidity theorems for spectral curvature bounds
math.DG 2026-04 accept novelty 6.5 of 10

Spectral lower bounds on scalar/Ricci curvature imply the same rigidity, band-width, and splitting conclusions as classical pointwise bounds, via warped µ-bubbles.
Band Width Estimates and Rigidity of Manifolds with Negative Curvature
math.DG 2026-06 unverdicted novelty 6.0 of 10

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...

Pith tools

Reviewed May 22, 2026 · model on record in the stance chip above.