Codex @codex  0

For a compact oriented submanifold without boundary in an oriented manifold, the normal Thom class gives a compactly supported cohomology class dual to its pushed-forward fundamental class. It is independent of the tubular neighborhood and its ordinary-cohomology image vanishes on the complement of the submanifold. A noncompact submanifold closed only as a subset generally has its dual in ordinary cohomology, using locally finite homology instead.

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 a cochain complex $E$, define the shift of a cochain complex byFor a cochain map $a:E\to F$, put $(\Sigma a{)}^i=a^{i+1}$. This is again a cochain map, so the construction is a functor. The sign ensures the standard cone identities; the shifted differential squares to zero. Iteration gives $E[r{]}^i=E^{i+r}$ and differential $(-1{)}^r{d}_E$, and $H^i(E[r])=H^{i+r}(E)$.

For $\varphi :E\to F$, its algebraic mapping cone isApplying this differential twice gives first component $d_F^{2}f+d_F\varphi e-\varphi d_{E}e=0$, since $\varphi$ is a cochain map, and second component $d_E^{2}e=0$. The mapsare cochain maps: $d_{C}u(f)=(d_{F}f,0)=u(d_{F}f)$ and $v(d_C(f,e))=-d_{E}e=d_{\Sigma E}v(f,e)$. They are maps of complexes of sheaves, because every displayed operation is a sheaf morphism in each degree.

The bounded below derived category of sheaves $D(X)=D^{+}(X)$ can be constructed by first quotienting the category of bounded below cochain complexes by cochain homotopy and then formally inverting all quasi-isomorphisms. A morphism may be represented by a roof $E\stackrel{\sim }{\leftarrow }{E}^{\prime }\to F$. Alternatively, take injective resolutions of sheaves and use homotopy classes of maps between the resulting injective complexes. The cohomology sheaf functors descend to the localization, because they already identify homotopic maps and turn quasi-isomorphisms into isomorphisms. If $E\cong 0$ in $D(X)$, applying these functors gives ${\mathcal{H}}^i(E)=0$ for every $i$. Conversely, if all these sheaves vanish, the unique map $E\to 0$ is a quasi-isomorphism, which becomes invertible in $D(X)$. HenceAn exact triangle in a derived category is a triangle isomorphic to a cone triangleIn particular the last arrow is part of the structure; a mere sequence of three objects with successive composite zero does not suffice.

Suppose $0\to E\stackrel{\varphi }{\to }F\stackrel{\psi }{\to }G\to 0$ is degreewise exact. DefineThen $r(d_C(f,e))=\psi (d_{F}f)+\psi \varphi (e)=d_G\psi (f)=d_{G}r(f,e)$, so $r$ is a cochain map. It is natural under maps of short exact sequences. It is degreewise surjective as a sheaf map, and its kernel can be identified with $E^i\oplus E^{i+1}$ using $(a,e)\mapsto (\varphi (a),e)$. In these coordinates the kernel differential isThere is a contracting homotopy $h^i(a,e)=(0,a)$ in degree $i-1$:Thus the kernel has zero cohomology sheaves. The cohomology-sheaf exact sequence is the sequence of the short exact sequence of complexes $0\to \ker r\to C(\varphi )\to G\to 0$, or equivalently its ordinary complex-cohomology sequence at every stalk. It follows that $r$ induces isomorphisms of all cohomology sheaves, provingUnder this isomorphism the cone triangle becomes the exact trianglewhere $\delta =v\circ r^{-1}$ in the derived category.

For the final construction write $U=S^2\setminus S^1$ and set $A=i_{!}{\mathbb{Q}}_U$, $B={\mathbb{Q}}_{S^2}$, $C=j_{\ast }{\mathbb{Q}}_{S^1}$, each initially placed in degree zero. The stated sequence $0\to A\to B\to C\to 0$ is exact on stalks: on $U$ its first map is an isomorphism and its last sheaf is zero; on the equator its first sheaf is zero and the second map is an isomorphism. Take its connecting morphismThe source has only ${\mathcal{H}}^0(C)=C$, whereas the target has only ${\mathcal{H}}^{-1}(A[1])=A$. Therefore every induced map ${\mathcal{H}}^i(\mu )$ is zero: in any degree at least one of its source and target is zero. This is a ghost morphism in a derived category.

