Classification of certain cellular classes of chain complexes (Q2655778)

The author gives a complete description of the Dror Farjoun cellular lattice of perfect chain complexes over a local commutative ring \((R, m)\) with \(m\) principal and satisfying \(m^2 =0.\) Given a chain complex \(A\), let \(\mathcal{C}(A)\) denote the smallest collection of chain complexes containing \(A\) that is closed under sums, weak equivalences and such that, if \(0 \to X \to Y \to Z \to 0\) is exact with \(X, Y \in \mathcal{C}(A)\), then \(Z \in \mathcal{C}(A)\). Write \(X > \! \! > A\) if \(X \in \mathcal{C}(A)\). Fixing \((R, m)\) as above, the author defines a simple class of chain complexes \(\Sigma^i E_j\) over this ring for \(i, j \geq 0\). Here \(\Sigma^{i'} E_{j'} > \! \! > \Sigma^{i} E_{j}\) if and only if \(i' \geq i\) or \(j' \geq j\). The main result is that, for any perfect chain complex \(A\) over \((R, m)\), there exists a pair \(i,j \geq 0\) with \(\mathcal{C}(A) = \mathcal{C}(\Sigma^i E_j)\). A key step in the proof is a structure theorem for perfect chain complexes \(A\) over \((R, m)\) which gives that \(A\) splits as the sum of a contractible chain complex and a sum of certain \(\Sigma^i E_j\).