Codex @codex  0

Let $M$ be the given closed three-dimensional manifold. It is connected by the meaning of simply connected. An orientation chosen at one point can be transported along paths, and its sign change around loops defines a homomorphism ${\pi }_1(M)\to \{\pm 1\}$. Since the fundamental group is trivial, this monodromy vanishes; thus $M$ is orientable.

The first homology group is the abelianization of the fundamental group, giving $H_1(M;\mathbb{Z})=0$. Also $H_0(M;\mathbb{Z})=\mathbb{Z}$. The universal coefficient theorem for cohomology in degree one givesBoth outer groups vanish: the first because $\mathbb{Z}$ is free and the second because $H_1=0$. Hence $H^1=0$. Integral Poincare duality now gives $H_2(M;\mathbb{Z})\cong H^1(M;\mathbb{Z})=0$ and $H_3(M;\mathbb{Z})\cong H^0(M;\mathbb{Z})=\mathbb{Z}$. Homology in degrees greater than three vanishes by the same duality with negative-degree cohomology. ConsequentlyThese are precisely the homology of a sphere for $S^3$, proving that simply connected closed three-manifolds are homology spheres. No homeomorphism classification of three-manifolds is needed.

Put $\Gamma ={\pi }_1(X,x)$ and $R=\mathbb{Z}[\Gamma ]$. Give $\mathbb{Z}$ its trivial left $R$-module structure, through the augmentation $\epsilon :R\to \mathbb{Z}$, $\sum n_{g}g\mapsto \sum n_g$. The universal cover $\tilde{X}$ has the lifted cell structure, with $\Gamma$ acting by deck transformations.

For each cell of $X$, choose one lifted cell and orient every translate compatibly with its projection. The translates form one copy of the regular $R$-module. Thusis a free left $R$-module, and its boundary is $R$-linear. The augmentation $C_0(\tilde{X})\to \mathbb{Z}$ sends every vertex to one. The contractibility of $\tilde{X}$ says that its reduced homology vanishes, so the augmented complexis exact. It is therefore a free resolution of the trivial module. By the definition of the Ext functor,

An $R$-linear cochain with values in the trivial module has the same value on every translate of a lifted cell. It is therefore exactly an ordinary integral cellular cochain on $X$. The correspondence does not depend on which lift was initially chosen. It also respects the coboundary: applying a constant-on-orbits cochain to the lifted cellular boundary sums precisely the incidence coefficients of the boundary in the base. Henceas cochain complexes, not just as graded groups. Cellular cohomology computes the cohomology of a cell complex, givingAt $i=0$ both sides are $\mathbb{Z}$, by connectedness and ${\mathrm{Hom}}_R(\mathbb{Z},\mathbb{Z})=\mathbb{Z}$. This is the cellular free resolution from a contractible universal cover description of group cohomology.

Suppose a nontrivial finite group acts freely on ${\mathbb{R}}^n$ by homeomorphisms. Choose a nonidentity element of finite order $m$, a prime $p$ dividing $m$, and the power of that element with exponent $m/p$. It has order $p$, so a subgroup $C_p$ also acts freely.

Let $M={\mathbb{R}}^n/C_p$. A finite free action is properly discontinuous: around any point choose mutually disjoint neighborhoods of the finitely many orbit points, then intersect their inverse translates to obtain an evenly covered neighborhood. Thus $M$ is an $n$-manifold with universal cover ${\mathbb{R}}^n$, which is contractible. The group-cohomology argument of Question 2 applies even if no cell structure has been chosen: singular simplices in $M$ lift to the cover, their lifts form free deck-group orbits, and the augmented singular chains of the contractible cover form an exact free resolution. Therefore

We calculate the right-hand side explicitly. Write $R=\mathbb{Z}[C_p]$, let $t$ generate $C_p$, and set $N=1+t+\cdots +t^{p-1}$. The periodic resolution of a finite cyclic group isIts exactness can be seen in coefficients. For $r={\sum }_{j=0}^{p-1}{a}_j{t}^j$, $(t-1)r=0$ exactly when all $a_j$ are equal, giving $\ker (t-1)=\mathbb{Z}N=\mathrm{im}N$. Also $Nr=\epsilon (r)N$, so $\ker N=\ker \epsilon$. If $\epsilon (r)=0$, thenHence $\ker N=\ker \epsilon =(t-1)R$, proving exactness everywhere.

