Squarefree P-modules and the cd-index

DOI10.1016/J.AIM.2014.07.037MaRDI QIDQ406296zbMATH OpenOpenAlexFDO

Authors Satoshi Murai, Kohji Yanagawa

Publication date 8 September 2014

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.3888

zbMATH Keywords

barycentric subdivisionscd-Indexflag \(f\)-vectorsregular CW-complexesStanley-Reisner rings

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Algebraic aspects of posets (06A11) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen-Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.

Review text

After Stanley gave a beautiful proof of the upper bound theorem for triangulated spheres by using Reisner's criterion, the study of Stanley--Reisner rings and its applications to \(f\)-vector theory have been of great interest both in combinatorics and in commutative algebra. In the paper under review, the authors introduce a new algebraic concept to study flag \(f\)-vectors of finite posets, which is called squarefree \(P\)-modules, and consider its applications.NEWLINENEWLINESquarefree \(P\)-modules are defined as an analogue of squarefree modules which are module-theoretic generalization of Stanley--Reisner rings. The concept of square-free \(P\)-modules is inspired from the work of Karu who proved the non-negativity of the \textbf{cd}-indices of Gorenstein* posets by using sheaves of finite vector spaces on posets. The authors show that there is a one to one correspondence between the squarefree \(P\)-modules and the sheaves on a poset \(P\), and that squarefree \(P\)-modules give a way to interpret Karu's proof of the non-negativity of \textbf{cd}-indices in terms of commutative algebra.NEWLINENEWLINEThe authors define an analogue of the \textbf{cd}-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen--Macaulay. This result proves that the \(h\)-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Then, they prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. The authors also obtain sharp upper bounds of the \textbf{cd}-indices of Gorenstein* posets for a fixed rank generating function.

Recommendations

• Cohen-Macaulayness and squarefree modules
• Free \((\mathbb{Z} / p)^n\)-complexes and \(p\)-DG modules
• Squarefree monomial modules and extremal Betti numbers
• Squarefree modules and local cohomology modules at monomial ideals.
• Modular categories of dimension p^3m with m square-free
• Locally free (ℙⁿ)-modules
• The Frobenius-Schur indicator and projective modules
• The P-cotorsion dimensions of modules and rings.
• scientific article; zbMATH DE number 1547947
• On dual of square free modules

Cites work

• \(f\)-vectors of barycentric subdivisions
• g-elements, finite buildings and higher Cohen-Macaulay connectivity.
• A new index for polytopes
• Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules
• Bass numbers of local cohomology modules with supports in monomial ideals.
• Cohen-Macaulay cell complexes
• Cohen-Macaulay quotients of polynomial rings
• Combinatorics and commutative algebra.
• Decomposition theorem for the cd-index of Gorenstein posets
• Derived category of squarefree modules and local cohomology with monomial ideal support
• Flag \(f\)-vectors and the \(cd\)-index
• Generalized Dehn-Sommerville relations for polytopes, spheres and Eulerian partially ordered sets
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3690275 (Why is no real title available?)
• scientific article; zbMATH DE number 3329602 (Why is no real title available?)
• Monotonicity of the cd-index for polytopes
• Non-negative cd-coefficients of Gorenstein* posets.
• On a conjecture by Kalai
• On the Eisenbud-Green-Harris conjecture
• Posets, regular CW complexes and Bruhat order
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• Sheaves on finite posets and modules over normal semigroup rings
• Stellar subdivisions of boundary complexes of convex polytopes
• The cd-index of Bruhat intervals.
• The cd-index of fans and posets
• The flag f-vectors of Gorenstein^ order complexes of dimension 3
• The Lefschetz property for barycentric subdivisions of shellable complexes
• The Upper Bound Conjecture and Cohen-Macaulay Rings

Cited in

(8)

• Face numbers of barycentric subdivisions of cubical complexes
• Complexity yardsticks for \(f\)-vectors of polytopes and spheres
• A duality in Buchsbaum rings and triangulated manifolds
• \(\mathbf{cd}\)-index for CW-posets
• The cd-index: a survey
• Combinatorial g-conjecture for interval subdivisions
• List of problems
• \(M\)-vector analogue for the \(\mathbf{cd}\)-index

This page was built for publication: Squarefree \( P\)-modules and the \({\mathbf {cd}}\)-index

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