Codex @codex  0

Use integral homology groups. The sphere is $A=S^3$; each disk meets $A$ in its boundary circle, while $B\cap C=\{0\}$. In particular, the two disks also meet away from the sphere. These spaces have compatible triangulations, so the Mayer–Vietoris sequence applies to their unions as subcomplexes; equivalently use small regular open neighborhoods with the same homotopy types.

First let $Y=A\cup B$. Its intersection is $A\cap B=S^1$, and $B$ is contractible. The Mayer–Vietoris sequence givesFor example, the degree-two portion is $0\to H_2(Y)\to H_1(S^1)\to 0$, and the map from $H_0(S^1)$ into $H_0(A)\oplus H_0(B)$ is injective.

Now $Y\cap C=\partial C\bigsqcup \{0\}\simeq S^1\bigsqcup \{\text{point}\}$. It has $H_1=\mathbb{Z}$ and $H_0={\mathbb{Z}}^2$. Exactness gives $H_3(X)=H_3(Y)=\mathbb{Z}$ andThis sequence splits: lift a generator of the quotient $\mathbb{Z}$ and extend its lift by integer multiples. Hence $H_2(X)={\mathbb{Z}}^2$. In degree one the sequence becomesThe middle map has kernel generated by $(1,-1)$ and cokernel $\mathbb{Z}$. There are no higher groups, either by the same sequence or by the three-dimensional triangulation. Thus the homology of two disks meeting inside a sphere givesThe first-homology generator records a path from the sphere to the common interior point through one disk and back through the other; omitting that interior intersection would incorrectly remove this generator.

Label the six vertices $A,B,C,D,E,F$ clockwise, starting at the upper-left vertex. The arrows identify $AB$ with $ED$, $BC$ with $FE$, and $FA$ with $DC$, preserving the indicated directions. Consequently the quotient space has exactly two vertices,Orient its three topological cells by $a:A\to B$, $b:B\to C$, and $c:F\to A$. The clockwise boundary of the hexagonal topological cell traversesEvery topological cell of dimension one therefore occurs once with each sign. The cellular chain complex, with integral coefficients, isHere the rows correspond to $P,Q$. The image of ${\partial }_1$ is the primitive subgroup generated by $Q-P$, and its kernel is freely generated by $a+b$ and $a+c$. Thus the homology groups areThe two vertex classes are important: identifying all six vertices would give an incorrect cellular chain complex. The result agrees with the homology of a torus.

The torus map acts on $H_1(T^2;\mathbb{Z})$ byIts determinant is one, so it is an orientation-preserving homeomorphism and acts as the identity on both $H_0(T^2)$ and $H_2(T^2)$.

To calculate the homology of its mapping torus, cover the time circle by two arcs. Each inverse image has the homotopy type of $T^2$, while their intersection has two components of that homotopy type. The map in the Mayer–Vietoris sequence can be writtenAdding the output coordinates and using the input coordinate $a+b$ separates an identity map from $f_{\ast }-I$. Canceling the identity summands gives the Wang sequence, and henceIn degree one,Its image and kernel are both generated by $(1,-1)$; its cokernel is $\mathbb{Z}$ since this image is primitive. Its Smith normal form is $\mathrm{diag}(1,0)$, so its torsion subgroup is zero. On the other two nonzero homology groups of the torus, $f_{\ast }-I=0$. The displayed short exact sequences split because their right-hand groups are free. ThereforeIn particular, the mapping torus contributes an additional degree-one class from the time circle, as well as the invariant degree-one class in the fiber.

Work with coefficients ${\mathbb{F}}_2$. For $n\ge 1$, the mod-two cohomology ring of real projective space and the Künneth theorem givewhere all three generators have degree one. Any induced map on cohomology has $f^{\ast }z=\alpha x+\beta y$, with $\alpha ,\beta \in {\mathbb{F}}_2$. By naturality of the cup product, the only possible term in top degree isAll other terms vanish because their exponent of $x$ or $y$ exceeds $n$. Butis even for every $n\ge 1$. Thus the displayed top-degree induced map on cohomology is zero for every $f$.