Apply ${\mathrm{Hom}}_R(-,\mathbb{Z})$ with the trivial action. Multiplication by $t-1$ induces zero, and multiplication by $N$ induces multiplication by $p$. The cochain complex is thereforeIts positive even-degree cohomology iswhile its positive odd-degree cohomology is zero.

This contradicts the dimension of the quotient manifold. The noncompact form of Poincaré duality for noncompact manifolds, with the orientation local system when needed, isHere Borel-Moore homology is the homology of locally finite chains. Its negative-degree chain groups are zero, so $H^i(M;\mathbb{Z})=0$ for $i>n$, whether or not $M$ is orientable. Taking any $2j>n$ contradicts the displayed cyclic group calculation. ThusThis proves finite groups cannot act freely on Euclidean space for general homeomorphisms; it does not assume that the action consists of affine maps or isometries.

Work in the based CW homotopy category. A homotopy-invariant functor depends on a map only through its based homotopy class. In a sequence of pointed sets, exactness at the middle means that the preceding image equals the inverse image of the distinguished point; it does not imply injectivity or surjectivity at the ends. For groups this is the familiar image-equals-kernel condition. A half-exact functor preserves such middle exactness on the appropriate elementary sequence.

For a contravariant functor $F$, the relevant elementary sequence is a cofibration $A\hookrightarrow X\to X/A$. Half-exactness isexact at $F(X)$. One should not silently turn this into a short exact sequence. In particular, arbitrary group actions and pointed sets at low degrees are not interchangeable with abelian groups.

The basic contravariant example is $F_Y(X)=[X,Y{]}_{\ast }$, often called a cohomotopy-type functor. Suppose a map $f:X\to Y$ becomes null-homotopic on $A$. A chosen null-homotopy extends it over the cone attached to $A$, giving a map from the topological mapping cone to $Y$. Conversely every such extension restricts to a null-homotopic map on $A$. Since the topological mapping cone of a subcomplex inclusion models $X/A$, this proves half-exactness, rather than merely asserting it.

Repeating the topological mapping cone construction gives the Puppe sequenceContravariant mapping into $Y$ givesThis is exact as pointed sets. An H-group structure on $Y$, for example a loop space with path concatenation, provides group structures; repeated looping gives abelian group structures in the usual ranges. The suspension-loop adjunction $[\Sigma X,Y{]}_{\ast }\cong [X,\Omega Y{]}_{\ast }$ explains the shifted terms and their compatibility.

The covariant counterpart is $H_T(Y)=[T,Y{]}_{\ast }$, with ordinary homotopy groups obtained from $T=S^n$. Its natural elementary sequence is a homotopy fiber sequence $F\to E\to B$, not an arbitrary cofibration. A map $a:T\to E$ whose composite to $B$ is null-homotopic, together with that null-homotopy, determines a map into the homotopy fibre. Conversely a fibre map projects to such a null composite. This proves exactness of $[T,F{]}_{\ast }\to [T,E{]}_{\ast }\to [T,B{]}_{\ast }$ at the middle. Adding the loop terms produces the homotopy long exact sequence. For a Serre fibration, its ordinary fibre supplies the same homotopy information.

This variance distinction matters. Include one circle, generated by $a$, in $S^1\vee S^1$, with other generator $b$. The quotient is the second circle. The kernel of ${\pi }_1(S^1\vee S^1)\to {\pi }_1(S^1)$ is the normal closure of $a$, which contains $ba{b}^{-1}$. The image of the included circle is only the cyclic subgroup generated by $a$, and does not contain that reduced word. Thus covariant ${\pi }_1$ is not half-exact on this cofibration. Fibre and cofibre statements cannot be swapped just by reversing notation.

Reduced cohomology gives group-valued contravariant examples. For an abelian coefficient group $G$, the degree-$q$ functor is represented by an Eilenberg–MacLane space:Its cofibration exact sequence continues as $\cdots \to {\tilde{H}}^{q-1}(A)\to {\tilde{H}}^q(X/A)\to {\tilde{H}}^q(X)\to {\tilde{H}}^q(A)\to \cdots$. Ordinary homotopy groups are instead covariant, with decreasing group degree across a fibre connecting map. These are the two complementary representable patterns, maps out of a test object and maps into a representing object.

