Abstract: 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.

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.

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

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.