[論文レビュー] Kumjian-Pask algebras of higher-rank graphs

Gonzalo Aranda Pino, John Clark+2 more|arXiv (Cornell University)|Jun 22, 2011

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

ひとこと要約

本稿は、出次数が有限で源のないk図形のための、高ランクグラフC*-代数の代数的類似物としてのKumjian-Pask代数を導入する。一般化された順序付きおよびCuntz-Kriegerの一意性定理を確立し、飽和された有向部分集合を用いてイデアル構造を特徴づけ、代数的単純性が非周期性およびコファイナル性と対応することを示し、Leavittパス代数の結果を高ランクグラフへと拡張する。

ABSTRACT

We introduce higher-rank analogues of the Leavitt path algebras, which we call the Kumjian-Pask algebras. We prove graded and Cuntz-Krieger uniqueness theorems for these algebras, and analyze their ideal structure.

研究の動機と目的

• 高ランクグラフC*-代数の代数的類似物を構築し、Leavittパス代数をk図形へと拡張すること。
• 任意の単位元をもつ可換環上におけるこれらの代数の順序付きおよびCuntz-Kriegerの一意性定理を確立すること。
• 頂点の飽和された有向部分集合を用いてKumjian-Pask代数のイデアル構造を特徴づけること。
• 代数的意味での単純性の必要十分条件を特定すること。

提案手法

• 出次数が有限で源のないk図形Λのパスの自由R代数の商としてKumjian-Pask代数KP_R(Λ)を構成する。
• Leavittパス代数の関係を高ランクグラフへ一般化するKumjian-Pask関係を定義する。
• 両一意性定理に共通するアプローチを用いて順序付き一意性定理を証明し、複雑な帰納法を避ける。
• RobertsonとSimsによる非周期性の有限パス形式化を、Cuntz-Krieger一意性定理の主要仮定として用いる。
• Cuntz–KriegerおよびTomfordeの枠組みに従い、順序付きイデアルを頂点の飽和された有向部分集合として特徴づける。
• コファイナル性および非周期性に依存する代数が単純であるための条件を確立し、単純性が非自明なイデアルの不在を意味することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Leavittパス代数はどのように高ランクグラフへ一般化され、その結果得られる代数を定義する関係は何か？
• RQ2 新しい代数に対して成り立つ一意性定理は何か？また、C*-代数的設定におけるそれらと比べてどう異なるか？
• RQ3 Kumjian-Pask代数のイデアル構造は、元となるk図形の組合せ論とどのように関係しているか？
• RQ4 Kumjian-Pask代数が単純であるための条件は何か？また、C*-代数的設定とはどのように異なるか？
• RQ5 C*-代数的設定で観察される純粋無限型と局所行列型代数の二分法は、代数的設定でも成立しない場合があるのか？

主な発見

• 出次数が有限で源のないk図形のためのKumjian-Pask代数に対して、順序付き一意性定理が成り立つ。これは、代数の単位元上で非ゼロとなる表現の単射性を保証する。
• 有限パス形式化による非周期性仮定のもとで、Cuntz-Krieger一意性定理が適用可能であり、Kumjian-Pask関係を満たす普遍的族によって生成される代数に対して、表現の単射性が保証される。
• KP_R(Λ)のイデアル構造は、頂点の飽和された有向部分集合によって完全に記述され、すべての基本的イデアルが順序付きであるための必要十分条件は、1図形における条件(K)に類似した性質を満たすことが条件となる。
• 代数KP_C(Λ)が単純であるための必要十分条件は、k図形Λがコファイナルかつ非周期的であることであり、これは1図形のLeavittパス代数における単純性基準を拡張する。
• 純粋無限型でもなく局所行列型でもない単純Kumjian-Pask代数が存在する。これは、Leavittパス代数で観察される二分法が高ランクグラフへと拡張されないことを示している。