Conjecture de Segal
Les informations figurant dans cet article ou cette section doivent être reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » ().
La conjecture de Segal sur l'anneau de Burnside, ou plus simplement la conjecture de Segal, est un théorème en théorie de l'homotopie, une branche des mathématiques. Il établit un lien entre l'anneau de Burnside d'un groupe fini G et la cohomotopie stable de l'espace classifiant BG . Formulée au milieu des années 1970 par Graeme Segal, la conjecture a été démontrée en 1984 par Gunnar Carlsson. Bien qu'elle soit désormais un théorème, on l'appelle encore couramment la conjecture de Segal.
Énoncé du théorème
[modifier | modifier le code]La conjecture de Segal admet plusieurs formulations différentes, dont certaines ne sont pas équivalentes. Une des formulations faibles est: pour tout groupe fini G, il existe un isomorphisme:
Ici, lim désigne la limite inverse, πS* désigne l'anneau de cohomotopie stable, B désigne l'espace classifiant, l'exposant k désigne le k - squelette, et l'indice + désigne l'ajout d'un point de base disjoint du reste. À droite, le chapeau désigne la completion de l'anneau de Burnside par rapport à son idéal d'augmentation (en anglais : augmentation ideal).
Motivation et interprétation
[modifier | modifier le code]Le contenu du théorème devient plus clair s'il est vu dans son contexte historique. Dans la théorie des représentations des groupes finis, on peut former un objet appelé l'anneau de représentation de d'une manière tout à fait analogue à la construction de l'anneau de Burnside décrite ci-dessus. La cohomotopie stable est alors en un sens l'analogue naturel de la K-théorie complexe, noté . Segal a été inspiré pour formuler sa conjecture après que Michael Atiyah a prouvé l'existence d'un isomorphisme.
![{\displaystyle R[G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cfc4570ea0faa6453735827f1e877904ecf78fe)
![{\displaystyle KU^{0}(BG)\to {\widehat {R}}[G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/392f0f47d39701d0f5f07eee020e2b41ccd8996d)
qui est un cas particulier du théorème de complétion d'Atiyah-Segal.
Bibliographie
[modifier | modifier le code]- J. Frank Adams « Graeme Segal's Burnside ring conjecture » () (MR 585670).
— « (ibid.) », dans Topology Symposium, Siegen 1979, vol. 788, Berlin, Springer, coll. « Lecture Notes in Mathematics », p. 378–395. - Gunnar Carlsson, « Equivariant Stable Homotopy and Segal's Burnside Ring Conjecture », Annals of Mathematics, vol. 120, no 2, , p. 189 à 224 (ISSN 0003-486X, DOI 10.2307/2006940, JSTOR 2006940, MR 0763905, lire en ligne, consulté le )
