[論文レビュー] Topological realizations and fundamental groups of higher-rank graphs

S. Kaliszewski, Alex Kumjian+2 more|arXiv (Cornell University)|May 13, 2012

Advanced Operator Algebra Research参考文献 17被引用数 3

ひとこと要約

この論文は、k-図形をCW複体として位相的実現化することを確立し、その図形の基本群がその位相的実現の基本群と一致することを証明している。さらに、k-図形をその実現に割り当てる写像は、図形の代数的被覆と空間の位相的被覆の間のカテゴリ同値を誘導する関手であることを示し、普遍被覆を保存するとともに、射影極限や交叉積と関連している。

ABSTRACT

We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.

研究の動機と目的

• k-図形の組合せ的構造を捉えるCW複体としてのk-図形の位相的実現を定義すること。
• k-図形の基本群がその位相的実現の基本群と同型であることを証明すること。
• k-図形からその位相的実現への割り当てが、k-図形のカテゴリと位相空間のカテゴリの間の関手であることを示すこと。
• k-図形の代数的被覆のカテゴリとその実現の位相的被覆のカテゴリの間のカテゴリ同値を確立し、普遍被覆を保存すること。
• 標準的構成、たとえばk-図形の射影極限やZ^l作用による交叉積と、位相的実現との関係を明らかにすること。

提案手法

• k-図形$\Lambda$の位相的実現$X_\Lambda$を、圏内の可換立方体の内部に開セルを貼り合わせることで構成する。
• 各k-図形準同型$\varphi: \Lambda \to \Gamma$に対して、連続写像$\widetilde{\varphi}: X_\Lambda \to X_\Gamma$を定義し、割り当てが関手であることを示す。
• 明示的なホモトピー論的議論により、$X_\Lambda$の基本群が$\Lambda$の基本群と同型であることを証明する。
• この関手が被覆を保存し、$\Lambda$の代数的被覆のカテゴリと$X_\Lambda$の位相的被覆のカテゴリの間のカテゴリ同値を誘導することを示し、普遍被覆が普遍被覆にマッピングされることを保証する。
• 有限対一被覆の射影極限$\varprojlim(\Lambda_n, p_n)$に対して、位相的実現$X_{\varprojlim(\Lambda_n, p_n)}$が$\varprojlim(X_{\Lambda_n}, \widetilde{p}_n)$に同相であり、基本群の逆極限も保存されることを示す。
• 交叉積k-図形$\Lambda \times_\alpha \mathbb{Z}^l$の位相的実現が、$X_\Lambda$上の誘導された同相写像$\widetilde{\alpha}$のマッピングトーラス$M(\widetilde{\alpha})$に同相であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 k-図形の基本群は、それがCW複体としての位相的実現と一致するか？
• RQ2 割り当て$\Lambda \mapsto X_\Lambda$は、k-図形のカテゴリから位相空間のカテゴリへの関手か？
• RQ3 この関手は、$\Lambda$の代数的被覆と$X_\Lambda$の位相的被覆のカテゴリの間のカテゴリ同値を誘導するか？
• RQ4 位相的実現はk-図形の射影極限とどのように作用するか？
• RQ5 交叉積k-図形$\Lambda \times_\alpha \mathbb{Z}^l$の位相的実現は、標準的位相的構成（たとえばマッピングトーラスなど）としてどのように記述できるか？

主な発見

• k-図形$\Lambda$の基本群は、その位相的実現$X_\Lambda$の基本群と同型であり、すなわち$\pi_1(\Lambda) \cong \pi_1(X_\Lambda)$である。
• 割り当て$\Lambda \mapsto X_\Lambda$は、k-図形のカテゴリから位相空間のカテゴリへの関手を定める。この関手は、準同型を連続写像にマッピングする。
• この関手は、$\Lambda$の代数的被覆のカテゴリと$X_\Lambda$の位相的被覆のカテゴリの間のカテゴリ同値を誘導し、普遍被覆が普遍被覆にマッピングされる。
• 有限対一被覆の射影極限$\varprojlim(\Lambda_n, p_n)$に対して、位相的実現は$X_{\varprojlim(\Lambda_n, p_n)} \cong \varprojlim(X_{\Lambda_n}, \widetilde{p}_n)$を満たし、さらに$\pi_1(X_{\varprojlim(\Lambda_n, p_n)}) \cong \varprojlim(\pi_1(\Lambda_n), (p_n)^*)$が成り立つ。
• 交叉積k-図形$\Lambda \times_\alpha \mathbb{Z}^l$の位相的実現は、$X_\Lambda$上の誘導された同相写像$\widetilde\alpha$のマッピングトーラス$M(\widetilde{\alpha})$に同相であり、すなわち$X_{\Lambda \times_\alpha \mathbb{Z}^l} \cong M(\widetilde{\alpha})$である。
• 基本群の拡張$1 \to \pi_1(\Lambda) \to \pi_1(\Lambda \times_\alpha \mathbb{Z}^l) \to \mathbb{Z}^l \to 0$が成り立ち、これは交叉積の構造を反映している。