To prove the derived morphism itself is nonzero, apply derived global sections, giving the hypercohomology sequence. The extension by zero identifies $H^{\ast }(S^2;A)$ with the compactly supported cohomology of $U$, and closed direct image identifies $H^{\ast }(S^2;C)$ with $H^{\ast }(S^1;\mathbb{Q})$. The complement $U$ is two open disks, each homeomorphic to ${\mathbb{R}}^2$, soThe degree-one part of the resulting exact sequence isThus ${\mu }_{\ast }$ is injective, in particular nonzero. With the hemispheres oriented from $S^2$, the last map is $(a,b)\mapsto a+b$, so an appropriately oriented equator generator maps to $(1,-1)$. A zero morphism in the derived category of sheaves would induce a zero map after derived global sections and taking cohomology. Consequently $\mu \ne 0$, although ${\mathcal{H}}^i(\mu )=0$ for every $i$. This establishes explicitly that the collection of cohomology-sheaf functors detects zero objects but is not faithful on morphisms.

For a locally compact space, compactly supported cohomology iswith transition maps induced by enlarging supports. In ${\mathbb{R}}^n$ closed balls are cofinal; their complements retract onto $S^{n-1}$. The relative cohomology long exact sequence and contractibility of ${\mathbb{R}}^n$ giveThis is compactly supported cohomology of Euclidean space; for $n=0$ it is simply the cohomology of a point.

For an oriented $n$-manifold without boundary, Poincare duality in its compact-support form states that capping with the locally finite fundamental class gives $H_c^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$. If $M$ is closed, the ordinary fundamental class $[M]\in H_n(M;\mathbb{Z})$ gives $H^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$ and a perfect complementary-degree pairing over $\mathbb{Q}$.

Choose an oriented embedded closed ball $B$ in a connected closed oriented $M$. Collapse $M\setminus \mathrm{int}B$ to a point, identifying $B/\partial B$ with $S^n$ using its orientation. The quotient map is continuous. By excision, the fundamental class maps to the local oriented generator in $H_n(B,\partial B)$, and then to the generator of $H_n(S^n)$. Hence the collapse map has $\boxed{\mathrm{deg}f=1}$.

The reverse direction is not always possible. More generally a degree-one map $f:N\to M$ between closed oriented manifolds induces an injective map on rational cohomology: if $\alpha \ne 0$, duality supplies $\beta$ with $⟨\alpha ⌣\beta ,[M]⟩\ne 0$, andIn particular there is no degree-one map $S^2\to T^2$, since $H^1(T^2;\mathbb{Q})={\mathbb{Q}}^2$ but $H^1(S^2;\mathbb{Q})=0$. This is a counterexample to an unconditional reverse assertion.

Finally let $p:{\mathbb{CP}}^3\to S^4$ be the given bundle projection. The standard cohomology ring of complex projective space is $H^{\ast }({\mathbb{CP}}^3;\mathbb{Z})=\mathbb{Z}[h]/(h^4)$, $|h|=2$; the integral generator $u$ of $H^4(S^4)$ has $p^{\ast }u=m{h}^2$ for some integer $m$. If a section of a fiber bundle $s$ existed, $p\circ s=1$ would give $s^{\ast }{p}^{\ast }=1$ by functoriality. But $H^2(S^4)=0$, so $s^{\ast }h=0$ and $s^{\ast }(m{h}^2)=0$, contradicting $s^{\ast }{p}^{\ast }u=u\ne 0$. The facts used here are the sphere cohomology groups, the projective-space ring just stated, and multiplicative functoriality of cohomology. Thus the bundle has no section, the cohomological obstruction to a section of the twistor bundle.

