Cohomology of SL(3,Z) with coefficients in the standard representation
Abstract
This paper is a natural continuation of a joint paper with Bajpai, Harder and Moya Giusti BHHM, even though it began as an answer to Goncharov's question. It that paper, we had complete description for all representations except for odd symmetric powers and their dual ones. For those representations we were left with two options: certain one dimensional module is a ghost space or not. Here we find the H2(SL3(),V3) has ghost classes. It means that it is generated by a class from the cohomology of the Borel subgroup. With the techniques developed here, we show that the d2 map of the spectral sequence for the boundary cohomology of GL4() is non-trivial if and only if there is a ghost class in GL3() (see Propositions 11 and 12.) We use a result of Elbaz-Vincent, Gangl and Soule to show that a spectral sequence related to GL4() does not degenerate at E2-level. Then d2 is non-trivial. Therefore, we obtain that H2(SL3(),V3)) is a ghost space, where V3 is the standard representation.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.