This question is related to Lyndon-Hochschild-Serre spectral sequence and cup products.

I have the followin result by J.S Milne in his book Arithmetic duality theorems pg 105.

Let $$0 \rightarrow C \rightarrow W \rightarrow G \rightarrow 0$$ is an exact sequence of groups corresponding to the canonical class $u \in H^{2}(G,C)$, and $C$ is of finite index in $W$

Let $M$ be a $W$ module on which $C$ acts trivially. Then by Hochschild-serre gives a spectral sequence $$0 \rightarrow H^{1}(G,M) \rightarrow H^{1}(W,M) \rightarrow H^{1}(C,M)^{G} \overset{\tau}\rightarrow H^{2}(G,M) $$ where $\tau$ is the transgression map. Now he goes on to prove that in this case $\tau(\alpha) = - \alpha \cup u$ (cup-product) for some $\alpha \in H^{0}(G,Hom(C,M))$.

Now consider the LHS for group homology, with $C,W,G,M$ as above ($C$ acting trivially on $M$)

$$ H_{2}(G,M) \overset{\tau'}\longrightarrow H_{1}(C,M)_{G} \overset{cor}\longrightarrow H_1(W,M) \overset{coinf}\longrightarrow H_{1}(G,M) \longrightarrow 0$$

Does it follow that $\tau'$ is induced by a cup product?

Thank you

This question is related to Lyndon-Hochschild-Serre spectral sequence and cup products.

I have the followin result by J.S Milne in his book Arithmetic duality theorems pg 105.

Let $$0 \rightarrow C \rightarrow W \rightarrow G \rightarrow 0$$ is an exact sequence of groups corresponding to the canonical class $u \in H^{2}(G,C)$, and $C$ is of finite index in $W$

Let $M$ be a $W$ module on which $C$ acts trivially. Then by Hochschild-serre gives a spectral sequence $$0 \rightarrow H^{1}(G,M) \rightarrow H^{1}(W,M) \rightarrow H^{1}(C,M)^{G} \overset{\tau}\rightarrow H^{2}(G,M) $$ where $\tau$ is the transgression map. Now he goes on to prove that in this case $\tau(\alpha) = - \alpha \cup u$ (cup-product) for some $\alpha \in H^{0}(G,Hom(C,M))$.

Now consider the LHS for group homology, with $C,W,G,M$ as above ($C$ acting trivially on $M$)

$$ H_{2}(G,M) \overset{\tau'}\longrightarrow H_{1}(C,M)_{G} \overset{cor}\longrightarrow H_1(W,M) \overset{coinf}\longrightarrow H_{1}(G,M) \longrightarrow 0$$

Does it follow that $\tau'$ is induced by a cup product?

Thank you

This question is related to Lyndon-Hochschild-Serre spectral sequence and cup products.

I have the followin result by J.S Milne in his book Arithmetic duality theorems pg 105.

Let $$0 \rightarrow C \rightarrow W \rightarrow G \rightarrow 0$$ is an exact sequence of groups corresponding to the canonical class $u \in H^{2}(G,C)$

Let $M$ be a $W$ module on which $C$ acts trivially. Then by Hochschild-serre gives a spectral sequence $$0 \rightarrow H^{1}(G,M) \rightarrow H^{1}(W,M) \rightarrow H^{1}(C,M)^{G} \overset{\tau}\rightarrow H^{2}(G,M) $$ where $\tau$ is the transgression map. Now he goes on to prove that in this case $\tau(\alpha) = - \alpha \cup u$ (cup-product) for some $\alpha \in H^{0}(G,Hom(C,M))$.

Now consider the LHS for group homology, with $C,W,G,M$ as above ($C$ acting trivially on $M$)

$$ H_{2}(G,M) \overset{\tau'}\longrightarrow H_{1}(C,M)_{G} \overset{cor}\longrightarrow H_1(W,M) \overset{coinf}\longrightarrow H_{1}(G,M) \longrightarrow 0$$

Does it follow that $\tau'$ is induced by a cup product?

Thank you

This question is related to Lyndon-Hochschild-Serre spectral sequence and cup products.

I have the followin result by J.S Milne in his book Arithmetic duality theorems pg 105.

Let $$0 \rightarrow C \rightarrow W \rightarrow G \rightarrow 0$$ is an exact sequence of groups corresponding to the canonical class $u \in H^{2}(G,C)$, and $C$ is of finite index in $W$

Let $M$ be a $W$ module on which $C$ acts trivially. Then by Hochschild-serre gives a spectral sequence $$0 \rightarrow H^{1}(G,M) \rightarrow H^{1}(W,M) \rightarrow H^{1}(C,M)^{G} \overset{\tau}\rightarrow H^{2}(G,M) $$ where $\tau$ is the transgression map. Now he goes on to prove that in this case $\tau(\alpha) = - \alpha \cup u$ (cup-product) for some $\alpha \in H^{0}(G,Hom(C,M))$.

Now consider the LHS for group homology, with $C,W,G,M$ as above ($C$ acting trivially on $M$)

$$ H_{2}(G,M) \overset{\tau'}\longrightarrow H_{1}(C,M)_{G} \overset{cor}\longrightarrow H_1(W,M) \overset{coinf}\longrightarrow H_{1}(G,M) \longrightarrow 0$$

Does it follow that $\tau'$ is induced by a cup product?

Thank you