Conjecture de Segal

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

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

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.

qui est un cas particulier du théorème de complétion d'Atiyah-Segal.

Bibliographie

modifier

Notes et références

modifier

Liens externes

modifier