Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T01:44:51Z http://mathoverflow.net/feeds/question/77950 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/77950/cohomology-of-sl-2-mathbbf-p-acting-on-trace-zero-matrices-over-mathbbf Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$ mcampo 2011-10-12T19:07:03Z 2011-11-11T01:12:00Z <p>I've been reading a paper by R.Ramakrishna about lifting Galois representations and at some point he uses the fact that a representation with big image has trivial first cohomology group.</p> <p>In other words, what i've been trying to prove (and failing at) is that given $p>5$ a prime, if $M$ is the group of trace zero $2\times 2$ matrices over $\mathbb{F}_p$ then:</p> <p>$H^1(SL_2(\mathbb{F}_p),M) = 0$</p> <p>where the action is given by conjugation.</p> <p>My first approach was calculating the group $H^1(S_p,M)$, where $S_p$ is a $p$-sylow subgroup of $SL_2(\mathbb{F}_p)$. If it were trivial then the one that I want should be, because $M$ is a $p$-group, but it turns out it's not! (I think it's one dimensional).</p> <p>Maybe there is some cohomological-theoretic reason I'm missing, thanks.</p> http://mathoverflow.net/questions/77950/cohomology-of-sl-2-mathbbf-p-acting-on-trace-zero-matrices-over-mathbbf/78007#78007 Answer by Olivier for Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$ Olivier 2011-10-13T08:13:09Z 2011-10-13T08:13:09Z <p>It seems to me that Sah's lemma will do the trick.</p> <blockquote> <p>(Sah's lemma) Let $G$ be a group, $M$ a $G$-representation and $g\in Z(G)$. Then $x\mapsto (g-1)x$ is the zero map on $H^{1}(G,M)$.</p> </blockquote> <p>The proof is a computation of $(g-1)f(h)$ using the cocycle relation and the fact that $f(h)=f(ghg^{-1})$. Applying the lemma to <code>$\operatorname{SL}_{2}(\mathbb F_{p})$</code>, $M$ and a non-trivial homotethy, for instance $-Id$, gives the result.</p> http://mathoverflow.net/questions/77950/cohomology-of-sl-2-mathbbf-p-acting-on-trace-zero-matrices-over-mathbbf/78021#78021 Answer by Jim Humphreys for Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$ Jim Humphreys 2011-10-13T13:49:28Z 2011-10-13T15:34:30Z <p>As Olivier's answer indicates, a direct approach to the computation using classical techniques of Sah and others is possible in a small isolated case like this. But it's a good idea to be aware of several different approaches to computations of finite group cohomology (or more generally, Ext functors). Most such computations are extremely hard to carry out explicitly, but sometimes it's enough to work in the setting of finite group cohomology with no added machinery. There are also some powerful techniques coming from algebraic topology (book of Adem-Milgram, etc.). For the groups <code>$SL(2,p^n)$</code>, a detailed study of the cohomology ring by Jon Carlson in Proc. LMS 47 (1983) shows how difficult the whole subject can be. </p> <p>In the question here (and often in the study of Galois representations) you are dealing with a family of finite groups of Lie type, where it's often helpful to think about comparisons with the cohomology of the ambient algebraic group. Here there is an extensive literature, summarized concisely but with lots of references in my 2005 book <em>Modular Representations of Finite Groups of Lie Type</em> (LMS Lecture Note Series 326): work of Cline-Parshall-Scott and their collaborators, etc. In general the question asked has a transparent answer if the "top" or "bottom" layers of the projective cover of the trivial module can be worked out explicitly. This isn't at all easy in general, but for <code>$SL(2,p^n)$</code> there is a fairly direct comparison with related modules for the algebraic group: see the paper by Henning Andersen et al. in Proc. LMS 46 (1983). </p> <p>P.S. One advantage of looking directly at the projective cover of the trivial module (as in the last-cited paper) is that it explains why <code>$p=5$</code> causes trouble: the two highest weights involved are <code>$\lambda=0$</code> (trivial module) and <code>$\mu =2$</code> (adjoint module), while the condition for existence of a nonsplit extension between them is easily seen from the algebraic group comparison to be <code>$\lambda+\mu = p-3$</code>.</p> http://mathoverflow.net/questions/77950/cohomology-of-sl-2-mathbbf-p-acting-on-trace-zero-matrices-over-mathbbf/80649#80649 Answer by BL for Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$ BL 2011-11-11T01:12:00Z 2011-11-11T01:12:00Z <p>This question is Lemma 2.48 in "Fermat's Last Theorem" by Darmon, Diamond, and Taylor. Here is there argument (not quite verbatim, but almost...)</p> <p>Let $U\subset B \subset G = SL_2(\mathbb{F}_p)$ be the subgroups of unipotent and upper triangular matrices, respectively. Since $[G:B]=p+1$ is prime to $p$, the group $H^1(G/B, M) = 0$ so that the restriction map $H^1(G,M) \to H^1(B,M)$ is injective. Similarly, $[B:U] = p-1$ so that $H^1(B,M) \simeq H^1(U,M)^{B/U}$.</p> <p>Now, there is a filtration $$0 \subset M'' \subset M' \subset M$$ where $M'$ are the upper triangular trace zero matrices and $M''$ are those in $M'$ with zeros on the diagonal. By comparing the long exact sequences of Galois cohomology which arise from the short exact sequences $$0 \to M'\to M\to M/M'\to 0$$ and $$0 \to M''\to M'\to M'/M''\to 0,$$ you can see that $H^1(U,M)$ injects into $H^1(U,M/M')$. This last group is just $\mathrm{Hom}(\mathbb{F}_p,\mathbb{F}_p)$ and you can just show directly then that $\mathrm{Hom}(\mathbb{F}_p,\mathbb{F}_p)^{B/U}=0$.</p> <p>When you are comparing the long exact sequences, you can get most of the information you need by computing the dimension of $H^i(U,X)$ as an $\mathbb{F}_p$-vector space (here $X$ is $M,\ M',\ M''$, or one of the quotients). You can compute the dimensions by just writing down the action of U on M in terms of matrix multiplication.</p>