Homotopy types of finite \'etale spaces and generalized inflations

TL;DR

This paper generalizes the concept of inflation in simplicial complexes using sheaf theory, extending known homotopy type results to more complex structures like simplicial posets and multigraphs.

Contribution

It introduces a broader class of inflations over simplicial posets via sheaves, generalizing the poset fiber theorem to these new structures.

Findings

Homotopy type results extend to generalized inflations with flabby sheaves.

The poset fiber theorem applies to these generalized inflations.

Results include homotopy types of clique complexes of multigraphs.

Abstract

Inflation of a simplicial complex $K$ is a construction well known in combinatorial topology. It replaces each vertex $i$ of $K$ with a finite number $n_i$ of its copies, and each simplex $\{i_0,\ldots,i_k\}$ with $n_{i_0}n_{i_1}\cdots n_{i_k}$ many copies so that the collection of vertex-copies is spanned by a simplex in the inflation if and only if their originals were spanned by a simplex in the original complex. The celebrated poset fiber theorem of Bj\"{o}rner, Wachs, and Welker describes the homotopy type of such inflation in terms of homotopy types of $K$ and its links. In the current paper, we introduce more general inflations over simplicial posets: we replace each simplex with an arbitrary finite set of copies. The way how these sets patch together is specified by a commutative diagram, or, equivalently, a sheaf on the corresponding finite topology. The generalized inflation can be understood as \'etale space of such sheaf. We prove that, whenever this inflation sheaf is flabby, the poset fiber theorem still applies. We prove all results similar to those known for vertex inflations. We also cover the previous result of the first author about homotopy types of clique complexes of multigraphs.