Kim, Inkang, Parker, John R, "Geometry of quaternionic hyperbolic manifolds", Mathematical Proceedings of the Cambridge Philosophical Society, 2025