Two unfortunate properties of pure f-vectors

TL;DR

This paper demonstrates that pure f-vectors can be highly irregular, including nonunimodality with multiple peaks, and shows that the Interval Property does not hold for pure f-vectors, highlighting their complex structure.

Contribution

It provides new examples of nonunimodal pure f-vectors and proves the failure of the Interval Property for pure f-vectors, advancing understanding of their intricate nature.

Findings

Pure Cohen-Macaulay f-vectors can have arbitrarily many peaks.

The Interval Property fails for pure f-vectors even in dimension 2.

Abstract

The set of f-vectors of pure simplicial complexes is an important but little understood object in combinatorics and combinatorial commutative algebra. Unfortunately, its explicit characterization appears to be a virtually intractable problem, and its structure very irregular and complicated. The purpose of this note, where we combine a few different algebraic and combinatorial techniques, is to lend some further evidence to this fact. We first show that pure (in fact, Cohen-Macaulay) f-vectors can be nonunimodal with arbitrarily many peaks, thus improving the corresponding results known for level Hilbert functions and pure O-sequences. We provide both an algebraic and a combinatorial argument for this result. Then, answering negatively a question of the second author and collaborators posed in the recent AMS Memoir on pure O-sequences, we show that the Interval Property fails for the set of pure f-vectors, even in dimension 2.