Scalar curvature rigidity with a volume constraint (Q432561)

\textit{M. Min-Oo}'s conjecture on a rigidity property of metrics on a \(n\)-hemisphere \(\mathbb S_+^n\) [CRM Proc. Lect. Notes 15, 127--136 (1998; Zbl 0911.53032)], claimed uniqueness of the standard metric \(\bar{g}\) on \(\mathbb{S}_+^n\), \(n \geq 3\), among all metrics that have scalar curvature at least \(n(n-1)\), and induce the standard metric on the boundary, keeping it totally geodesic. This turned out to not being true, as proved by \textit{S.\ Brendle}, \textit{F. C. Marques} and \textit{A. Neves} in [Invent. Math. 185, No. 1, 175--197 (2011; Zbl 1227.53048)] where they constructed an infinite family of counterexamples in any neighbourhood of \(\bar{g}\) for the \(C^{\infty}\)-topology. However, the authors of the present paper prove that, by using some formulas for the perturbed metric developed by \textit{S. Brendle} and \textit{F. C. Marques} [J. Differ. Geom. 88, No. 3, 379--394 (2011; Zbl 1237.53037)], Min-Oo's conjecture is true under an additional volume constraint. In their main result, they prove that if \(g\) is a Riemannian metric on \(\mathbb{S}_+^n\), inducing on the boundary the same metric as \(\bar{g}\), with mean curvature \(H(g)\geq H(\bar{g})\), if the scalar curvature satisfy \(R(g)\geq R(\bar{g})\), and the volumes \(V(g)\geq V(\bar{g})\), and \(g\) is sufficiently close to \(\bar{g}\) for the \(C^2\)-topology, then there exists an isometric diffeomorphism \(\phi:(\mathbb{S}_+^n, \bar{g})\to (\mathbb{S}_+^n, {g})\) that fixes the boundary.