Homology and cohomology

What is homology and also cohomology?

Homology and cohomology are two foundational concepts in algebraic topology, a field of mathematics that studies topological spaces using algebraic tools. Here's a clear breakdown of what each one means and how they differ:

---

Homology

Homology is a way to measure the "holes" in a topological space.

Intuition:

• Imagine different-dimensional "holes":

  • 0-dimensional: components (islands).
  • 1-dimensional: loops or holes (like the hole in a donut).
  • 2-dimensional: voids (like the hollow inside a sphere).

Idea:

Homology assigns a sequence of abelian groups (or vector spaces) $H_0, H_1, H_2, \dots$ to a topological space:

• $H_0$: captures connected components.
• $H_1$: captures loops (1D holes).
• $H_2$: captures voids (2D holes).
• And so on.

Example:

• A circle $S^1$:

  • $H_0(S^1) \cong \mathbb{Z}$ (1 connected component)
  • $H_1(S^1) \cong \mathbb{Z}$ (1 loop)
  • $H_n(S^1) = 0$ for $n \geq 2$

---

Cohomology

Cohomology is a theory closely related to homology but works in a dual way.

Intuition:

Cohomology still detects "holes," but it also gives a way to "probe" the space using functions, and can encode richer algebraic structure.

Key Differences from Homology:

• Cohomology groups are written as $H^0, H^1, H^2, \dots$ (note the superscript).
• Cohomology has a ring structure via the cup product, allowing interaction between cohomology classes.

Purpose:

• Offers more structure than homology (e.g., operations between cohomology classes).
• Useful in differential geometry, physics, and algebraic geometry.

---

Comparison Table

Feature	Homology	Cohomology
Notation	$H_n(X)$	$H^n(X)$
Measures	n-dimensional holes	n-dimensional "cocycles"
Algebra	Abelian group	Abelian group + ring structure
Tools	Chains, cycles, boundaries	Cochains, cocycles, coboundaries
Duality	Direct computation	Dual of homology (in some sense)

---

Why Two Theories?

• They are closely related but highlight different aspects.
• Cohomology often allows for more refined analysis.
• Many deep theorems (like Poincaré duality) relate the two.

---

Let me know if you’d like an example computed, or a more visual explanation.