Squarefree \( P\)-modules and the \({\mathbf {cd}}\)-index (Q406296): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / 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. Squarefree \(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. The 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. | |||
Property / 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. Squarefree \(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. The 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06A11 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06A07 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6341107 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cd-Index | |||
Property / zbMATH Keywords: cd-Index / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
flag \(f\)-vectors | |||
Property / zbMATH Keywords: flag \(f\)-vectors / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Stanley-Reisner rings | |||
Property / zbMATH Keywords: Stanley-Reisner rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regular CW-complexes | |||
Property / zbMATH Keywords: regular CW-complexes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
barycentric subdivisions | |||
Property / zbMATH Keywords: barycentric subdivisions / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Seyed Amin Seyed Fakhari / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963835827 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1310.3888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Eisenbud-Green-Harris conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Dehn-Sommerville relations for polytopes, spheres and Eulerian partially ordered sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new index for polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monotonicity of the cd-index for polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Posets, regular CW complexes and Bruhat order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(f\)-vectors of barycentric subdivisions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a conjecture by Kalai / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposition theorem for the cd-index of Gorenstein posets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stellar subdivisions of boundary complexes of convex polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3440038 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 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 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cd-index of fans and posets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Lefschetz property for barycentric subdivisions of shellable complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5607712 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3884826 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The flag $f$-vectors of Gorenstein* order complexes of dimension $3$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-negative cd-coefficients of Gorenstein* posets. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cd-index of Bruhat intervals. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohen-Macaulay quotients of polynomial rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Upper Bound Conjecture and Cohen-Macaulay Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flag \(f\)-vectors and the \(cd\)-index / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics and commutative algebra. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3225387 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(g\)-elements, finite buildings and higher Cohen-Macaulay connectivity. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bass numbers of local cohomology modules with supports in monomial ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves on finite posets and modules over normal semigroup rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derived category of squarefree modules and local cohomology with monomial ideal support / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:08, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Squarefree \( P\)-modules and the \({\mathbf {cd}}\)-index |
scientific article |
Statements
Squarefree \( P\)-modules and the \({\mathbf {cd}}\)-index (English)
0 references
8 September 2014
0 references
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. Squarefree \(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. The 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.
0 references
cd-Index
0 references
flag \(f\)-vectors
0 references
Stanley-Reisner rings
0 references
regular CW-complexes
0 references
barycentric subdivisions
0 references
0 references
0 references