Math 2.0

Category theory; homological algebra Definition

Quasi-isomorphism

Builds on Abelian categoryChain complexChain mapHomology of a chain complexChain homotopy

Definition

Let š’œ\mathcal{A} be an abelian category and let f ⁣:Cāˆ™ā†’Dāˆ™f \colon C_\bullet \to D_\bullet be a chain map of chain complexes in š’œ\mathcal{A}. The map ff is a quasi-isomorphism if the induced morphism on homology Hn(f) ⁣:Hn(C)→Hn(D)H_n(f) \colon H_n(C) \to H_n(D) is an isomorphism for every integer nn.

Remarks

Every chain homotopy equivalence is a quasi-isomorphism, because chain homotopic maps induce the same maps on homology. Quasi-isomorphisms are closed under composition, but in general a quasi-isomorphism has no chain map inverse up to homotopy.

Example: let Cāˆ™C_\bullet have C1=C0=ℤC_1 = C_0 = \Z with d1d_1 multiplication by 22, and let Dāˆ™D_\bullet be ℤ/2ℤ\Z/2\Z in degree 00. Let f0 ⁣:ℤ→ℤ/2ℤf_0 \colon \Z \to \Z/2\Z be the reduction and f1=0f_1 = 0; this is a chain map since f0(2x)=0f_0(2x) = 0. Both complexes have homology ℤ/2ℤ\Z/2\Z in degree 00 and 00 elsewhere, and H0(f)H_0(f) sends the class of 11 to 11, so ff is a quasi-isomorphism. It is not a chain homotopy equivalence: every chain map Dāˆ™ā†’Cāˆ™D_\bullet \to C_\bullet is 00, because ℤ/2ℤ\Z/2\Z has no nonzero map to ℤ\Z.

Non-example: the zero chain map from ℤ\Z in degree 00 to itself is not a quasi-isomorphism, since H0H_0 of it is the zero map ℤ→ℤ\Z \to \Z.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Abelian category concept
  2. Chain complex concept
  3. Chain homotopy concept
  4. Chain map concept
  5. Homology of a chain complex concept
  6. Quasi-isomorphism definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Quasi-isomorphism
About this page
Tag7E7W0K3N8W
URIm2://7E7W0K3N8W
Kinddefinition
WritingW0 stub
MSC18G35, 18G80
DefinesQuasi-isomorphism
UsesAbelian category, Chain complex, Chain map, Homology of a chain complex, Chain homotopy

Markdown Ā· JSON Ā· Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.