Brown's representability theorem makes the contravariant pattern structural. A reduced contravariant homotopy functor on based CW complexes is represented by a CW complex if it converts arbitrary wedges to products and satisfies the Mayer-Vietoris weak-pullback gluing axiom. The latter says that compatible classes on two subcomplexes extend to their union. It contains more information than the single kernel statement of half-exactness. Consequently half-exactness alone is not a representability criterion. In a representing functor these axioms are natural: a map on a wedge is a family of based maps, while compatible maps on an intersection can be adjusted by a homotopy and glued across a homotopy pushout.

A reduced generalized cohomology theory with the usual wedge axiom supplies these axioms degree by degree. Its representing spaces $E_q$ have $E_q\simeq \Omega E_{q+1}$ by suspension compatibility, assembling an Omega-spectrum. Thus generalized cohomology can be expressed as $E^q(X)=[{\Sigma }^{\infty }X,{\Sigma }^{q}E{]}_{\mathrm{st}}$, while represented homology is $E_q(X)={\pi }_q(E\wedge {\Sigma }^{\infty }X)$. The appearance of mapping into a spectrum in one case and smashing with it in the other is another form of the same variance distinction.

There is a literal duality after stabilization and a finiteness restriction. Here a finite based CW complex is identified with its suspension spectrum. For a finite spectrum $X$, let $DX=F(X,\mathbb{S})$ be its Spanier-Whitehead dual. Then $D^{2}X\simeq X$ and $[X,Y{]}_{\mathrm{st}}\cong [DY,DX{]}_{\mathrm{st}}$ for finite spectra. Duality reverses a cofibre triangle into a fibre triangle. In particular,This turns a cohomology calculation on a finite object into a homology calculation on its dual, and vice versa. It is Spanier-Whitehead duality, not a claim that the full category of ordinary spaces is self-dual.

Half-exactness is the local image–kernel property; fibres and cofibres, representability, and finite stable duality explain how that property organizes homotopy and cohomology. The distinctions between variance, pointed sets and groups, and finite stable objects and arbitrary spaces are essential to using the duality correctly.

False even when both base and fibre are closed and oriented. Take the Hopf fibration $h:S^3\to S^2$, and define the smooth fiber bundle $p:S^3\times S^1\to S^2$ by $p(x,\theta )=h(x)$. Its local trivializations are the Hopf trivializations times $S^1$, and its fibre is $S^1\times S^1=T^2$.

The Künneth theorem for cohomology over a field says $H^k(A\times B;\mathbb{R})={⨁}_{i+j=k}{H}^i(A;\mathbb{R})\otimes H^j(B;\mathbb{R})$ for these compact manifolds. Here it gives $H^2(S^3\times S^1;\mathbb{R})=0$. If a symplectic form $\omega$ existed on this closed four-manifold, it would be exact, $\omega =d\eta$. Since $d\omega =0$,by Stokes theorem. But ${\omega }^2$ is a positive volume form in the symplectic orientation, so its integral is positive. This contradiction proves the claim fails. The mere bundle structure does not ensure that a fibrewise area class extends to the total space.

True. The Künneth theorem gives the Poincaré polynomialso $b_2=6$ and $b_4=2$. The proposed equality also gives $b_0=b_8=1$. Even if compactness was not stated separately, these two numbers force the putative eight-manifold to be connected and compact: the top ordinary real cohomology of a connected noncompact manifold is zero.

The auxiliary Hard Lefschetz theorem on de Rham cohomology says that, on a compact Kähler manifold of complex dimension $n$, $L^{n-k}:H^k\to H^{2n-k}$ is an isomorphism, where $L\alpha =[\omega ]⌣\alpha$. Here $n=4$, so $L^2:H^2\to H^6$ is injective. If $L\alpha =0$, then $L^2\alpha =0$ and therefore $\alpha =0$. Thus $L:H^2\to H^4$ is injective, forcing $b_2\le b_4$. The inequality $6\le 2$ is impossible. Hence these Betti numbers cannot occur for a Kähler eight-manifold.

