Triplets of pure free squarefree complexes

Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: On the category of bounded complexes of finitely generated free squarefree modules over the polynomial ring S, there is the standard duality functor D = Hom_S(-, omega_S) and the Alexander duality functor A. The composition AD is an endofunctor on this category, of order three up to translation. We consider complexes F of free squarefree modules such that both F, AD(F) and (AD)^2(F) are pure, when considered as singly graded complexes. We conjecture i) the existence of such triplets of complexes for given triplets of degree sequences, and ii) the uniqueness of their Betti numbers, up to scalar multiple. We show that this uniqueness follows from the existence, and we construct such triplets if two of them are linear.

Review text

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.

Recommendations

Cited in

(4)

This page was built for publication: Triplets of pure free squarefree complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q350809)