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

Let f and g are homotopic chain maps of (C,d)

Let $f$ and $g$ are homotopic chain maps of $(C,d)$, then $f_{*n}=g_{*n}: H_{n}(X) \to H_{n}(X')$. Can you give me the example showing that the converse is not true?
0
votes
1 answer

Relevance of the coeficient ring in various cohomologies

I'm reading "Principles of algebraic geometry" by Griffiths and Harris. While reading the first chapter, I keep running into the same problem, which I'll illustrate using some examples: Proven: "On a real $C^\infty$ manifold $H_{DR}^*(M)\cong…
user2520938
  • 7,235
0
votes
1 answer

Cohomology space

Let $M$ be a compact Riemannian manifold without boundary. a) If $M$ is a sphere, prove that the cohomology space of order $1$ is trivial: $H ^1 (M, \Bbb R) = 0$. b) If $\omega = \delta\theta$ is the differential $1$-form angle differential on the…
guest37
  • 31
0
votes
3 answers

example reduced and divisible modules

Let's consider definition of reduced modules and torsion modules: A reduced module $C$ is defined by the property that $\mathrm{Hom}(A,C)=0$ for every divisible module $A$. (see for example A Foundation of Torsion Theory for Modules Over Geeneral…
AnToan
  • 1
1 2 3
8
9