On décrit dans ce mémoire un ensemble d'algorithmes qui nous ont permis de développer un logiciel Lisp calculant l'homologie entière des espaces de lacets itérés. Dans le chapitre 1, on introduit une machine théorique (inspirée du -calcul) ou il faut interpréter les résultats de calculabilité démontrés dans les chapitres suivants. Le deuxième chapitre est consacre a étudier les propriétés de l'homologie effective et la théorie dite de perturbation homologique. Le lien entre l'algèbre et la topologie, autrement dit le théorème d'Eilenberg-Zilber est traite dans le troisième chapitre. On y inclut aussi une comparaison entre le théorème d'Eilenberg-Zilber tordu et le résultat de e. Brown sur l'existence des cochaines de torsion. En utilisant les résultats précédents, on donne dans le chapitre 4 un algorithme de calcul de l'homologie effective des espaces de lacets Iteres. Le point clé de cet algorithme est la transformation de la suite spectrale d'Eilenberg-Moore en un vrai procédé de calcul. Enfin, le chapitre 5 est consacre a décrire quelques détails d'implémentation du logiciel et a donner une liste d'exemples des groupes d'homologie qui ont été déjà calcules sur machine

Daniel Kan associe a tout ensemble simplicial réduit x un fibre principal contractile de base x et de fibre un groupe simplicial libre, note gx. Un concept généralisé de prisme nous permet de considérer ce groupe comme sous-quotient canonique d'un modèle simplicial de l'espace de lacets de x, et de munir l'espace total du fibre d'une contraction combinatoire évoquant l'idée topologique de contraction des chemins. Est ainsi établie une correspondance biunivoque explicite entre les représentants algébriques des classes d'homotopie de Gx et certains représentants géométriques des classes d'homotopie de x. En utilisant les propriétés homotopiques du commutant de Gx nous obtenons enfin une version effective du théorème de Hurewicz comportant entre autres la construction algorithmique de sphères combinatoires a partir de certains cycles homologique

Ce travail introduit la notion de schéma d'Atiyah et Hitchin. Une variété algébrique raisonnable Y étant fixée, il s'agit d'une famille de nouveaux schémas, indexée par un entier positif m et notée $R_m(Y)$. Nous étudions les propriétés homotopiques de ces « espaces » au sens de Morel et Voevodsky. Les schémas $F_m$ des fractions rationnelles pointées de degré m constituent un exemple fondateur et fondamental. Du point de vue topologique, les travaux de G. Segal et F. Cohen et al. montrent que l'espace $F_m(C)$ approxime l'espace de lacets $Ω^2 S^3$. Nous formulons une série précise de conjectures visant à généraliser ces résultats dans un cadre algébrique. Le schéma $R_m(Y)$ approximerait l'espace de lacets motivique $Ω^{P¹} Σ^{P¹} Y$. Nous obtenons plusieurs résultats dans cette direction. En particulier : 1) Nous déterminons l'ensemble des composantes connexes algébriques naïves du schéma de fractions rationnelles $F_m$, au-dessus d'un corps de base. Le calcul est simple et élémentaire. On retrouve, à une complétion près, le groupe des classes d'homotopie d'endomorphismes pointés de la droite projective $P¹$, tel que calculé par Morel. 2) Nous construisons un morphisme algébrique reliant $R_mY$ à $Ω^{P¹} Σ^{P¹} Y$. 3) Lorsque Y est une variété algébrique complexe, nous explicitons le type d'homotopie de l'espace topologique $R_m(Y)(C)$ comme un foncteur en $Y(C)$. De plus, nous montrons que l'espace $R_m(Y)(C)$ admet un scindement stable dont les facteurs sont ceux du scindement de Snaith de l'espace $Ω² Σ² Y (C)$.

Au début des années 90, P. Greenberg entame une étude géométrique du groupe de Thompson $T$, dans le contexte des homéomorphismes du cercle projectifs par morceaux, appelé géométrie CPP. Nous reprenons cette étude en établissant un pont entre la géométrie CPP et l'espace de Teichmüller universel décoré de Penner. Ce dernier est muni d'un système de coordonnées affines global. A l'aide de ces coordonnées, nous montrons que l'espace des homéomorphismes du cercle normalisés, de classe CPP et à points de coupure rationnels est homéomorphe à une limite directe d'espaces euclidiens, donc contractile. Puis, nous analysons l'action du groupe sur cet espace, dans le système des coordonnées. Nous en déduisons un classifiant du groupe $T$, dans la géométrie CPP. En application, nous donnons une version géométrique d'un théorème de Ghys et Sergiescu reliant l'homologie de $T$ à celle de l'espace des lacets libres sur la sphère de dimension 3.