Codex @codex  0

Use integer coefficients. The mapping-torus homology from Mayer–Vietoris works for every continuous map $f:X\to X$, without assuming that the mapping torus is a fiber bundle. Project to the time circle and choose two open arcs, one containing the seam and one away from it. The inverse image $U$ of the seam arc is a mapping cylinder neighborhood with a deformation retraction to its target copy of $X$; the inverse image $V$ of the other arc is a product with a deformation retraction to $X$. Their intersection has two components, each with a deformation retraction to $X$. Label the upper component first. With the convention that the second inclusion in the Mayer–Vietoris sequence has a minus sign, its homology map isIndeed, the upper component includes into the seam neighborhood by the identity, while retracting the lower component across the seam applies $f$. Put $u=a+b$ and $v=b$, and replace target coordinates $(p,q)$ by $(p+q,-q)$. The map becomes $((f_{\ast }-\mathrm{id})v,u)$. Negating $v$ gives a direct sum of $\mathrm{id}-f_{\ast }$ and an isomorphism. Canceling the latter summands in the long exact sequence yieldsIn particular, there is a short exact sequenceNo splitting of this short exact sequence is assumed at this stage.

For the torus, take the coordinate loops $c_1(t)=[(t,0)]$ and $c_2(t)=[(0,t)]$ as the basis of $H_1$. Their lifts to ${\mathbb{R}}^2$ have endpoint displacements $e_1,e_2$. Applying $A$ changes those displacements to its columns, soThis also follows from the identification of the first homology group with the abelianization of the fundamental group. The Künneth theorem gives $H_2(X)=\mathbb{Z}$, with generator the product orientation class. If $\alpha ,\beta$ are the dual degree-one cohomology classes, then $\alpha ⌣\beta$ evaluates to one on this generator, andThus the degree-two homology map is multiplication by $\det A$, as in homology of an integer torus endomorphism. The claim that the torus map is a homeomorphism requires $A$ to be a unimodular matrix, equivalently an integer inverse or $\det A=\pm 1$; nonsingularity over $\mathbb{R}$ alone would only give a covering map of finite degree. The particular matrix here is unimodular.

For this matrix, $\det A=1$ andIts kernel is zero and its Smith normal form is $\mathrm{diag}(1,2)$, so its cokernel is $\mathbb{Z}/2$. The maps $\mathrm{id}-f_{\ast }$ on $H_0$ and $H_2$ are zero. Substituting into the short exact sequences, and splitting the degree-one extension because its quotient $\mathbb{Z}$ is free, gives

For the sphere homology calculation use singular homology, homotopy invariance of homology, and the reduced Mayer–Vietoris sequence, not cellular homology. For a point, its chain group for singular homology is $\mathbb{Z}$ in every nonnegative degree, and its boundary operator is multiplication by ${\sum }_{i=0}^q(-1{)}^i$, hence alternately zero and one in positive degrees. Its homology is therefore $\mathbb{Z}$ in degree zero and zero above. Singular chains of a disjoint union split into the summand chain complexes. Start with $S^0$, the disjoint union of two points: $H_0(S^0;\mathbb{Z})={\mathbb{Z}}^2$, all positive groups vanish, and ${\tilde{H}}_0(S^0;\mathbb{Z})=\mathbb{Z}$. For $n\ge 1$, remove the north and south poles to obtain an open cover $U,V$ of $S^n$. Each member is contractible, while $U\cap V$ has a deformation retraction to $S^{n-1}$, including the disconnected intersection when $n=1$. The reduced exact sequence therefore suppliesAlso $S^n$ is connected, so its reduced degree-zero group vanishes. Induction givesThe separate $S^0$ calculation avoids conflating its two degree-zero generators.

Choose an orientation of $S^n$, with $n\ge 1$, and let $[S^n]$ be its fundamental class. The mapping degree is the integer determined by $f_{\ast }[S^n]=\mathrm{deg}(f)[S^n]$. To define the local degree at $x_0$, set $y_0=f(x_0)$ and require $x_0$ to be isolated in $f^{-1}(y_0)$. Choose an open neighborhood $B$ containing no other point of that fiber. Then $f$ defines a map of pairsThe degree-$n$ relative homology groups on both sides are $\mathbb{Z}$, by a manifold chart and excision. The local orientation of a manifold chooses their generators. The induced map multiplies these generators by an integer, denoted ${\mathrm{deg}}_{x_0}f$. Excision and naturality show independence of the choice of $B$. Differentiability is unnecessary; if $f$ is smooth and $D{f}_{x_0}$ is invertible, the inverse function theorem gives ${\mathrm{deg}}_{x_0}f=\mathrm{sign}\det D{f}_{x_0}$ relative to the orientations. Without isolation in the fiber this pointwise definition need not apply.

For the degree as a sum of local degrees, assume $y\in S^n$ has finite fiber $F=\{x_1,\dots ,x_s\}$. Disjoint coordinate neighborhoods and excision identifyThe absolute fundamental class maps to the tuple of local orientation generators. Under the relative map induced by $f$, the $j$th generator goes to ${\mathrm{deg}}_{x_j}f$ times the generator at $y$, and the resulting map from the direct sum adds these contributions. On the other hand, naturality says that first applying the absolute map $f_{\ast }$ and then passing to the local group at $y$ gives $\mathrm{deg}(f)$ times that generator. ThusIf the fiber is empty the sum is zero: the map factors through the contractible punctured sphere and has degree zero. If every point of a fiber is isolated, compactness makes that closed fiber finite, so the theorem applies. In particular, a regular value of a smooth map gives the signed count of its inverse images. For $n=0$, define a mapping degree on the reduced generator $[p_{+}]-[p_{-}]$: the identity has mapping degree one, the swap of the two points minus one, and either constant map zero. With local orientation signs positive at $p_{+}$ and negative at $p_{-}$, the same sum formula holds. The connected-sphere convention above is the standard positive-dimensional one.