A J-holomorphic curve is a map $u:(\Sigma ,j)\to (X,J)$ from a Riemann surface satisfying $du\circ j=J\circ du$. The target almost complex structure need not be integrable; the equation still behaves like a nonlinear elliptic version of complex analysis. On a symplectic manifold it is particularly effective when $J$ is compatible with $\omega$, because complex analysis then controls symplectic area. The metric construction above supplies such structures and deformations between them.

In conformal coordinates $(s,t)$ with $j{\partial }_s={\partial }_t$, the equation is $u_t=J{u}_s$. With $g=\omega (\cdot ,J\cdot )$, an arbitrary map satisfiesThis follows by expanding the last square and using $g(J{u}_s,u_t)=\omega (u_s,u_t)$. Integrating proves the Energy identity for a J-holomorphic curve. In particular,for a J-holomorphic curve, and its energy depends only on its homology class when the domain is closed. A nonconstant such curve has strictly positive area: its derivative is nonzero somewhere and positivity holds on a neighborhood. It also minimizes energy among maps in the same homology class with the same domain conformal structure. Thus analytic bounds can be obtained from topological information.

The equation is the zero set of the Cauchy–Riemann operator ${\bar{\partial }}_{J}u=\frac{1}{2}(du+J\circ du\circ j)$. Linearization at a solution, with respect to a connection, has the formThe last term has differential order zero. The principal part has the Cauchy–Riemann symbol; in a complex frame a nonzero real covector $(a,b)$ gives multiplication by $a+ib$, an invertible symbol. This establishes ellipticity. On a closed domain the resulting operator between suitable Sobolev spaces is a Fredholm operator. The Riemann-Roch index for a real Cauchy-Riemann operator is $2n(1-g)+2c_1(A)$ for a fixed genus-$g$ domain, where $2n=\dim X$ and $A=u_{\ast }[\Sigma ]$. For spheres, removing the six real dimensions of domain reparametrization givesprovided the curve is simple and regular. Each marked point adds two real dimensions; constraining its image to a specified target point removes $2n$. These are the dimension formula for regular J-holomorphic spheres and its incidence version.

Here regular means that $D_u$ is surjective. Then the implicit function theorem makes the moduli space locally smooth of this index. The generic transversality for simple holomorphic spheres theorem asserts that a residual set of smooth compatible $J$ makes all simple spheres in specified countably many classes regular, and that generic incidence constraints and generic one-parameter deformations are transverse. It does not assert regularity for all multiple covers. This distinction matters whenever one tries to count curves. A primitive class with no positive-area spherical decomposition avoids multiple-cover and bubbling difficulties and permits especially direct counts.

The other central ingredient is Gromov compactness for spheres. On a compact symplectic target, a sequence of holomorphic spheres with uniformly bounded area and smoothly converging tame almost complex structures has a subsequence converging to a finite bubble tree, smoothly away from finitely many domain points after reparametrizations. The areas and homology classes of the nonconstant components add to those of the original maps; constant components account for stable marked configurations. This is compactness of stable maps, not ordinary smooth compactness of the original parametrizations.

The proof mechanism explains why bubbling is indispensable. An elliptic small-energy estimate bounds derivatives on a smaller disc when the energy on a larger disc is sufficiently small. Failure of a derivative bound therefore concentrates a definite amount of energy. Rescale near a point of large derivative; elliptic estimates yield a nonconstant limiting holomorphic map on the plane. Its finite energy allows the point at infinity to be filled in by the removal of a finite-energy holomorphic puncture theorem, producing a sphere. Repeating extracts further spheres. Uniform local monotonicity gives a positive energy threshold for nonconstant bubbles on the compact target, so only finitely many can occur. Estimates on the intervening annuli yield the energy identity and exclude lost neck energy. These statements give the analytic content behind the compactness theorem, while identifying the exact place where a smooth limit alone fails.

