The toric \(h\)-vector of a cubical complex in terms of noncrossing partition statistics (Q2256974)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The toric \(h\)-vector of a cubical complex in terms of noncrossing partition statistics
scientific article

    Statements

    The toric \(h\)-vector of a cubical complex in terms of noncrossing partition statistics (English)
    0 references
    0 references
    0 references
    23 February 2015
    0 references
    Let \(P\) be a \(d\)-dimensional cubical complex. As it is known, two of its \(h\)-vectors are the toric and the Adin's \(h\)-vectors. The toric \(h\)-polynomial is a degree \(d+1\) polynomial and the corresponding \(h\)-vector is comprised of the coefficients of the toric \(h\) polynomial. The coordinates of the toric \(h\)-vector may be written as nonnegative linear combinations of the coordinates of the Adin's \(h\)-vector. The goal of this paper is to compute the toric \(h\)-vector of \(P\) in terms of Adin's \(h\)-vector using explicit statistics on noncrossing set partitions. Suppose \(\pi\) is a partition of \([1,d]:= \{1,\dots,d\}\). By \(NC(d)\) we denote the set of all noncrossing partitions of \([1,d]\). In their main result, the authors compute that \[ Q_{d,k}(x)=\begin{cases} 2\sum_{\pi\in NC(d)}wt_{k}(\pi),&\text{ if } 1\leq k\leq d,\\ \sum_{\pi\in NC(d)}wt_{k}(\pi),&\text{ if } k=0 \text{ or } d+1,\end{cases} \] where by \(Q_{d,k}(x)\) is denoted the coefficients when expressing the toric \(h\)-vector of \(P\) in terms of Adin's \(h\)-vector of \(P\) and where \(wt_k(\pi)\) is a certain combinatorial weight associated to a noncrossing set partition \(\pi\) (see the Definitions 3.1. and 3.6. correspondingly). Finally, the authors manage to obtain a strengthened version of the symmetry given by the Dehn-Summerville equations in Theorem 6.5. More explicitly, they prove that \[ [x^l]Q_{d,k}(x) = [x^{d+1-l}]Q_{d,d+1-k}(x) \] for \(0\leq l\), \(k\leq d+1\), where \(wt_k(\pi)=x^l\) for some \(l\) and \(\pi\in NC(d)\). In order to achieve this, they use their main result which is refereed above, in combination with the self-duality of the noncrossing partition lattice.
    0 references
    0 references
    0 references
    0 references
    0 references
    toric \(h\)-vector
    0 references
    Adin \(h\)-vector
    0 references
    cubical complex
    0 references
    noncrossing partition
    0 references
    0 references
    0 references