Let $G$ and $\Gamma$ be discrete groups, and let $\phi\colon\thinspace G\to \Gamma$ be a homomorphism.

Define its *cohomological dimension* $\operatorname{cd}\phi$ to be the least integer $d$ such that $\phi^\ast\colon H^i(\Gamma;M)\to H^i(G;M)$ is the zero homomorphism for all $i>d$ and all $\Gamma$-modules $M$ (where $M$ is regarded as a $G$-module via $\phi$).

Given that cohomological dimension of groups is such a well-studied invariant, I would have expected to find references to this relative notion in the literature. Alas, I cannot.

Are there any references considering cohomological dimension of homomorphisms?

and more specifically

Does anyone know an example of a

surjectivehomomorphism $\phi$ as above for which $$\operatorname{cd} \phi < \min\lbrace \operatorname{cd}G, \operatorname{cd} \Gamma \rbrace?$$

**EDIT:** Thanks to Tom and Ralph's answers, I have been able to prove the following precise statement:

Let $$ 1\to A \to G \stackrel{\phi}{\to} \Gamma \to 1$$ be a central extension, where $H_\ast(A)$ is free and of finite type, and $\Gamma$ is a duality group with $\operatorname{cd}\Gamma = n$. Then $\operatorname{cd}\phi = n$.

**Proof.** We will show that $0\neq \phi^\ast\colon\thinspace H^n(\Gamma;\mathbb{Z}\Gamma)\to H^n(G;\mathbb{Z}\Gamma)$. This follows from the Lyndon-Hochschild-Serre spectral sequence. Since the action of $\Gamma$ on $A$ is trivial, and $\mathbb{Z}\Gamma$ is a trivial $A$-module, the $E_2$ term has
$$H^p(\Gamma;H^q(A;\mathbb{Z}\Gamma))\cong H^p(\Gamma;H^q(A)\otimes\mathbb{Z}\Gamma)$$
in the $(p,q)$-position. Since $\Gamma$ is a duality group, this is zero for $p\neq n$. Hence there are no non-trivial differentials, and the edge homomorphism
$$\phi^\ast\colon\thinspace H^n(\Gamma;\mathbb{Z}\Gamma) \to H^n(G;\mathbb{Z}\Gamma)$$
is an isomorphism. $\Box$

Tom's answer shows that either centrality or finite type is necessary in the above statement. I haven't accepted it yet because I'm hoping someone will give an example with $\operatorname{cd} G <\infty$.

1)If $\phi$ is an inclusion then $\phi^*$ (being the restriction map) is nonzero in infinitely many degrees, so $cd(\phi)=\infty$. And2)If we instead use Tom's suggestion of the definition, then $cd(\phi)=\infty$ for the case where $\phi$ is an inclusion and $G$ controls p-fusion in $\Gamma$ (Mislin's Theorem). – Chris Gerig Feb 22 '12 at 20:00The Nontriviality of the Restriction Map in the Cohomology of Groups, and it holds for $G$ a compact Lie group and closed subgroup $\Gamma$. – Chris Gerig Feb 23 '12 at 6:53