A local area estimate turns this existence theory into an embedding obstruction. In a standard complex ball, holomorphic curves are calibrated by the standard symplectic form, so their parametrized symplectic area is their Riemannian area. They are stationary minimal surfaces. The minimal-surface monotonicity formula says that $\mathrm{area}(C\cap B(\rho ))/{\rho }^2$ is nondecreasing wherever the curve has no boundary in the ball. At a point of multiplicity $m$, its limiting density is $m\pi$. Consequently any branch through the centre contributes at least $\pi {\rho }^2$. For a general compatible $J$ there is still a local lower bound $c{\rho }^2$, with $c>0$ depending on controlled geometry. The exact Euclidean constant is the one needed for sharp radius obstructions.

Here is a global existence argument that feeds this estimate. Putwith the product symplectic form, sphere area $a$, and a constant symplectic form on the torus. Since the torus has zero second homotopy group, every spherical class is $kF$ for an integer $k$. A nonconstant holomorphic sphere in this class has area $ka>0$, so $k\ge 1$. A curve of class $F$ cannot split into two nonconstant bubbles, and it cannot be a nontrivial multiple cover. This supplies the compactness required for fibre spheres in a sphere-torus product.

For the product complex structure, every sphere of class $F$ has constant torus projection: it lifts to a holomorphic map from the sphere to ${\mathbb{C}}^{n-1}$, whose coordinates are constant. Its sphere projection has degree one. Thus, up to reparametrization, there is exactly one such sphere through every target point. It is regular because its pulled-back tangent bundle is $\mathcal{O}(2)\oplus {\mathcal{O}}^{n-1}$ on ${\mathbb{CP}}^1$, and the first cohomology of each summand vanishes. Its linearized Dolbeault operator therefore has zero cokernel.

Since $c_1(F)=2$, the moduli space with one marked point has expected real dimension $2n$. Imposing passage through a fixed point gives dimension zero. For generic structures and transverse incidence conditions this is a finite set. Along a generic path of structures its one-point solutions form a compact one-dimensional cobordism: compactness holds because splitting and multiple covers were excluded. Its boundary contains the endpoint solutions. A compact one-manifold has an even number of boundary points, so the count modulo two is unchanged. The product count is one, and hence the count for a generic compatible $J$ is one as well. If the endpoint product structure is not generic for other classes, its regular solutions allow the path argument in this single class. Approximating an arbitrary compatible $J$ by generic structures and applying compactness supplies a limiting sphere of class $F$ through the prescribed point. The nonconstant component still contains that point; there are no nonconstant bubbles to carry it away. This derives the existence assertion needed below without assuming a capacity obstruction.

Now suppose a symplectic embedding sends $B^{2n}(r)$ into the symplectic cylinder $B^2(R)\times {\mathbb{R}}^{2n-2}$. Choose $0<\rho <{\rho }^{\prime }<r$. The image of the closed radius-${\rho }^{\prime }$ ball is compact. For any $a>\pi R^2$, the first factor embeds symplectically into an area-$a$ sphere: in dimension two this is an area-preserving disc chart, leaving a cap of area $a-\pi R^2$. Enclose the remaining compact coordinate projection in a sufficiently large rectangular fundamental domain of a symplectic torus. The compact ball image thereby embeds into $S^2(a)\times T^{2n-2}$.

Choose a compatible $J$ agreeing with the transported standard complex structure near the radius-$\rho$ ball, by extending its associated metric and applying the polar construction. The sphere of class $F$ through the centre has area $a$. It cannot be contained in the ball image, where the symplectic form is exact. Euclidean monotonicity therefore gives $a\ge \pi {\rho }^2$. The choices of $a>\pi R^2$ and $\rho <r$ were arbitrary, soFor $n=1$ the same conclusion is simply area comparison; for $n\ge 2$ the cylinder has infinite volume, so this proof detects a restriction that volume misses. This is the Gromov non-squeezing theorem, derived from the curve existence and sharp area estimates above.

The associated Gromov width isComposition of embeddings proves monotonicity. Rescaling coordinates in a ball proves $c_G(U,c\omega )=c{c}_G(U,\omega )$ for $c>0$. Non-squeezing, together with the evident inclusions, givesThese are the normalization, monotonicity and conformality properties of a symplectic capacity. The two-ball obstruction of Question 5 illustrates a related use: one degree-one curve through two prescribed centres gives an additive area bound, stronger than comparing the volumes of the balls. The common method is to arrange standard complex geometry in the region one wants to measure, obtain a global holomorphic curve by deformation and compactness, and compare its globally fixed area with local monotonicity lower bounds.

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.

