A short simplicial \(h\)-vector and the upper bound theorem (Q1849436)

\textit{R. M. Adin} [Discrete Math. 157, No. 1-3, 3-14 (1996; Zbl 0861.52007)] introduced the short cubical \(h\)-vector (for cubical polytopes). In this paper the authors define the exact analogue for simplicial polytopes: if \(h=(h_0,h_1, \dots)\) denotes the usual \(h\)-vector, then the short \(h\)-vector of a pure \((d-1)\)-dimensional complex \(\Delta\) with vertext-set \(V\) is defined by \[ \widetilde h(\Delta)= (\widetilde h_0,\widetilde h_1,\dots, \widetilde h_{d-1}): =\sum_{v\in V}h (\text{lk}v); \] thus \(\widetilde h_i= \sum_{v\in V} h_i(\text{lk} v)\) for each \(i\). They show that the number \(f_j\) of \(j\)-faces of \(\Delta\) is a non-negative linear combination of the \(\widetilde h_i\). They then deduce their main theorem, which establishes the upper bound theorem in its usual form, if \(\Delta\) is a \((2k+1)\)-dimensional simplicial complex whose link at each vertex \(v\in V\) is either a homology manifold with Euler characteristic 2, or an oriented homology manifold satisfying a certain condition on its Betti numbers, namely, \[ \beta_k(\text{lk} v)\leq 2\beta_{k-1}(\text{lk} v)+2\sum^{k-3}_{i=0} \beta_i(\text{lk} v). \] The paper is concluded with some remarks about more general situations, and also lower bounds.