Both top-degree homology groups are one-dimensional over ${\mathbb{F}}_2$, and their dual cohomology groups pair with them nondegenerately. Naturality of this evaluation makes $f_{\ast }$ dual to $f^{\ast }$, so $f_{\ast }$ is also zero and cannot be an isomorphism. This is the mod-two degree obstruction for equal projective factors. ConsequentlyIf zero is included among the allowed values, ${\mathbb{RP}}^0$ is a point and the unique map is an isomorphism on $H_0$. In that convention, the only value is $n=0$.

For an open cover $X=A\cup B$, the Mayer–Vietoris theorem gives the long exact sequenceThe same sequence holds for a union of simplicial subcomplexes. All homology groups here have integer coefficients.

An explicit triangulation of $X_q$ is as follows. Take vertices $b_0,b_1,b_2$ forming a target circle, a circle of $3q$ vertices $a_0,\dots ,a_{3q-1}$, and a cone vertex $c$. With subscripts on $a$ interpreted modulo $3q$ and on $b$ modulo three, include trianglesfor every $j$, together with all their faces. The first two types triangulate the mapping cylinder of the degree-$q$ covering $a_j\mapsto b_j$; the last type fills the inner circle by a disc. A filled disc with an attached annular collar is still a disc, and identifying the outer collar boundary by this covering gives exactly the source quotient. Distinct inner vertices ensure this is a genuine simplicial complex, not just a one-cell presentation.

Let $A$ be the mapping cylinder and $B$ the coned disc. Then $A$ retracts to the target circle, $B$ is contractible and $A\cap B$ is the inner circle. Its inclusion into $A$ induces multiplication by $q$ on $H_1$. The exact sequence therefore reduces toConnectedness and the absence of higher-dimensional simplices giveThis is a two-dimensional Moore space with torsion in degree one.

The suspension of a connected complex is the union of two cones whose intersection retracts to the original complex. Reduced Mayer-Vietoris givesIn particular its $H_1$ vanishes. For the wedge of two connected polyhedra, choose neighborhoods retracting onto the two summands with contractible intersection at the wedge point. ThenDecompose each prescribed $G_i$ into cyclic summands. Realize each infinite cyclic summand in degree $i$ by $S^i$, and each finite nontrivial summand $\mathbb{Z}/q$ by $S^{i-1}{X}_q$, meaning $i-1$ successive suspensions. Take their finite wedge, or a point if there are no summands. The suspension formula shifts the torsion to degree $i$ and creates no other positive-degree homology, while the wedge formula adds summands. Thus the resulting connected polyhedron satisfies $\boxed{H_0(X)=\mathbb{Z},H_i(X)=G_i(1\le i\le n),H_i(X)=0(i>n)}$. The finite triangulations above, their simplicial suspensions and wedges provide an actual polyhedron.

Choose a generator $[S^n]$ of ${\tilde{H}}_n(S^n;\mathbb{Z})\cong \mathbb{Z}$. The mapping degree of a continuous map is the integer determined byFor $n\ge 1$ this is ordinary top-dimensional homology; using reduced homology also gives a convention for $n=0$. Domain and target use the same orientation, so reversing the chosen generator in both leaves the integer unchanged. Homotopy invariance of homology makes the mapping degree invariant under homotopy.

We interpret the manifold criterion for a suspension in the category of nonempty topological manifolds without boundary, and “sphere” as homeomorphic to the standard sphere. Let $X$ have dimension $d$. If $X\cong S^d$, an explicit homeomorphism from its suspension to $S^{d+1}$ isIt is a continuous map that is a bijection: the two collapsed ends become the poles, and every other point determines $t$ and $x$ uniquely. The compact-to-Hausdorff continuous bijection theorem makes it a homeomorphism.

Conversely suppose $SX$ is a topological manifold. Its open part $X\times (0,1)$ shows its dimension is $d+1$. At a suspension vertex $v$ there is an open cone neighbourhood $U$ on $X$. It is contractible, while $U\setminus \{v\}$ admits a deformation retraction onto $X$. The long exact sequence in relative homology and excision give the local homology from a link calculationA point of a $(d+1)$-dimensional topological manifold without boundary has local homology $\mathbb{Z}$ in degree $d+1$ and zero in all other degrees. ConsequentlyThus $X$ is an integral homology sphere. This conclusion alone does not identify its homeomorphism type.

