On diagram-chasing in double complexes
From MaRDI portal
Publication:2884474
zbMATH Open1264.18018arXiv1108.0958MaRDI QIDQ2884474FDOQ2884474
Authors: George M. Bergman 
Publication date: 29 May 2012
Published in: Theory and Applications of Categories (Search for Journal in Brave)
Abstract: Diagram-chasing arguments frequently lead to "magical" relations between distant points of diagrams: exactness implications, connecting morphisms, etc.. These long connections are usually composites of short "unmagical" connections, but the latter, and the objects they join, are not visible in the proofs. I try to remedy this situation. Given a double complex in an abelian category, we consider, for each object A of the complex, the familiar horizontal and vertical homology objects at A, and two other objects, which we name the "donor" A_{�ox} and and the "receptor" ^{�ox}A at A. For each arrow of the double complex, we prove the exactness of a 6-term sequence of these objects (the "Salamander Lemma"). Standard results such as the 3x3-Lemma, the Snake Lemma, and the long exact sequence of homology associated with a short exact sequence of complexes, are obtained as easy applications of this lemma. We then obtain some generalizations of the last of the above examples, getting various exact diagrams from double complexes with all but a few rows and columns exact. The total homology of a double complex is also examined in terms of the constructions we have introduced. We end with a brief look at the world of triple complexes, and two exercises.
Full work available at URL: https://arxiv.org/abs/1108.0958
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
- Duality for diagram chasing a la Mac Lane in non-abelian categories
- Salamander lemma for non-abelian group-like structures
- The snake lemma in an abelian category with enough projectives (Injectives)
- Semi-Cartesian squares and the snake lemma
- The snail lemma
- The two-square lemma
- L-homologies of double complexes
- Diagram chasing in Mal'cev categories
- A characterization of long exact sequences coming from the snake lemma
- An axiomatic survey of diagram lemmas for non-abelian group-like structures
Chain complexes (category-theoretic aspects), dg categories (18G35) Abelian categories, Grothendieck categories (18E10)
Cited In (5)
This page was built for publication: On diagram-chasing in double complexes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884474)
