[論文レビュー] Removing sources from higher-rank graphs

Cynthia Farthing|ArXiv.org|Mar 2, 2006

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

ひとこと要約

この論文は、源を持つ行有限な高ランクグラフを、源のない高ランクグラフに変換する特異点除去の構成を導入している。元のグラフのC*-代数が新しいグラフのC*-代数のフルコーナーに保たれることを保証する。この手法は、有向グラフの特異点除去を高ランクグラフへ一般化し、より単純なCuntz-Krieger関係の適用を可能にするとともに、K理論および単純性に関する結果をより広いクラスの高ランクグラフC*-代数へ拡張する。

ABSTRACT

For a higher-rank graph $Λ$ with sources we detail a construction that creates a higher-rank graph $\barΛ$ that does not have sources and contains $Λ$ as a subgraph. Furthermore, when $Λ$ is row-finite, the Cuntz-Krieger algebra of $Λ$ is a full corner of $C^*(\barΛ)$, the Cuntz-Krieger algebra of $\barΛ$.

研究の動機と目的

• 高ランクグラフにおける源の技術的課題に対処すること。これは、標準的なCuntz-Krieger関係や群族モデルの使用を妨げる。
• 有向グラフにおける特異点除去技法を高ランクグラフへ一般化すること。これにより、源のないkグラフに限らないC*-代数の研究が可能になる。
• 任意の行有限kグラフ$\Lambda$から、行有限かつ源のない高ランクグラフ$\overline{\Lambda}$を構成すること。
• C*-代数$C^*(\Lambda)$が$C^*(\overline{\Lambda})$のフルコーナーに保たれることを保証し、モラita同値性を維持するとともに、構造的結果の転送を可能にする。
• K理論および単純性に関する結果を、これまで源のないkグラフに限って知られていたものから、より一般的な（おそらく源を含む）kグラフC*-代数へ拡張する基盤を築くこと。

提案手法

• 元のkグラフ$\Lambda$の各源$v$に対して、普遍kグラフ$\Omega_{k,\infty}$のコピーを接続する。これは、1グラフの特異点除去における「ヘッド」と類似した役割を果たす。
• 構成により、拡張されたグラフ$\overline{\Lambda}$は行有限であり、因子化性を満たし、kグラフ構造が保持される。
• 拡張は、$\Lambda$内のパスが$\overline{\Lambda}$内の部分パスとして埋め込まれるように設計されており、次数関手および圏構造が維持される。
• C*-代数$C^*(\Lambda)$は、元の頂点集合に対応する射影を介して、$C^*(\overline{\Lambda})$のフルコーナーとして実現される。
• 境界パス$\Lambda^{\leq\infty}$の存在を活用して源を特定し、拡張プロセスを導く。
• 新しい源を導入せず、拡張されたグラフが局所的凸性を保つように設計されており、[10]におけるより単純なCuntz-Krieger関係の使用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 源を含む高ランクグラフに対して、モラita同値性を介してC*-代数構造を保ちつつ源を除去する特異点除去プロセスを開発できるか？
• RQ2 有向グラフの特異点除去を高ランクグラフへ一般化する方法は何か。特に、因子化性および行有限性を維持する方法は？
• RQ3 元のkグラフのC*-代数が、特異点除去されたkグラフのC*-代数のフルコーナーに保たれるための条件は何か？
• RQ4 源のないkグラフに限って知られていたK理論および単純性に関する結果を、この特異点除去法を用いてより一般的なkグラフC*-代数へ拡張できるか？
• RQ5 境界パスや類似構造を用いて、kグラフの無限大受け手を扱う特異点除去法を拡張することは可能か？

主な発見

• 構成された高ランクグラフ$\overline{\Lambda}$は、元の$\Lambda$に源が含まれていても、行有限かつ源のないものである。
• C*-代数$C^*(\Lambda)$は$C^*(\overline{\Lambda})$のフルコーナーに同型であり、強力なモラita同値性を示す。
• 特異点除去プロセスは、各源頂点に$\Omega_{k,\infty}$のコピーを接続することで、1グラフの特異点除去を一般化している。
• この手法により、有限一致kグラフに必要なより複雑な関係ではなく、[10]のより単純なCuntz-Krieger関係が使用可能になる。
• K理論およびイデアル構造の研究が維持され、これらはモラita同値性に関して不変である。
• パス$\Lambda^{\leq\infty}$の存在は、源の特定と拡張の導出に役立ち、無限大受け手の特異点除去への道筋を示唆する。