Let $\pi :E\to B$ be an oriented real vector bundle of rank $r$ over a paracompact base. A Thom class is a class $U\in H^r(E,E\setminus B;\mathbb{Z})$ restricting on every oriented fiber pair $({\mathbb{R}}^r,{\mathbb{R}}^r\setminus 0)$ to its positive generator. The Thom isomorphism theorem states that this class exists uniquely with those fiber restrictions and thatHere $B$ is identified with the zero section. Equivalently use the disk/sphere bundle pair. The compact-support version is $H_c^q(B;\mathbb{Z})\cong H_c^{q+r}(E;\mathbb{Z})$, with fiberwise compact support in the Thom construction. If the bundle is not oriented, the integral assertion requires the corresponding orientation local system.

For a closed co-oriented embedded submanifold $Y$ of codimension $r$, co-orientation means an orientation of its normal bundle. A tubular neighborhood identifies a neighborhood of $Y$ with that bundle. Its Thom class, transferred by excision, is a class in $H^r(M,M\setminus Y;\mathbb{Z})$. For compact $Y$ this maps into the direct limit defining compactly supported cohomology, giving $\boxed{{\epsilon }_Y\in H_c^r(M;\mathbb{Z})}$. The construction is independent of the tubular neighborhood and uses the chosen co-orientation. In an oriented ambient manifold it is the Poincare dual of the oriented submanifold. Here “closed submanifold” has the usual compact-without-boundary meaning; if it meant merely a closed subset and $Y$ were noncompact, the supported relative class would still exist but need not have compact support.

We next prove the fixed-point implication without imposing an unprinted orientability assumption on $M$. SetUse a finite triangulation of the closed smooth manifold. The elementary Hopf trace identity says that the alternating trace of a chain endomorphism equals its alternating trace on homology. To verify it, split each finite-dimensional chain space as boundaries, a complement representing homology, and a complement mapping isomorphically onto the preceding boundaries. The traces on these two boundary summands cancel in adjacent degrees, leaving exactly the homology traces. The cohomology traces equal the homology traces because the induced maps are dual over $\mathbb{Q}$.

