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

Singular homology on $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
0
votes
0 answers

About Weibel Exercise 1.1.5, how can we give an argument $3\implies 1$ without use $2$?

I can give an argument of "$3\implies 1$" as: Since $H_n(0)\to H_n(C.)$ is an isomorphism, and $H_n(0)=0$, then $H_n(C.)=0$, and which means $Z_n(C.)=B_n(C.)$ by the definition of quotient module, namely $C.$ is exact at $C_n$. However, this seems…
闫嘉琦
  • 1,376
0
votes
2 answers

Singular homology of the punctured plane.

If $\Delta = [a, b, c]$ is a triangle having the origin in its interior and $\Delta^{*} = [a, b, c] \setminus \{0\}$ is the same triangule with the origin removed. In topological space $X = \mathbb{R}^{2} \setminus \{0\}$, does $\Delta^{*}$ have to…
0
votes
1 answer

The 0 homology of a line.

Since the 0 homology of a line with two vertices is $\mathbb{Z}$, may I please have an example of two vertices not filled in by a line ? I just can not figure it out - thank you!!!!
user737994
0
votes
1 answer

Two line segments.

$H_{1}$ of a line segment is $\mathsf{Z}^{e - v + 1}$, so $\mathsf{Z}^{1 - 2 + 1}$ or $\mathsf{Z}^{0}$ \footnote{nj wildberger, homology video}... That equals 0 right? I have only taken calulus III, not linear algebra yet. With two disjoint line…
user737994
0
votes
1 answer

De Rham cohomology $H_{dR}^1(-):\mathcal{Top}\to\mathcal{Vec}$ is suryective

For example: Let $\mathbb{R}^n$ be a vector space of dimension $n$, then there is a open set $U=\mathbb{R}^2-\{1,2,\ldots,n\}$ such that $$H_{dR}^1(U)\equiv \mathbb{R}^n.$$ Is the following proposition true? Given a arbitrary $\mathbb{R}$-vector…
felipeuni
  • 5,080
0
votes
0 answers

Projection to cohomology

I have a differential graded algebra $(A,d)$ and $H^*$ be a graded ring. Let $Z^*=Ker(d)$ and $\alpha:H^*(A)->Z^*$ be a right inverse for the projection to cohomology. I have the following questions: 1.What is $Z^*$? (usually with * in the paper the…
sasho98
  • 21
0
votes
1 answer

$H_1(U)=\mathbb{Z}^n$ if $U$ is complement of $n$ distinct points in $\mathbb{R}^2$

Let $U$ be the complement of $n$ distinct points in $\mathbb{R}^2.$ How can we show that $H_1(U)=\mathbb{Z}^n$?
Shohruh
  • 47
  • 4
0
votes
0 answers

n-singular chains are result of a group action?

I´m beginning in the study of Singular Homology using Kosniowski's text. Since it seems that the n-chains group $S_n(X)$ inherites the group structure of $\mathbb{Z}$, we can consider that, in certain sense, exist a group action $$\cdot : \mathbb{Z}…
LH8
  • 513
0
votes
1 answer

What is the tensor product over in Künneth’s formula

Let $X$ and $Y$ be CW complexes. Fix a ring $R$. Künneth formula says $$ H^k(X\times Y, R)\cong \bigoplus_{r+s=k} H^r(X,R)\otimes H^s(Y,R)$$ I am not able to see a reference where it is mentioned on which ring they are taking tensor product. I…
user537667
0
votes
1 answer

How can I calculate cohomology?

I know what homology means and I know what (de Rham) cohomology means. But I can’t actually calculate cohomology of a given space (while I can do it for homology) My question is that is there a relationship between homology and cohomology? (I mean…
Mike Park
  • 145
0
votes
0 answers

How do we compute the $k$-th rational homology group of $\#^{\infty} S^{\infty}$?

How do we compute the $k$-th rational homology group of the connected sum $\#^{\infty} S^{\infty}$, and hence the sequence of rational Betti numbers ${b_k\left(\#^{\infty} S^{\infty};\mathbb{Q}\right)}=\text{rk} H_k\left(\#^{\infty}…
0
votes
1 answer

Gradients for functions on domains that are not simply connected

I have heard that the following is true: Let $\vec{F}$ be a vector field such that $\nabla \times \vec{F} = \vec{0}$ everywhere on its domain, $D$. Further require that $D$ is simply connected. Then there exists a scalar field $f(x,y,z)$ such that…
0
votes
1 answer

Relation between Cohomology and Homology

I recently learned about Cohomology and was wondering about the relation between Homology and Cohomology for a given complex, $M^*$. Aluffi mentions that one can switch from one to the other by changing the order of the indices ($M^i \rightarrow…
Yunus Syed
  • 1,737
0
votes
1 answer

looking for more rigorous proof (homology of connected simplicial complex)

while I am reading a proof in "Elements of homology theory" - V.V Prasolov, I felt there is something missing in the proof. precisely when he says " therefore a=0 ". the proof that I am talking about is the following: " If K is a connected…
1 2 3
8
9