Fried's theorem for boundary geometries of rank one symmetric spaces

After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried’s theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the developing map is a covering onto the Heisenberg-type space deprived of a point.