[論文レビュー] The accessibility rank of weak equivalences

George Raptis, Jir̆ı́ Rosický|arXiv (Cornell University)|Mar 12, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 9

ひとこと要約

本稿は、$κ$-組合せ的モデル圏における弱同値の類が、特定の条件下で$κ$-可アクセスであることを確立している。具体的には、$κ$-表示可能なコフibrントな対象の集合が、$κ$--filtered colimit によってすべての対象を生成し、かつ$κ$-表示可能なコフibrントな対象が$κ$-表示可能なシリンダ対象をもつ場合に該当する。主な結果は、単体的セット間の弱同値の圏が有限可アクセスであることであり、これは、擬プルーバックを用いない「太い小さな対象の操作」に基づく新規な手法によって得られたもので、長年の可アクセス性ランク推定問題を解決するものである。

ABSTRACT

We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak equivalences between simplicial sets is finitely accessible.

研究の動機と目的

• 組合せ的モデル圏における弱同値の可アクセス性ランクの鋭い推定値を求める。特に、従来の手法が最適でない境界を与える場合に焦点を当てる。
• 擬プルーバック定理に依存しない、太い小さな対象の操作に基づく新しい証明技法を提供する。これは通常、より高い可アクセス性ランクをもたらすためである。
• $κ$-組合せ的モデル圏における弱同値の全部分圏が$κ$-可アクセスである条件を確立し、既知の結果を改善する。
• 特に単体的セット、半単純環上の複体の準同型、ネーター的フロベニウス環上の安定同型など、具体的な例へ可アクセス性結果を拡張する。

提案手法

• 著者らは、$κ$-組合せ的モデル圏における任意の自明なコフibrantが、$κ$-表示可能な対象間の自明なコフibrantの$κ$-有向colimitとして表せることを示す、太い小さな対象の操作に基づく新規な手法を導入する。
• 仮定 (i)–(iii)（$κ$-表示可能なコフibrant対象に対する$κ$-表示可能なシリンダ対象の存在を含む）のもとで、弱同値の圏が$κ$-可アクセスであることを証明する。
• 証明は、因数分解条件に依存している：もし合成 $i' = qi$ がコフibrant対象間のコフibrantであるならば、$i$ は形式的コフibrantである。
• この手法は擬プルーバックを避けており、代わりに$κ$-表示可能な対象およびそのシリンダ構成の構造的性質を用いて可アクセス性を確立する。
• このアプローチは、単体的セットや半単純環・フロベニウス環上の加群圏などのさまざまなモデル圏に適用され、有限可アクセス性の結果が得られる。

実験結果

リサーチクエスチョン

• RQ1 組合せ的モデル圏における弱同値のクラスの最適な可アクセス性ランクは何か？
• RQ2 擬プルーバック定理を用いないで、弱同値の可アクセス性ランクをより鋭く推定できるか？
• RQ3 $κ$-組合せ的モデル圏において、弱同値の圏が$κ$-可アクセスである条件は何か？
• RQ4 単体的セット間の弱同値の圏は有限可アクセスであるか？また、擬プルーバックを用いずにこれを証明できるか？
• RQ5 図式圏および左ボウスフィールド局所化において、弱同値の可アクセス性特性はどのように振る舞うか？

主な発見

• 単体的セットのモデル圏における弱同値の圏は有限可アクセスである。これは、関心の高い主要なケースを解決する。
• 単体的セット間の弱同値のクラスは$̅_0$-可アクセスであり、これは擬プルーバックに依存しない新規な手法によって証明された。
• $κ$-組合せ的モデル圏が条件 (i)–(iii) を満たす場合、弱同値の圏は$κ$-可アクセスであり、可アクセス性ランクの鋭い推定値が得られる。
• 環$R$が半単純であるとき、$R$-加群の複体における準同型の圏は有限可アクセスである。
• 環$R$がネーター的フロベニウス環であるとき、$R$-加群の安定同型の圏は有限可アクセスである。
• 可アクセス性結果は左ボウスフィールド局所化へ拡張可能である：$L_S\mathcal{M}$ が$λ$-組合せ的であり、条件を満たすならば、その$S$-局所同値は$λ$-可アクセスである。