On the systole growth in congruence quaternionic hyperbolic manifolds

Vincent Emery, Inkang Kim, Plinio G. P. Murillo

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.