2025-11-14T20:34:11.440433

Thomason-Type Model Structures on Simplicial Complexes and Graphs

Minichiello

In this paper we show that the Matsushita model structure on loop graphs, which is right-transferred from the Kan-Quillen model structure on simplicial sets, factors through two other right-transferred model structures on simplicial complexes and reflexive graphs. We show that each Quillen adjunction between these right-transferred model categories is a Quillen equivalence. These model structures are analogous to the Thomason model structure on small categories, and we prove that they are all cofibrantly generated and proper. Furthermore we show that all cofibrant simplicial complexes are flag complexes, and all forests are cofibrant.

academic

トマソン型単体複体とグラフ上のモデル構造

基本情報

論文ID: 2508.08195
タイトル: Thomason-Type Model Structures on Simplicial Complexes and Graphs
著者: Emilio Minichiello (CUNY CityTech)
分類: math.AT (代数的位相幾何学), math.CO (組合数学)
発表時期: 2024年8月 (arXiv プレプリント、第3版は2025年10月13日)
論文リンク: https://arxiv.org/abs/2508.08195v3

要旨

本論文は、環グラフ上のMatushita モデル構造（単体集合上のKan-Quillen モデル構造から右随伴によって導かれた）が、単体複体と反射的グラフ上の他の2つの右随伴モデル構造によって分解可能であることを証明している。著者は、これらの右随伴モデル範疇間の各Quillen随伴がQuillen同値であることを証明した。これらのモデル構造は小範疇上のトマソンモデル構造に類似しており、著者はそれらがすべて余ファイバー生成的であり正確であることを証明した。さらに、著者はすべての余ファイバー単体複体が旗複体であり、すべての森が余ファイバー的であることを証明した。

研究背景と動機

問題背景

グラフ同伦理論の発展: 近年、グラフ同伦理論は広く注目を集めており、主に2つの異なるグラフ同伦理論が出現している：A-同伦理論と×-同伦理論。これらの理論は反射的無向単純グラフの範疇Gr上で最も便利である。
Hom-複体の重要性: Lovászのホム複体構造はKneser予想の証明において重要な役割を果たし、その位相不変量はグラフの様々な組合せ不変量と密接に関連している。特に、G = K₂の場合、Hom(G,H)のZ₂-同変ホモトピー型の位相不変量はHの色数の下界を与える。
モデル構造の欠落: Matushitaが環グラフ範疇Grℓ上にモデル構造を構成したが、単体複体範疇Cpxと反射的グラフ範疇Gr上には対応する抽象ホモトピー構造が欠けていた。

研究動機

著者の本来の動機は、グラフのホム複体をより良く理解し、×-同伦理論に関連する抽象ホモトピー構造を見つけることであった。Matushitaの構造が実際には2つの中間モデル範疇を通じて分解可能であることが発見され、これはグラフの×-同伦理論を分析するための有用なフレームワークを提供する。

核心的貢献

単体複体上のトマソンモデル構造の構築: 右随伴Kan-Quillen モデル構造をCpxに適用することにより、このモデル構造の存在性、余ファイバー生成性、および正確性を証明した。
モデル構造の分解チェーンの確立: Matushitaモデル構造が以下の分解を通じて実現可能であることを証明した：
```
Grℓ → Gr → Cpx → sSet
```
ここで各矢印はQuillen同値である。
余ファイバー対象の特性化: すべてのトマソン余ファイバー単体複体が旗複体であり、すべての森がMatushita余ファイバー的であることを証明した。
×-同伦理論の拡張: グラフの×-同伦理論の概念を単体複体に拡張し、関連するホモトピー性質を証明した。
導出Homの分析: Matushitaモデル構造における導出写像空間を研究し、その基礎となる∞-範疇が直積閉でないことを証明した。