Terai's conjecture on h-vectors of Buchsbaum complexes

A vector h=(1,h1,,hd)Zd+1h=(1,h_1,\dots,h_d) \in \mathbb{Z}^{d+1} is the hh-vector of a (d1)(d-1)-dimensional Buchsbaum complex Δ\Delta such that βk(Δ)=0\beta_k(\Delta)=0 for kd3k \leq d-3. A vector (1,h1,,hd)Zd+1(1,h_1,\dots,h_d) \in \mathbb{Z}^{d+1} is an MM-vector if h10h_1 \geq 0 and 0hi+1hii0 \leq h_{i+1} \leq h_i^{\langle i \rangle} for i=1,2,,d1i=1,2,\dots,d-1. Terai's conjecture. The vector hh has the stated property if and only if: (a) (1,h1,,hd1)(1,h_1,\dots,h_{d-1}) is an MM-vector; and (b) 1dhd1hdhd1d1-\frac{1}{d}h_{d-1} \leq h_d \leq h_{d-1}^{\langle d-1\rangle}. This conjecture gives numerical conditions characterizing the hh-vectors of Buchsbaum complexes with the specified vanishing Betti numbers; the paper proves the relevant two-dimensional cases, while the general statement is the conjectural assertion.

Sources & referencesView supporting material

Primary source

Satoshi Murai, “Face vectors of two-dimensional Buchsbaum complexes”, arXiv:0812.0215 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.