If $d\ge 2$, it is also simply connected. Choose a cone neighbourhood $U$ of the vertex and an open coordinate ball $B$ around the vertex inside $U$. By compactness of $X$, sufficiently short entire cone neighbourhoods fit inside any neighbourhood of $v$: the inverse image of that neighbourhood contains $X\times \{0\}$, and a finite subcover supplies one uniform collar length. Choose such a shorter cone $V\subset B$. The inclusions of punctured neighbourhoods factor asThe composite induces an isomorphism of fundamental groups, since both cone punctures are products of $X$ with intervals and their inclusion is a homotopy equivalence. The middle punctured ball has the homotopy type of $S^d$ and is simply connected for $d\ge 2$. Hence the composite is also zero on the fundamental group, forcing ${\pi }_1(X)=0$. This uses the nested neighbourhoods, not an unsupported claim that an arbitrary punctured neighbourhood is a sphere.

The Hurewicz theorem, applied successively to the vanishing lower homology groups, now gives ${\pi }_j(X)=0$ for $j<d$ and ${\pi }_d(X)\cong H_d(X)\cong \mathbb{Z}$. A representative of its generator is a continuous map $S^d\to X$ inducing an isomorphism in every integral homology degree. Topological manifolds have the homotopy type of CW complexes, so the homological Whitehead theorem makes it a homotopy equivalence. We have proved that $X$ is a homotopy sphere.

At this point the topological classification theorem is essential: the topological generalized Poincare theorem says that a closed homotopy sphere is homeomorphic to the standard sphere. Applying it completes the converse for $d\ge 2$. For $d=1$, the local calculation makes $X$ a connected compact one-dimensional manifold without boundary, hence a circle. For $d=0$, a compact zero-dimensional manifold is a finite set, and ${\tilde{H}}_0(X)\cong \mathbb{Z}$ forces exactly two points. Thus it is $S^0$. Altogether,The last classification step is not a consequence of homology alone, and we make no assertion of diffeomorphism with a prescribed smooth structure. If the word manifold allows boundary on both sides, the printed assertion needs this correction: the suspension of the interval is a closed disk. For instance $[x,t]\mapsto ((2x-1)(1-|2t-1|),2t-1)$ identifies it with the filled diamond $|u|+|v|\le 1$, although the interval is not a sphere.

To construct sphere maps of arbitrary integer degree, first use $h_m:S^1\to S^1$, $h_m(z)=z^m$ for any integer $m$, including the constant map when $m=0$. Lifting its argument to the real line gives $\theta \mapsto m\theta$, so the fundamental one-cycle is sent to $m$ times itself. Therefore $\mathrm{deg}{h}_m=m$.

Two cone neighbourhoods cover a suspension; their intersection admits a deformation retraction onto the original space. The reduced Mayer–Vietoris theorem gives a natural suspension isomorphismNaturality means that the suspension of a continuous map induces the same integer multiplier. This proves degree under suspension. Using the standard identification $S(S^k)\cong S^{k+1}$, setThus every integer occurs in every positive sphere dimension, with negative degrees handled just as well as positive ones.

If “every $n$” includes zero, that final printed assertion is false. The generator of ${\tilde{H}}_0(S^0)$ is the difference of its two points. A map of a two-point set is the identity, the transposition, or one of two constant maps, giving preciselyThese degrees of maps of the zero-sphere are the explicit exception to the arbitrary-degree construction.

For a CW complex $X$, let $X^k$ be its $k$-skeleton. The cellular chain complex isThe isomorphism uses excision and $H_k(D^k,S^{k-1})\cong \mathbb{Z}$, after choosing an orientation for each cell. In degree zero, take $X^{-1}=\varnothing$ and the free group on the vertices. The differential is the compositeThe long exact sequences of skeleton pairs imply $d_{k-1}{d}_k=0$. The cellular boundary formula describes its coefficient at a $(k-1)$-cell as the mapping degree of the attaching sphere after all other $(k-1)$-cells are collapsed. In degree one this is the signed difference of the two endpoints. The cellular homology theorem identifies the homology of this complex with singular homology: relative homology of successive skeletons is concentrated in their cell dimension, and the exact skeleton sequences leave precisely these kernels modulo images. This is the construction, rather than merely a count of cells.

