Después de pensar en esto por un rato, parece que hay una manera satisfactoria de llevar esto a cabo en grupo cohomology el uso de la Hochschild-Serre espectral de la secuencia de un grupo de extensión
$$1 \to H \to G \to Q \to 1$$
(a partir de ahora vamos a llamar a esto el HSSS), y desde mi original motivadora de la situación pasó a ser un fibration de asféricas de colectores, esto será suficiente para mis propósitos. Me abstendré de seleccionar esta como la respuesta, sin embargo, ya que todavía estaría curioso saber cómo llevar esto a cabo en la configuración topológica.
Para simplificar, voy a restringir la atención a la trivial coeficiente módulo de $\mathbb Z$. Supongamos que $H$ es $PD_{m}$-grupo, $Q$ es $PD_{n}$-grupo, y $G$ es $PD_{m+n}$-grupo. Capítulo VII de Brown Cohomology de Grupos contiene una construcción de la HSSS. En el homológica configuración, la idea es mostrar que hay una cadena compleja $C$ para que la homología con coeficientes en el complejo de cadena $H_*(Q, C)$ es isomorfo a $H_*(G)$; el HSSS se deriva de una de las filtraciones en el bigraded de la cadena de complejos que subyacen a la definición de $H_*(Q, C)$.
De hecho, dejando $F$ ser un proyectiva resolución de $\mathbb Z$ sobre $\mathbb Z G$ (que puede ser asumida de longitud $m+n$), Brown explica por qué $C = F_H$ es suficiente. Si dejamos $F'$ ser un proyectiva resolución de $\mathbb Z$ sobre $\mathbb Z Q$, el resultado es que el producto tensor de la cadena de complejos de $F' \otimes_Q F_H$ calcula el $H_*(G)$.
Volviendo a cohomology, argumentos similares muestran que la homología de la cochain complejo
$$
\operatorname{Hom}_Q(F', \operatorname{Hom}_H F, \mathbb Z))
$$
está dado por $H^*(G)$.
La observación crucial que es para un $PD_k$grupo $\Gamma$ si $F$ es una resolución proyectiva de longitud finita $k$,, a continuación, $\overline F : = \operatorname{Hom}_\Gamma(F, \mathbb Z \Gamma)$ es también una resolución proyectiva de $\mathbb Z$ sobre $\mathbb Z \Gamma$. (Un punto de vista técnico que explica cómo el cambio en los grados surge es que uno debe de mono con la clasificación en $\overline F$ en la forma correcta).
Podemos aplicar tensor-Hom contigüidad a ver que
$$
(*)\quad \operatorname{Hom}_Q(F', \operatorname{Hom}_H F,\mathbb Z)) \cong \overline{F'} \otimes_Q \operatorname{Hom}_H F,\mathbb Z) \cong \overline{F'} \otimes_Q (\operatorname{Hom}_H F,\mathbb Z H) \otimes_H \mathbb Z).
$$
Como $Q$ es $PD$-grupo por supuesto, podemos usar $\overline{F'}$ como proyectivas de la resolución en el cálculo de $H_*(Q,F_H)$. Lo siguiente afirmación de que después de un ajuste a la calificación, (una parte de) el complejo de cadena $\operatorname{Hom}_H(F,\mathbb Z)$ es débilmente equivalente a $F_H$. Esto se deduce del hecho de que $H$ es también una $PD$-grupo. Más específicamente, la suposición de que $H$ es $PD_m$ grupo es equivalente a la condición de que $H^i(H, \mathbb Z H)$ desaparecer a menos que $i = m$, en cuyo caso debería ser infinito cíclico. Esto dice que la parte
$$
\operatorname{Hom}_H(F_0, \mathbb Z H) \a \dots \a \operatorname{Hom}_H(F_{m-1}, \mathbb Z H) \a \operatorname{Hom}_H(F_{m}, \mathbb Z H)
$$
de la cadena compleja $\operatorname{Hom}_H(F, \mathbb Z H)$ formas una resolución proyectiva de $\mathbb Z$ sobre $\mathbb Z H$, a partir de la cual la demanda de la siguiente manera.
Prestar atención a la bigradings, el $(p,q)$-componente de la mano izquierda en $(*)$ corresponde a la $(n - p, m-q)$-componente a la derecha.
Ahora las propiedades que yo estaba buscando, por encima de la voluntad de seguir automáticamente a partir de la secuencia espectral de la maquinaria.
