Bonnet-Myers type theorems for $Q$-curvature on four-manifolds
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 $\pi_1(M^4)$ satisfies...