Thomason-Type Model Structures on Simplicial Complexes and Graphs

Basic Information

• Paper ID: 2508.08195
• Title: Thomason-Type Model Structures on Simplicial Complexes and Graphs
• Author: Emilio Minichiello (CUNY CityTech)
• Classification: math.AT (Algebraic Topology), math.CO (Combinatorics)
• Publication Date: August 2024 (arXiv preprint, version 3 as of October 13, 2025)
• Paper Link: https://arxiv.org/abs/2508.08195v3

Abstract

This paper proves that the Matsushita model structure on cyclic graphs (right-induced from the Kan-Quillen model structure on simplicial sets) can be decomposed through two additional right-induced model structures on simplicial complexes and reflexive graphs. The author demonstrates that every Quillen adjoint between these right-induced model categories is a Quillen equivalence. These model structures are analogous to the Thomason model structure on small categories, and the author proves that they are all cofibrantly generated and proper. Furthermore, the author establishes that all cofibrant simplicial complexes are flag complexes and all forests are cofibrant.

Research Background and Motivation

Problem Background

1. Development of Graph Homotopy Theory: Graph homotopy theory has received considerable attention in recent years, with two distinct approaches emerging: A-homotopy theory and ×-homotopy theory. These theories are most conveniently developed in the category Gr of reflexive undirected simple graphs.
2. Importance of Hom-complexes: Lovász's Hom-complex construction played a crucial role in proving the Kneser conjecture, with topological invariants closely related to various combinatorial invariants of graphs. In particular, when G = K₂, topological invariants of the Z₂-equivariant homotopy type of Hom(G,H) provide lower bounds for the chromatic number of H.
3. Absence of Model Structures: Although Matsushita constructed a model structure on the category Grℓ of cyclic graphs, corresponding abstract homotopy structures were lacking on the category Cpx of simplicial complexes and the category Gr of reflexive graphs.

Research Motivation

The author's original motivation was to better understand Hom-complexes of graphs and to find abstract homotopy structures related to ×-homotopy theory. The discovery that Matsushita's construction can actually be decomposed through two intermediate model categories provides a useful framework for analyzing the ×-homotopy theory of graphs.

Core Contributions

1. Construction of Thomason Model Structure on Simplicial Complexes: Established the existence, cofibrantly generated property, and properness of the model structure obtained by right-inducing the Kan-Quillen model structure to Cpx.
2. Establishment of Model Structure Decomposition Chain: Proved that the Matsushita model structure can be realized through the following decomposition:

   Grℓ → Gr → Cpx → sSet
   

   
   where each arrow is a Quillen equivalence.
3. Characterization of Cofibrant Objects: Proved that all Thomason cofibrant simplicial complexes are flag complexes and all forests are Matsushita cofibrant.
4. Extension of ×-Homotopy Theory: Extended the concept of ×-homotopy theory for graphs to simplicial complexes and proved related homotopy properties.
5. Analysis of Derived Hom: Investigated the derived mapping spaces in the Matsushita model structure and proved that the underlying ∞-category is not Cartesian closed.

Methodology Details

Task Definition

The main objective of this paper is to construct model structures on the category Cpx of simplicial complexes and the category Gr of reflexive graphs such that they form a chain of Quillen equivalences with the known Matsushita model structure and Kan-Quillen model structure.

Model Architecture

1. Thomason Model Structure on Simplicial Complexes

Constructed via adjoint pairs:

Cpx ⇄ sSet
Ex²Sing / ReSd²

where:

• Sing: Cpx → sSet is the singular simplicial set functor for simplicial complexes
• Re: sSet → Cpx is the realization functor
• Sd: sSet → sSet is the barycentric subdivision functor
• Ex: sSet → sSet is the right adjoint to Sd

2. Matsushita Model Structure on Reflexive Graphs

Constructed via composition of adjoints:

Gr ⇄ Cpx ⇄ sSet

where Cℓ: Gr → Cpx is the clique complex functor and (−)≤1: Cpx → Gr takes the underlying graph.

3. Matsushita Model Structure on Cyclic Graphs

Constructed via adjoint pairs:

Grℓ ⇄ Gr
(−)° / iℓ

where (−)° takes the maximal reflexive subgraph and iℓ is the inclusion functor.

Technical Innovations

1. Application of Right-Induction Technique

Employed the Fiore-Paoli right-induction theorem (Proposition 3.3) to construct model structures, requiring verification of four key conditions:

• The domains of generating (co)fibrations are small objects
• Transfinite compositions of weak equivalences remain weak equivalences
• Right adjoints preserve λ-sequences of colimits
• Pushout diagram condition: if j' is the pushout of a generating trivial cofibration L(j), then R(j') is a weak equivalence

2. Geometric Theory of ×-NDR Pairs

The key geometric result is Proposition 2.47: if K ⊆ L is a subcomplex inclusion, then (Sd²(L), Sd²(K)) is a strong NDR pair. This ensures that the Sing functor sends pushouts along ×-NDR pairs to homotopy pushouts.

3. Flag Complex Characterization

Proved that all Thomason cofibrant simplicial complexes are flag complexes (Proposition 4.16), analogous to the result that all cofibrant categories in the Thomason model structure are posets.

