arXiv++ Combinatorics

We introduce the notion of nonevasive reduction, and show that for any monotone poset map $φ:P\to P$, the simplicial complex $Δ(P)$ {\tt NE}-reduces to $Δ(Q)$, for any $Q\supseteq{\text{\rm Fix}}φ$. As a corollary, we prove that for any order-preserving map $φ:P\to P$ satisfying $φ(x)\geq x$, for any $x\in P$, the simplicial complex $Δ(P)$ collapses to $Δ(φ(P))$. We also obtain a generalization of Crapo's closure theorem.