Dihedral rigidity for submanifolds of warped product manifolds
Jinmin Wang, Zhizhang Xie
TL;DR
This paper proves Gromov's dihedral extremality and rigidity conjectures for a wide class of codimension-zero submanifolds with polyhedral boundary inside warped product spaces, including cases where the submanifold faces are neither orthogonal nor parallel to the radial direction. It develops a spinorial framework using a warped-product-derived potential in a Dirac operator and leverages index theory for polyhedral boundaries to obtain sharp curvature and dihedral-angle equalities under nonzero degree maps. The results cover radially convex domains in warped products and extend to hyperbolic manifolds (notably parabolic prisms in $\mathbb{H}^n$) and certain direct-product spaces, yielding rigidity statements that force local isometries or product decompositions when curvature, dihedral, and boundary data saturate the comparisons. Overall, the work broadens the scope of dihedral rigidity from nonnegative-curvature leaves to hyperbolic settings and product geometries, with implications for scalar curvature, boundary geometry, and geometric-topological rigidity phenomena. The methods unify index-theoretic techniques with a spinorial approach to warped-product metrics and provide a robust framework for Stoker-type and related rigidity results in polyhedral geometry.
Abstract
In this paper, we prove a dihedral extremality and rigidity theorem for a large class of codimension zero submanifolds with polyhedral boundary in warped product manifolds. We remark that the spaces considered in this paper are not necessarily warped product manifolds themselves. In particular, the results of this paper are applicable to submanifolds (of warped product manifolds) with faces that are neither orthogonal nor parallel to the radial direction of the warped product metric. Generally speaking, the dihedral rigidity results require the leaf of the underlying warped space to have positive Ricci curvature and the warping function to be strictly log-concave. Nevertheless, we prove a dihedral rigidity theorem for a large class of hyperbolic polyhedra, where the leaf of the underlying warped product space is flat and the warping function is not strictly log-concave.
