The Partitionability Conjecture

Abstract

In 1979 Richard Stanley made the following conjecture: Every Cohen-Macaulay simplicial complex is partitionable. Motivated by questions in the theory of face numbers of simplicial complexes, the Partitionability Conjecture sought to connect a purely combinatorial condition (partitionability) with an algebraic condition (Cohen-Macaulayness). The algebraic combinatorics community widely believed the conjecture to be true, especially in light of related stronger conjectures and weaker partial results. Nevertheless, in a 2016 paper [DGKM16], the three of us (Art, Carly, and Jeremy), together with Jeremy's graduate student Bennet Goeckner, constructed an explicit counterexample. Here we tell the story of the significance and motivation behind the Partitionability Conjecture and its resolution. The key mathematical ingredients include relative simplicial complexes, nonshellable balls, and a surprise appearance by the pigeonhole principle. More broadly, the narrative theme of modern algebraic combinatorics: to understand discrete structures through algebraic, geometric, and topological lenses.