Pith. sign in

REVIEW 2 major objections 5 minor 18 references

Connected sum of manifolds with spectral Ricci lower bounds

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Connected sums preserve spectral Ricci lower bounds above the critical ratio; the range is sharp.

desk verdict New connected sum theorem for spectral Ricci bounds, sound up to minor presentational gaps; the abstract overclaims sharpness. read the letter →

arxiv 2505.18320 v2 pith:QS6GKGOR submitted 2025-05-23 math.DG math.AP

Gioacchino Antonelli , Kai Xu This is my paper
classification math.DGmath.AP MSC 53C2153C2058J50
keywords spectralRiccilowerboundconnectedsumGromov-LawsontunnelGreen'sfunctionwarpedproductmetricsharpthresholdBettinumberbounds
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

Let $n\ge 3$ and take $\gamma>(n-1)/(n-2)$. The paper proves that if two complete $n$-manifolds admit metrics with $\lambda_1(-\gamma\Delta+\mathrm{Ric})>\lambda$, then their connected sum admits a complete metric with the same spectral lower bound; it also proves a one-manifold version in which a tunnel is glued between any two points with only an $\varepsilon$ loss. This matters because the spectral condition is a global, functional-analytic notion of Ricci curvature, and topological operations that preserve it are rare. The proof works by solving an elliptic equation with two point sources, whose Green's function has the same $r^{2-n}$ singularity that the model tunnel function has, and then gluing the two via a warped product. The number $(n-1)/(n-2)$ is shown to be sharp: for larger $\gamma$ the connected sum operation always preserves the bound, while for the critical value the argument's main coefficient vanishes.

What carries the argument

The load-bearing objects are the Green's function for the operator $-\gamma\Delta+\mathrm{Ric}$ with two point sources and a warped-product tunnel metric. The Green's function $u$ solves $-\gamma\Delta u+\mathrm{Ric}\,u=(\lambda-\varepsilon/2)u+\delta_{x_1}+\delta_{x_2}$ and has the sharp asymptotic form $u\sim r^{2-n}w_i(r,\theta)$ near each pole; the tunnel metric $\tilde g=dr^2+r_0^2 f(r/r_0)^2\tilde h$ interpolates the two local metrics through a round slice, and the candidate tunnel eigenfunction $\tilde u=r_0^{2-n}f(r/r_0)^{2-n}\tilde w/(\gamma(n-2)|S^{n-1}|)$ interpolates the two Green's functions. The calculation reduces the inequality $-\gamma\Delta_{\tilde g}\tilde u+\mathrm{Ric}_{\tilde g}\tilde u\ge(\lambda-\varepsilon)\tilde u$ to the model identity for $f^{2-n}$ plus two estimates: the asymptotics of the polar metric coefficients and of the Green's function, and a convexity inequality for the profile $f$ that converts the supercritical condition $\gamma>(n-1)/(n-2)$ into a sign condition on the only surviving principal term.

What would settle it

Run the tunnel construction at $\gamma=(n-1)/(n-2)$: the coefficient $\gamma(n-2)-(n-1)$ multiplying the main term vanishes, so the test function gives no positive contribution and the proof's key inequality reduces to $0\ge o(r_0^{-2})$. Exhibiting a complete connected-sum metric with $\lambda_1(-\gamma\Delta+\mathrm{Ric})>\lambda$ at this critical value would show the claimed sharpness is false.

Watch

Extended reading notes

Core claim

