\(f\)-vectors of barycentric subdivisions (Q930501)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(f\)-vectors of barycentric subdivisions
scientific article

    Statements

    \(f\)-vectors of barycentric subdivisions (English)
    0 references
    0 references
    0 references
    30 June 2008
    0 references
    A regular CW complex \(\Delta\) is called a Boolean cell complex if for each \(A \in \Delta\) the lower interval \([\emptyset,A]\) is a Boolean lattice. The \(f\)-vector \(\mathfrak{f}^\Delta = (f_i^\Delta)_i\) encodes the numbers of the \(i\)-dimensional cells of \(\Delta\). The \(f\)-polynomial equals \(\mathfrak{f}^\Delta(t) = \sum_{i=0}^d f^\Delta_{i-1} t^{d-i}\) where \((d-1)\) is the dimension of \(\Delta\). The \(h\)-vector is defined as \(\mathfrak{h}^\Delta = (h_i^\Delta)_i\) where \(\mathfrak{h}^\Delta(t) = \sum_{i=0}^d h_i^\Delta t^{d-i}\) is the expansion of \(\mathfrak{f}^\Delta(t-1)\) in terms of powers of \(t\). The authors' main result is the following: Theorem: Let \(\Delta\) be a \((d-1)\)-dimensional Boolean cell complex such that \(h_i^\Delta \geq 0\) for \(0 \leq i \leq d\). Then the roots of the polynomial \(\mathfrak{h}^{\text{sd}(\Delta)}(t)\) are real and simple, where \(\text{sd}(\Delta)\) denotes the barycentric subdivision of \(\Delta\). The authors note that the above theorem in particular applies to simplicial complexes that are Cohen-Macaulay over some field \(k\) and to boundary complexes of simple \(d\)-polytopes. The authors moreover study the Charney-Davis quantity of such Boolean cell complexes [cf. \textit{R. Charney} and \textit{M. Davis}, Pac. J. Math. 171, No. 1, 117--137 (1995; Zbl 0865.53036)].
    0 references
    barycentric subdivision
    0 references
    \(f\)-vector
    0 references
    \(h\)-vector
    0 references

    Identifiers