, We will show that it does not occur. If N ? I is simply connected, then the holonomy group must be discrete, which contradicts the preceding lemma. So we suppose, that N ? I is not simply connected. This case occurs if I is an affine subspace of real codimension 2. Let H be an affine half-space with ?H = I. By turning H around I

, The subgroup of Sim(N ) stabilizing I contains dilatations f, g with different fixed points. The lifted group Sim(I) × R containsf ,g (essentiallyf f × {0} since f = g ij does not rotate much around I) again contracting and with different fixed points. We now have a lifting of, Since I is invariant by the holonomy group ?, and since ? contains contractions (such as g ij ) it follows that I is stable by dilatations

H. I)×r and . ×r)-structure, The developing map is given by the choice of a point: take p ?M and D(p) ? N ? I, we have to choose q ? H × R such that q is send to D(p) by the covering H × R ? N ? I, denote q by D (p). The new developing map D

, It is sent to a path in N ? I which is covered by a pathq(t) inM since D is a covering map, and D (q(t)) = q(t) by local triviality. Since H × R is simply connected, the new holonomy group ? must be discrete

, This concludes Fried's theorem's proof since I must be constituted of a single point (which must be totally fixed by ?)

, ?H n )-manifold. If D is not surjective then it is a covering onto its image. Furthermore, D is a covering on its image if, and only if, D(M ) is equal to a connected component of ?H n ? L(?). M be a closed (PU(n, 1), ?H n )-manifold. If the developing map is not surjective

?. If and ?. {a}, Since M is closed, it verifies the hypotheses of Fried's theorem and hence must be complete, then up to conjugation, we can suppose that ? = {?} and D(M ) ? N . Since ? is fixed by the holonomy group, we get a similarity structure (Sim(N ), N ) on M

?. Suppose, Then by minimality L(?) ? ?. If L(?) = ? then by

, Again, by Fried's theorem and since L(?) = {?}, the developing map is in fact a covering onto N , absurd. Hence, L(?) consists of at least two points and is contained in ?, Hence L(?) consists of one or at least two points. If L(?) = {a} then we can suppose it is ? and D(M ) ? N

D. Allcock, Reflection groups on the octave hyperbolic plane, Journal of Algebra, vol.213, pp.467-498, 1999.

J. C. Baez, The octonions, Bulletin. New Series, vol.39, pp.145-205, 2002.

R. Martin, A. Bridson, and . Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften, vol.319

. Springer-verlag, , 1999.

Y. Carrière, Autour de la conjecture de L. Markus sur les variétés affines, Inventiones Mathematicae, vol.95, pp.615-628, 1989.

S. Shyan, L. Chen, and . Greenberg, Hyperbolic spaces". In: Contributions to analysis (a collection of papers dedicated to Lipman Bers, pp.49-87, 1974.

M. Cowling, H-type groups and Iwasawa decompositions, In: Advances in Mathematics, vol.87, pp.1-41, 1991.

E. Falbel, A spherical CR structure on the complement of the figure eight knot with discrete holonomy, Journal of Differential Geometry, vol.79, pp.22-040, 2008.

E. Falbel and N. Gusevskii, Spherical CR-manifolds of dimension 3

, Nova Série, vol.25, pp.31-56, 1994.

D. Fried, Closed similarity manifolds, Commentarii Mathematici Helvetici, vol.55, pp.576-582, 1980.

F. and R. Harvey, Perspectives in Mathematics, vol.9, 1990.

Y. Kamishima, Geometric superrigidity of spherical pseudoquaternionic manifolds, The Proceedings of the Conference on Geometric Structures on Manifolds, vol.46, pp.111-149, 1997.

I. Kim and J. R. Parker, Geometry of quaternionic hyperbolic manifolds, Mathematical Proceedings of the Cambridge Philosophical Society, vol.135, pp.291-320, 2003.

R. S. Kulkarni and U. Pinkall, Uniformization of geometric structures with applications to conformal geometry, Differential geometry, vol.1209, 1985.

. Springer, , pp.190-209, 1986.

S. Matsumoto, Foundations of flat conformal structure, Aspects of low-dimensional manifolds, vol.20, pp.167-261, 1992.

R. R. Miner, Spherical CR manifolds with amenable holonomy, International Journal of Mathematics, vol.1, pp.479-501, 1990.

C. R. Riehm, The automorphism group of a composition of quadratic forms, Transactions of the American Mathematical Society, vol.269, pp.2-9947, 1982.

C. R. Riehm, Explicit spin representations and Lie algebras of Heisenberg type, Journal of the London Mathematical Society. Second Series, vol.29, pp.49-62, 1984.

W. P. Thurston, Three-dimensional geometry and topology, vol.1, 1997.