On the systole growth in congruence quaternionic hyperbolic manifolds

Abstract

We provide an explicit lower bound for the systole in principal congruence covers of compact quaternionic hyperbolic manifolds. We also prove the optimality of this lower bound.