In this talk, I will give an introduction to an index theorem for manifolds with polyhedral boundary and explain how to use this index theorem to prove Gromov’s dihedral extremality conjecture on scalar curvature (joint work with Jinmin Wang and Zhizhang Xie). I will also discuss subsequent work of Jinmin and Zhizhang on Gromov’s dihedral rigidity conjecture.