Non-escape of mass for arithmetic quantum limits on hyperbolic $4$-manifolds

We make progress on the quantum unique ergodicity (QUE) conjecture for Hecke-Maass forms on a congruence quotient of hyperbolic $4$-space, eliminating the possibility of “escape of mass” for these forms.