[論文レビュー] Fundamental groupoids of k-graphs

David Pask, John Quigg+1 more|ArXiv.org|Jan 3, 2004

Advanced Operator Algebra ResearchMathematics参考文献 12被引用数 17

ひとこと要約

本稿では、圏論の普遍的構成を用いてk図形の基本群コホモロジーを構成し、それが1スケルトンの基本群コホモロジーの商として得られることを示している。主な貢献は、k図形がその群コホモロジーに忠実に埋め込めないという事実にもかかわらず、1スケルトン上の簡約語の技法を用いた組合せ的解析が可能な計算可能な枠組みを提供することにある。

ABSTRACT

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids.

研究の動機と目的

• k図形の基本群コホモロジーの理論を構築し、古典的グラフ被覆理論を高ランク版に拡張すること。
• k図形がその基本群コホモロジーに忠実に埋め込めないという問題を扱い、簡約語の議論を直接用いるのを妨げる要因を特定すること。
• k図形の基本群コホモロジーをその1スケルトンの基本群コホモロジーの商として特徴づけ、計算可能で幾何的に意味のある解析を可能にすること。
• k図形の被覆理論の後続理論の基盤を築くこと。これは、高ランクグラフC*-代数の分野における包括的プログラムの一環である。

提案手法

• 圏論における分数の圏を用い、普遍的性質に基づいてk図形の基本群コホモロジーを構成する。
• k図形自体を、その1スケルトンのパス圏の商として、辺間の因数分解関係を用いて表現する。
• k図形の基本群コホモロジーを、その1スケルトンの基本群コホモロジーの商として定義し、同値関係のもとで構造を保存する。
• シューベルトの圏論とブリッドソン＝ヘーフラーの小規模圏の基本群に関する結果をk図形に適用する。
• 基本群コホモロジーの幾何的実現を確立し、関連する空間の位相的基本群と一致することを示す。
• k図形からその基本群コホモロジーへの標準的函手の単射性を分析し、障害を同定し、代替案を提案する。

実験結果

リサーチクエスチョン

• RQ1 k図形の基本群コホモロジーは、古典的グラフの場合に一般化できるように、どのように定義できるか？
• RQ2 k図形からその基本群コホモロジーへの標準的函手が一般に単射でないのはなぜか。その影響は何か？
• RQ3 k図形の基本群コホモロジーは、その1スケルトンの基本群コホモロジーの商として実現可能か。もしそうなら、どのように実現するか？
• RQ4 k図形の基本群とその幾何的実現の基本群との関係は何か？
• RQ5 k図形がその基本群コホモロジー内に写された像が、忠実な置換対象として用いられるための条件は何か？

主な発見

• k図形の基本群コホモロジーは、その1スケルトンの基本群コホモロジーの商と同型であり、簡約語の技法による計算が可能になる。
• k図形からその基本群コホモロジーへの標準的函手は、一般には単射でないことが、明示的な反例によって示された。
• k図形の基本群は、その幾何的実現の基本群と一致しており、構成の位相的整合性が裏付けられた。
• k図形がその基本群コホモロジー内に写された像は、置換対象として用いることができるが、必ずしも一意因数分解性を引き継ぐわけではない。
• この理論は任意の小規模圏に拡張可能であるが、著者らは即時の応用が見られないため、k図形に限定している。
• この構成は、k図形の被覆理論の基盤を提供する。なぜなら、基本群コホモロジーはこのような被覆を分類するからである。