The central discovery is that the spectral Ricci bound $\lambda_1(-\gamma\Delta+\mathrm{Ric})\ge\lambda$ is a connected-sum invariant in the supercritical range $\gamma>(n-1)/(n-2)$: given a complete manifold satisfying the bound, one may remove two small balls around arbitrary points and glue back a tunnel $S^{n-1}\times[-r_0,r_0]$ carrying a warped metric $dr^2+r_0^2 f(r/r_0)^2\tilde h$, on which a positive function $\tilde u = r_0^{2-n}f^{2-n}\tilde w/(\gamma(n-2)|S^{n-1}|)$ continues to satisfy $-\gamma\Delta \tilde u+\mathrm{Ric}\,\tilde u\ge(\lambda-\varepsilon)\tilde u$. The proof's quantitative heart is an explicit identity: for the model metric $dr^2+f(r)^2g_{S^{n-1}}$, the function $f^{2-n}$ satisfies $-((n-1)/(n-2))\Delta f^{2-n}+\mathrm{Ric}(\partial_r,\partial_r)f^{2-n}=0$ for arbitrary $f$, so the error terms in the tunnel are controlled purely by the asymptotic agreement of the metric and Green's function with their Euclidean prototypes. Consequently, the threshold $\gamma=(n-1)/(n-2)$ is the exact place where the stabilization coefficient $\gamma(n-2)-(n-1)$ changes sign.

Load-bearing premise

The proof depends on the existence of a positive Green's function for $-\gamma\Delta+\mathrm{Ric}$ with two point sources whose singularity is exactly of order $r^{2-n}$; if the leading singularity differed, the tunnel eigenfunction would not match the two copies and the gluing inequality would break.

Editorial extensions

If this is right

  • Any two complete manifolds satisfying the bound can be joined by a tunnel, and the resulting connected sum still satisfies the same spectral Ricci lower bound.
  • For every $n\ge 3$, $\gamma>(n-1)/(n-2)$, and $k\ge 1$, the iterated connected sum $\#_k(S^{n-1}\times S^1)$ admits a complete metric with $\lambda_1(-\gamma\Delta+\mathrm{Ric})>0$, making the known Betti-number bound sharp.
  • A tunnel can be inserted between any two points of a single admissible manifold with only an arbitrarily small loss: the new metric satisfies the bound with $\lambda-\varepsilon$ in place of $\lambda$.
  • The proof's principal term carries the factor $\gamma(n-2)-(n-1)$, so the construction works exactly when $\gamma>(n-1)/(n-2)$ and its main term vanishes at the critical value.

Reading between the lines

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

  • The same tunnel-and-Green's-function strategy has an evident higher-codimension analogue: for a surgery of codimension $k$ with $2<k\le n-1$, the stabilizing coefficient would be $\gamma-(k-1)/(k-2)$, so the natural conjecture is that spectral Ricci bounds are stable under such surgeries exactly when $\gamma>(k-1)/(k-2)$.
  • Because the proof only needs $f$ convex near the transition rather than a solution of a special differential equation, the tunnel profile is highly flexible; perturbing $f$ inside the allowed class should preserve the bound, suggesting the construction is stable under small geometric perturbations of the neck.
  • The threshold prediction is testable in low dimensions: at $\gamma=(n-1)/(n-2)$ the principal term vanishes, so any connected-sum metric satisfying the bound at the critical value would have to come from a mechanism entirely different from the Green's-function tunnel described here.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proves a connected-sum (tunnel-gluing) theorem for complete n-manifolds satisfying a spectral Ricci lower bound of the form λ1(−γΔ + Ric) ≥ λ. In the supercritical range γ > (n−1)/(n−2), given any two points x1, x2 on such a manifold M, the authors construct a complete metric on the manifold obtained by removing two small balls and inserting a tunnel S^{n−1}×[0,1], preserving the bound with an arbitrarily small loss ε (Theorem 1). The proof is based on solving a two-pole Poisson equation for the operator −γΔ + Ric − (λ−ε/2) with Green's function asymptotics, then interpolating the Green's function with a model warped-product eigenfunction f^{2−n} on the tunnel. Corollaries assert invariance under connected sums and under taking connected sums with S^{n−1}×S^1, and the abstract claims that the threshold γ=(n−1)/(n−2) is sharp.

Significance. If correct, the result is a clean and non-obvious stability property for spectral Ricci lower bounds under codimension-one surgery, complementing the Betti-number and rigidity results of Bour–Carron and the criticality framework of Catino–Mari–Mastrolia–Roncoroni. The paper's main strength is its explicit local analysis: Lemmas 2–6 give careful estimates for the Ricci curvature, Laplacian, and error terms on the tunnel, and the construction of the interpolated metric and eigenfunction is concrete. The argument is not fully self-contained, but the external inputs are standard and the local computations are detailed enough to be checkable. The paper also usefully identifies the same threshold γ=(n−1)/(n−2) that appears in previous rigidity results.