The filtration ${\mathbb{CP}}^0\subset {\mathbb{CP}}^1\subset {\mathbb{CP}}^2$ gives one cell in each of dimensions zero, two and four, since ${\mathbb{CP}}^k\setminus {\mathbb{CP}}^{k-1}\cong {\mathbb{C}}^k$. There are no odd-dimensional cells, so every cellular differential vanishes. ThusThe complex projective line has one zero-cell and one two-cell. Its product with itself has one zero-cell, two two-cells and one four-cell. Its cellular chain complex again has zero differentials, givingA homeomorphism induces isomorphisms on homology groups. The second groups have different ranks, and therefore

Now orient the Complex projective plane by its complex coordinates. The inclusion of its two-skeleton ${\mathbb{CP}}^1$ identifies the fundamental class of a projective line with a generator $h$ of $H_2({\mathbb{CP}}^2;\mathbb{Z})\cong \mathbb{Z}$: the cellular generator has no incoming three-cell boundary and no outgoing boundary.

Take the projective lines $L_0=\{z_2=0\}$ and $L_1=\{z_1=0\}$. A path of unitary coordinate transformations takes one to the other, so their oriented homology classes are both $h$. They meet in the single point $[1:0:0]$. In its affine chart, let $w=z_1/z_0$ and $v=z_2/z_0$. Their tangent spaces are the complex $w$-axis and complex $v$-axis, so the intersection is a transverse intersection. The ordered real basesconcatenate to the complex orientation of the ambient four-manifold. Thus the local sign is $+1$, andThis computes the intersection form using distinct representatives of the same class, avoiding an ill-defined attempt to count a line intersecting itself as a set. Bilinearity now givesEquivalently, the map $H_2\to \mathrm{Hom}(H_2,\mathbb{Z})$ sending $a$ to $\lambda (a,-)$ is an isomorphism. This is exactly a unimodular intersection pairing, and proves projective lines generate a unimodular intersection form. Reversing the ambient orientation would change the matrix to $(-1)$ and would still be unimodular.

Write $A=S^2\times S^2$ and let $i:A\to X$ be its inclusion after the attachment. The cohomology ring of a product of two spheres iswhere $a,b$ come from the first and second factors and $ab$ is the chosen orientation class. The diagonal pulls both $a$ and $b$ back to the same generator of $H^2(S^2;\mathbb{Z})$.

There is one new three-cell. In the cellular chain complex, its boundary has coordinates $(1,1)$ in the two-dimensional cells. Thus the relevant differential isand the original four-cell still has zero boundary. This gives $H_2(X;\mathbb{Z})=\mathbb{Z}$, $H_3(X;\mathbb{Z})=0$, $H_4(X;\mathbb{Z})=\mathbb{Z}$, and no other positive homology groups. Equivalently, the relative cohomology sequence of $(X,A)$ gives an injective restriction in degree two with image $\mathbb{Z}(a-b)$, and an isomorphism in degree four.

Choose $u\in H^2(X;\mathbb{Z})$ and $v\in H^4(X;\mathbb{Z})$ by $i^{\ast }u=a-b$, $i^{\ast }v=ab$. Naturality of the cup product givesSince restriction is injective in degree four, $u^2=-2v$. All further positive-degree cup products vanish by dimension. ThereforeChanging the sign of $v$ would instead give $u^2=2v$; the displayed sign uses the product orientation $ab$. The factor $2$ is the characteristic feature of a cup square after a diagonal sphere attachment.

For $n\ge 1$, let $\#$ denote concatenation in the first cube coordinate and let $\cdot$ denote pointwise multiplication of maps into the topological group. Both operations descend to the homotopy group, and the constant map is their common identity. They satisfy the interchange rulewhich follows by considering the two halves of the first coordinate. Using the identity class $0$ givesTherefore $[\alpha \beta ]=[\alpha ]+[\beta ]$. The equality is on based homotopy classes; the usual reparametrization homotopies justify the unit identities for concatenation. This is the Eckmann-Hilton argument, and proves homotopy-group addition in a topological group even for $n=1$.

