Compact affine manifolds with precompact holonomy are geodesically complete

Luis Aké Hau, Miguel Sánchez

This note proves the geodesic completeness of any compact manifold endowed with a linear connection such that the closure of its holonomy group is compact.