On the spectral sequence associated to a multicomplex (Q2318402)

Let \(k\) be a commutative ring with \(1\). A multicomplex is a \((\mathbb{Z}, {\mathbb Z})\)-graded \(k\)-module \(C\) with maps \(d_i: C\to C\) for all \(i\geqslant 0\) of bidegree \(|d_i|=(-i, i-1)\) satisfying \(\sum\limits_{i+j=n} d_i d_j=0\) for all \(n \geqslant 0\). It also known as a twisted chain complex. The notion of twisted complex goes back to \textit{C. T. C. Wall} [Proc. Camb. Philos. Soc. 57, 251--255 (1961; Zbl 0106.24903)]. It is shown in [\textit{M. Livernet} et al., Algeb. Geom. Topol. 13, No. 1, 409--440 (2013; Zbl 1268.18006)] and in [\textit{J-L. Loday} and \textit{B. Vallette}, Algebraic Operads. Berlin: Springer (2012; Zbl 1260.18001)] that multicomplexes can be viewed as \(D_{\infty}\)-algebras. This point of view is also related to [\textit{S. V. Lapin}, Sb. Math. 192, No. 11, 1639--1659 (2001; Zbl 1026.55018)]. For example, if \(d_i=0\) for all \(i\geqslant 2\), then the multicomplex becomes a bicomplex. A morphism \(f: (C, d_i)\to (C', d'_i)\) of a multicomplexes is given by maps \(f_i: C\to C'\) for \(i\geqslant 0\) of bidegree \(|f_i|=(-i,i)\) satisfying \(\sum\limits_{i+j=n}f_i d_j= \sum\limits_{i+j=n}d'_i f_j\) for all \(n \geqslant 0\). The total complex of the multicomplex \(C\) is defined as the chain complex which in degree \(n\) is \((\text{Tot} C)_n= \sum\limits_{a+b= n}C_{a,b}\) with the differential \((dc)_a= \sum\limits_{i\geqslant 0}d_i(c)_{a+i}\). For a multicomplex \(C\), the filtered complex \(D\) is considered, where \(D:={\text{Tot}} C\) filtered by the subcomplexes \((F_p D)_n= \prod\limits_{a+b=n, a\leqslant p}C_{a,b}\). It follows from the equation \(F_p D= \bigoplus^{r-1}_{i=0}C_{p-i,*}\oplus F_{p-r}D\) that each \(x\in F_p D\) can be written \(x= (x)_p+(x)_{p-1}+\ldots +(x)_{p-r+1}+ u\) with \(u\in F_{p-r}D\), where \((x)_{p-i}\) is the projection of \(x\) to \(C_{p-i,*}\). The spectral sequence associated to this filtered complex is considered. For \(r\geqslant 0\), the \(r\)-stage \(E_r(D)\) is an \(r\)-bigraded complex, which is a bigraded module with a square zero map \(\delta_r\) of bidegree \((-r, r-1)\), and may be written as \(E^{p,*}_r(D)\cong \mathcal{Z}^{p,*}_r(D)/\mathcal{B}^{p,*}_r(D)\) with the \(r\)-cycles are given by \(\mathcal{Z}^{p,*}_r(D)= F_p D\cap d^{-1}(F_{p-r}D)\) and \(r\)-boundaries \(\mathcal{B}^{p,*}_0(D)=\mathcal{Z}^{p-1,*}_0(D)\) for \(r=0\) and \(\mathcal{Z}^{p-1,*}_{r-1}(D)+ d\mathcal{Z}^{p+r-1,*}_{r-1}(D)\) for \(r\geqslant 1\). For \(x\in \mathcal{Z}^{p,*}_r(D)\), \([x]_r\) is its image in \(E^{p,*}_r(D)\). Equality \(\delta_r([x]_r)= [dx]_r\) holds. Subgraded modules \(Z^{p,*}_r\) and \(B^{p,*}_r\) of \(C_{p,*}\) are described in Definition 2.6. Proposition 2.8. The map \(\psi: \mathcal{Z}^{p,*}_r(D)/\mathcal{B}^{p,*}_r(D)\to Z^{p,*}_r/B^{p,*}_r\), sending \([x]_r\) to the class \([(x)_p]\), is well defined and an isomorphism. The sequence \(z_{p-j}\in C_{p-j,*}\), \(1\leqslant j\leqslant r-1\), is called satisfying condition (\(\star_1\)) if \(d_0 x=0\) and \(d_n x= \sum\limits^{n-1}_{i=0}d_i z_{p-n+i}\), for all \(1\leqslant n\leqslant r-1\). Theorem 2.10. Under the isomorphism \(\psi\) of Proposition 2.8, the \(r\)-th of the spectral sequence corresponds to the map \(\Delta_r: Z^{p,*}_r/B^{p,*}_r\to Z^{p-r,*}_r/B^{p-r,*}_r\) given by \(\Delta_r([x])=\left[ d_rx - \sum\limits^{r-1}_{i=1}d_i z_{p-r+i} \right]\), where \(x\in Z^{p,*}_r\), and the family \(\{z_{p-j}\}_{1\leqslant j\leqslant r-1}\) satisfies (\(\star_1\)). In Section 3 the authors of the paper under review revisit the examples given by \textit{D. E. Hurtubise} [J. Algebra Appl. 9, No. 4, 519--530 (2010; Zbl 1210.18015)] in the light of the explicit description of the differentials. Hurtubise has the same sign and bidegree conventions as the authors, but works with ground ring \(\mathbb Z\). They also revisit the example given by Wall. Some applications are indicated. In particular, a new application appears in the work [\textit{J. Cirici} and \textit{S. O. Wilson}, ``Dolbeault cohomology for almost complex manifolds'', Preprint, \url{arXiv:1809.01416}], where the description of the \(E_2\) page of the spectral sequence proposed by the authors is used.