La dichotomie elliptique-hyperbolique en homotopie rationnelle
La dichotomie elliptique-hyperbolique en homotopie rationnelle

Français
The homotopy groups πi(X) of a 1-connected finite space X are finitely generated abelian groups. They can be written : πi(X)=Zni+Ti, where Ti is a finite group. There are then exactly two possibilities, either all the ni except a finite number are zero, or there is an infinite sequence of nonzero ni. This naive dichotomy is fundamental and its description is the object of the text. If a space is elliptic, then its Euler-Poincare characteristic is non negative and its cohomology satisfies Poincare duality. Moreover, all the ni are zero for i greater or equal to two times the dimension of the space. On the other hand, if X is hyperbolic, then the sequence ∑i≤rni has an exponential growth. The graded rational vector space π∗(ΩX)⊗Q inherits a natural structure of graded Lie algebra. The fundamental theorem of the texts concerns its structure : In fact, the depth of this Lie algebra is less or equal to the category of the space. This fact leads us in a natural way to the study of graded Lie algebra of finite depth. We prove for instance that these Lie algebras are solvable if and only if they are finite dimensional.