... curious to me, that is.


Suppose two module filtrations $$ \cdots < A\_3 < A\_2 < A\_1 < \cdots $$ and $$ \cdots < B\_3 < B\_2 < B\_1 < \cdots $$ are comparable in the sense that for all $j$, $ B\_{j+1} < A\_{j} < B\_{j-1} $; then there are natural complexes
$$ \cdots \to \frac{A\_3}{B\_4} \to \frac{A\_2}{B\_3} \to \frac{A\_1}{B\_2} \to \cdots $$
and
$$ \cdots \to \frac{B\_3}{A\_4} \to \frac{B\_2}{A\_3} \to \frac{B\_1}{A\_2} \to \cdots $$
both of which have homology groups
$$ \frac{A\_i\cap B\_i}{A\_{i+1} + B\_{i+1}} .$$


My question is in two parts:


1. this canonical isomorphism $H(A^+/B)\simeq H(B^+/A)$, has it got a name?
2. is it *useful*?



A curious construction of a chain complex and its homology
I don't know that this qualifies as an answer, but I wanted to point out that your isomorphism arises as the boundary map in a short exact sequence of chain complexes. Note that


\[
\cdots\to \frac{B\_2}{B\_4} \to \frac{B\_1}{B\_3}\to\frac{B\_0}{B\_2}\to\cdots
\]


is a long exact sequence. When viewed as a chain complex, it fits together with your other two chain complexes (with one of them shifted) into a short exact sequence of chain complexes with columns looking like


\[
0\to \frac{A\_2}{B\_3}\to\frac{B\_1}{B\_3}\to\frac{B\_1}{A\_2}\to 0.
\]


The induced long exact sequence in homology has one of every three terms zero because the added chain complex is exact. Thus the boundary maps are isomorphisms (I haven't checked that they are the isomorphisms you mention, but it would be somewhat odd if they weren't...). As for question 2, I'm not sure, but at least it's a special case of something useful.


