The γ-vector is an
important enumerative invariant of a flag simplicial homology sphere. It has been
conjectured by Gal that this vector is nonnegative for every such sphere Δ and
by Reiner, Postnikov and Williams that it increases when Δ is replaced
by any flag simplicial homology sphere that geometrically subdivides Δ.
Using the nonnegativity of the γ-vector in dimension 3, proved by Davis
and Okun, as well as Stanley’s theory of simplicial subdivisions and local
h-vectors, the latter conjecture is confirmed in this paper in dimensions 3 and
4.
Keywords
flag complex, homology sphere, simplicial subdivision, flag
subdivision, face enumeration, γ-vector