Rigidity theorems for compact manifolds with boundary and positive Ricci curvature (Q2271912)

In the paper under review the authors prove two very interesting theorems motivated by a conjecture of Min-Oo: Let \((M^n, g)\) \((n\geq 2)\) be a compact Riemannian manifold with nonempty boundary \(\Sigma =\partial M\). Suppose {\parindent4mm \begin{itemize}\item[{\(\bullet\)}] \(\text{Ric}\geq (n-1)g\), \item[{\(\bullet\)}] \((\Sigma, g|_\Sigma)\) is isometric to the standard sphere \(\mathbb S^{n-1}\subset \mathbb R^n\), \item[{\(\bullet\)}] \(\Sigma\) is convex in \(M\) in the sense that its second fundamental form is nonnegative. Then \((M^n, g)\) is isometric to the hemisphere \(\mathbb S^{n-1}=\{x\in\mathbb R^{n+1}: |x|=1, x_{n+1}\geq 0\}\subset \mathbb R^{n+1}\). \end{itemize}} and Let \((M^n, g)\) be a compact Riemannian manifold with nonempty boundary \(\Sigma =\partial M\) and \(\overline\Omega\subset \mathbb S^n_+\) is a compact domain with smooth boundary in the open hemisphere. Suppose {\parindent4mm \begin{itemize}\item[{\(\bullet\)}] \(\text{Ric}\geq (n-1)g\), \item[{\(\bullet\)}] there is an isometric embedding \(\iota: (\Sigma, g_\Sigma) \to \partial \overline\Omega\) \item[{\(\bullet\)}] \(\Pi \geq \Pi_0\circ \iota\), where \(\Pi\) is the second fundamental form of \(\Sigma\) in \(M\) and \(\Pi_0\) is the second fundamental form of \(\partial \overline\Omega\) in \(\mathbb S^n_+\). \end{itemize}}