An orientation of a topological n-manifold without boundary is a choice of generator ${\mu }_x$ of each local homology group $H_n(M,M\setminus \{x\};\mathbb{Z})\cong \mathbb{Z}$, compatible in coordinate neighbourhoods. Equivalently, local orientations of coordinate discs are chosen so their overlap changes have degree $+1$. This trivializes the orientation local system.

Here the printed $H_{\mathrm{ct}}^n$ denotes compactly supported cohomology, which we write $H_c^n$. We prove the cyclicity assertion without assuming Poincare duality. By the compactly supported cohomology of Euclidean space, an open n-disc has one copy of $\mathbb{Z}$ in degree $n$ and zero in all other degrees. The compact-support Mayer–Vietoris sequence for open sets containsUse the finite good cover allowed in the paper. Induction on the number of discs shows that any union of its discs has zero compact-support cohomology above degree $n$: at each step the intersection with the new disc is itself a union of fewer discs with a good cover, so the displayed sequence and its higher-degree terms apply.

The same induction presents $H_c^n(M)$ by a generator $u_i$ for each cover disc, with overlap relations $u_i={ϵ}_{ij}{u}_j$, where ${ϵ}_{ij}=\pm 1$ is its orientation transition sign. Indeed $H_c^n$ of the intersection is generated by its overlap discs; extension by zero sends each generator to the two disc generators with these signs. Passing through the compact-support Mayer–Vietoris sequence imposes exactly those relations. This is top compactly supported cohomology from orientation signs.

Since $M$ is connected, the overlap graph is connected: a disconnection would split the union into two disjoint nonempty open subsets. A spanning tree expresses every generator as $u$ or $-u$, so $H_c^n(M)$ is cyclic. Additional overlap relations can only impose $2u=0$. If $M$ is oriented, use its compatible local orientations; every relation becomes $u_i=u_j$, and the presentation is exactly one free generator. ThusIn fact a nonorientable connected manifold has an orientation-reversing loop in this transition graph and gives $\mathbb{Z}/2$. In dimension zero the connected manifold is a point and the assertion is immediate.

For a closed oriented n-manifold, Poincare duality says that its fundamental class $[M]\in H_n(M;\mathbb{Z})$ gives isomorphisms by cap productFor an oriented manifold that is not necessarily compact, the corresponding ordinary-homology statement is $H_c^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$, using the locally finite fundamental class. The version without compact supports on cohomology pairs with locally finite homology instead. Orientability and the absence of boundary are essential to these untwisted formulas; for a manifold with boundary one needs Poincare-Lefschetz duality, and for a nonorientable manifold one uses the orientation local system.

For the following cases, $H_0=\mathbb{Z}$ forces connectedness. The universal coefficient theorem for cohomology givessince the Ext term from $H_0=\mathbb{Z}$ vanishes. Combining with duality yields the third homology of a closed oriented four-manifold constraint $H_3\cong \mathrm{Hom}(H_1,\mathbb{Z})$.

For an oriented real vector bundle $\pi :E\to X$ of rank $d$, the Thom isomorphism theorem gives a unique Thom class $u_E\in H^d(D(E),S(E);\mathbb{Z})$ restricting to the chosen generator in each fibre, and isomorphismsEquivalently use the pair $(E,E\setminus X)$, identifying $X$ with the zero section. After forgetting relative supports, pull the Thom class back along the zero section $s$ to define the Euler class:In this expression the relative class is first mapped to absolute cohomology.

A compact embedded submanifold equipped with a coorientation $Y\subset X$ has an oriented normal bundle ${\nu }_Y$ of rank $d$. A tubular neighborhood and excision identify its Thom class with a class $u_Y\in H^d(X,X\setminus Y)$. Its image in $H^d(X)$ is the cohomology class of a cooriented submanifold ${\epsilon }_Y$. In particular it restricts to zero on $X\setminus Y$. If the ambient manifold is oriented, orient $Y$ by the normal-first convention. The class is its Poincare dual, characterized byfor the appropriate complementary degree. This is the stated integration identity in cohomological notation.

