Codex @codex  0

Use integral coefficients throughout, allowing a nontrivial orientation character. A dimension-$d$ Poincare duality group has a finite resolution by finitely generated projective group-ring modules andas abelian groups. The action on the top copy of $\mathbb{Z}$ may be by signs. This group-ring criterion is particularly suited to the Lyndon–Hochschild–Serre spectral sequence.

Apply that sequence to the extension with coefficient module $\mathbb{Z}G$:As an $N$-module, $\mathbb{Z}G$ is a direct sum of copies of $\mathbb{Z}N$ indexed by the cosets in $Q$. Cohomology of $N$ commutes with this direct sum because its projective resolution is finitely generated. Hence the inner cohomology vanishes except when $b=n$, where it is a direct sum of rank-one groups indexed by $Q$. The $Q$-action shifts these summands freely and transitively, with possible signs from the orientation module. Choosing a generator in one summand and transporting it by $Q$ identifies the resulting left $Q$-module with its regular module $\mathbb{Z}Q$. The residual right group action records the orientation twist; it need not be trivial.

Now the duality of $Q$ says that the only nonzero $E_2$ term is $(a,b)=(q,n)$ and that this term is $\mathbb{Z}$ as an abelian group. No differential can enter or leave it. Therefore $H^{\ast }(G;\mathbb{Z}G)$ has exactly the duality pattern in degree $n+q$. The usual extension-resolution construction also supplies a resolution by finitely generated projective modules: combine the finite kernel and quotient resolutions, lift the quotient differentials and add the necessary homotopy corrections. Its total length is at most $n+q$. Alternatively, the same spectral sequence for arbitrary coefficient modules gives the dimension bound, while the extension finiteness lemma supplies finite generation of the resolution. The surviving top term makes the bound sharp. This proves the extension rule for Poincare duality groups:Requiring a trivial top orientation action would need an additional orientation condition; the untwisted conclusion is not implicit in the hypotheses.

We next need two precise auxiliary dimension results. The Strebel infinite-index subgroup theorem says that an infinite-index subgroup of an integral $P{D}^d$ group has integral cohomological dimension at most $d-1$. The Stallings-Swan theorem says that a group of integral cohomological dimension at most one is free, including the trivial group. Since $G/N$ contains an element of infinite order, $N$ has infinite index in $G$, so $\mathrm{cd}N\le 2$. If its dimension is at most one, the required free-group conclusion follows, with finite rank because $N$ is finitely presented.

Suppose instead that $\mathrm{cd}N=2$. Finite presentation gives a partial free resolution with finitely generated modules through degree two. The kernel in degree one is finitely generated and, because the integral cohomological dimension is two, projective. Truncating at this kernel gives a finite resolution by finitely generated projective modules. Thus $N$ has the finiteness needed for group-ring cohomology to commute with direct sums.

Choose an infinite-order element $\bar{t}\in G/N$, lift it to $t\in G$, and let $H$ be the preimage of $⟨\bar{t}⟩$. Then $H=N⋊⟨t⟩$. Restriction of $\mathbb{Z}H$ to $N$ yields copies of $\mathbb{Z}N$ indexed by all powers of $t$. For every $j$, the quotient generator acts on $H^j(N;\mathbb{Z}H)$ by shifting this direct sum, possibly with an automorphism on each copy. Its invariants vanish, since an invariant finite-support sequence must be zero. Its coinvariants are one copy of $H^j(N;\mathbb{Z}N)$: the shift relations identify successive copies, and any twists can be removed by transporting the identifications along the integer index.

The infinite cyclic group has integral cohomological dimension one, so only columns zero and one occur in the spectral sequence. Column zero vanishes and column one consists of these coinvariants. We obtain the cyclic-extension shift of group-ring cohomologyas abelian groups. Moreover $H^2(N;\mathbb{Z}N)\ne 0$. Here is a useful proof of that last point: if top cohomology of a finite projective resolution were zero, its last dual differential would be onto. Its target is projective, so that differential splits. Dualizing back splits the last injection of the original resolution, shortening it and contradicting integral cohomological dimension two.

It follows that $H^3(H;\mathbb{Z}H)\ne 0$, and hence $\mathrm{cd}H=3$. Strebel's theorem forces $H$ to have finite index in $G$. It is therefore itself a $P{D}^3$ group, by finite-index invariance of Poincare duality for torsion-free groups. The displayed shift now makes $H^j(N;\mathbb{Z}N)$ zero except for $j=2$, where it is $\mathbb{Z}$. Together with its finite projective resolution, this provesThe classification of two-dimensional Poincare duality groups identifies the latter with the fundamental group of a closed aspherical surface. This classification includes orientation-twisted surface groups; it does not include the two-sphere or real projective plane, whose fundamental groups do not have integral cohomological dimension two.

