A sharp estimate for fill-ins with scalar curvature bounded from below

Abstract: We prove a rigidity result for the infimum of the boundary mean curvature in spin fill-ins with scalar curvature bounded below by $- n(n-1)$, which attains equality precisely for fill-ins isometric to geodesic balls in hyperbolic space. This resolves a conjecture of Gromov for spin manifolds.