Timeline for Cohomology ring $H^*(\operatorname{SL}(3,\mathbb{Z}),\mathbb{Z}_2)_{(2)}$
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23 at 1:58 | vote | accept | Noah B | ||
| Jun 7, 2023 at 7:36 | comment | added | Dave Benson | @NoahB Start with the group of monomial matrices. This should at least detect everything modulo nilpotents, by Quillen's theorem. | |
| Jun 7, 2023 at 2:15 | comment | added | Noah B | @DaveBenson That sounds interesting about restricting to finite subgroups. Could you expand a little bit so I can understand better? | |
| Jun 2, 2023 at 21:05 | comment | added | Dave Benson | And yes, $\mathbb{Z}_2$ has become ambiguous. When the number theorists write this, they mean the $2$-adics, and many topoligists write it to mean the integers modulo two. Most confusing. | |
| Jun 2, 2023 at 20:42 | comment | added | Dave Benson | Quite a lot of the multiplicative structure should follow from the restriction maps to finite subgroups. But without doing the computations, it's not clear that this determines everything. | |
| Jun 2, 2023 at 7:36 | history | edited | Achim Krause | CC BY-SA 4.0 |
added 121 characters in body
|
| Jun 2, 2023 at 7:35 | comment | added | Achim Krause | Ah, right, sorry.Yeah, the Bockstein sequence alone does not determine how elements coming from the right-hand summand multiply. | |
| Jun 2, 2023 at 7:27 | comment | added | Noah B | Thanks for the response. Yes, $\mathbb{Z}_2$ means the integers mod 2 here. Also, I should have been more clear in my original question, but I’m looking for the ring structure of $H^*(SL(3,\mathbb{Z}),\mathbb{Z}_2)_{(2)}$. | |
| Jun 2, 2023 at 7:01 | history | answered | Achim Krause | CC BY-SA 4.0 |