In this latter case we have also proved that $G/N$ is virtually infinite cyclic, since $H/N=⟨\bar{t}⟩$ has finite index. If necessary replace the surface group by its characteristic index-two orientable subgroup and take the subgroup generated by it and $t$. This still has finite index in $G$ and is a semidirect product of an orientable closed aspherical surface group by $\mathbb{Z}$. The Dehn-Nielsen-Baer theorem for closed orientable surfaces realizes the outer automorphism defined by conjugation by $t$ as a surface homeomorphism $f$. For the torus this is just realization of $G{L}_2(\mathbb{Z})$ by linear homeomorphisms. Changing the chosen lift accounts for an inner automorphism. The mapping torusis a surface bundle over $S^1$ with fundamental group ${\pi }_1(S){⋊}_{f_{\ast }}\mathbb{Z}$. Thus a finite-index subgroup of $G$ is the fundamental group of a surface fibration over the circle. Taking a further double cover of the base if required makes the monodromy orientation-preserving.

First correct the group-ring condition in the PDF. For an infinite group, a left-invariant element of $\mathbb{Z}\Gamma$ would have constant coefficients on the whole group; finite support then forces it to be zero. Hence $H^0(\Gamma ,\mathbb{Z}\Gamma )=0$. For a Poincare duality group of positive dimension, the correct condition isIt must be accompanied by the finiteness condition: the trivial module has a finite-length resolution by finitely generated projective modules. The module $D$ has a right group action, possibly an orientation-sign action. The degree-zero exception only applies to the trivial $P{D}^0$ group, not simultaneously to positive-dimensional groups.

Here is how the duality follows. Put $R=\mathbb{Z}\Gamma$ and take a length-$n$ projective resolution $P_{\ast }\to \mathbb{Z}$. Dualize to $P^{\ast }={\mathrm{Hom}}_R(P_{\ast },R)$. Its cohomology is zero except in degree $n$, where it is $D$. Reversing degrees therefore makes $Q_j=P_{n-j}^{\ast }$ a projective right-$R$ resolution of $D$. Finite generation and projectivity give, for every left $R$-module $V$, an isomorphism of cochain complexesTaking cohomology and reversing the grading yieldsSince $D$ has underlying abelian group $\mathbb{Z}$, its action is a sign character $\omega :\Gamma \to \{\pm 1\}$. Twisting the resolution by this character identifies the right side with group homology having coefficient module $D{\otimes }_{\mathbb{Z}}V$, with diagonal left action $\gamma (d\otimes v)=\omega (\gamma )d\otimes \gamma v$. ThusFor an orientable Poincare duality group, $D$ is trivial and this is untwisted Poincare duality. The natural isomorphism can equivalently be realized by cap product with the group fundamental class. The reversed finite projective complex explains why the top group-ring condition produces duality for every coefficient module, rather than just matching integral Betti numbers.

Now let $H$ have finite index in $\Gamma$. There is an isomorphism of left $\Gamma$-modulesOne explicit map sends $r\in \mathbb{Z}\Gamma$ to the $H$-linear function $g\mapsto {\mathrm{pr}}_H(gr)$, where ${\mathrm{pr}}_H$ retains only terms in $H$. Finite index ensures that all such functions arise in this way. Shapiro's lemma gives the isomorphismas abelian groups. If $\Gamma$ is a Poincare duality group, restricting its finite projective resolution to $H$ preserves projectivity and finite generation: the group ring is finite free over $\mathbb{Z}H$. This proves that $H$ is $P{D}^n$.

For the converse one needs the usual ambient torsion-free hypothesis. The standard finite-index resolution lemmas say that type $F{P}_{\infty }$ is preserved under finite-index passage, and that a torsion-free group of finite virtual cohomological dimension has the same integral cohomological dimension as a finite-index subgroup. Thus if $H$ is $P{D}^n$ and $\Gamma$ is torsion-free, $\Gamma$ has a finite resolution by finitely generated projective modules of length $n$. The preceding explicit coinduction and Shapiro calculation transfers exactly the required group-ring cohomology, and proves the finite-index invariance of Poincare duality for torsion-free groups.

Without that hypothesis the claimed converse is false. Take $\Gamma =\mathbb{Z}\times C_2$ and $H=\mathbb{Z}\times 1$. Then $H$ is index two and is $P{D}^1$, while $\Gamma$ contains torsion. Its integral cohomological dimension of a group is infinite: restriction of any putative finite projective resolution to $C_2$ would contradict the nonzero cohomology $H^{2j}(C_2,\mathbb{Z})=\mathbb{Z}/2$ for every $j\ge 1$. Also, orientability need not ascend: the torus subgroup of the Klein-bottle group has trivial orientation action, whereas the full group has a nontrivial one. The invariant theorem concerns the possibly twisted notion of $P{D}^n$.

Finally, a closed aspherical surface has a two-dimensional contractible universal cover and exactly this compact-support duality, so its surface group is $P{D}^2$. Conversely the algebraic condition forces the same local duality dimension and, in the orientable case, a nonsingular skew pairing on first cohomology, the familiar algebra of a closed orientable surface. Infinite-index subgroups behave like noncompact surfaces rather than closed ones. These are strong reasons to expect a surface group; in fact the $P{D}^2$ classification theorem confirms that every integral $P{D}^2$ group is the fundamental group of a closed aspherical surface. This includes the torus and, with orientation twist, the Klein bottle; the sphere and projective plane do not give $P{D}^2$ groups.