[論文レビュー] Semistrict Tamsamani n-groupoids and connected n-types

Simona Paoli|ArXiv.org|Jan 23, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用数 7

ひとこと要約

本稿は、連結な $n$-型を表すTamsamani弱 $n$-群体について、半厳密化の結果を確立する。任意のこのような $n$-群体が、$n$-同値のズーム・ザグを介して半厳密なものに同値であることを示しており、具体的には、上位の単体的構造において、Segal写像を通じて同型で厳密な合成が保証されるTamsamani $n$-群体である。これは、高次ホモトピー理論における半厳密化仮説の重要なケースを確認するものである。

ABSTRACT

Tamsamani's weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tasmamani's weak n-groupoids and cat^(n-1)-groups as models of connected n-types.

研究の動機と目的

• 連結な $n$-型を表す任意のTamsamani弱 $n$-群体が、半厳密なものと $n$-同値であることを証明し、高次圏論における半厳密化仮説を支援すること。
• Tamsamaniの弱 $n$-群体と、cat $n$-群を用いた連結な $n$-型のモデルとの比較を行うこと。
• 連結な $n$-型のホモトピー圏が、弱 $n$-群体の局所化における半厳密なTamsamani $n$-群体の全部分圏と同値であることを確立すること。

提案手法

• 上位の単体的方向におけるSegal写像が同型である、すなわちその方向で合成が厳密であるようなTamsamani $n$-群体のなす圏 $\mathcal{H}_n$ を、$\mathcal{T}_n$ の中で定義する。
• $\mathcal{H}_n$ が、Tamsamani弱 $(n-1)$-群体における直積モノイド構造の下での、モノイドの全部分圏と同型であることを用いる。
• 任意のクラスファイイング空間がパス連結である弱 $n$-群体と、$\mathcal{H}_n$ 内の半厳密なものの間で、$n$-同値のズーム・ザグを構成する。この構成は、$n$-圏的構造に関する帰納的議論に依存する。
• 帰納法の仮定を用いて、ネスツラクチャのレベルワイズな全射性が、ネスト写像の全射性を示す。これは、忘却関手 $\mathcal{U}_n$ による正規エピモルフィズムの反映を用いる。
• 弱 $n$-群体の局所化におけるホモトピー圏と同値であることを用いて、$\mathcal{H}_n$ が本質的なホモトピー型を捉えていることを示す。
• ネスト $\overline{\mathcal{N}}f$ の構造とそのレベルワイズな全射性を用いて、写像 $f$ が全射的ネスト写像を誘導することを示し、これは $n$-同値を確立する上で重要である。

実験結果

リサーチクエスチョン

• RQ1 連結な $n$-型を表す任意のTamsamani弱 $n$-群体が、$n$-同値のズーム・ザグを通じて半厳密なものに接続可能か？
• RQ2 $\mathcal{H}_n$ である半厳密なTamsamani $n$-群体の圏は、連結な $n$-型をモデル化する弱 $n$-群体の全圏 $\mathcal{T}_n$ とどのように関係しているか？
• RQ3 連結な $n$-型のホモトピー圏は、弱 $n$-群体の局所化における半厳密なTamsamani $n$-群体の全部分圏と同値か？

主な発見

• パス連結な分類空間を持つ任意のTamsamani弱 $n$-群体は、Theorem 9.10 で述べられているように、$\mathcal{H}_n$ 内の半厳密なTamsamani $n$-群体と $n$-同値なズーム・ザグによって接続可能である。
• 連結な $n$-型のホモトピー圏 $\mathcal{H}o(\mathrm{Top}^{(n)}_*)$ は、Corollary 9.11 で示されているように、$\mathcal{T}_n^*/\sim^n$ に含まれる $\mathcal{H}_n$ が生成する全部分圏と同値である。
• $\mathcal{H}_n$ は、Tamsamani弱 $(n-1)$-群体における直積モノイド構造の下での、モノイドの全部分圏と同型であり、これは代数的整合性を示している。
• $\mathcal{H}_n$ において、上位の単体的方向におけるSegal写像は同型である。これは、その方向で合成が厳密であることを保証するが、他の方向では弱い合成が許容される。
• 写像 $f$ が忘却関手 $\mathcal{U}_n$ による下位の写像で全射を誘導するとき、ネスト構成 $\overline{\mathcal{N}}f$ はレベルワイズに全射的である。これは $n$-同値を確立する上で不可欠である。
• 帰納的議論は、$\mathcal{U}_{n-1}$ による正規エピモルフィズムの反映に依存しており、これにより、ネストのレベルでの全射性が、対応する圏的構造へと移行できる。