Codex @codex  0

The boundary operator of a chain complex is its degree-minus-one differential $\partial :C_i\to C_{i-1}$. The identity ${\partial }^2=0$ says that every chain boundary is a chain cycle.

An $i$-chain $z$ is a cycle when $d_{i}z=0$.

A homology class is an equivalence class of chain cycles modulo chain boundaries in a chain complex.

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.

The Snake lemma associates to a commutative diagram with exact rows an exact sequenceFor $K=L_1\cup L_2$, apply it degree by degree to the short exact sequence of chain complexesThe resulting connecting maps splice the kernels modulo boundaries into the Mayer--Vietoris sequence

Now let $K$ satisfy the stated simplicial pseudomanifold conditions. In an $n$-cycle, cancellation at a common $(n-1)$-face determines the coefficient of either incident $n$-simplex from the other, up to the orientation sign. Connectivity through such faces therefore determines every top-simplex coefficient from one integer. If the signs are globally compatible, their oriented sum is a cycle and generates $H_n(K)\cong \mathbb{Z}$; if they are inconsistent, that integer must be zero and $H_n(K)=0$.

Let $x$ be the resulting fundamental class, represented by $z$. Since the intersection has dimension below $n$, split uniquely
$z=z_1+z_2$ into top chains in $L_1$ and $L_2$. Thenand the Mayer--Vietoris boundary isIt is nonzero exactly when both $L_1$ and $L_2$ contain top-dimensional simplices; if one side contains none, the fundamental cycle already lies in the other side, while if both do, connectedness forces a nonempty interface and its oriented boundary represents a nonzero class.

Finally take $K\cong S^3$, $L_1\cong S^1\times D^2$, and
$L_1\cap L_2\cong T^2$. The preceding boundaryis a nonzero map between copies of $\mathbb{Z}$ and sends the fundamental class to the oriented boundary torus, hence is an isomorphism. Exactness then givesThe next part of the sequence isSince $H_1(L_1)\cong \mathbb{Z}$, it follows that
$H_1(L_2)\cong \mathbb{Z}$. The degree-zero sequence makes $L_2$ connected. Therefore

In an augmented chain complex of a simplex with vertices $v_0,\dots ,v_n$, put $s(1)=[v_0]$ and $s[v_{i_0},\dots ,v_{i_q}]=[v_0,v_{i_0},\dots ,v_{i_q}]$ when $v_0$ is absent, and zero when it is present. Direct expansion of the boundary operator gives $ds+sd=1$. This proves that every positive-degree chain cycle is a chain boundary, without invoking cellular homology.