文摘
Let Δn−1(k) denote the k -dimensional skeleton of the (n−1)(n−1)-simplex Δn−1Δn−1 and consider a complex Δn−1(k−1)⊂X⊂Δn−1(k). Let KK be a field and let 0≤ℓ<k0≤ℓ<k. It is shown that if H˜k−ℓ−2(lk(X,τ);K)=0 for all ℓ-dimensional faces τ of X thendimH˜k−1(X;K)≤(n−1ℓ)(n−ℓ−2k−ℓ)(k+1ℓ+1) with equality iff lk(X,τ)lk(X,τ) is a (k−ℓ−1)(k−ℓ−1)-hypertree for all ℓ-dimensional simplices τ of Δn−1Δn−1. Examples based on sum complexes show that the bound is asymptotically tight for all fixed k,ℓk,ℓ as n→∞n→∞.