[論文レビュー] The center of a Kumjian-Pask algebra

Jonathan H. Brown, Astrid an Huef|arXiv (Cornell University)|Sep 12, 2012

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

ひとこと要約

この論文は、1を単位元とする可換環上のKumjian-Pask代数の中心を特徴づけ、基本的単純代数の場合、中心が0または基底環に同型であることを示している。さらに、Kumjian-Pask代数が可換であることと、その背後にあるkグラフが$ℕ^k$のコピーの直和に等しいこととは同値であり、この場合、代数は$k$変数のローレンツ多項式環の直和に同型であることを証明している。

ABSTRACT

The Kumjian-Pask algebras are path algebras associated to higher-rank graphs, and generalize the Leavitt path algebras. We study the center of simple Kumjian-Pask algebras and characterize commutative Kumjian-Pask algebras.

研究の動機と目的

• 1つの単位元を持つ可換環上の単純および基本的単純Kumjian-Pask代数の中心を特徴づけること。
• Kumjian-Pask代数が可換である条件を特定し、Leavittパス代数に対する既知の結果を一般化すること。
• 背後にあるkグラフのグラフ論的性質を用いて、可換Kumjian-Pask代数の構造的分類を確立すること。
• 関連するC*-代数への埋め込みとDauns-Hofmann定理を用いて、特に$ℂ$上での中心を分析すること。

提案手法

• Kumjian-Pask代数$ℐℐ_R(\Lambda)$をその関連C*-代数$C^*(\Lambda)$に埋め込むことで、位相的方法を用いて中心を分析する。
• Dauns-Hofmann定理を適用し、$ℐℐ_ℂ(\Lambda)$の中心と$C^*(\Lambda)$のスペクトルの構造を関連づけ、それが\{0\}またはℂであることを示す。
• 重み付き一意性定理とKumjian-Pask代数の普遍性を用いて、同型と誘導写像の単射性を確立する。
• 核の性質と非周期性のグラフ論的条件を分析し、中心に属する要素の性質を導出する。
• Kumjian-Pask代数の普遍性と関係式を用いて、可換性と範囲写像$r$の単射性に関する制約を導出する。
• kグラフを部分グラフの直和に分解することにより、問題を$ℕ^k$の場合に還元し、この場合代数が既にローレンツ多項式環であることが知られている。

実験結果

リサーチクエスチョン

• RQ1 Kumjian-Pask代数の中心が自明であるか、または基底環$R$に同型であるのはいつか？
• RQ2 kグラフ$\Lambda$にどのようなグラフ論的条件が満たされると、$ℐℐ_R(\Lambda)$が可換になるか？
• RQ3 Kumjian-Pask代数$ℐℐ_R(\Lambda)$の中心の構造は、関連するC*-代数$C^*(\Lambda)$の位相的性質とどのように関係するか？
• RQ4 $ℐℐ_R(\Lambda)$が$k$変数のローレンツ多項式環の直和に同型であるのはどのような条件下か？
• RQ5 どのようなkグラフ$\Lambda$に対して、$ℐℐ_R(\Lambda)$が可換になるかを特徴づけるか？

主な発見

• 複素数体$ℂ$上の単純Kumjian-Pask代数の中心は、Dauns-Hofmann定理と$C^*(\Lambda)$への埋め込みから、\{0\}またはℂに同型であることが示された。
• 基本的単純Kumjian-Pask代数$ℐℐ_R(\Lambda)$について、中心は0または基底環$R$に同型であり、これはLeavittパス代数に対する結果を一般化したものである。
• $ℐℐ_R(\Lambda)$が可換であることと、各$\Lambda^n$における範囲写像$r$が単射であり、かつ$\Lambda$上で$r=s$が成り立つこととは同値であり、このとき$\Lambda$は$ℕ^k$のコピーの直和である。
• もし$\Lambda$が$ℕ^k$のコピーの直和であれば、$ℐℐ_R(\Lambda) \cong \bigoplus_{v \in \Lambda^0} R[x_1, x_1^{-1}, \dots, x_k, x_k^{-1}]$となり、ローレンツ多項式環の直和に同型である。
• $ℐℐ_R(\mathbb{N}^k)$はローレンツ多項式環$R[x_1, x_1^{-1}, \dots, x_k, x_k^{-1}]$に同型であり、この構造が可換Kumjian-Pask代数の分類の根拠となっている。
• 証明により、核の性質と非周期性のグラフ的性質が中心を決定する上で本質的であることが示され、核の性質により中心が非自明になるのを保証し、非周期性により非自明な中心的元が存在しないことを排除する。