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
0 answers

DeRham Cohomology group

How can we show that given the manifold $M=\mathbb{S}^2$ and $U=\mathbb{S}^2\setminus \{A\}$ and $V=\mathbb{S}^2 \setminus \{B\}$, then: $$H_{dR}^1(U)\oplus H_{dR}^1(V)\rightarrow H_{dR}^1(U\cap V) $$ cannot be surjective. The reasoning in my book…
1
vote
0 answers

Meaning of $H_0(X) = \tilde H_0(K)\oplus\Bbb Z $ and its Proof

While I am reading the wikipedia page of Homology and Reduced-homology groups, I've ran into following equation. $H_0(X) = \tilde H_0(K)\oplus\Bbb Z $ For given X, which is defined to be simplical complex a priori, $H_0(X)$ defines the free…
Beverlie
  • 2,645
1
vote
0 answers

Simplicial homology computation over $F_2$

If our field is the one with two elements, $F_2$, then $C_k$ is a direct product of several copies of $F_2$, which means that so are $ker(\partial_k)$, $im(\partial_{k+1})$ and $ker(\partial_k)/im(\partial_{k+1})$. This means that the only data you…
Eben Kadile
  • 732
  • 4
  • 16
1
vote
1 answer

homology group of $(T^2\times I)/\sim$

Let $T^2$ be the $2$-torus, $S_1\times S_1$, where $S_1=\{z\in \mathbb{C}:|z|=1\}\subset \mathbb{C}$. And the equivalence relation of $T^2\times I$ is defined as $$ (z,\zeta,1)\sim (z,z^2\zeta,0)$$ where $I$ is the unit interval. Let $X$ be the…
masutarou
  • 551
1
vote
0 answers

Homology and intrinsic dimension

I was wondering can homology give us any tool for understanding the intrinsic dimension of high-dimensional (scattered) data? If yes, available software for that kind of analysis is also appreciated.
mko
  • 13
1
vote
1 answer

Calculate the homology given the differential complex

I'm reading a text on homology, and it shows that the differential complex of the projective plane ($\mathbb P^2$) is given by $\mathbb Z \overset{\times 2}{\longrightarrow}\mathbb Z \overset{0}{\longrightarrow}\mathbb Z \longrightarrow 0$. It then…
Frank Vel
  • 5,339
1
vote
0 answers

Help understanding a proof of Poincare's lemma in cohomology

I have a couple of question regarding the following proof of Poincare's lemma in cohomology. The proof is as follows: We want to prove tht $\int_{\mathbb{R}^{n}} :H_{c}^{n}\left ( \mathbb{R}^{n} \right )\rightarrow \mathbb{R}$ is an isomorphism. So…
1
vote
0 answers

A question about relations between De Rham cohomology and Cech cohomology

Let R be the constant sheaf on a manifold.I know that the Cech cohomology of M with values in R is isomorphic to the De Rham cohomology. I want to know if I use compact De Rham cohomology,whether there is a subset of Cech cohomology isomorphic to…
Feng yi
  • 21
1
vote
0 answers

How to deduce the singular chain complex and the homology for finite spaces?

I've got this homework and have been looking at the trival and discrete topology for the two point space for now. But if it gets a bit more complex, it is not so easy to describe the continuous functions and deduce the singular chain complex and…
MPB94
  • 643
1
vote
0 answers

Injection in relative (co)homology

Let $X$ be a topological space and let $Y\subset X$ be a subspace. I can write the long exact sequence of relative cohomology $$ H^{k-1}(Y)\xrightarrow{d_*} H^k(X;Y)\xrightarrow{j_*} H^k(X)\xrightarrow{i_*} H^k(Y), $$ where the maps $i_*$ and $j_*$…
1
vote
1 answer

Computation of the first group cohomology with coefficeint in $\mathbb Z_2$

How can I compute the first cohomology group $H^1(G,\mathbb Z_2G)$, where $G$ is the integer numbers i.e. $\mathbb Z$?
Jivid
  • 547
1
vote
1 answer

image of boundary operator in homology

I'm starting to learn homologies and I'm facing a lot of problems. We have a matrix $A$, let's say: $$ \begin{pmatrix} 1 & 2\\ 3 & 4\\ \end{pmatrix}$$ And there is a chain: $$\ldots \to 0 \to \mathbb{Z}^2 \to \mathbb{Z}^2 \to…
Barabara
  • 690
1
vote
1 answer

Why free abelian chain complexes in homology?

I was wondering is there any specific reason why the chain complexes in homology are free abelian? Thanks in advance
TheGeometer
  • 2,515
1
vote
1 answer

Let $f: S^n \to S^n$ a continous map. Show that if $f_* : H_n \to H_n$ is not 0 then $f$ is onto.

Let $n>0$ and $f: S^n \to S^n$ a continous map. Let $f_* : H_n(S^n, \mathbb {Z}) \to H_n(S^n, \mathbb {Z})$ the induced homomorfism. Show that if $f_* \not = 0$ then $f$ is onto. What I have done: Of course $H_n(S^n, \mathbb {Z}) \simeq \mathbb…
Maffred
  • 4,016
1
vote
0 answers

De Rham cohomologies of sphere with Mobius strips

I want to calculate de Rham cohomologies of $S^2$ with $g$ Mobius strips. Let's cut $g$ Mobius strips from $S^2$ by disks and then pull off disks to the border. So after that we have $S^2$ with $g$ holes and $g$ Mobius strips separately. The Mobius…
Hasek
  • 11
1 2 3
8 9