Cohomologie des algèbres différentielles où opère une algèbre de Lie (Q2540897)

Ce travail est consacré à la démonstration détaillée des résultats de deux articles du rapporteur [Centre Belge Rech. Math., Colloque Topologie, Bruxelles, 1950, 1, 15--27 (1951; Zbl 0045.30601); ibid. 1, 57--71 (1951; Zbl 0045.30701)]. Il s'agit de déterminer la cohomologie réelle d'un fibré principal dont le groupe structural est de Lie connexe, et aussi de calculer la cohomologie réelle de la base en fonction de celle de l'espace et d'autres données. La ``torsion' est donc laissée de côté; on travaille avec des algèbres de Lie, dans un cadre purement algébrique, comme dans la thèse de \textit{J.-L. Koszul} [Bull. Soc. Math. Fr. 78, 65--127 (1950; Zbl 0039.02901)]; on fait ``opérer'' une algèbre de Lie dans une algèbre différentielle graduée, munie éventuellement d'une ``connexion'', et un outil important est ``l'algèbre de Weil'' d'une algèbre de Lie (présentée ici comme solution d'un problème universel). L'auteur, sans apporter de résultat nouveau, donne des démonstrations complètes, avec soin et rigueur. Mais le lecteur éprouvera quelque difficulté à discerner les points importants dans cette suite de 53 théorèmes s'il ne se réfère pas d'abord aux articles originaux. Qu'il soit permis au rapporteur de signaler qu'à son avis, méthodes et résultats peuvent s'insérer avec avantage dans le cadre aujourd'hui existant de l'algèbre homologique. Par exemple, le théorème qui explicite l'algèbre de cohomologie réelle d'un espace homogène \(G/G'\) \((G\) et \(G'\) groupes de Lie compacts connexes) peut se formuler comme suit: soient \(\mathfrak G\) et \(\mathfrak G'\) les algèbres de Lie réelles de \(G\) et \(G'\); soit \(I(\mathfrak G)\) \([I(\mathfrak G']\) l'algèbre des éléments \(\mathfrak G\)-invariants [\(\mathfrak G'\)-invariants] de l'algèbre symétrique du dual de \(\mathfrak G\) [\(\mathfrak G'\)]. L'homomorphisme naturel \(I(\mathfrak G) \rightarrow I(\mathfrak G')\) définit \(I(\mathfrak G')\) comme \(I(\mathfrak G)\)-module, et \(\mathbf R\) est aussi un \(I(\mathfrak G)\)-module, par l'augmentation. Alors l'algèbre de cohomologie \(H^*(G/G';\mathbf R)\) est isomorphe à l'algèbre \(\operatorname{Tor} I(\mathfrak G)(\mathbf R,I(\mathfrak G')) = \oplus_{n\ge 0}\operatorname{Tor}_n^{I(\mathfrak G)}(\mathbf R,I(\mathfrak G'))\) munie de sa graduation totale.