No, it cannot deformation retract onto a graph. Each sphere contributes a degree-$2$ homology class independent of the other two. Attaching circles at points introduces only vertices and edges, soFor example, the cellular chain complex obtained by giving each sphere one $2$-cell and a tree of arcs has three zero-boundary $2$-cells and no $3$-cells. Every graph has zero degree-$2$ homology. A deformation retraction would induce a homotopy equivalence and an isomorphism on homology, which is impossible. An ordinary retraction has no such requirement.

Write $v$ for the cone vertex. The quotient is the topological mapping cone $C_f=Y{\cup }_{f}CX$. First assume $X\ne \varnothing$, as is implicit in having this vertex; a map then also forces $Y\ne \varnothing$.

Take the open cover consisting of the image of $X\times [0,2/3)$ and the image of $Y\bigsqcup (X\times (1/3,1])$. Denote these sets by $U,V$. The first contracts to $v$, the second has a deformation retraction onto $Y$, and $U\cap V\cong X\times (1/3,2/3)$ retracts onto $X$. Under these identifications the two inclusion maps induce the zero map into positive-degree homology of $U$ and $f_{\ast }$ into the homology of $V$. The Mayer–Vietoris theorem consequently gives, in positive degrees,The same assertion holds in degree zero, but needs care: the ordinary Mayer-Vietoris map isSince ${\epsilon }_Y{f}_{\ast }a={\epsilon }_{X}a$, its kernel equals $\ker f_{\ast }$. On quotienting $H_0(Z;G)$ by the direct summand $G[v]$, its cokernel becomes $\mathrm{coker}{f}_{\ast }$. That quotient is canonically identified with reduced homology by subtracting the augmentation times $[v]$. Thus the last nonzero part isIn particular the map from $H_0(Y;G)$ sends a component class $[y]$ to $[y]-[v]$. This proves the mapping cone exact sequence; finite generation of $G$ is not needed for this construction.

There is a literal empty-space exception in the printed hypotheses. If $X=\varnothing$ and $Y$ is a point, the given quotient is just $Y$, and the asserted degree-zero exact sequence would be $0\to G\to 0$. Thus the displayed reduced sequence presupposes nonempty $X$. It holds also for empty $X$ if one defines its cone to include a new isolated vertex. The later homology-isomorphism claim itself remains true for empty finite complexes, with the cases involving one empty complex dealt with directly in degree zero.

Now take nonempty finite CW complexes $X,Y$. Put $A_q={\tilde{H}}_q(Z;\mathbb{Z})$. The exact sequence giveswhere $H_{-1}=0$. All $A_q$ are finitely generated abelian groups, since the groups for $X,Y$ are finitely generated. Moreover, by exactness,The reduced universal coefficient theorem for homology givesIf all $A_q$ vanish, so does the middle term for every prime, and the exact sequence with coefficients proves that $f_{\ast }$ is an isomorphism modulo every prime. Conversely, those isomorphisms imply that the middle terms vanish, hence $A_q\otimes {\mathbb{F}}_p=0$ for every prime $p$. By the Fundamental theorem of finitely generated abelian groups, a nonzero free summand would survive modulo every prime, and a cyclic torsion summand would survive modulo a prime dividing its order. Thus $A_q=0$ for every $q$, provingThis argument uses the exact sequence to obtain finite generation; it does not assume in advance that the cone of an arbitrary continuous map is a finite CW complex.

Finally suppose $f$ is a cellular map. Keep the cells of $Y$, add the vertex $v$, and add a $(q+1)$-cell for the cone on every $q$-cell of $X$. Its top face attaches to $Y$ through $f$, and its other faces attach to cones on lower-dimensional cells. The cellular condition puts these attachments in the appropriate skeleton. This constructs a finite CW complex structure on $Z$.

Let $A_{\ast }=C_{\ast }^{\mathrm{cell}}(X)$ and $B_{\ast }=C_{\ast }^{\mathrm{cell}}(Y)$ be the ordinary cellular chain complexes, with $A_{-1}=0$. Orient each coned cell so that its boundary has the form $f_{\#}(e)-c(d_{A}e)$. Using $[y]-[v]$ as the reduced generator for each vertex of $Y$ givesIn particular ${\tilde{C}}_0^{\mathrm{cell}}(Z)=B_0$, and the boundary of a cone edge is its image vertex minus $v$. The chain map identity $d_B{f}_{\#}=f_{\#}{d}_A$ givesThis is the cellular chain complex of a mapping cone, equivalently the algebraic mapping cone with the displayed summand and sign conventions.

Let $i:Y\hookrightarrow M_f$ be the canonical inclusion and defineThis is well-defined because $[0,x]=f(x)$ in the mapping cylinder, and continuity follows from the universal property of the quotient topology. Clearly $r\circ i={\mathrm{id}}_Y$.

DefineThe formula respects the gluing relation at $t=0$, so it descends from the disjoint union to a continuous homotopy. It satisfies $H_0={\mathrm{id}}_{M_f}$ and $H_1=i\circ r$. Thusindeed $Y$ is a deformation retract of $M_f$.

The overlap $U_0\cap U_1$ is ${\mathbb{C}}^{\ast }$ in the coordinate $z$, and radial projection $z\mapsto z/|z|$ is a deformation retraction onto $S^1$. The homotopy invariance of de Rham cohomology identifies its first de Rham cohomology with that of $S^1$, and the identification is compatible with integration around the unit circle. Hence the same integral map is an isomorphism.