For the unit quaternions, the explicit inverse isBoth compositions cancel in the displayed order, without commuting the quaternions. Multiplication, inversion and all integer powers are continuous, so this proves that ${\Phi }_{k,l}$ is a homeomorphism for all integers $k,l$.

Put $m=k+l$. Let $a,b$ be the standard generators of $H_3(S^3\times S^3;\mathbb{Z})$, represented by the first and second factors. The previous pointwise-multiplication result and the Hurewicz theorem imply that the mapping degree of $q\mapsto q^m$ on $S^3$ is $m$, including negative integers. Restricting $\Phi$ to the two factors therefore givesThe map on $H_0$ is the identity. For the top homology group, take the dual degree-three cohomology classes $x,y$. We have ${\Phi }^{\ast }x=mx+y$, ${\Phi }^{\ast }y=x$. Since these classes have odd degree, graded commutativity of the cup product givesThus ${\Phi }_{\ast }$ is multiplication by $-1$ on $H_6$, and all other homology groups of the product are zero.

For the gluing, regard $\Phi$ as the attaching identification from $\partial (D^4\times S^3)$ to $\partial (S^3\times D^4)$. In these coordinates its first input is the boundary coordinate of $D^4$, its second input the fibre coordinate; its second output is the boundary coordinate of the other $D^4$. This makes the two pieces the usual two trivializations of a three-sphere bundle over the four-sphere.

Let $A=S^3\times D^4$ and $B=D^4\times S^3$, and parametrize their common boundary $T=S^3\times S^3$ using the $B$ coordinates. Collar neighbourhoods give an open cover with the same homotopy types, so the Mayer–Vietoris sequence applies. Both pieces retract onto $S^3$. In degree three, the map into the homology of the pieces isIndeed, inclusion into $A$ retains the first output coordinate, while inclusion into $B$ retains the second input coordinate. Exactness now givesThe second relation eliminates the second generator of the cokernel, leaving a single generator with relation $m$ times that generator equal to zero. Thus $\mathrm{coker}L=\mathbb{Z}/m\mathbb{Z}$. The kernel is zero if $m\ne 0$ and is generated by $(1,0)$ if $m=0$.

The degree-six boundary class gives $H_7(X_{k,l})\cong H_6(T)=\mathbb{Z}$. All remaining positive-degree groups outside degrees $3,4,7$ vanish by the same Mayer–Vietoris sequence; connectedness gives $H_0=\mathbb{Z}$. Consequently the complete integral answer isHere $\mathbb{Z}/0\mathbb{Z}$ means $\mathbb{Z}$, and a negative $m$ gives the same cyclic group as $|m|$. In particular, $m=\pm 1$ gives the integral homology of a seven-sphere, while $m=0$ gives the integral homology of $S^3\times S^4$.

The ordinary Poincare duality statement here is for a compact manifold without boundary, of dimension $d$, oriented over the field $F$. Its fundamental class $[M{]}_F$ induces isomorphismsfor every $q$. For a manifold with boundary the appropriate statement is Poincare-Lefschetz duality with relative groups; the ordinary pairing need not be nondegenerate. Over a field, the universal coefficient theorem for cohomology identifies $H^{d-q}(M;F)$ with the full dual of $H_{d-q}(M;F)$. The cap-cup evaluation identity and duality therefore makea perfect pairing. Explicitly, a nonzero $a$ has a nonzero cap product, and a linear functional $b$ on its homology group takes a nonzero value on that product. The same argument in the other variable proves nonsingularity. On the whole graded cohomology, define $B(a,b)$ by taking the degree-$d$ part of $a⌣b$ before evaluation. For a nonzero component $a_q$ choose $b$ homogeneous of degree $d-q$ to pair nontrivially with it. All other components contribute zero in degree $d$. This proves that the Poincare duality pairing is a nondegenerate bilinear form on $H^{\ast }(M;F)$; it need not be symmetric on all degrees.

Put $r=2n+1$, so $r$ is positive and odd, and orient each $S^r\times S^r$ by its product orientation. The Künneth theorem gives integral cohomology $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^2$ in degree $r$, and zero elsewhere. Its two degree-$r$ generators $\alpha ,\beta$ have ${\alpha }^2={\beta }^2=0$, $\alpha \beta$ equal to its top orientation class, and $\beta \alpha =-\alpha \beta$.