major comments (2)
  1. [Section 2.1, Eq. (2)] The proof imports the existence of a two-pole positive Green's function u solving −γΔu + Ric·u = (λ−ε/2)u + δ_{x1}+δ_{x2} from [5, Theorem 2.3 (i) ⇔ (iv)], but the theorem is not stated and its hypotheses are not verified in the present setting. In particular, M is allowed to be non-connected, x1 and x2 may lie in different components or in compact components, and the source is a sum of two Dirac masses. Since Proposition 1 and Theorem 1 depend critically on this u and on its sharp r^{2−n} asymptotics, this is a load-bearing citation gap. Please either quote the relevant theorem and check its hypotheses explicitly, or give a short direct construction (for instance, as a sum of one-pole Green's functions on the relevant components).
  2. [Abstract and Section 1] The abstract's claim that the range γ>(n−1)/(n−2) is 'sharp' for the connected-sum preservation is not proved. The examples from [2, Remark 4] cited in Section 1 are counterexamples to the volume-comparison theorem, not to the preservation of the spectral Ricci bound under connected sums. No example is given with γ≤(n−1)/(n−2) for which the conclusion of Theorem 1 fails. Please either prove sharpness of the connected-sum statement itself, or rephrase the abstract to say that the construction requires γ>(n−1)/(n−2) and that this threshold is the one appearing in the associated rigidity phenomena.
minor comments (5)
  1. [Eq. (3)] In the reversed coordinate r∈(−r0,0) on U1, the expression r^{2−n} should be interpreted as |r|^{2−n} (or the notation should be adjusted), since u is positive while r^{2−n} would be signed for odd n.
  2. [Corollary 1] The connected sum M1#M2 is not well-defined when M1 or M2 is non-connected without specifying which components are being summed; please clarify the statement (for instance, by taking the connected sum of chosen components, or by first noting the hypothesis passes to components).
  3. [Proof of Theorem 1] The smoothness of g′ and u′ across the gluing boundaries r=±r0 is asserted but not explicitly checked. It follows because f is linear in a neighborhood of ±1 and the new objects agree with the old ones in a neighborhood of the boundaries, but a one-sentence justification would make the proof complete.
  4. [Lemma 8] The applications of [15, Theorem 10] and [16, Theorem 1] are terse; please state the exact hypotheses used (e.g., the removability theorem and the two-sided isolated-singularity bound) so the reader can verify that the regularity and the r^{2−n} bounds indeed hold in this setting.
  5. [Section 1, discussion after Corollary 2] To conclude sharpness of the constant in Bour–Carron's Betti number bound with λ=n−1, one should mention the scaling argument: if a metric satisfies λ1(−γΔ+Ric)>0, scaling it by a constant makes the spectral lower bound equal to n−1. As written, the text jumps from positivity to the Betti number statement.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the connected-sum proof is self-contained from an externally imported Green's-function existence theorem; only a minor self-citation contextualizes sharpness.

full rationale

The derivation of Theorem 1 is not circular. The key input, the two-pole Green's function u in equation (2), is imported from [5, Theorem 2.3], an external paper by Catino, Mari, Mastrolia, and Roncoroni, not from the authors' own work. The asymptotic expansion Lemma 8 is proved using Serrin's classical theorems [15,16] and an explicit integration-by-parts computation identifying the coefficient b = a/((n-2)|S^{n-1}|); it is not assumed as part of the conclusion. Proposition 1's inequality is then verified by direct Ricci and Laplacian computations (Lemmas 2-5) plus the algebraic Lemma 6, with the threshold gamma > (n-1)/(n-2) entering through the positive coefficient gamma(n-2)-(n-1). The only self-citation is [2], used in the introduction to recall the sharp-threshold counterexamples and to contextualize the volume comparison; this does not feed into the proof of Theorem 1 or Corollaries 1-2. If [5, Theorem 2.3] does not cover the stated generality, for example disconnected M or multiple poles, that would be a citation-gap correctness issue, not circularity, since the cited result is external and does not presuppose the theorem being proved.

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

