On the systole growth in congruence quaternionic hyperbolic manifolds
arXiv:1911.01170
Abstract
We provide an explicit lower bound for the sytole in principal congruence covers of compact quaternionic hyperbolic manifolds. We also prove the optimality of this lower bound.
15 pages