For a connected sum of oriented manifolds, excision and the long exact sequence for deleting a ball show that deleting a ball removes the top homology class and leaves all lower positive homology groups unchanged. The boundary sphere represents zero in the punctured manifold: it is the boundary of its relative fundamental chain. In the Mayer–Vietoris sequence for the two punctured pieces joined along the separating sphere, the orientation class of the connected sum maps onto that sphere's class. The intermediate positive groups are consequently the direct sums of the groups of the two original manifolds. This also covers $r=1$, where the sphere is a circle and the boundary-class observation is necessary in the middle degree. Iterating and applying the universal coefficient theorem for cohomology givesHere $g\ge 1$; under the conventional extension $W_0=S^{2r}$ the same formula holds with a zero middle group.

Let $\omega$ be the top cohomological orientation class. The connected-sum pinch map to the wedge of the $g$ sphere products gives degree-one projections to each summand. Pull back the two factor classes from summand $i$ to obtain ${\alpha }_i,{\beta }_i$. Their product is $\omega$, since the projection has degree one. Classes from different wedge summands have zero positive-degree cup products, and graded commutativity of the cup product supplies the reversed sign. Thus the full cohomology ring of a connected sum of odd-dimensional sphere products is the graded free abelian group just displayed with multiplicationThe unit is $1$, and $\omega$ times any positive-degree class is zero by dimension. This describes all products, including ${\omega }^2=0$.

The smooth involution is a diffeomorphism, since it is its own inverse. Its fixed set is closed; discreteness and compactness therefore make it finite. The supplied positivity of $\det (I-D{f}_x)$ makes every fixed point nondegenerate with local index $+1$. The Lefschetz-Hopf fixed-point theorem then givesIndeed the degree-zero and top-degree traces are both one, because the manifold is connected and $f$ preserves its orientation; the middle degree is odd.

On $V=H^r(W_g;\mathbb{R})$, the form $\Omega (a,b)=⟨a⌣b,[W_g]⟩$ is a nondegenerate alternating bilinear form by Poincare duality and the oddness of $r$. Thus it is a symplectic vector space of dimension $2g$. Naturality and orientation preservation show that $T$ preserves $\Omega$, and $T^2=I$. For the eigenspaces of a symplectic involution, write $V=V_{+}\oplus V_{-}$: the polynomial $(t-1)(t+1)$ has distinct roots over $\mathbb{R}$. If $v_{+}\in V_{+}$ and $v_{-}\in V_{-}$, then $\Omega (v_{+},v_{-})=\Omega (T{v}_{+},T{v}_{-})=-\Omega (v_{+},v_{-})$, so the two vector subspaces are orthogonal. Each restricted form is nondegenerate, since a vector annihilating its own vector subspace also annihilates the other and hence all of $V$. Their dimensions are therefore even, say $\dim V_{+}=2a$, $\dim V_{-}=2b$, with $a+b=g$. ConsequentlyThis proves the fixed-point congruence for an involution on an odd-sphere connected sum:

Use singular homology with integer coefficients. The Künneth theorem for triangulable spaces gives a split short exact sequence with tensor terms ${⨁}_{i+j=k}{H}_i(X)\otimes H_j(Y)$ and torsion terms ${⨁}_{i+j=k-1}{\mathrm{Tor}}_1(H_i(X),H_j(Y))$. When one factor's homology groups are free abelian, the torsion terms vanish and the tensor map is an isomorphism.

The circle has $H_0(S^1)=H_1(S^1)=\mathbb{Z}$ and all other groups zero. Inductively, the homology groups of a torus are free, andPascal's identity givesGeometrically the generators correspond to choosing $k$ of the $n$ circle factors and taking their product, consistent with the cellular model having one $k$-cell for each such subset and cancelling opposite boundary faces.

For chain maps $f,g:C_{\ast }\to D_{\ast }$, a chain homotopy from $g$ to $f$ is a family of group homomorphisms $s_q:C_q\to D_{q+1}$ satisfyingIf $z$ is a chain cycle, then $(f-g)(z)=d^{D}s(z)$ is a chain boundary. Consequently $[f(z)]=[g(z)]$, so $\boxed{f_{\ast }=g_{\ast }}$ on every homology group.

