f-VECTORS OF BARYCENTRIC SUBDIVISIONS
نویسندگان
چکیده
For a simplicial complex or more generally Boolean cell complex ∆ we study the behavior of the f and h-vector under barycentric subdivision. We show that if ∆ has a non-negative h-vector then the h-polynomial of its barycentric subdivision has only simple and real zeros. As a consequence this implies a strong version of the Charney-Davis conjecture for spheres that are the subdivision of a Boolean cell complex or the subdivision of the boundary complex of a simple polytope. For a general (d − 1)-dimensional simplicial complex ∆ the hpolynomial of its n-th iterated subdivision shows convergent behavior. More precisely, we show that among the zeros of this hpolynomial there is one converging to infinity and the other d− 1 converge to a set of d− 1 real numbers which only depends on d.
منابع مشابه
On Face Vectors of Barycentric Subdivisions of Manifolds
We study face vectors of barycentric subdivisions of simplicial homology manifolds. Recently, Kubitzke and Nevo proved that the g-vector of the barycentric subdivision of a Cohen–Macaulay simplicial complex is an M -vector, which in particular proves the g-conjecture for barycentric subdivisions of simplicial homology spheres. In this paper, we prove an analogue of this result for Buchsbaum sim...
متن کاملf - vectors of subdivided simplicial complexes ( extended abstract )
We take a geometric point of view on the recent result by Brenti and Welker, who showed that the roots of the f -polynomials of successive barycentric subdivisions of a finite simplicial complex X converge to fixed values dependinig only on the dimension of X . We show that these numbers are roots of a certain polynomial whose coefficients can be computed explicitely. We observe and prove an in...
متن کاملExtremal examples of collapsible complexes and random discrete Morse theory
We present extremal constructions connected with the property of simplicial collapsibility. (1) For each d ≥ 2, there are collapsible (and shellable) simplicial d-complexes with only one free face. Also, there are non-evasive d-complexes with only two free faces. (Both results are optimal in all dimensions.) (2) Optimal discrete Morse vectors need not be unique. We explicitly construct a contra...
متن کاملA Duality in Buchsbaum Rings and Triangulated Manifolds
Let ∆ be a triangulated homology ball whose boundary complex is ∂∆. A result of Hochster asserts that the canonical module of the Stanley–Reisner ring of ∆, F[∆], is isomorphic to the Stanley–Reisner module of the pair (∆, ∂∆), F[∆, ∂∆]. This result implies that an Artinian reduction of F[∆, ∂∆] is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction ...
متن کاملThe Lefschetz Property for Barycentric Subdivisions of Shellable Complexes
We show that an ’almost strong Lefschetz’ property holds for the barycentric subdivision of a shellable complex. From this we conclude that for the barycentric subdivision of a CohenMacaulay complex, the h-vector is unimodal, peaks in its middle degree (one of them if the dimension of the complex is even), and that its g-vector is an M -sequence. In particular, the (combinatorial) g-conjecture ...
متن کامل