[論文レビュー] On twisted higher-rank graph C*-algebras

Alex Kumjian, David Pask+1 more|arXiv (Cornell University)|Dec 29, 2011

Advanced Operator Algebra Research参考文献 14被引用数 4

ひとこと要約

本稿では、k-図のカテゴリカルコホモロジーを導入することで、ねじれ付き高ランクグラフC*-代数の群ガロアモデルを確立し、ねじれ付きk-図C*-代数がねじれ付き群ガロアC*-代数と同型であることを証明する。ガウジ・インヴァリアントの一意性定理、クンツ＝クリーガーの一意性定理を証明し、すべてのこうした代数が核となる性質を持ち、ブートストラップクラスに属することを示す。

ABSTRACT

We define the categorical cohomology of a k-graph Λ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative characterisation of the twisted k-graph C*-algebras introduced there. We prove a gauge-invariant uniqueness theorem and use it to show that every twisted k-graph C*-algebra is isomorphic to a twisted groupoid C*-algebra. We deduce criteria for simplicity, prove a Cuntz-Krieger uniqueness theorem and establish that all twisted k-graph C*-algebras are nuclear and belong to the bootstrap class.

研究の動機と目的

• ねじれ付きk-図C*-代数の群ガロアモデルを、カテゴリカルコホモロジーを用いて提供すること。
• ねじれ付きk-図C*-代数とねじれ付き群ガロアC*-代数との同型を確立すること。
• ねじれ付きk-図C*-代数に対してガウジ・インヴァリアントの一意性定理を証明すること。
• すべてのねじれ付きk-図C*-代数が核となる性質を持ち、ブートストラップクラスに属することを示すこと。
• コホモロジー的不変量を用いてねじれ付きk-図C*-代数を特徴付け、一意性定理をねじれ付き設定に拡張すること。

提案手法

• k-図$\Lambda$を小さな圏として見たときの単体的構造を用いて、$\underline{H}^*(\Lambda,A)$を導入する。
• k-図の中心拡大を用いて、立方体コホモロジー$H^2(\Lambda,\mathbb{T})$とカテゴリカルコホモロジー$\underline{H}^2(\Lambda,\mathbb{T})$の同型を証明する。
• アーベル群によるk-図の中心拡大を定義し、それが$\underline{H}^2(\Lambda,A)$を分類することを示す。
• $\Lambda$上の$\mathbb{T}$値2次コサイクルから、経路群ガロア$\mathcal{G}_\Lambda$上の2次コサイクルを構成する。
• ラングヌの群ガロアC*-代数の構造理論とスケュープロダクト構成を用いて、ねじれ付き群ガロア代数とねじれ付きk-図代数との関係を確立する。
• 群ガロアモデルにガウジ・インヴァリアントの一意性定理とクンツ＝クリーガーの一意性定理を適用し、構造的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 ねじれ付きk-図C*-代数は、コホモロジー的構成を用いてねじれ付き群ガロアC*-代数として実現可能か？
• RQ2 k-図上での立方体コホモロジーとカテゴリカルコホモロジーの2次コサイクル間に、コホモロジー的同型が存在するか？
• RQ3 k-図の中心拡大は、ねじれ付きk-図C*-代数を分類する上で果たす役割は何か？
• RQ4 ねじれ付きk-図C*-代数は、元の状態と同様の不変性定理を満たすか？
• RQ5 すべてのねじれ付きk-図C*-代数は核となる性質を持ち、ブートストラップクラスに属するか？

主な発見

• k-図上の立方体コホモロジーとカテゴリカルコホモロジーの最初の3つのコホモロジー群は同型であり、$H^2(\Lambda,\mathbb{T}) \cong \underline{H}^2(\Lambda,\mathbb{T})$が成り立つ。
• 任意のねじれ付きk-図C*-代数$C^*(\Lambda,\phi)$は、ねじれ付き群ガロアC*-代数$C^*(\mathcal{G}_\Lambda, \sigma)$と同型である。
• ねじれ付きk-図C*-代数に対してガウジ・インヴァリアントの一意性定理が成り立つ。
• ねじれ付きk-図C*-代数に対してクンツ＝クリーガーの一意性定理が確立された。
• すべてのねじれ付きk-図C*-代数は核となる性質を持ち、モラータ同値を用いてAF代数の交叉積に帰着されることで、ブートストラップクラス$\mathcal{N}$に属することが示された。
• k-図上のプルバックおよびカルテジアン積の構成は、ねじれ付きC*-代数上に対応する操作を誘導し、$f$が全射のとき$C^*(f^*\Lambda, f^*c) \cong C^*(\Lambda,c) \otimes C(\mathbb{T}^{l-k})$が成り立つ。