Terai's conjecture on h-vectors of Buchsbaum complexes

About 18 years old · traced to

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 (d−1)(d-1)-dimensional Buchsbaum complex Δ\Delta such that βk(Δ)=0\beta_k(\Delta)=0 for k≤d−3k \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 h1≥0h_1 \geq 0 and 0≤hi+1≤hi⟨i⟩0 \leq h_{i+1} \leq h_i^{\langle i \rangle} for i=1,2,…,d−1i=1,2,\dots,d-1. Terai's conjecture. The vector hh has the stated property if and only if: (a) (1,h1,…,hd−1)(1,h_1,\dots,h_{d-1}) is an MM-vector; and (b) −1dhd−1≤hd≤hd−1⟨d−1⟩-\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.

References

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.