The proof relies on standard elliptic PDE and geometric comparison results for the Green's function and on the existence of an auxiliary warping function. No free parameters are fitted and no new entities are postulated.

assumptions (4)
  • standard math Spectral bound lambda1(-gamma Delta + Ric) >= lambda is equivalent to existence of a positive Green's function for -gamma Delta + Ric - (lambda - epsilon/2) with two point sources; used to obtain equation (2).
    Imported from [8] and [5, Theorem 2.3]; it is the bridge from the spectral assumption to the gluing PDE.
  • standard math Serrin's isolated singularity theorems ([15, Theorem 10] and [16, Theorem 1]) give C^{-1} r^{2-n} <= u <= C r^{2-n} and the asymptotic expansion near each pole used in Lemma 8.
    Used in Section 3 to establish the Green's function asymptotics that match the tunnel model.
  • standard math Bour-Carron's Betti number bound [3, Proposition 3.5] holds as stated and applies to closed manifolds with lambda1(-gamma Delta + Ric) >= n-1 for gamma <= (n-1)/(n-2).
    Used to argue the threshold is sharp for the Betti bound; this supports but does not fully prove sharpness of Theorem 1's range.
  • ad hoc to paper There exists a smooth even function f satisfying (9) with the required convexity and derivative signs, and the cutoff and small-radius parameters can be chosen consistently.
    The tunnel metric and the main inequality (29)-(31) depend on these choices; no explicit formula for f is given.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Connected sum of manifolds with spectral Ricci lower bounds." pith.science (2026). https://pith.science/paper/QS6GKGOR

@misc{pith2026250518320,
  author       = {Pith},
  title        = {Pith review of: Connected sum of manifolds with spectral Ricci lower bounds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QS6GKGOR}},
  note         = {Machine review of arXiv:2505.18320}
}
abstract

Let $n > 2$, $\gamma > \frac{n-1}{n-2}$, and $\lambda \in \mathbb{R}$. We prove that if $M$ and $N$ are two smooth $n$-manifolds that admit a complete Riemannian metric satisfying \[-\gamma\Delta + \mathrm{Ric} > \lambda,\]then the connected sum $M \# N$ also admits such a metric. The construction geometrically resembles a Gromov-Lawson tunnel; the range $ \gamma > \frac{n-1}{n-2} $ is sharp for this to hold.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references · 9 canonical work pages

  1. [5]

    Catino, L

    G. Catino, L. Mari, P. Mastrolia, and A. Roncoroni. Criticality, splitting theorems under spectral Ricci bounds and the topology of stable minimal hypersurfaces . 2024. arXiv: 2412.12631 [math.DG]

    arXiv 2024

  2. [1]

    A sharp spectral splitting theorem

    G. Antonelli, M. Pozzetta, and K. Xu. “A sharp spectral splitting theorem”. Preprint arXiv:2412.12707. 2024

    arXiv 2024

  3. [2]

    Antonelli and K

    G. Antonelli and K. Xu. New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry . 2024. arXiv: 2405.08918 [math.DG]

    arXiv 2024

  4. [3]

    A sphere theorem for three dimensional manifolds with integral pinched curvature

    V. Bour and G. Carron. “A sphere theorem for three dimensional manifolds with integral pinched curvature”. In: Comm. Anal. Geom. 25.1 (2017), pp. 97–124. issn: 1019-8385,1944-9992. doi: 10.4310/CAG.2017.v25.n1.a3

    doi:10.4310/cag.2017.v25.n1.a3 2017

  5. [4]

    Limits of manifolds with a Kato bound on the Ricci curvature

    G. Carron, I. Mondello, and D. Tewodrose. “Limits of manifolds with a Kato bound on the Ricci curvature”. Preprint arXiv:2102.05940. Accepted in Geometry & Topol- ogy. 2021

    work page Pith review arXiv 2021

  6. [6]

    Stable anisotropic minimal hypersurfaces in R4

    O. Chodosh and C. Li. “Stable anisotropic minimal hypersurfaces in R4”. In: Forum Math. Pi 11 (2023), Paper No. e3, 22. issn: 2050-5086. doi: 10.1017/fmp.2023.1

    doi:10.1017/fmp.2023.1 2023

  7. [7]

    Stable minimal hypersurfaces in R5

    O. Chodosh, Chao Li, P. Minter, and D. Stryker. “Stable minimal hypersurfaces in R5”. Preprint arXiv:2401.01492. 2024

    arXiv 2024

  8. [8]

    The structure of complete stable minimal sur- faces in 3-manifolds of nonnegative scalar curvature

    D. Fischer-Colbrie and R. Schoen. “The structure of complete stable minimal sur- faces in 3-manifolds of nonnegative scalar curvature”. In: Comm. Pure Appl. Math. 33.2 (1980), pp. 199–211.issn: 0010-3640,1097-0312. doi: 10.1002/cpa.3160330206

    doi:10.1002/cpa.3160330206 1980

