Pith. sign in

REVIEW 2 major objections 4 minor 24 references

Bonnet-Myers type theorems for $Q$-curvature on four-manifolds

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read On a complete four-manifold, a positive lower bound on the scalar curvature and the Q-curvature forces compactness, and a positive lower bound on Q/R caps the diameter at 4π/√(15k).

desk verdict Solid short paper; new idea is using Q/R in the Shen-Ye conformal Ricci inequality. The diameter theorem has an implicit geodesic setup that should be made explicit, but the math holds up. read the letter →

arxiv 2607.25343 v1 pith:MREEDNX7 submitted 2026-07-28 math.DG

Mingxiang Li This is my paper · ORCID
classification math.DG MSC 53C2053C2153C18
keywords Q-curvaturescalarcurvaturefour-manifoldscompleteRiemannianmanifoldcompactnessdiameterboundconformalRiccitensorsecondvariation
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

This paper asks whether two scalar curvature invariants special to four dimensions—the Q-curvature and the scalar curvature—can play the role that Ricci lower bounds play in the classical compactness-and-diameter theorem. It establishes two results. If both $R_g$ and $Q_g$ are bounded below by positive constants on a complete four-manifold, the manifold is compact. If $R_g$ is bounded below by a positive constant and the quotient $Q_g/R_g$ is bounded below by a positive constant $k$, then the manifold's diameter is at most $4\pi/\sqrt{15k}$. The interest is that $Q$ and $R$ are conformally meaningful scalars rather than a tensor bound, so the result connects conformal curvature invariants to the coarse geometry of the manifold, and it suggests a possible analogue of the Ricci-based diameter bound in which the quotient $Q/R$ plays the role of the curvature lower bound.

What carries the argument

