Skip to main content
deleted 1 character in body
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

Everything can be reduced to long exact sequences induced by short exact sequences of complexes.

In your setting, there are short exact sequences of complexes as follows

$$0\rightarrow C_{11}\stackrel{(u,g)}\longrightarrow C_{12}\oplus C_{21}\longrightarrow C_{12}\cup_{C_{11}}C_{21}\rightarrow 0$$

$$0\rightarrow C_{12}\cup_{C_{11}}C_{21}\stackrel{(g,-u)}\longrightarrow C_{22}\stackrel{h\nu}\longrightarrow C_{33}\rightarrow 0$$

This produces long exact sequences

$$\cdots\rightarrow H^{k}C_{11}\longrightarrow H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k+1}C_{11}\rightarrow \cdots$$

$$\cdots\rightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}\longrightarrow H^{k}C_{33}\longrightarrow H^{k+1}(C_{12}\cup_{C_{11}}C_{21})\rightarrow \cdots$$

Your hypotheses say that

$$H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}$$

$$([\alpha],[\beta])\mapsto [\alpha-\beta]\mapsto 0$$

therefore there exists $[\gamma]\in H^{k-1}(C_{33})$ such that

$$H^{k-1}C_{33}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})$$

$$[\gamma]\mapsto [\alpha-\beta]$$

Now it is enough to compose with the morphism induced in cohomology by

$$\left(\begin{smallmatrix}\nu&0\\\0&h\end{smallmatrix}\right)\colon C_{12}\cup_{C_{11}}C_{21}\longrightarrow C_{13}\oplus C_{31}$$$$\left(\begin{smallmatrix}\nu&0\\0&h\end{smallmatrix}\right)\colon C_{12}\cup_{C_{11}}C_{21}\longrightarrow C_{13}\oplus C_{31}$$

in order to obtain the thesis of your lemma. (BTW, notice that there is a misprint in your subscripts, you must replace two 2s by 1s)

Everything can be reduced to long exact sequences induced by short exact sequences of complexes.

In your setting, there are short exact sequences of complexes as follows

$$0\rightarrow C_{11}\stackrel{(u,g)}\longrightarrow C_{12}\oplus C_{21}\longrightarrow C_{12}\cup_{C_{11}}C_{21}\rightarrow 0$$

$$0\rightarrow C_{12}\cup_{C_{11}}C_{21}\stackrel{(g,-u)}\longrightarrow C_{22}\stackrel{h\nu}\longrightarrow C_{33}\rightarrow 0$$

This produces long exact sequences

$$\cdots\rightarrow H^{k}C_{11}\longrightarrow H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k+1}C_{11}\rightarrow \cdots$$

$$\cdots\rightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}\longrightarrow H^{k}C_{33}\longrightarrow H^{k+1}(C_{12}\cup_{C_{11}}C_{21})\rightarrow \cdots$$

Your hypotheses say that

$$H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}$$

$$([\alpha],[\beta])\mapsto [\alpha-\beta]\mapsto 0$$

therefore there exists $[\gamma]\in H^{k-1}(C_{33})$ such that

$$H^{k-1}C_{33}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})$$

$$[\gamma]\mapsto [\alpha-\beta]$$

Now it is enough to compose with the morphism induced in cohomology by

$$\left(\begin{smallmatrix}\nu&0\\\0&h\end{smallmatrix}\right)\colon C_{12}\cup_{C_{11}}C_{21}\longrightarrow C_{13}\oplus C_{31}$$

in order to obtain the thesis of your lemma. (BTW, notice that there is a misprint in your subscripts, you must replace two 2s by 1s)

Everything can be reduced to long exact sequences induced by short exact sequences of complexes.

In your setting, there are short exact sequences of complexes as follows

$$0\rightarrow C_{11}\stackrel{(u,g)}\longrightarrow C_{12}\oplus C_{21}\longrightarrow C_{12}\cup_{C_{11}}C_{21}\rightarrow 0$$

$$0\rightarrow C_{12}\cup_{C_{11}}C_{21}\stackrel{(g,-u)}\longrightarrow C_{22}\stackrel{h\nu}\longrightarrow C_{33}\rightarrow 0$$

This produces long exact sequences

$$\cdots\rightarrow H^{k}C_{11}\longrightarrow H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k+1}C_{11}\rightarrow \cdots$$

$$\cdots\rightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}\longrightarrow H^{k}C_{33}\longrightarrow H^{k+1}(C_{12}\cup_{C_{11}}C_{21})\rightarrow \cdots$$

Your hypotheses say that

$$H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}$$

$$([\alpha],[\beta])\mapsto [\alpha-\beta]\mapsto 0$$

therefore there exists $[\gamma]\in H^{k-1}(C_{33})$ such that

$$H^{k-1}C_{33}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})$$

$$[\gamma]\mapsto [\alpha-\beta]$$

Now it is enough to compose with the morphism induced in cohomology by

$$\left(\begin{smallmatrix}\nu&0\\0&h\end{smallmatrix}\right)\colon C_{12}\cup_{C_{11}}C_{21}\longrightarrow C_{13}\oplus C_{31}$$

in order to obtain the thesis of your lemma. (BTW, notice that there is a misprint in your subscripts, you must replace two 2s by 1s)

Source Link
Fernando Muro
  • 15.2k
  • 2
  • 49
  • 78

Everything can be reduced to long exact sequences induced by short exact sequences of complexes.

In your setting, there are short exact sequences of complexes as follows

$$0\rightarrow C_{11}\stackrel{(u,g)}\longrightarrow C_{12}\oplus C_{21}\longrightarrow C_{12}\cup_{C_{11}}C_{21}\rightarrow 0$$

$$0\rightarrow C_{12}\cup_{C_{11}}C_{21}\stackrel{(g,-u)}\longrightarrow C_{22}\stackrel{h\nu}\longrightarrow C_{33}\rightarrow 0$$

This produces long exact sequences

$$\cdots\rightarrow H^{k}C_{11}\longrightarrow H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k+1}C_{11}\rightarrow \cdots$$

$$\cdots\rightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}\longrightarrow H^{k}C_{33}\longrightarrow H^{k+1}(C_{12}\cup_{C_{11}}C_{21})\rightarrow \cdots$$

Your hypotheses say that

$$H^{k}C_{12}\oplus H^{k}C_{21}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})\longrightarrow H^{k}C_{22}$$

$$([\alpha],[\beta])\mapsto [\alpha-\beta]\mapsto 0$$

therefore there exists $[\gamma]\in H^{k-1}(C_{33})$ such that

$$H^{k-1}C_{33}\longrightarrow H^{k}(C_{12}\cup_{C_{11}}C_{21})$$

$$[\gamma]\mapsto [\alpha-\beta]$$

Now it is enough to compose with the morphism induced in cohomology by

$$\left(\begin{smallmatrix}\nu&0\\\0&h\end{smallmatrix}\right)\colon C_{12}\cup_{C_{11}}C_{21}\longrightarrow C_{13}\oplus C_{31}$$

in order to obtain the thesis of your lemma. (BTW, notice that there is a misprint in your subscripts, you must replace two 2s by 1s)