Le point de départ de cette thèse est une version instable de la conjecture de Lichtenbaum et Quillen qui dit que la cohomologie modulo 2 du classifiant des groupes linéaires définis sur Z[1/2] serait détectée par la cohomologie du classifiant du sous-groupe des matrices diagonales de ces groupes linéaires. On sait que la conjecture est vraie pour n=1, 2 et 3, mais qu'elle est fausse à partir de n=14. <br /><br />On peut montrer que si la conjecture est vraie pour n=4, alors nécessairement, il existe un certain carré cartésien en cohomologie à coefficients dans F_2 dans lequel apparaît le classifiant du groupe GL_2(Z[i,1/2]). L'espoir initial, motivé par des idées de Henn et Lannes, était que la cohomologie à coefficients dans F_2 de BGL_2(Z[i,1/2]) rendrait ce carré non cartésien, invalidant de ce fait la conjecture de Lichtenbaum et Quillen dès n=4.<br /><br />Nous avons calculé la cohomologie à coefficients dans F_2 de BGL_2(Z[i,1/2]) et montré que le carré cartésien sus-nommé est bien cartésien.<br />La conjecture a ainsi passé un test avec succès et a encore des chances d'être vraie pour n=4. En tout cas, la recherche d'un contre-exemple est plus délicate qu'on aurait pu l'espérer.<br /><br />Les moyens utilisés pour effectuer le calcul de H*(BGL_2(Z[i,1/2]),F_2) ont été la construction d'un certain espace Z sur lequel le groupe PSL_2(Z[i]) agit avec de bonnes propriétés, et le calcul de H*(BPSL_2(Z[i]),F_2) et H*(BGo,F_2) où Go est un certain sous-groupe de PSL_2(Z[i]) tel qu'on ai la décomposition en somme amalgamée PSL_2(Z[i,1/2])=PSL_2(Z[i])*_Go PSL_2(Z[i]). On obtient ensuite H*(BGL_2(Z[i,1/2]),F_2) en étudiant certains morphismes de H*(BPSL_2(Z[i]),F_2) vers H*(BGo,F_2) et plusieurs suites spectrales.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00174888 |
Date | 16 October 2007 |
Creators | Weiss, Nicolas |
Publisher | Université Louis Pasteur - Strasbourg I |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0019 seconds