arXiv++ Combinatorics

Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all model category structures on a finite lattice, using transfer systems as our main tool, resulting in new connections between abstract homotopy theory and equivariant methods.

Bi-incomplete Tambara functors over a group $G$ can be understood in terms of compatible pairs of $G$-transfer systems. In the case of $G = C_{p^n}$ , Hill, Meng and Li gave a necessary and sufficient condition for compatibility and computed the exact number of compatible pairs. In this article, we study compatible pairs of $G$-transfer systems for the case $G = C_{p^rq^s}$ and identify conditions when such transfer systems are uniquely compatible in the sense that they only form trivially compatible pairs. This gives us new insight into collections of norm maps that are relevant in equivariant homotopy theory.

In this article, we show that there is no cofibration category structure on the category of finite graphs with $\times$-homotopy equivalences as the class of weak equivalences. Further, we show that it is not possible to enlarge the class of weak equivalences to get cofibration category structure on the category of finite graphs without including morphisms where domain and codomain have non-isomorphic stiff subgraphs.

The collapsibility number of simplicial complexes was introduced by Wegner in order to understand the intersection patterns of convex sets. This number also plays an important role in a variety of Helly type results. We show that the non-cover complex of a hypergraph $\mathcal{H}$ is $|V(\mathcal{H)}|- γ_i(\mathcal{H})-1$-collapsible, where $γ_i(\mathcal{H})$ is the generalization of independence domination number of a graph to hypergraph. This extends the result of Choi, Kim and Park from graphs to hypergraphs. Moreover, the upper bound in terms of strong independence domination number given by Kim and Kim for the Leray number of the non-cover complex of a hypergraph can be obtained as a special case of our result. In general, there can be a large gap between the collapsibility number of a complex and its well-known upper bounds. In this article, we construct a sequence of upper bounds $\mathcal{M}_k(X)$ for the collapsibility number of a simplicial complex $X$, which lie in this gap. We also show that the bound given by $\mathcal{M}_k$ is tight if the underlying complex is $k$-vertex decomposable.

We show that if a graph $G$ satisfies certain conditions then the connectivity of neighbourhood complex $\mathcal{N}(G)$ is strictly less than the vertex connectivity of $G$. As an application, we give a relation between the connectivity of the neighbourhood complex and the vertex connectivity for stiff chordal graphs, and for weakly triangulated graphs satisfying certain properties. Further, we prove that for a graph $G$ if there exists a vertex $v$ satisfying the property that for any $k$-subset $S$ of neighbours of $v$, there exists a vertex $v_S \neq v$ such that $S$ is subset of neighbours of $v_S$, then $\mathcal{N}(G-\{v\})$ is $(k-1)$-connected implies that $\mathcal{N}(G)$ is $(k-1)$-connected. As a consequence of this, we show that:(i) neighbourhood complexes of queen and king graphs are simply connected and (ii) if $G$ is a $(n+1)$-connected chordal graph which is not folded onto a clique of size $n+2$, then $\mathcal{N}(G)$ is $n$-connected.

In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Strøm-Hurewicz model structure on this category of graphs. More interestingly, we show that this category of graphs with $\times$-homotopy equivalences does not have a model structure whenever the class of cofibrations is a subclass of graph inclusions.

In this article, we give conditions on a graph under which the Lovász' original bound of the graph can be improved by increasing the topological connectivity of its neighbourhood complex. We also work out conditions under which computing the topological connectivity of hom complex of a pair of graphs can be simplified. In particular, hom complex as a covariant functor acting on a double mapping cylinder of graphs is a homotopy pushout of hom complex functor applied to its subgraphs. We give applications of this result where the computation of hom complexes is simplified. Finally, we explain why double mapping cylinder of graphs does not give a satisfactory definition of homotopy pushout in the category of graphs.