[論文レビュー] Twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs

Benjamin Whitehead|arXiv (Cornell University)|Oct 25, 2013

Advanced Operator Algebra Research参考文献 8被引用数 5

ひとこと要約

本稿では、有限整列可能高ランクグラフにおける $\mathbb{T}$-値2コホモロジーの作用を用いて、ねじれ相対Cuntz-Krieger代数を導入し、ゲージ作用とゲージ不変型の普遍性定理を確立し、飽和的ヒルベルト集合および有限包摂的族の飽和的集合を用いた完全なグラフ論的分類を提供する。

ABSTRACT

To each finitely aligned higher-rank graph $Λ$ and each $\mathbb{T}$-valued 2-cocycle on $Λ$, we associate a family of twisted relative Cuntz-Krieger algebras. We show that each of these algebras carries a gauge action, and prove a gauge-invariant uniqueness theorem. We describe an isomorphism between the fixed point algebras for the gauge actions on the twisted and untwisted relative Cuntz-Krieger algebras. We show that the quotient of a twisted relative Cuntz-Krieger algebra by a gauge-invariant ideal is canonically isomorphic to a twisted relative Cuntz-Krieger algebra associated to a subgraph. We use this to provide a complete graph-theoretic description of the gauge-invariant ideal structure of each twisted relative Cuntz-Krieger algebra.

研究の動機と目的

• 有限整列可能高ランクグラフにおける $\mathbb{T}$-値2コホモロジーを用いたねじれ相対Cuntz-Krieger代数の一般化を図ること。
• ねじれ相対Cuntz-Krieger代数にゲージ作用を定義し、ゲージ不変型の普遍性定理を証明すること。
• ゲージ不変型イデアルの構造を、飽和的ヒルベルト集合および有限包摂的族の飽和的集合というグラフ論的データによって記述すること。
• ねじれ相対Cuntz-Krieger代数のゲージ不変型イデアルによる商が、部分グラフのねじれ相対Cuntz-Krieger代数と自然に同型であることを示すこと。
• 与えられた高ランクグラフの組合せ論的データに基づいて、すべてのゲージ不変型イデアルの完全かつ明示的な分類を提供すること。

提案手法

• 有限整列可能 $k$-グラフ $\Lambda$ 上の2コホモロジー $c$ を用いて、Toeplitz-Cuntz-Kriegerファミリーを用いてねじれ相対Cuntz-Krieger代数を定義する。
• コア代数の構造とその性質を分析するために、ギャップ射影と境界パスを導入する。
• 生成子 $s_\lambda$ に $z^{d(\lambda)}$ の重みを割り当てることで、$z \in \mathbb{T}^k$ を用いてねじれ代数上のゲージ作用を構成する。
• 忠実な条件付き期待と直交化範囲射影を用いて、ゲージ作用の固定点代数を分析する。
• コア代数の構造と同型型を分析するための行列単位を構成する。
• 核に注目し、ゲージ作用を尊重する $*$-準同型がコア上で単射であれば同型であることを示すことで、ゲージ不変型の普遍性定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限整列可能高ランクグラフに対して、2コホモロジーを用いてどのようにねじれ相対Cuntz-Krieger代数を構成できるか。
• RQ2 これらのねじれ代数におけるゲージ作用の構造は何か。また、ゲージ不変型の普遍性定理は成り立つか。
• RQ3 ねじれ代数内のゲージ不変型イデアルは、部分グラフおよび元のグラフの組合せ論的データとどのように関係するか。
• RQ4 ねじれ相対Cuntz-Krieger代数のゲージ不変型イデアルによる商は、自然に別のねじれ相対Cuntz-Krieger代数として実現可能か。
• RQ5 このようなねじれ代数におけるすべてのゲージ不変型イデアルについて、完全なグラフ論的分類は可能か。

主な発見

• ねじれ相対Cuntz-Krieger代数におけるゲージ作用の固定点代数は、元のねじれなしバージョンの固定点代数と自然に同型である。
• ねじれ相対Cuntz-Krieger代数のゲージ不変型イデアルによる商は、$\Lambda$ の部分グラフに関連するねじれ相対Cuntz-Krieger代数と自然に同型である。
• $C^*(\Lambda, c; \mathcal{E})$ のゲージ不変型イデアルと、$H$ が飽和的ヒルベルト集合で $\mathcal{B}$ が $\Lambda \setminus \Lambda H$ 内の有限包摂的族の飽和的集合であるようなペア $(H, \mathcal{B})$ の間には一対一対応が存在する。
• $\{s_\mathcal{E}(v) : v \in H\}$ および $\{Q(s_\mathcal{E})^E : E \in \mathcal{B}\}$ によって生成されるイデアル $I_{H,\mathcal{B}}$ は、$C^*(\Lambda \setminus \Lambda H, c; \mathcal{B})$ への商写像の核に正確に一致する。
• ゲージ不変型の普遍性定理により、コア上で単射であり、ゲージ作用を尊重する $C^*(\Lambda, c; \mathcal{E})$ から他の $C^*$-代数への $*$-準同型は同型であることが保証される。
• ゲージ不変型イデアルの分類は、$\Lambda$ の組合せ論的構造によって完全に決定されており、$H_{I_{H,\mathcal{B}}} = H$ および $\mathcal{B}_{I_{H,\mathcal{B}}} = \mathcal{B}$ が成り立つため、対応の全単射性が証明される。