Soient p un nombre premier, n un entier, V un p-groupe abélien élémentaire de rang n et E un spectre en anneau commutatif muni d'une orientation complexe Landweber exact. Le but de ce travail est d'étudier la structure de comodule de la E-homologie de BV sur l'algébroïde de Hopf (E_*,E_*E). Pour cela, nous étudions les foncteurs de localisation sur les catégories de comodules, ainsi que la notion de produit semi-direct d'algébroïdes de Hopf. Dans le cas particulier où E est le spectre de Brown-Peterson BP, Johnson et Wilson ont déterminé une filtration de la BP-homologie de BZ/p^n dans la catégorie des BP_*-modules. Nous démontrons un résultat analogue dans la catégorie des BP_*BP-comodules; les quotients de cette filtration dépendent de la p-série universelle. Afin de mener des calculs explicites, nous introduisons un algébroïde de Hopf (S,S\Lambda) qui représente le groupoïde associé à l'action par conjugaison des séries formelles strictes sur l'ensemble des séries formelles.

Cette thèse a pour objet l'étude des espaces classifiants pour les actions propres d'un groupe discret. La dimension géométrique propre est la plus petite dimension possible pour un tel espace (qui existe toujours). Nous montrons tout d'abord que pour un réseau dans le groupe d'isométries d'un espace symétrique de type non-compact sans facteur euclidien, la dimension géométrique propre est égale à la dimension cohomologique virtuelle. La preuve utilise le fait que si le rang réel de l'espace est supérieur ou égal à 2 et le réseau est irréductible, alors il est arithmétique. Dans ce cas, nous pouvons calculer explicitement la dimension cohomologique virtuelle à l'aide du rang rationnel. Dans un deuxième temps, nous cherchons à construire concrètement des espaces classifiants pour les actions propres de dimension minimale. Nous essayons d'adapter la construction du "rétract bien équilibré" de Soulé et Ash (pour le cas SL(n,Z)) aux groupes arithmétiques Sp(2n,Z) et Aut(SL(n,Z)). Nous montrons qu'en fait cette construction ne s'étend pas. / In this thesis we study classifying spaces for proper actions of a discrete group. The proper geometric dimension is the smallest dimension of such a space (which always exists). Firstly we prove that for a lattice in the group of isometries of a symmetric space of the non-compact type without euclidean factors, the proper geometric dimension equals the virtual cohomological dimension. The proof relies on the fact that if the space has real rank at least 2 and if the lattice is irreducible, then it is arithmetic. In this case, the virtual cohomological dimension can be explicitly computed with the rational rank. Secondly we want to construct concretely classifying spaces for proper actions of minimal dimension. We try to adapt the construction of the "well-rounded retract" of Soulé and Ash (in the case SL(n,Z)) for the arithmetic groups Sp(2n,Z) and Aut(SL(n,Z)). We show that in fact this construction does not extend.

Cette thèse consiste d'une étude de la géométrie d'une certaine classe de groupes arithmétiques, à travers d'une action propre sur un espace contractile. Nous calculons explicitement leur homologie de groupe, et leur K-homologie équivariante. Plus précisément, considérons un corps de nombres quadratique imaginaire et son anneau d'entiers A. Les groupes de Bianchi sont les groupes SL_2(A) et PSL_2(A). Ces groupes agissent d'une manière naturelle sur l'espace hyperbolique à 3 dimensions. Ils constituent une clef pour l'étude d'une classe plus large de groupes, les groupes Kleiniens, étudiés depuis Poincaré. En fait, chaque groupe Kleinien arithmétique non-cocompact est commensurable avec un des groupes de Bianchi. L'auteur a implémenté à l'ordinateur, le calcul d'un domaine fondamental pour ces groupes. En calculant les stabilisateurs et identifications sur ce domaine fondamental, nous obtenons une structure explicite d'orbi-espace. Nous nous en servons pour étudier des aspects différents de la géométrie des groupes de Bianchi. D'abord, nous calculons l'homologie de groupe à coefficients entiers, à l'aide de la suite spectrale équivariante de Leray/Serre. Ensuite, nous calculons l'homologie de Bredon de groupes de Bianchi, de laquelle nous déduisons leur K-homologie équivariante. Par la conjecture de Baum/Connes, qui est vérifiée par nos groupes, nous obtenons la K-théorie des C*-algèbres réduites de nos groupes. Finalement, nous complexifions nos orbi-espaces, en complexifiant l'espace hyperbolique. Ceci nous permet de calculer la cohomologie d'orbi-espace de Chen/Ruan, qui est l'un des deux côtés de la conjecture de la résolution cohomologique crépante de Ruan.