Order the vertices of the simplex as $v_0,\dots ,v_n$. Its simplicial chain complex hasand zero groups otherwise. An arbitrary ordering represents the sign of the permutation times the increasing ordering. Its boundary operator isIn $d^2$ each face obtained by deleting the vertices in positions $r<t$ occurs twice. Deleting $r$ first gives sign $(-1{)}^r(-1{)}^{t-1}$, whereas deleting $t$ first gives $(-1{)}^t(-1{)}^r$. These signs are opposite, so all terms cancel. The case $d_0{d}_1=0$ follows directly from $d_0=0$. Thus $\boxed{d^2=0}$.

For the homology calculation, add the augmentation $\epsilon :S_0\to \mathbb{Z}$ sending every vertex to $1$. Regard $\mathbb{Z}$ as the group in degree $-1$ of an augmented chain complex. Define the simplicial cone chain contraction byIf the simplex does not contain $v_0$, expansion of its coned boundary gives $ds(\sigma )=\sigma -sd(\sigma )$. If it contains $v_0$, the only face on which $s$ is nonzero is the face omitting $v_0$, and $sd(\sigma )=\sigma$. In degree zero this uses the augmentation, and in degree $-1$ it says $\epsilon s_{-1}=1$. HenceEvery positive-degree chain cycle is therefore a chain boundary. In degree zero, the same identity says $z-\epsilon (z)[v_0]=d{s}_0(z)$, so the augmentation induces an isomorphism $H_0\to \mathbb{Z}$, with inverse $1\mapsto [v_0]$. Thus, including $n=0$,This is a direct chain homotopy calculation and uses no result about cellular homology.

Suppose $X=A\cup B$ and that the interiors of $A$ and $B$ cover $X$. The Mayer–Vietoris theorem gives the long exact sequence in homologywhere all four displayed maps except the connecting homomorphism $\partial$ are induced by the relevant inclusion maps.

To prove it, let $C_{\ast }^{A,B}(X)$ be the chain complex generated by those singular simplices whose images lie wholly in $A$ or wholly in $B$. The sequenceis a short exact sequence of chain complexes. Repeated barycentric subdivision makes every singular simplex small enough to lie in $A$ or $B$, and the subdivision operator is chain homotopic to the identity. The inclusion $C_{\ast }^{A,B}(X)\hookrightarrow C_{\ast }(X)$ therefore induces an isomorphism on every homology group. The long exact homology sequence of a short exact sequence of chain complexes now gives the displayed sequence. Explicitly, if an $n$-cycle $z=a+b$ with $a\in C_n(A)$ and $b\in C_n(B)$, then $\partial a=-\partial b$ lies in $C_{n-1}(A\cap B)$ and represents the connecting class $\partial [z]$.

Collapsing an essential meridian circle of a torus to one point gives the pinched torus. In the torus's CW structure, the two-cell attaches to two circles by the commutator. Collapsing one circle leaves one one-cell and a two-cell attached by a null-homotopic word. Thus the quotient is homotopy equivalent to $S^1\vee S^2$. Its cellular chain groups are $\mathbb{Z}$ in degrees zero, one and two, with zero differentials, so its integral homology groups are $H_0=H_1=H_2=\mathbb{Z}$ and vanish in all higher degrees. This illustrates that collapsing a circle can preserve a top-dimensional homology class even while reducing the first homology rank.

A chain map inducing isomorphisms on all homology groups. The same definition applies to a map of cochain complexes using cohomology groups. A quasi-isomorphism need not be an isomorphism in each degree.

For a compact Riemann surface with a symplectic basis $a_i,b_i$ of its first homology group, cutting along that basis and integrating a primitive givesfor closed smooth one-forms. For a holomorphic differential form $\omega$ and a differential of the third kind $\eta$, the corresponding boundary calculation givesThe paths and representatives of the cycles are chosen in the same cut surface. Normalized holomorphic differential forms consequently have a symmetric period matrix with positive definite imaginary part.

A homeomorphism preserves every homology group, hence the Euler characteristic wherever the finite rational Betti number sum is defined. In fact, homotopy invariance of homology makes Euler characteristic invariant under homotopy equivalence. Thus different finite CW complex structures on the same space have equal alternating cell counts.^[ref]