Show all 18 references
  1. [9]

    Four Lectures on Scalar Curvature

    M. Gromov. “Four Lectures on Scalar Curvature”. Preprint arXiv:1908.10612. 2021

    1908 arXiv

  2. [10]

    Weighted Poincar´ e inequality and rigidity of complete mani- folds

    P. Li and J. Wang. “Weighted Poincar´ e inequality and rigidity of complete mani- folds”. In: Ann. Sci. ´Ecole Norm. Sup. (4) 39.6 (2006), pp. 921–982. issn: 0012-9593. doi: 10.1016/j.ansens.2006.11.001

    2006 doi

  3. [11]

    L. Mari, M. Rigoli, and A. G. Setti. On the 1/H-flow by p-Laplace approxima- tion: new estimates via fake distances under Ricci lower bounds . 2023. arXiv: 1905. 00216v3 [math.DG]

    2023

  4. [12]

    L. Mazet. Stable minimal hypersurfaces in R6. 2024. arXiv: 2405.14676 [math.DG]. BIBLIOGRAPHY 11

    2024 arXiv

  5. [13]

    Generalized surgery on Riemannian manifolds of positive Ricci cur- vature

    P. Reiser. “Generalized surgery on Riemannian manifolds of positive Ricci cur- vature”. In: Trans. Amer. Math. Soc. 376.5 (2023), pp. 3397–3418. issn: 0002- 9947,1088-6850. doi: 10.1090/tran/8789

    2023 doi

  6. [14]

    On the structure of manifolds with positive scalar curva- ture

    R. Schoen and S. T. Yau. “On the structure of manifolds with positive scalar curva- ture”. In: Manuscripta Math. 28.1-3 (1979), pp. 159–183. issn: 0025-2611,1432-1785. doi: 10.1007/BF01647970

    1979 doi

  7. [15]

    Local behavior of solutions of quasi-linear equations

    J. Serrin. “Local behavior of solutions of quasi-linear equations”. In: Acta Math. 111 (1964), pp. 247–302. issn: 0001-5962,1871-2509. doi: 10.1007/BF02391014

    1964 doi

  8. [16]

    Isolated singularities of solutions of quasi-linear equations

    J. Serrin. “Isolated singularities of solutions of quasi-linear equations”. In: Acta Math. 113 (1965), pp. 219–240.issn: 0001-5962,1871-2509. doi: 10.1007/BF02391778

    1965 doi

  9. [17]

    Positive Ricci curvature on the connected sums of Sn ×Sm

    J.-P. Sha and D. Yang. “Positive Ricci curvature on the connected sums of Sn ×Sm”. In: J. Differential Geom. 33.1 (1991), pp. 127–137. issn: 0022-040X,1945-743X

    1991

  10. [18]

    Surgery on Ricci positive manifolds

    D. Wraith. “Surgery on Ricci positive manifolds”. In: J. Reine Angew. Math. 501 (1998), pp. 99–113. issn: 0075-4102,1435-5345. doi: 10.1515/crll.1998.082. Gioacchino Antonelli Courant Institute Of Mathematical Sciences (NYU), 251 Mercer Street, 10012, New York, USA Email addre...

    1998 doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.