{"id":"arxiv/2607.25343","url":"https://arxiv.org/abs/2607.25343","tags":["math.DG"],"score":0,"title":"Bonnet-Myers type theorems for $Q$-curvature on four-manifolds","domain":"math.DG","source":"arxiv","authors":["Xumin Jiang","Mingxiang Li","Zhehui Wang"],"reviews":0,"subject":"math.DG","summary":"Let $(M^4,g)$ be a complete four-dimensional Riemannian manifold. First, if the $Q$-curvature $Q_g\\geq 6k^2$ and scalar curvature $R_g\\geq -12k$ for some positive constant $k$, then $(M^4,g)$ is either Einstein with $Ric_g=-3kg$ or compact with $R_g\\ge 12k$. As a corollary, the fundamental group $π_1(M^4)$ satisfies $|π_1(M^4)|\\leq 16π^2/(\\int_{M^4}Q_g dμ_g),$ under the additional assumption $R_g>-12k$. Second, if the scalar curvature $R_g>0$ and $Q_g\\geq θR_g$ for a positive constant $θ$, then $M^4$ is compact and the diameter of $(M^4,g)$ is at most $4π/\\sqrt{15θ}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}