Skip to main content
MathOverflow

Return to Question

replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site. (Original post: http://math.stackexchange.com/questions/170310/calculating-hng-mathbbzg-as-co-homology-with-compact-support-of-a-propehttps://math.stackexchange.com/questions/170310/calculating-hng-mathbbzg-as-co-homology-with-compact-support-of-a-prope )

I came across the following Exercise in Brown's book "Co-homology of Groups", and have been completely unable to solve it. If anyone could give me a hint that would point me in the right direction I would really appreciate it. I couldn't even think of a filtration of $X$ which might produce a useful spectral sequence.

Brown "Co-homology of Groups", Section VIII.7, p.209, Ex 4:

Prove the following generalisation of 7.5: Let $X$ be a contractible $G$-CW-complex with finite isotropy groups and only finitely many cells mod-$G$. Then $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$.

I presume that he means $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$-modules.

There is a hint:

First show, by a spectral sequence argument for instance, that $H^*(G, \mathbb{Z}G)$ can be computed from $\text{Hom}_G(C(X), \mathbb{Z}G)$.

Here $H_c^* $ is co-homology with compact support. Throughout Brown's book any action on a space is always rigid (set-wise and point-wise stabilisers of cells coincide). The "7.5" which he refers to is the statement that $H^*(G, \mathbb{Z}G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$ modules, where $X$ is a contractible, free, co-compact $G$-CW-complex.

This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site. (Original post: http://math.stackexchange.com/questions/170310/calculating-hng-mathbbzg-as-co-homology-with-compact-support-of-a-prope )

I came across the following Exercise in Brown's book "Co-homology of Groups", and have been completely unable to solve it. If anyone could give me a hint that would point me in the right direction I would really appreciate it. I couldn't even think of a filtration of $X$ which might produce a useful spectral sequence.

Brown "Co-homology of Groups", Section VIII.7, p.209, Ex 4:

Prove the following generalisation of 7.5: Let $X$ be a contractible $G$-CW-complex with finite isotropy groups and only finitely many cells mod-$G$. Then $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$.

I presume that he means $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$-modules.

There is a hint:

First show, by a spectral sequence argument for instance, that $H^*(G, \mathbb{Z}G)$ can be computed from $\text{Hom}_G(C(X), \mathbb{Z}G)$.

Here $H_c^* $ is co-homology with compact support. Throughout Brown's book any action on a space is always rigid (set-wise and point-wise stabilisers of cells coincide). The "7.5" which he refers to is the statement that $H^*(G, \mathbb{Z}G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$ modules, where $X$ is a contractible, free, co-compact $G$-CW-complex.

This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site. (Original post: https://math.stackexchange.com/questions/170310/calculating-hng-mathbbzg-as-co-homology-with-compact-support-of-a-prope )

I came across the following Exercise in Brown's book "Co-homology of Groups", and have been completely unable to solve it. If anyone could give me a hint that would point me in the right direction I would really appreciate it. I couldn't even think of a filtration of $X$ which might produce a useful spectral sequence.

Brown "Co-homology of Groups", Section VIII.7, p.209, Ex 4:

Prove the following generalisation of 7.5: Let $X$ be a contractible $G$-CW-complex with finite isotropy groups and only finitely many cells mod-$G$. Then $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$.

I presume that he means $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$-modules.

There is a hint:

First show, by a spectral sequence argument for instance, that $H^*(G, \mathbb{Z}G)$ can be computed from $\text{Hom}_G(C(X), \mathbb{Z}G)$.

Here $H_c^* $ is co-homology with compact support. Throughout Brown's book any action on a space is always rigid (set-wise and point-wise stabilisers of cells coincide). The "7.5" which he refers to is the statement that $H^*(G, \mathbb{Z}G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$ modules, where $X$ is a contractible, free, co-compact $G$-CW-complex.

Source Link
Simon St John-Green
Simon St John-Green
  • 123
  • 3

Calculating $H^n(G, \mathbb{Z}G)$ as co-homology with compact support of a proper co-compact $G$-CW-complex $X$

This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site. (Original post: http://math.stackexchange.com/questions/170310/calculating-hng-mathbbzg-as-co-homology-with-compact-support-of-a-prope )

I came across the following Exercise in Brown's book "Co-homology of Groups", and have been completely unable to solve it. If anyone could give me a hint that would point me in the right direction I would really appreciate it. I couldn't even think of a filtration of $X$ which might produce a useful spectral sequence.

Brown "Co-homology of Groups", Section VIII.7, p.209, Ex 4:

Prove the following generalisation of 7.5: Let $X$ be a contractible $G$-CW-complex with finite isotropy groups and only finitely many cells mod-$G$. Then $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$.

I presume that he means $H^*(G, \mathbb{Z} G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$-modules.

There is a hint:

First show, by a spectral sequence argument for instance, that $H^*(G, \mathbb{Z}G)$ can be computed from $\text{Hom}_G(C(X), \mathbb{Z}G)$.

Here $H_c^* $ is co-homology with compact support. Throughout Brown's book any action on a space is always rigid (set-wise and point-wise stabilisers of cells coincide). The "7.5" which he refers to is the statement that $H^*(G, \mathbb{Z}G) \cong H_c^*(X, \mathbb{Z})$ as $\mathbb{Z}G$ modules, where $X$ is a contractible, free, co-compact $G$-CW-complex.