A Note on Scalar curvature comparison rigidity for compact domains

We prove a generalization of Gromov's conjecture on scalar curvature rigidity of convex polytopes to arbitrary convex Riemannian polytope type domains via harmonic spinors on convex domians with boundary condition constructed by Brendle. In particular, we prove a rigidity results on comparison of scalar curvature and scaled mean curvature on the boundary for any convex domain in Euclidean space, which is a parallel of Shi-Tam's results.