Homotopy types of finite étale spaces and generalized inflations

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ö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 étale 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.

💡 Research Summary

The paper introduces a unified framework for “inflations” of simplicial complexes that goes beyond the classical vertex‑inflation construction. Starting from a surjective, non‑degenerate simplicial map f : N → K, the authors associate to each non‑empty simplex I of K the finite set D_f(I)=f⁻¹(I) of its pre‑images. Whenever I⊂J there is a natural “glue” map D_f(J)→D_f(I) sending a pre‑image of J to the unique face that maps to I. This data forms a commutative diagram, i.e. a functor D_f from the opposite poset of K to the category of finite sets. By the well‑known correspondence between posets and Alexandrov T₀‑spaces, the diagram D_f is equivalent to a sheaf (also denoted D_f) on the Alexandrov topology X_K. The étale space of this sheaf is precisely the covering complex N, so the covering space can be recovered from the sheaf.

The central hypothesis is that the sheaf D_f is flabby (all restriction maps are surjective). In the finite setting this is equivalent to every stalk D_f(I) being a singleton, i.e. the sheaf is “trivial” in the sense of Proposition 2.14. Flabbiness guarantees that each fiber over a simplex of K is contractible (indeed a point), which is exactly the condition required for the classical poset‑fiber theorem of Björner‑Wachs‑Welker to apply.

Under this hypothesis the authors prove Theorem 1.2, a direct generalization of the poset‑fiber theorem:

1. Simplex base – If K is an (n‑1)‑simplex Δ^{n‑1}, then the inflated complex N is homotopy equivalent to a wedge of (n‑1)‑spheres. This recovers the familiar result for ordinary vertex‑inflations.

2. General base – For an arbitrary simplicial poset K there is a homotopy‑wedge decomposition of N expressed in terms of the homotopy types of K and of all its links (formula (5.1)). Thus the homotopy type of the inflated space is completely determined by the base and its local structure.

3. Cohen–Macaulay preservation – If K is homotopy‑Cohen–Macaulay of dimension n‑1, then so is N. Hence the inflation process preserves strong topological regularity.

These statements encompass earlier results: Wachs’s vertex‑inflation theorem (the case where each vertex i is replaced by n_i copies) and the authors’ previous work on clique complexes of multigraphs (where each clique is replaced by a multiset of copies). In the multigraph setting the diagram D_f records, for each clique, the set of its parallel edges; flabbiness holds because each edge set is a discrete fiber.

The proof strategy (Section 6) proceeds by induction on the dimension of K. The flabby condition ensures that for each simplex I the fiber D_f(I) is contractible, allowing the application of the poset‑fiber theorem at each stage. The authors work entirely in a non‑abelian context: no homology or cohomology groups are invoked; the arguments rely only on homotopy colimits of diagrams and on the topological properties of the étale space.

Beyond pure topology, the paper offers an interpretative angle for quantum‑classical dichotomies. Following Abramsky et al., classical measurement systems correspond to flabby sheaves, while any deviation (e.g., a fiber with non‑trivial homology) signals quantum‑like contextuality. Thus the theorem provides a topological signature of “classicality” versus “quantumness” without recourse to algebraic invariants.

The final sections (5–7) formalize the three technical theorems, prove them simultaneously, and then specialize back to the original setting of simplicial maps, showing how Theorem 1.2 yields the known vertex‑inflation and multigraph clique results as corollaries.

In summary, the paper establishes that any generalized inflation defined by a flabby sheaf over a finite poset behaves homotopically exactly as the classical vertex‑inflation, with a clean wedge‑decomposition formula and preservation of Cohen–Macaulayness. This unifies several earlier combinatorial‑topological constructions under the language of sheaves and étale spaces, and opens the door to applying the same ideas to more exotic posets, higher‑dimensional cell complexes, or contexts where non‑abelian homotopy information is essential.