, 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
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
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 ,
, 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
Reflection groups on the octave hyperbolic plane, Journal of Algebra, vol.213, pp.467-498, 1999. ,
The octonions, Bulletin. New Series, vol.39, pp.145-205, 2002. ,
Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften, vol.319 ,
, , 1999.
Autour de la conjecture de L. Markus sur les variétés affines, Inventiones Mathematicae, vol.95, pp.615-628, 1989. ,
Hyperbolic spaces". In: Contributions to analysis (a collection of papers dedicated to Lipman Bers, pp.49-87, 1974. ,
H-type groups and Iwasawa decompositions, In: Advances in Mathematics, vol.87, pp.1-41, 1991. ,
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. ,
Spherical CR-manifolds of dimension 3 ,
, Nova Série, vol.25, pp.31-56, 1994.
Closed similarity manifolds, Commentarii Mathematici Helvetici, vol.55, pp.576-582, 1980. ,
, Perspectives in Mathematics, vol.9, 1990.
Geometric superrigidity of spherical pseudoquaternionic manifolds, The Proceedings of the Conference on Geometric Structures on Manifolds, vol.46, pp.111-149, 1997. ,
Geometry of quaternionic hyperbolic manifolds, Mathematical Proceedings of the Cambridge Philosophical Society, vol.135, pp.291-320, 2003. ,
Uniformization of geometric structures with applications to conformal geometry, Differential geometry, vol.1209, 1985. ,
, , pp.190-209, 1986.
Foundations of flat conformal structure, Aspects of low-dimensional manifolds, vol.20, pp.167-261, 1992. ,
Spherical CR manifolds with amenable holonomy, International Journal of Mathematics, vol.1, pp.479-501, 1990. ,
The automorphism group of a composition of quadratic forms, Transactions of the American Mathematical Society, vol.269, pp.2-9947, 1982. ,
Explicit spin representations and Lie algebras of Heisenberg type, Journal of the London Mathematical Society. Second Series, vol.29, pp.49-62, 1984. ,
, Three-dimensional geometry and topology, vol.1, 1997.