If $f$ has no fixed points, compactness gives $\delta ={\min }_{x}d(x,f(x))>0$. Choose a triangulation $K$ of mesh less than $\delta /4$ and a sufficiently fine subdivision $K^{\prime }$ admitting a simplicial approximation $F:K^{\prime }\to K$ uniformly within $\delta /4$ of $f$. The subdivision chain map $s:C_{\ast }(K)\to C_{\ast }(K^{\prime })$ sends each simplex to simplices inside it. For a vertex $v$ of such a small simplex, $d(v,F(v))>3\delta /4$, so $F(v)$ cannot lie in the original coarse simplex. Consequently $F_{\#}s$ has zero diagonal coefficient on every coarse simplex. Its trace vanishes in every degree, while it induces $f_{\ast }$ on homology. The trace identity yields $L(f)=0$. Taking the contrapositive provesThis is the Lefschetz fixed-point theorem, established here rather than invoked. For oriented $M$ the same identity is the graph-diagonal formula for the Lefschetz number: $L(f)=⟨(1,f{)}^{\ast }{\epsilon }_{\Delta },[M]⟩$, which vanishes when the graph misses the diagonal. Finally, homotopic maps induce the same cohomology maps, so their Lefschetz numbers agree.

Define compactly supported cohomology byFor $K\subseteq L$, the transition map is induced by the identity map of pairs $(X,X\setminus L)\to (X,X\setminus K)$. Equivalently, take the cochain complex of singular cochains that vanish on every chain contained in the complement of some compact set. Directed unions are exact, giving the same definition.

For $\mathbb{R}$, the intervals $[-a,a]$, $a>0$, are cofinal among compact subsets. The complement has two contractible components. The long exact sequence in relative cohomology contains the diagonal map $\mathbb{Z}\to \mathbb{Z}\oplus \mathbb{Z}$, so its cokernel is $H^1(\mathbb{R},\mathbb{R}\setminus [-a,a])\cong \mathbb{Z}$, and all the other relative groups vanish. Enlarging the interval preserves the generator given by the difference of the two ends. Therefore

For the compact-support comparison with a one-point compactification, write $Y=X^{+}$. The assumed Hausdorff one-point compactification is compact; a compact subset $K\subseteq X$ is closed in $Y$. The Excision theorem removes $\{\infty \}$ from the pair $(Y,Y\setminus K)$, because its closure lies inside the open second member. ThusComplements of compact subsets of $X$ are exactly the open neighbourhoods of $\infty$ in $Y$. The hypothesis supplies a cofinal family of contractible such neighbourhoods $U$. For every one, the long exact sequence of the pair identifiesIn degree zero, this is the kernel of evaluation on the component of $\infty$, identified with reduced cohomology by subtracting the constant value there. In degree one the map $H^0(Y)\to H^0(U)\cong \mathbb{Z}$ is surjective; in higher degrees the positive cohomology of $U$ vanishes. These identifications are natural for inclusions of contractible neighbourhoods. Passing to the direct limit proves

For the specified disjoint union of lines, a compact subset meets only finitely many components and is bounded in each. Finite unions $F\times [-a,a]$, with $F\subset \mathbb{Z}$ finite, are cofinal. Applying the preceding relative calculation componentwise givesThe one-point compactification $W$ of this space is the Hawaiian earring: each line becomes a circle by adding the common point $\infty$, and every neighbourhood of $\infty$ contains all but finitely many whole circles. On the remaining finitely many circles it contains neighbourhoods of the common point. This describes exactly the shrinking-circle topology. In particular $W$ is not locally contractible at $\infty$: every such neighbourhood contains a whole circle, whose generator remains nontrivial under the retraction $W\to S^1$ that collapses all the other circles.

For integral singular cohomology, the comparison does not hold. Here is a degree-two obstruction that takes account of the shrinking-circle topology. The standard rational summand in Hawaiian earring homology theorem gives a direct summand $\mathbb{Q}$ in $H_1(W;\mathbb{Z})$. The universal coefficient theorem for cohomology injectsThe summand $\mathbb{Q}$ therefore contributes the nonzero Ext of the rationals with integer coefficients.

For completeness, this last algebraic assertion has an explicit proof. Present $\mathbb{Q}$ using generators $a_n=1/n!$ and relations $a_n-(n+1)a_{n+1}=0$, $n\ge 1$. The corresponding free resolution shows that ${\mathrm{Ext}}_{\mathbb{Z}}^1(\mathbb{Q},\mathbb{Z})$ is the cokernel ofThe constant sequence $(1,1,\dots )$ is not in the image. Otherwise iteration would giveFor large $N$, the factorial sum exceeds $|u_1|$ but is less than $(N+1)!-|u_1|$, making that congruence impossible. Thus the cokernel is nonzero. It follows thatwhich proves the failure of the claimed isomorphism. The ingredient concerning the Hawaiian earring is its singular-homology structure theorem, not the homology of an infinite CW complex wedge of circles; these topologies differ.

Let $m=\dim M$ and $q=m-\dim Y$. Here a closed submanifold means compact and without boundary, which is the condition needed for a compactly supported dual class. The orientations of $M$ and $Y$ orient the normal bundle ${\nu }_Y$. Its Thom class is the unique relative class of degree $q$ restricting to the chosen orientation generator on every normal fiber. A tubular neighborhood identifies this class with one near $Y$ in $M$. Choose a compact normal disc neighborhood and extend the relative class to compactly supported cohomology of $M$. Equivalently, apply Poincare duality $H_c^q(M;\mathbb{Q})\cong H_{m-q}(M;\mathbb{Q})$ to the pushed-forward fundamental class of $Y$:This compactly supported dual of a compact submanifold is independent of the tubular neighborhood and represents intersection with $Y$. Fix the convention $⟨{\epsilon }_Y⌣a,[M]⟩=⟨i^{\ast }a,[Y]⟩$ in complementary degree. Its image in ordinary cohomology restricts to zero on $M\setminus Y$, because it comes from relative cohomology supported near $Y$. If a submanifold is only closed as a subset but is noncompact, its usual dual lies in ordinary cohomology instead; compact support is not asserted in that situation.

Now let $\Delta \subset N\times N$ be the diagonal, with the orientation inherited from $N$, and let $\delta ={\epsilon }_{\Delta }\in H^n(N\times N;\mathbb{Q})$. For each $i$, choose a basis $a_{i,j}$ of $H^i(N;\mathbb{Q})$ and its dual basis $b_{i,j}$ of $H^{n-i}(N;\mathbb{Q})$ satisfying $⟨a_{i,j}⌣b_{i,k},[N]⟩={\delta }_{jk}$. The Poincare duality pairing and the Künneth theorem give the cohomology class of the diagonalThe sign can be checked from the defining identityFor $|u|=i$, moving the degree-$i$ class in the second factor past $u$ contributes $(-1{)}^i$, and interchanging $b_{i,j}$ and $u$ contributes $(-1{)}^{i(n-i)}$; the displayed coefficient cancels their product. Equivalently its exponent is $ni$ modulo two.

The cohomological pushforward between closed oriented manifolds is characterized byfor complementary degrees. This follows immediately from its definition by Poincare duality and naturality of evaluation on pushed-forward homology. In degree $i$, the matrix trace of $f^{!}{g}^{\ast }$ on $H^i(N;\mathbb{Q})$ is consequentlyFor finite-dimensional maps between two possibly different vector spaces, $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. Thus this matrix trace equals that of $g^{\ast }{f}^{!}$ on $H^i(M;\mathbb{Q})$. Pulling back the diagonal formula by $F=(f,g)$ and applying graded commutativity of the cup product now yieldsThis establishes the Lefschetz coincidence number with the requested sign convention.

If $f(m)\ne g(m)$ for every $m$, the map $(f,g)$ factors through $(N\times N)\setminus \Delta$. The diagonal class restricts to zero there, so its pullback is zero and $L(f,g)=0$. Taking the contrapositive proves the Lefschetz coincidence theorem:No transversality or isolated-coincidence assumption is needed. This cohomological argument also applies to continuous maps, which covers the last request.

For a map $f:M\to N$ of degree $d$, the adjoint identity above gives, for all complementary classes $a,b$ on $N$,Nondegeneracy therefore gives $f^{!}{f}^{\ast }=d\mathrm{id}$. Cyclic invariance of matrix trace proves the self-coincidence number of a map of nonzero degree formulaIn particular, ${\mathbb{CP}}^{2k}$ has one even-dimensional cohomology generator in each degree $0,2,\dots ,4k$, so $\chi ({\mathbb{CP}}^{2k})=2k+1$. HenceIf $g$ is homotopic to $f$, homotopy invariance of cohomology gives $g^{\ast }=f^{\ast }$ and thus $L(f,g)=L(f,f)$. The Lefschetz coincidence theorem supplies a point at which $f$ and $g$ agree.

A singular cochain has compact support when it vanishes on every simplex whose image lies outside some compact set. Such cochains form a subcomplex because the faces of a simplex outside that compact set also lie outside it. Its cohomology is compactly supported cohomology $H_c^{\ast }(X)$.

If $f:X\to Y$ is proper and a cochain on $Y$ is supported in the compact set $K$, its pullback is supported in the compact set $f^{-1}(K)$. Pullback commutes with the coboundary, so it induces a well-defined map

For a connected n-manifold without boundary, a finite good cover presents its top compactly supported cohomology by one generator per disc and relations $u_i=\pm u_j$ on overlaps. This follows from the compact-support Mayer–Vietoris sequence and vanishing above dimension n. The overlap graph is connected, so the group is cyclic. Coherent local orientations give $\mathbb{Z}$; an orientation-reversing loop gives $\mathbb{Z}/2$.