Hom complexes of set systems

Jakob Jonsson¹

¹KTH Royal Institute of Technology

The electronic journal of combinatorics, Tome 20 (2013) no. 1

Résumé

A set system is a pair $\mathcal{S} = (V(\mathcal{S}),\Delta(\mathcal{S}))$, where $\Delta(\mathcal{S})$ is a family of subsets of the set $V(\mathcal{S})$. We refer to the members of $\Delta(\mathcal{S})$ as the stable sets of $\mathcal{S}$. A homomorphism between two set systems $\mathcal{S}$ and $\mathcal{T}$ is a map $f : V(\mathcal{S}) \rightarrow V(\mathcal{T})$ such that the preimage under $f$ of every stable set of $\mathcal{T}$ is a stable set of $\mathcal{S}$. Inspired by a recent generalization due to Engström of Lovász's Hom complex construction, the author associates a cell complex $\mathrm{Hom}(\mathcal{S},\mathcal{T})$ to any two finite set systems $\mathcal{S}$ and $\mathcal{T}$. The main goal of the paper is to examine basic topological and homological properties of this cell complex for various pairs of set systems.

Détail

DOI : 10.37236/3009

Classification : 05E45, 55U10, 55S35
Mots-clés : Hom complex, set system, partitionable poset