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

Do you know a proof that the singular homology groups are the same either you exclude degenerate simplices or not

In cubical homology you have to consider the group of degenerate cubics and use the group of cubes module degenerate cubes (Massey). If you not do that you get the wrong homology for one point space. In singular homology (simplices) every textbook…
1
vote
0 answers

Section trick on calculations in Group Homology

Let $G$ a group and $H$ a subgroup (not necessarily normal), if we take the standard resolution $C_{\bullet}(G)$, we know that each $C_n(G)$ is a free (right) $\mathbb{Z}[G]$-module, but if we take $T$ as a set of repersentatives of cosets $G/H$ we…
1
vote
0 answers

Can we use Landweber exact functor to define a cohomology theory?

I am learning about Morava E-theory, but I am confused about how to use Landweber exact functor theorem to construct it. To be precise, suppose $k$ is a perfect field with characteristic $p > 0$ and $R = W(k)[[v_1, \cdots, v_{n-1}]]$ is the…
Umbrade
  • 21
1
vote
0 answers

Cohomoloy of Lower Shriek

For $\mathcal{F}$ a sheaf on $U,$ for $U$ an open subset of a space $X,$ is it true that $H^q(X, j_!\mathcal{F}) = H^q_c(U, \mathcal{F})$ for $j : U\rightarrow X$ the open inclusion?
user960774
1
vote
1 answer

Can a subset $A$ of $\mathbb{R}^n$ have nonzero homology in dimension $\geq n$?

The title basically says it all. Let $A \subset \mathbb{R}^n$ be any subset. If we impose some restrictions on $A$ (like $A$ being a neighborhood retract) one can show that $A$ cannot have homology in dimensions $\geq n$ (e.g. using barycentric…
Takirion
  • 1,520
1
vote
0 answers

Why is $\operatorname{Ext}^0(A,B)\simeq \operatorname{Hom}(A,B)$?

I want to prove $\operatorname{Ext}^0(A,B)\simeq \operatorname{Hom}(A,B)$ where $A,B$ are modules over some ring $R$. My definition of $\operatorname{Ext}^n(A,B)=H^n(\operatorname{Hom}(C,B))$ where $\operatorname{Hom}(C,B) =…
1
vote
0 answers

Trivial Homology and Embeddings

Edit:Sorry if this is simple but I have not done homology in a while. We have for all $\mathbb R ^n $and k>0, that $H_k(\mathbb R ^n)$=0 ( trivial group). What would happen if we were to embed in $\mathbb R^4$ a projective 2-space, whose homology is…
MSIS
  • 725
1
vote
1 answer

Why not use symmetric difference to define homology?

Instead of the regular definition of the homology group using free abelian groups on $n$-simplices, could we instead define it using symmetric difference? For example, let $X$ be a topological space. For each $n$, let $G_n$ be the group of…
user623070
1
vote
1 answer

Just explaining why $H_{0}$ of a line segment is $\simeq \mathbb{Z}$

Why is it that $\mathbb{Z}$ which has two generators, $1$ and $-1$, is isomorphic to $H_{0}$ of a line with two different vertices, "$\{x,y\} / $"? Basically what are some elements not equal to zero so that I may compare them thanks -
user737994
1
vote
1 answer

$C_*(A)+C_*(X) \hookrightarrow C_*(X)$ induces an isomorphism in homology

Let $X$ be a topological space and $A \subset X$ a subspace. I need to prove that the inclusion $C_*(A)+C_*(X) \hookrightarrow C_*(X)$ induces an isomorphism in homology, that is, $H_q(C_*(A)+C_*(X)) \cong H_q(C_*(X))$. ($C_*$ is the singular…
Twnk
  • 2,436
1
vote
0 answers

Construction of minimal Sullivan model

I have read a lot of papers about constructing a minimal model for a dga $(A,d)$, but still struggle to summarise the minimal data I need to construct the minimal model. Can someone help! Also, what information does the minimal model captures that…
sasho98
  • 21
1
vote
1 answer

What is the map $\pi^*:H^{\dim X/G}(X/G,Z)\rightarrow H^{\dim X}(X,Z)$?

Let $\pi:X\rightarrow X/G$ be a free quotient map by a finite group $G$. Assume that both $X$ and $X/G$ are oriented. We know that $\pi_*$ maps the fundamental class $[X]$ to $|G|[X/G]$. What about cohomology groups? Assume that $\alpha_X$ and…
Kai
  • 11
1
vote
0 answers

A result for $S^n$ using singular homology, from Vick's book.

This is a Theorem in Vick's Book about Singular homology: I understand this proof, but what I don't get is how to prove for the case when $j=0$, since we won't have an isomorphism, Vick did only the case in which $j>0$. Any ideas are welcome,…
Endov
  • 76
1
vote
0 answers

Mayer–Vietoris and powers

I have an excisive triad $(X;U,V)$ and consider $\delta^*:H^1(U\cap V)\to H^2(X)$ from the corresponding Mayer–Vietoris sequence. I'm wondering if there is a formula for the term $(\delta^*\alpha)^k\in H^{2k}(X)$. For example, for the connecting…
FKranhold
  • 759
1
vote
2 answers

Induced isomorphism by Homotopy equivalence

Two topological spaces $X,Y$ have the same type of Homotopy if there exists functions $f:X\to Y$ and $g:Y\to X$ such that $f\circ g = id$ and $g\circ f = id$. In this case, $f, g$ are called Homotopy equivalences, and we denote $X\approx_f Y$. Show…
1 2 3
8 9