Triplets of pure free squarefree complexes (Q350809)

For a squarefree module \(M\), let \(\mathbf{A}(M)\) be the Alexander dual module and \(C^b(\text{sq-}S)\) and \(C^b(\text{fsq-}S)\) be the categories of bounded complexes of finitely generated squarefree and free squarefree modules over the polynomial ring S. Let \(\mathbb{A}:C^b(\text{fsq-}S)\rightarrow C^b(\text{fsq-}S)\) be the Alexander dual functor which is the composition \(\mathrm{res}\circ \mathbf{A}\), where \(\mathrm{res}: C^b(\text{sq-}S) \rightarrow C^b(\text{fsq-}S)\) corresponds any bounded complex of squarefree modules \(X^{\bullet}\) to a minimal resolution \(F^{\bullet}\rightarrow X^{\bullet}\) by free squarefree modules. Also let \(\mathbb{D}: C^b(\text{fsq-}S) \rightarrow C^b(\text{fsq-}S)\), defined as \(\mathbb{D}(F^{\bullet} )=\mathrm{Hom}_S(F^{\bullet},S(-\mathbf{1}))\) be the standard duality functor. In [\textit{K. Yanagawa}, J. Math. Soc. Japan 56, No. 1, 289--308 (2004; Zbl 1064.13010)] it was proved that \((\mathbb{A} \circ \mathbb{D})^3\cong T^{2n}\), where \(T\) is the translation functor on \(C^b(\text{fsq-}S)\).NEWLINENEWLINEIn the paper under review, the author inquires into when all three complexes \(F^{\bullet}\), \(\mathbb{A} \circ \mathbb{D}(F^{\bullet})\) and \((\mathbb{A} \circ \mathbb{D})^2(F^{\bullet})\) are pure as singly graded complexes. It is shown that when \(F^{\bullet}\), \(\mathbb{A} \circ \mathbb{D}(F^{\bullet})\) and \((\mathbb{A} \circ \mathbb{D})^2(F^{\bullet})\) is a triplet of pure free squarefree complexes, the interior nondegrees of these complexes cannot be arbitrarily distributed and a balancing condition is given. The author conjectures the existence of triplets of pure complexes for all balanced triplets of degree sequences, and that the Betti numbers of this triplet of complexes are uniquely determined by the balanced degree triplet, up to common scalar multiple. In the sequel, the uniqueness (up to common scalar multiple) of Betti numbers is proved, provided that such triplets exist. Finally, triplets of pure squarefree complexes in the case that two of the complexes are linear are constructed.