Nous présentons une étude de la cohomologie à coefficients tordus de la réalisation géométrique des systèmes de liaison. Plus précisément, si (S, Ƒ, ℒ) est un groupe fini p-local, nous travaillons sur la cohomologie H*(\ℒ\, M) de la réalisation géométrique de ℒ, avec un Z(p)[π₁(\ℒ\)]-module M en coefficients, et ses liens avec les éléments Fᶜ-stables H* (Ƒᶜ, M) ⊆ H*(S, M) à travers l’inclusion de BS dans \ℒ\. Après avoir donné la définition des éléments Ƒᶜ-stables, nous étudions l’endomorphisme de H*(S, M) induit par un (S, S)-bi-ensemble Ƒᶜ-caractéristique et nous montrons que sous certaine hypothèse et si l’action est nilpotent, alors on a un isomorphisme naturel H*(\ℒ\, M) ≌ H* (Ƒᶜ,M). Ensuite, nous regardons les actions p-résolubles à travers la notion de sous-groupe p-local d’index premier à p ou une puissance de p. Nous montrons que si l’action de π₁(\ℒ\) sur M se factorise par un p'-groupe alors on a aussi un isomorphisme naturel. Pour une action p-résoluble plus général, nous obtenons un résultat dans le cas des systèmes réalisables. Ces résultats nous conduisent à la conjecture qu’on a un isomorphisme naturel pour tout groupe fini p-local et toute action p-résoluble. Nous donnons quelque outils pour étudier cette conjecture. Nous travaillons sur les produits de groupes finis p-locaux avec la formule de Kunneth et les systèmes de liaison que se décomposent bien vis-à-vis de la suite exacte longue de Mayer-Vietoris. Finalement, nous étudions les sous-groupes essentiels d’un produit couronné par Cp. Nous finissons par des exemples qui soulignent, qu’en général, on ne peut espérer un isomorphisme entre H*(\ℒ\, M) et H*(Ƒᶜ, M). / The aim of this work is to study the cohomology with twisted coefficients of the geometric realization of linking systems. More precisely, if (S, Ƒ, ℒ) is a p-local finite group, we work on the cohomology H*(\ℒ\, M) of the geometric realization of ℒ with coefficients in a Z(p)[π₁(\ℒ\)]-module M and its links with the Ƒᶜ-stables H*(Ƒᶜ, M) ⊆ H*(S, M) trough the inclusion of BS in \ℒ\. After we give the definition of Ƒᶜ-stable elements , we study the endomorphism of H*(S, M) induced by an Fc-characteristic (S, S)-biset and we show that, if the action is nilpotent- and we assume an hypothesis, we have a natural isomorphism H*(\ℒ\, M) ≌ H* (Fᶜ;M). Secondly, we look at p-solvable actions of π₁(\ℒ\) on M through the notion of p-local subgroups of index a power of p or prime to p. If the action factors through a p'-group, we show that there si also a natural isomorphism. We then work on extending this to any-p-solvable action and we get some positive answer then the p-local finite groupis realizable. Theses leads to the conjecture that it is true for any-p-local finite group and any-p-solvable actions. We also give some tools to study this conjecture on examples. We look at products of p-local finite groups with Kunneth Formula and linking system which can be decomposed in a way which behaves well with Mayer-Vietoris long exact sequence. Finally, we study essential subgroups of wreath productsby Cp. We finish with some examples which illustrate that, in general, we cannot hope an isomorphism between H*(\ℒ\, M) and H*(Ƒᶜ, M).