Thèse soutenue

Cohomologie à coefficients tordus de la réalisation géométrique de systèmes de liaison

FR  |  
EN
Auteur / Autrice : Rémi Molinier
Direction : Olivier Robert
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 17/07/2015
Etablissement(s) : Sorbonne Paris Cité
Ecole(s) doctorale(s) : École doctorale Galilée (Villetaneuse, Seine-Saint-Denis)
Partenaire(s) de recherche : établissement de préparation : Université Sorbonne Paris Nord (Bobigny, Villetaneuse, Seine-Saint-Denis ; 1970-....)
Laboratoire : Laboratoire Analyse, géométrie et applications (LAGA) (Villetaneuse, Seine-Saint-Denis)
Jury : Président / Présidente : Christian Ausoni
Examinateurs / Examinatrices : Baptiste Calmès, Antoine Touzé
Rapporteur / Rapporteuse : Natàlia Castellana Vila, Radu Stancu

Résumé

FR  |  
EN

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).