Rigidity, sharp inequalities, and stability for $\sigma_2$-curvature

Abstract

Using classical conformal divergence identities with a variable reference curvature, we prove four main results. First, we establish a general mean-curvature estimate for conformal metrics on the round hemisphere with $A_g\in\overline{\Gamma_2^+}$ and positive prescribed $H_2$ data. When $\sigma_2(A_g)=0$ and the boundary data are nonincreasing, the estimate yields rigidity, removing Case-Wang's pinching condition $\sup_\Sigma H_g\le 3\inf_\Sigma H_g$. For $n\ge 5$, the constant-data case also classifies the smooth critical metrics associated with their sharp $\sigma_2$ Sobolev trace conjecture. Second, within positive Einstein conformal classes, we extend the constant-$\sigma_2$ rigidity results of Viaclovsky and Gursky-Streets to nonincreasing prescribed data, including backgrounds with nonzero Weyl curvature for $n\ge 5$. Third, we extend Li-Li's spherical $\sigma_2/\sigma_1$ rigidity and Guan-Wang's sharp integral inequality to positive Einstein backgrounds, with the latter holding for $n\ge 5$ under positive scalar curvature. Fourth, we extend Frank-Peteranderl's spherical $\sigma_2$ stability to fixed nonround positive Einstein backgrounds in dimensions $n\ge 5$, retaining $H^1$ and $W^{1,4}$ control under positive scalar curvature.