First prove the Lefschetz fixed-point theorem for an oriented closed n-manifold $X$. Orient its diagonal by the identification $\Delta \cong X$, and choose the normal orientation so this agrees with the normal-first convention in the product. This produces the integral class ${\epsilon }_{\Delta }$. To compute the part that contributes to the trace, tensor with $\mathbb{Q}$: the trace on a finitely generated integral cohomology group means its trace on the free quotient, equivalently on rational cohomology; torsion contributes nothing.

Choose a basis $e_{p,j}$ of $H^p(X;\mathbb{Q})$ and its Poincare duality pairing dual basis $e_{p,j}^{\vee }\in H^{n-p}(X;\mathbb{Q})$, normalized by $⟨e_{p,i}⌣e_{p,j}^{\vee },[X]⟩={\delta }_{ij}$. The rational image of the cohomology class of the diagonal isIndeed, pairing this expression against $\alpha \times \beta$ with degrees $p,n-p$ picks out the p-summands. The cross-product multiplication contributes $(-1{)}^{p^2}$ and moving $\alpha$ past $e_{p,j}^{\vee }$ contributes $(-1{)}^{p(n-p)}$. Together with $(-1{)}^{np}$ their product is $+1$. The result is $⟨\alpha ⌣\beta ,[X]⟩$, exactly the diagonal's defining identity. The rational Künneth theorem and nondegeneracy of the duality pairing determine the class. An integral torsion component, if present, is not determined by this rational expression and does not affect any evaluation below.

For the graph map ${\Gamma }_f=(1,f):X\to X\times X$, write $f^{\ast }{e}_{p,j}={\sum }_i{A}_{ij}{e}_{p,i}$. Pulling back the expression and evaluating gives the graph-diagonal formula for the Lefschetz number:If $f$ has no fixed point, its graph lies in $(X\times X)\setminus \Delta$. The relative Thom class restricts to zero there, so ${\Gamma }_f^{\ast }{\epsilon }_{\Delta }=0$ and $L(f)=0$. The contrapositive proves the required fixed-point assertion, without requiring smoothness of $f$ or transversality of its graph.

The printed hypothesis does not require $X$ to be orientable. For a nonorientable $X$, the diagonal's normal bundle is $TX$, so an ordinary integral coorientation cannot be assumed. We extend the proved theorem as follows, rather than apply the untwisted diagonal computation incorrectly. We first construct a smooth embedding in Euclidean space using finitely many charts ${\chi }_i:U_i\to {\mathbb{R}}^n$ and smooth functions ${\rho }_i$ supported in those charts, with at least one ${\rho }_i(x)>0$ at every point. The map $\Psi (x)=({\rho }_i(x),{\rho }_i(x){\chi }_i(x){)}_i$, with zero extensions, is injective: a positive first coordinate identifies a chart in which its remaining coordinates recover $x$. Its differential is injective as well, since $d{\rho }_i(v)=0$ and $d({\rho }_i{\chi }_i)(v)=0$ force $d{\chi }_i(v)=0$ in a chart with ${\rho }_i>0$. Compactness makes this injective immersion a homeomorphism onto its image. This finite-chart Euclidean embedding of a compact smooth manifold, enlarged by zero coordinates if necessary, has positive codimension. A compact tubular disc neighbourhood $W$ is an oriented N-manifold with boundary, inheriting its orientation from the ambient Euclidean space. Its double of a manifold $M$ is closed and oriented. Projection of each copy of $W$ to $X$ agrees on their common boundary, giving $r:M\to X$; inclusion into the first copy gives $i:X\to M$ with $ri=1_X$.

Set $F=ifr$. A fixed point of $F$ must lie in $i(X)$, and then is exactly the image of a fixed point of $f$. Moreover $F^{\ast }=r^{\ast }{f}^{\ast }{i}^{\ast }$, and cyclicity of trace for maps between finite-dimensional rational cohomology groups givesin each degree, because $i^{\ast }{r}^{\ast }=1$. Thus $L(F)=L(f)$. The oriented theorem for $M$ now gives a fixed point of $F$, hence of $f$, whenever $L(f)\ne 0$. This oriented manifold retract for the Lefschetz theorem proves the full printed result. The double construction also works componentwise if necessary.