Experimental Setup

Theoretical Verification Methods

This is purely theoretical work, verified primarily through:

1. Model Structure Existence Proofs: Using the right-induction theorem to verify required conditions sequentially
2. Quillen Equivalence Proofs: Demonstrated via unit maps being weak equivalences
3. Cofibrant Object Characterization: Proved through induction and construction methods

Key Lemmas and Theorems

• Lemma 3.9: Unit maps η_Δⁿ and η_Λⁿₖ are weak equivalences
• Proposition 3.6: Pushouts along ×-NDR pairs are sent by Sing to homotopy pushouts
• Theorem 4.7: The adjoint (13) is a Quillen equivalence
• Proposition 4.16: All Thomason cofibrant simplicial complexes are flag complexes

Experimental Results

Main Theoretical Results

1. Existence of Model Structures

• Theorem 3.10: Thomason model structure on simplicial complexes exists
• Theorem 5.8: Matsushita model structure on reflexive graphs exists
• Theorem 5.14: Matsushita model structure on cyclic graphs exists

2. Quillen Equivalences

All constructed adjoints are Quillen equivalences:

Grℓ ≃ Gr ≃ Cpx ≃ sSet

3. Model Structure Properties

• All model structures are cofibrantly generated and proper
• Right-induction preserves desirable properties of the original model structure

Characterization of Cofibrant Objects

Cofibrant Objects in Simplicial Complexes

• All complexes of the form Sd²X are cofibrant (Corollary 4.2)
• All n-simplices Δⁿ are both cofibrant and fibrant (Lemma 6.1, 6.2)
• All cofibrant simplicial complexes are flag complexes (Proposition 4.16)

Cofibrant Objects in Graphs

• All reflexive complete graphs Kₙ are Matsushita fibrant (Lemma 6.5)
• All reflexive path graphs Iₙ are Thomason cofibrant (Lemma 6.6)
• All reflexive forests are Thomason cofibrant (Corollary 6.8)
• All 4n-cycles C₄ₙ are Thomason cofibrant (Lemma 6.12)

Related Work

Development of Thomason Model Structures

1. Original Work: Thomason constructed a model structure on small categories in 1980
2. Recent Developments: Similar constructions have been developed on posets, non-singular simplicial sets, G-categories, n-fold categories, 2-categories, ∞-categories, and others

Graph Homotopy Theory

1. A-Homotopy Theory: Inherited from the homotopy theory of cubical sets via the cubical nerve functor
2. ×-Homotopy Theory: Inherited from the homotopy theory of clique complexes, related to Lovász's Hom-complex construction

Matsushita's Contributions

Matsushita constructed two model structures on cyclic graphs, one Quillen equivalent to the Kan-Quillen model structure and another equivalent to a model structure on simplicial sets with Z₂ action.

Conclusions and Discussion

Main Conclusions

1. Successfully constructed Thomason-type model structures on simplicial complexes and reflexive graphs
2. Established a chain of Quillen equivalences from cyclic graphs to simplicial sets
3. Completely characterized important object classes in these model structures
4. Provided an abstract homotopy framework for ×-homotopy theory

Limitations

1. Non-Simpliciality: All constructed model structures are neither simplicial nor monoidal (Remark 4.18)
2. Complexity of Derived Hom: Computing derived mapping spaces requires transfer to the simplicial set category via Quillen equivalences
3. Non-Cartesian Closure: The underlying ∞-category is not Cartesian closed (Lemma 7.3)

Future Directions

1. Applications to Semi-Simplicial Sets: Study semi-simplicial set structures obtained by probing cyclic graphs with acyclic complete graphs K•ᵤ
2. Concrete Computations: Further investigate concrete computational methods for derived Hom
3. Application Extensions: Apply these abstract structures to concrete combinatorial and topological problems

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Systematically constructs multiple related model structures and proves their Quillen equivalences
2. Technical Depth: Skillfully employs right-induction techniques and geometric methods (×-NDR pairs)
3. Rich Results: Not only proves existence but also characterizes important object classes
4. Clear Exposition: Well-structured paper with detailed technical proofs and useful appendices

Weaknesses

1. Computational Complexity: Although a theoretical framework is established, computing derived objects remains difficult
2. Limited Applications: Primarily theoretical constructions with few concrete combinatorial or topological applications
3. High Technical Barrier: Requires deep background in model category theory and algebraic topology

Impact

1. Theoretical Contribution: Provides an important abstract framework for graph homotopy theory
2. Methodological Value: Demonstrates systematic use of right-induction techniques for constructing related model structures
3. Future Research: Provides tools for further investigation of homotopy properties of graphs and Hom-complexes

Applicable Domains

1. Algebraic Topology: Study of homotopy properties of graphs and simplicial complexes
2. Combinatorics: Analysis of relationships between combinatorial invariants and topological properties of graphs
3. Category Theory: Technical examples for constructing and studying model categories

References

The paper contains 38 references covering important works in model category theory, graph homotopy theory, simplicial homotopy theory, and related fields. Key references include:

• Thomason's original work Tho80
• Matsushita's graph model structures Mat17
• Fiore-Paoli's right-induction theory FP10
• Foundational work in graph homotopy theory Doc09a, Doc09b