Questions tagged [homology-cohomology]

Use this tag if your question involves some type of (co)homology, including (but not limited to) simplicial, singular or group (co)homology. Consider the tag (homological-algebra) for more abstract aspects of (co)homology theory.

A chain complex $(A_{\bullet}, d_{\bullet})$ is a sequence $(A_n)_{-\infty}^{\infty}$ of abelian groups (or modules) and group (module) homomorphisms $d_n : A_n \to A_{n-1}$ such that $d_{n-1}\circ d_n = 0$. This data can be represented as follows:

$$\cdots \xrightarrow{d_{n+1}} A_n \xrightarrow{d_n} A_{n-1} \xrightarrow{d_{n-1}} \cdots$$

The homology of a chain complex is the sequence of abelian groups

$$H_n = \frac{\ker d_n}{\operatorname{im}d_{n+1}}.$$

Dually, a cochain complex is a sequence $(A_{\bullet}, d_{\bullet})$ of abelian groups where $d_n : A_n \to A_{n+1}$.

There are many common types of (co)homology including simplicial (co)homology, singular (co)homology, and group (co)homology. A more extensive list can be found here.

Simplicial homology and singular homology are examples of homology theories attached to a topological space. The Eilenberg-Steenrod axioms are a collection of properties that such homology theories share.

For the more abstract aspects of (co)homology theory, the tag may be more appropriate.

5463 questions
1
vote
1 answer

(Co)homologies with general coefficients

I am reading the Hatcher's book and am a bit confused with (co)homologies with coefficients. I would really appreciate if somebody clarifies the following to me. Let $C$ be a chain complex of $R$-modules for a ring $R$. Then I can take the…
Pavel
  • 694
1
vote
0 answers

If $G$ is abelian , then one knows for the group homology $H_2 (G, \mathbb Z ) = \bigwedge^2 G $.

1)I don't understand how to use the universal coefficient theorem for group homology for to prove this. The following reference explains the reasoning should be used, but I don't know how use a map $A\times A \to …
1
vote
1 answer

Equivariant cohomology: $H^∗_{S^1} (S^2)$

[Equivariant cohomology: $H^∗_{S^1} (S^2)$][1] could you explain with details in that link [1]: Equivariant cohomology: $H^{*}_{S^{1}}(S^{2})$ why ϕ is surjective, please ? And even if $V$ is contractible how do we know…
user365
  • 137
1
vote
1 answer

Volume as coboundary

For simplicity, consider simplicial homology in $\mathbb{R}^2$. It seems to me that oriented area is a cocycle, since it vanishes on simplicial cycles. The situation being Euclidean, it must consequently be a coboundary $\delta \phi$. What is this…
Bob Johns
  • 290
1
vote
0 answers

Brouwer degree of on n-spheres is onto the integers

Possible Duplicate: For every $k \in {\mathbb Z}$ construct a continuous map $f: S^n \to S^n$ with $\deg(f) = k$. How do I show that for any $n>0$ and any $m$ any integer, there exists a map $f: S^n\to S^n$ of degree $m$? I am trying a…
Herband
  • 843
1
vote
0 answers

Calculate the hochschild homology

Could you help me to calculate the hochschild homology of the following chain complex: $0 \longleftarrow M \longleftarrow M\otimes Z[i] \longleftarrow M\otimes Z[i]\otimes Z[i]\longleftarrow $ where $Z[i]$ is Gaussian intgers and $M$ is…
Koam
  • 11
0
votes
1 answer

not complete solution in computation of singular cohomology

I know how to compute singular cohomology of single point. Then I want to compute cohomology of $\mathbb{Z}$. Consider $C_{k}(\mathbb{Z})=\oplus_{i\in Z} C_{k}(point)$. $$\text{Hom}(A\oplus B, G)= \text{Hom}(A,G)\oplus \text{Hom}(B,G).$$ Then…
0
votes
1 answer

mapping in $H_{c}^k(X,\mathbb{Z})$

If Y is closed subset of X, do anyone know what is the mapping from $H_{c}^k(X,\mathbb{Z})$ to $H_{c}^k(Y,\mathbb{Z})$ ? Is it differ if X is an open subset of Y. $H_{c}^k$ is a cohomology with compact support.
0
votes
0 answers

Homology group of product manifold of tori?

What is the homology group $H_k(T^2 x T^2 x T^2, \mathbb{Z})$? The homology group (which I think of as the number of equivalence classes of $k$-cycles, but maybe that is wrong) for the $n$-torus is $\mathbb{Z}=\binom n k$, but I don't know if the…
math_lover
  • 5,826
0
votes
1 answer

What is "the" divisibility of a cohomology class?

In Kronheimer and Mrowka's Monopoles and Three-Manifolds, Section 28.2, right above Lemma 28.2.1, there is talk of the divisibility of a cohomology class $\epsilon\in H^2(Y,\mathbb{Z})$, which is defined to be $0$ if $\epsilon$ is torsion, and as…
Nuke_Gunray
  • 2,816
0
votes
1 answer

Why if $f_*g_* \simeq \mathbb{1}$ and $g_*f_* \simeq \mathbb{1}$ then $f_*$ is a bijection

I've just learned about homotopy equivalence, and I'm trying to understand why, in this proof, the relations $f_*g_* \simeq \mathbb{1}$ and $g_*f_* \simeq \mathbb{1}$ are treated as though there's an "$=$" (in which case the bijection is immediate)…
Anon
  • 1,757
0
votes
0 answers

What is non injective singular n-simplex used for?

The Singular_homology article of Wikipedia mentions singular n-simplex doesn't have to be injective. But when used for integration on chains, it is always injective or it doesn't make sense. Then what is the non-injective use case when the…
jw_
  • 509
0
votes
0 answers

Is there a product of chain complex?

In the Cup_product article of Wikipedia: It is possible to view the cup product as induced from the following composition: $$C^\bullet(X)\times C^\bullet(X)\to C^\bullet(X\times X)\overset{\Delta^*}\to C^\bullet(X)$$ How is $C^\bullet(X)\times…
jw_
  • 509
0
votes
1 answer

Cech homology groups

Let X and Y two compact Hausdorff spaces. If f is a homeomorphism of X into Y, then for each covering $\mathfrak{U}$ in $\Sigma(X)$, the collection $f(\mathfrak{U})$ of all images of elements of $\mathfrak{U}$ is an open covering of Y and…
user79253
0
votes
1 answer

Homology Groups of $S^n$

Is it possible to consider $S^n$ as a $0$-simplex and a singular map of an $n$-simplex so that the $n$-simplex forms the surface of $S^n$ minus a point, and the point is the singular map of the $0$-simplex? Can a (singular map of an) $n$-simplex…
Sam Gue
  • 143
1 2 3
8 9