MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a discrete group and $M$ be an $RG$-module for some ring $R$ (I'm happy to assume that $R = \mathbb{Q}$). Define $R[M]$ to be the set of $R$-linear combinations of formal symbols of the form $[m]$ with $m \in M$ (this is sort of like a group-ring; there are no relations between the symbols, so for instance it is not true that $[m_1+m_2]$ and $[m_1] + [m_2]$ are related in any way). Clearly the group $G$ acts on $R[M]$.

Question : Is there any relationship between $H_{\ast}(G;M)$ and $H_{\ast}(G;R[M])$? More generally, what can one say about $H_{\ast}(G;R[M])$?

The specific example I'm interested in is as follows. Let $\mathbb{Q}^n$ be the usual representation of $\text{GL}(n,\mathbb{Z})$. It is easy to see that $H_{k}(\text{GL}(n,\mathbb{Z});\mathbb{Q}^n) = 0$ for $k \geq 1$, basically because the center acts as $-1$. Is there any way to calculate $H_{\ast}(\text{GL}(n,\mathbb{Z});\mathbb{Q}[\mathbb{Q}^n])$? Does it vanish?

share|cite|improve this question

$R[M]$ is just a permutation module, so, by Shapiro's Lemma, $H_{\ast}(G;R[M])$ is the direct sum, over a set of representatives $m$ of orbits of $G$ acting on $M$, of the homology $H_{\ast}(G_m;R)$ with constant coefficients of the point stabilizer $G_m$. In particular ($m=0$) it contains $H_{\ast}(G;R)$ as a direct summand, and so in your special case, $H_{\ast}(\text{GL}(n,\mathbb{Z});\mathbb{Q}[\mathbb{Q}^n])$ won't vanish, as it contains $H_{\ast}(\text{GL}(n,\mathbb{Z});\mathbb{Q})$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.