Let $L=K\cup\sigma$, where $L, K$ are abstract simplicial complexes, and $\sigma$ is a simplex whose faces are all in $K$. (This condition is necessary for $L$ to be a simplicial complex.)
Furthermore, we have that $\sigma\notin K$, which also implies that $\sigma$ is a maximal face of $L$. (If $\sigma\subsetneq\tau\in L$, then $\tau\in K$ implies $\sigma\in K$ which is a contradiction.)
Is there any relation between the homologies of $L$ and $K$? Is it possible to have a "formula" relating $H_*(L)$ and $H_*(K$)?
Thanks.
Best Answer
Suppose that $\sigma$ has dimension $n$. Consider the complexes of simplicial chains $C(K)$ and $C(L)$. Then there is an exact sequence of complexes $$0\to C(K)\to C(L)\to Y\to 0\tag{*}$$ where the complex $Y$ consists only of a $\Bbb Z$ in dimension $n$. Then (*) has an associated long exact sequence of homology. But the homology of $Y$ consists of just a $\Bbb Z$ is dimension $n$. We conclude that $H_m(K)\cong H_m(L)$ for $m\notin\{n-1,n\}$ and that there is an exact sequence $$0\to H_n(K)\to H_n(L)\to\Bbb Z\to H_{n-1}(K)\to H_{n-1}(L)\to0.$$ We can conclude several things from this, if we know something about the homology groups of $K$. So adding $\sigma$ kills the homology of the cycle $\partial\sigma$ in $H_{n-1}(K)$. Moreover $H_n(L)$ will be either $H_n(K)$ or the sum of $H_n(K)$ with a copy of $\Bbb Z$ etc.