The load-bearing identity is the pointwise estimate $\operatorname{Ric}_g(v,v) - \frac{\Delta_g R_g}{2R_g} \geq \frac{3Q_g}{R_g}$, valid when $R_g>0$. This is read as a lower bound on the conformal Ricci tensor $\operatorname{Ric}_g - \frac{1}{2} R_g^{-1} (\Delta_g R_g) g$. Plugging this into a second-variation inequality for a minimizing geodesic of the conformally changed metric $\tilde{g} = R_g g$ yields, for every test function $\phi$, an integral inequality of the form $\frac{16}{5} \int (\phi')^2 \geq 3k \int \phi^2$ over the geodesic interval, from which the diameter bound follows immediately. The compactness proof uses the same inequality on an infinite ray and invokes a Sturm-type lemma that produces a positive solution of $y'' + V y = 0$; positivity plus concavity gives the contradiction.

What would settle it

Exhibit one complete noncompact four-manifold whose scalar curvature has a positive lower bound and whose Q-curvature also has a positive lower bound; Theorem 1.1 asserts that no such object exists, so this existence check is a direct falsifier. A more numerical check for Theorem 1.2 is to compute the second-variation constant on a round four-sphere: the proof's coefficient $\frac{16}{5}$ in (3.6) must reproduce the bound $4\pi/\sqrt{15k}$; a mismatch would indicate an algebraic slip.

Watch

Extended reading notes

Core claim

On a complete four-manifold, a positive lower bound on Q-curvature together with a positive lower bound on scalar curvature forces compactness; the quantitative version replaces the Q lower bound by a lower bound on $Q/R$ and yields $\operatorname{diam}(M^4,g) \leq 4\pi/\sqrt{15k}$. The argument begins with a pointwise inequality that controls the Ricci curvature (up to a log-scalar-curvature correction) by $3Q/R$, transforms it into a lower bound for a conformally modified Ricci tensor, and then uses a second-variation estimate along geodesics of the conformal metric $R_g g$ to obtain a one-dimensional integral inequality. In the noncompact case this inequality leads to a contradiction on a ray; in the bounded case a sine

Load-bearing premise

The diameter bound depends on the assumption that the curve in the second-variation estimate can be taken to be a minimizing geodesic of the conformal metric $R_g g$, and that its $g$-length is at least the $g$-distance between its endpoints; the proof in the paper does not spell this comparison out.

Editorial extensions

If this is right

  • Every complete four-manifold with R_g ≥ c' > 0 and Q_g ≥ c > 0 is compact; in particular no complete noncompact four-manifold can have uniformly positive scalar and Q curvature.
  • If Q_g/R_g ≥ k and R_g has a positive lower bound, any curve of the type used in the proof has g-length at most 4π/√(15k), and the g-diameter of the manifold is bounded by the same quantity.
  • The conjectural sharp constant π/√(2k) would make the quotient Q/R behave exactly like a positive Ricci lower bound in the classical diameter theorem, with the round four-sphere as the extremal model (where Q/R=1/2).
  • When Q_g ≥ 6 (the value on the unit round four-sphere) and the scalar curvature is bounded below by a positive constant, compactness holds and the total volume is at most that of the round four-sphere, with equality only in the round case.

Reading between the lines

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

  • The diameter proof never states that the chosen geodesic is a minimizing geodesic of R_g g connecting two arbitrary points, nor that its g-length controls the g-distance; without that comparison, the bound on one curve's length would not imply a global diameter bound.
  • Because the proof controls geodesic segments of the conformal metric, a similar argument could yield local volume growth estimates or a comparison of Bishop–Gromov type governed by k, not just a diameter cap.
  • The paper's two conjectures—Q≥0 and R≥0 imply Ric≥0, and Q≥6 with R≥0 implies compactness—are connected: if the former holds globally, the latter follows from the compactness theorem proved here. A natural test case is conformally flat four-manifolds, where the paper notes the first conjecture is already verified.
  • The quotient Q_g/R_g is treated as a single scalar quantity; this suggests looking for other conformal invariants whose lower bounds can substitute for Ricci bounds in comparison geometry.
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 / 4 minor

Summary. The paper proves two Bonnet–Myers type theorems for complete four-manifolds using Q-curvature and scalar curvature lower bounds. Theorem 1.1 asserts compactness when Q_g ≥ c > 0 and R_g ≥ c' > 0. Theorem 1.2 asserts diam(M^4,g) ≤ 4π/√(15k) when R_g is bounded below by a positive constant and Q_g/R_g ≥ k > 0. The proofs combine a pointwise inequality (Lemma 2.1), a second-variation inequality for geodesics of the conformal metric R_g g (Lemma 2.2), and a one-dimensional Allegretto–Piepenbrink lemma (Lemma 2.3). The paper also contains rigidity and volume results in Section 4.

Significance. If correct, these results are a natural addition to the Bonnet–Myers literature: they show that lower bounds on Q and R, or on their ratio, can replace a Ricci lower bound in yielding compactness and a diameter bound. The proofs are largely self-contained and the constants are explicit; Remark 1.3 gives a concrete conjectured sharp bound. The main proof of Theorem 1.2, however, leaves a key step implicit and should be revised before publication.

major comments (2)
  1. [§3, proof of Theorem 1.2] The proof starts with 'Consider a curve γ(s) on [0,l] chosen as in Lemma 2.2' and derives l ≤ 4π/√(15k). This does not yet control the g-diameter. Lemma 2.2 applies to a minimizing geodesic of \tilde g = R_g g, reparametrized by g-arc length. To conclude diam(M,g) ≤ ... you must state that for arbitrary p,q ∈ M you take a minimizing \tilde g-geodesic joining them (which exists because R_g ≥ c > 0 makes \tilde g complete), and that its g-length l satisfies d_g(p,q) ≤ l_g(γ) by definition of the distance. Without these sentences the displayed bound is not explicitly connected to the diameter. Please add this argument.
  2. [§2, Lemma 2.3] The passage from the eigenvalue problems on I_j to a global positive solution y is only sketched. Since V can be unbounded on (0,∞), the claim that Arzelà–Ascoli yields a limit requires uniform C^1 bounds on compact subintervals; please provide a Harnack/elliptic estimate or a precise reference. Lemma 2.3 is used in the proof of Theorem 1.1, so this point should be made rigorous.
minor comments (4)
  1. [§3, proof of Theorem 1.1] In the proof of Theorem 1.1, after constructing the ray in (M,\tilde g), it would be helpful to state explicitly that every subsegment is minimizing, so that Lemma 2.2 applies; also justify \tilde g-completeness via \tilde g ≥ c' g.
  2. [§3, proof of Theorem 1.2] After fixing the major point above, please display the computation of the test function: ∫_0^l (ϕ')^2 = π^2/(2l), ∫_0^l ϕ^2 = l/2, so l ≤ 4π/√(15k).
  3. [§2, Lemma 2.2] The parameter interval is called L in the proof and l in the statement and applications; align the notation for readability.
  4. [Throughout] Minor typos: 'Institue' in the affiliation; 'K¨ahler' in the references; 'eγ' should be '\tildeγ' in the proof of Lemma 2.2.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are proved in-paper from standard curvature estimates and self-contained lemmas; self-citations are not load-bearing.

full rationale

The derivation chain for Theorems 1.1 and 1.2 is self-contained and does not reduce to its inputs by construction. Lemma 2.1 is proved directly from the definition of Q-curvature and Cauchy's inequality, Lemma 2.2 is proved in full from conformal transformation formulas and the second variation inequality, and Lemma 2.3 is proved by a variational argument. The proofs of the main theorems use these lemmas without fitting any parameter or assuming the diameter bound. The only notable omission is that the proof of Theorem 1.2 leaves implicit that the curve γ is a minimizing geodesic for the conformal metric R_g g and that its g-length l satisfies d_g(p,q) ≤ l for arbitrary p,q; this is a gap in exposition/justification, not a circular reduction. Self-citations to the author's prior work appear in the introduction and in Section 4's volume discussion, but the central proofs do not lean on them, and Proposition 4.6 invokes an external result of Gursky alongside [14] without importing the theorem being proved. Therefore there is no self-definitional, fitted-input, or self-citation-circularity in the main claims.

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

No free parameters are fitted; constants c,c',k are hypotheses, and 4π/√(15k) is derived. The main proofs rely on standard Riemannian/conformal geometry facts and on two lemmas proved in the text. The author's previous works are cited for motivation and for the non-central volume result, not for the main theorems.

assumptions (8)
  • standard math Second variation inequality for minimizing geodesics
    Used in Lemma 2.2; the paper gives a proof for the conformal setting.
  • standard math Conformal transformation formula for the Ricci tensor (Besse, p.58)
    Used in the proof of Lemma 2.2.
  • standard math Hopf–Rinow theorem and existence of rays in complete noncompact manifolds
    Used in Theorem 1.1 to produce a minimizing ray in \tilde g=R g.
  • standard math One-dimensional Allegretto–Piepenbrink / positive solution criterion
    Proved in Lemma 2.3 and used to convert the quadratic-form inequality into existence of a positive solution y''+Vy=0.
  • standard math Strong maximum principle for elliptic operators
    Used in Proposition 4.1; not needed for the main compactness/diameter theorems.
  • standard math Omori–Yau maximum principle
    Used in Proposition 4.3 (supplementary result).
  • domain assumption Gursky's Theorem B (Ref [11])
    Used in Proposition 4.6 as a black box for the principal eigenvalue; not used in Theorems 1.1–1.2.
  • domain assumption Li–Wei Theorem 1.6 from Ref [14]
    An external higher-order Bol inequality used only in Proposition 4.6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bonnet-Myers type theorems for $Q$-curvature on four-manifolds." pith.science (2026). https://pith.science/paper/MREEDNX7

@misc{pith2026260725343,
  author       = {Pith},
  title        = {Pith review of: Bonnet-Myers type theorems for $Q$-curvature on four-manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MREEDNX7}},
  note         = {Machine review of arXiv:2607.25343}
}
abstract

Consider a complete four-dimensional Riemannian manifold $(M^4,g)$ whose scalar curvature $R_g$ is bounded below by a positive constant. First, if the Q-curvature $Q_g$ is also bounded below by a positive constant, then $M^4$ is compact. Second, if the quotient $Q_g/R_g$ bounded below by a positive constant $k$, then the diameter of $M^4$ is less than or equal to $4\pi /\sqrt{15k}.$

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 3 linked inside Pith

  1. [1]

    Ambrose, A theorem of Myers, Duke Math

    W. Ambrose, A theorem of Myers, Duke Math. J. 24 (1957), 345–348

    1957

  2. [2]

    Besse, Einstein manifolds, Ergeb

    A. Besse, Einstein manifolds, Ergeb. Math. Grenzgeb. (3), 10 Springer-Verlag, Berlin,

  3. [3]

    Brendle, S

    S. Brendle, S. Hirsch, F. Johne, A generalization of Geroch’s conjecture, Comm. Pure Appl. Math. 77 (2024), no. 1, 441–456

    2024

  4. [4]

    Calabi, On Ricci curvature and geodesics, Duke Math

    E. Calabi, On Ricci curvature and geodesics, Duke Math. J. 34 (1967), 667–676

    1967

  5. [5]

    S.-Y. A. Chang, M. Gursky, P. Yang, An equation of Monge-Amp` ere type in confor- mal geometry, and four-manifolds of positive Ricci curvature, Ann. of Math. (2) 155 (2002), no. 3, 709–787

    2002

  6. [6]

    S.-Y. A. Chang, P. Yang, Extremal metrics of zeta function determinants on 4- manifolds, Ann. of Math. (2) 142 (1995), no. 1, 171–212

    1995

  7. [7]

    Cheeger, M

    J. Cheeger, M. Gromov, M. Taylor, Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian mani- folds, J. Differential Geometry 17 (1982), no. 1, 15–53

    1982

  8. [8]

    Cheng, Eigenvalue comparison theorems and its geometric applications, Math

    S. Cheng, Eigenvalue comparison theorems and its geometric applications, Math. Z. 143 (1975), no. 3, 289–297

    1975

Show all 24 references
  1. [9]

    Y. Ge, G. Wang, W. Wei, A Yamabe problem for the quotient between the Q curva- ture and the scalar curvature, arXiv:2603.15074

  2. [10]

    Gursky, The Weyl functional, de Rham cohomology, and K¨ ahler-Einstein metrics, Ann

    M. Gursky, The Weyl functional, de Rham cohomology, and K¨ ahler-Einstein metrics, Ann. of Math. (2) 148 (1998), no. 1, 315–337

    1998

  3. [11]

    Gursky, The principal eigenvalue of a conformally invariant differential operator, with an application to semilinear elliptic PDE, Comm

    M. Gursky, The principal eigenvalue of a conformally invariant differential operator, with an application to semilinear elliptic PDE, Comm. Math. Phys. 207 (1999), no. 1, 131–143

    1999

  4. [12]

    Gursky, A

    M. Gursky, A. Malchiodi, A strong maximum principle for the Paneitz operator and a non-local flow for the Q-curvature, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 9, 2137–2173

    2015

  5. [13]

    Li, Obstructions to prescribed Q-curvature of complete conformal metrics onR n, Rev

    M. Li, Obstructions to prescribed Q-curvature of complete conformal metrics onR n, Rev. Mat. Iberoam. 42 (2026), no. 1, 75–94

    2026

  6. [14]

    M. Li, J. Wei, Higher order Bol’s inequality and its applications, arXiv:2308.11388v2

    arXiv

  7. [15]

    M. Li, J. Wei, X. Xu, On geometry ofQ (2k) g -curvature, arXiv:2506.20165

  8. [16]

    M. Li, X. Xu, A sharp isoperimetric inequality and the top orderQ-curvature, arXiv:2607.06951

    arXiv

  9. [17]

    Li, On extensions of Myers’ theorem, Bull

    X.-M. Li, On extensions of Myers’ theorem, Bull. London Math. Soc. 27 (1995), no. 4, 392–396

    1995

  10. [18]

    Myers, Riemannian manifolds with positive mean curvature

    S. Myers, Riemannian manifolds with positive mean curvature. Duke Math. J. 8 (1941), 401–404. BONNET-MYERS TYPE THEOREMS FORQ-CUR V ATURE ON FOUR-MANIFOLDS 13

    1941

  11. [19]

    Omori, Isometric immersions of Riemannian manifolds, J

    H. Omori, Isometric immersions of Riemannian manifolds, J. Math. Soc. Jpn. 19 (1967), 205–214

    1967

  12. [20]

    Y. Pinchover, Topics in the theory of positive solutions of second-order elliptic and parabolic partial differential equations, Spectral theory and mathematical physics: a Festschrift in honor of Barry Simon’s 60th birthday, 329–355. Proc. Sympos. Pure Math., 76, Part 1 Americ...

    2007

  13. [21]

    Y. Shen, R. Ye, On stable minimal surfaces in manifolds of positive bi-Ricci curva- tures, Duke Math. J. 85 (1996), no. 1, 109–116

    1996

  14. [22]

    Y. Shen, R. Ye, On the geometry and topology of manifolds of positive bi-Ricci curvature, arXiv:dg-ga/9708014

    arXiv

  15. [23]

    Simon, Schr¨ odinger semigroups, Bull

    B. Simon, Schr¨ odinger semigroups, Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 3, 447–526

    1982

  16. [24]

    Yau, Harmonic functions on complete Riemannian manifolds

    S.-T. Yau, Harmonic functions on complete Riemannian manifolds. Commun. Pure Appl. Math. 28 (1975), 201–228. Mingxiang Li, Department of Mathematics & Institue of Mathematical Sci- ences, Chinese University of Hong Kong Email address:mingxiangli@cuhk.edu.hk

    1975

Pith tools

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