The hirsch conjecture holds for normal flag complexes

Abstract

Using an intuition from metric geometry, we prove that any flag normal simplicial complex satisfies the nonrevisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus the dimension, as in the Hirsch conjecture. This proves the Hirsch conjecture for all flag polytopes and, more generally, for all (connected) flag homology manifolds.