Skip to main content
deleted 12 characters in body
Source Link
Noah B
  • 545
  • 1
  • 12

I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in Chapter I of Knudson’s “Homology of Linear Groups” as well as Chapter VII of Adem and Milgram’s “Cohomology of Finite Groups” that consider the cohomology of $\operatorname{GL}_n(\mathbb{F}_p)$, but not this specific case.

Update: It seems that page 178 of Adem and Milgram does the trick once we identify $\operatorname{GL}(3,2) =\operatorname{SL}(3,2)$. The relevant lemma says that $$H^*(\operatorname{SL}(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4). $$

I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in Chapter I of Knudson’s “Homology of Linear Groups” as well as Chapter VII of Adem and Milgram’s “Cohomology of Finite Groups” that consider the cohomology of $\operatorname{GL}_n(\mathbb{F}_p)$, but not this specific case.

Update: It seems that page 178 of Adem and Milgram does the trick once we identify $\operatorname{GL}(3,2) =\operatorname{SL}(3,2)$. The relevant lemma says that $$H^*(\operatorname{SL}(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4). $$

I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in Chapter I of Knudson’s “Homology of Linear Groups” as well as Chapter VII of Adem and Milgram’s “Cohomology of Finite Groups” that consider the cohomology of $\operatorname{GL}_n(\mathbb{F}_p)$, but not this specific case.

Update: It seems that Adem and Milgram does the trick once we identify $\operatorname{GL}(3,2) =\operatorname{SL}(3,2)$. The relevant lemma says that $$H^*(\operatorname{SL}(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4). $$

edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Updated name of book, per https://mathoverflow.net/questions/449634/cohomology-of-operatornamegl-3-mathbbf-2#comment1161866_449634
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in Chapter I of Knudson’s “Homology of Finite Groups”Homology of Linear Groups as well as Chapter VII of Adem and Milgram’s “Cohomology of Finite Groups” that consider the cohomology of $\operatorname{GL}_n(\mathbb{F}_p)$, but not this specific case.

Update: It seems that page 178 of Adem and Milgram does the trick once we identify $\operatorname{GL}(3,2) =\operatorname{SL}(3,2)$. The relevant lemma says that $$H^*(SL(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4) $$$$H^*(\operatorname{SL}(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4). $$

I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in Chapter I of Knudson’s “Homology of Finite Groups” as well as Chapter VII of Adem and Milgram’s “Cohomology of Finite Groups” that consider the cohomology of $\operatorname{GL}_n(\mathbb{F}_p)$, but not this specific case.

Update: It seems that page 178 of Adem and Milgram does the trick once we identify $\operatorname{GL}(3,2) =\operatorname{SL}(3,2)$. The relevant lemma says that $$H^*(SL(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4) $$

I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in Chapter I of Knudson’s Homology of Linear Groups as well as Chapter VII of Adem and Milgram’s “Cohomology of Finite Groups” that consider the cohomology of $\operatorname{GL}_n(\mathbb{F}_p)$, but not this specific case.

Update: It seems that page 178 of Adem and Milgram does the trick once we identify $\operatorname{GL}(3,2) =\operatorname{SL}(3,2)$. The relevant lemma says that $$H^*(\operatorname{SL}(3,2)) \oplus H^*(D_8) \cong H^*(S_4)\oplus H^*(S_4). $$

added 95 characters in body
Source Link
Noah B
  • 545
  • 1
  • 12
Loading
Link to book; `\operatorname`
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69
Loading
added 70 characters in body
Source Link
Noah B
  • 545
  • 1
  • 12
Loading
deleted 1 character in body
Source Link
Noah B
  • 545
  • 1
  • 12
Loading
Source Link
Noah B
  • 545
  • 1
  • 12
Loading