[論文レビュー] Corners of graph algebras

Tyrone Crisp|arXiv (Cornell University)|Mar 28, 2005

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

ひとこと要約

本稿では、群ラベリングから導かれるパス有限性および行有限性条件を満たす頂点集合 $ X $ のもとで、グラフ C*-代数 $ C^*(E) $ のコーナー $ P_X C^*(E) P_X $ と同型な C*-代数をもつ有向グラフを構成する。主な結果は、ラベリングがキルヒホッフ型電圧則を満たす場合、このようなコーナーがグラフ代数として現れることを示しており、既知の構成を一般化し、グラフ代数上の離散的コアクションの固定点代数へ応用可能である。

ABSTRACT

It is known that given a directed graph E and a subset X of vertices, the sum of the projections associated to the vertices in X in the C*-algebra of E converges strictly in the multiplier algebra to a projection P. Here we give a construction which, in certain cases, produces a directed graph F whose C*-algebra is isomorphic to the corner P(C*(E))P. Corners of this type arise naturally as the fixed point algebras of discrete coactions on graph algebras related to labellings. We prove this fact, and show that our construction is applicable to such a case whenever the labelling satisfies an analogue of Kirchhoff's voltage law.

研究の動機と目的

• グラフ C*-代数のコーナー $ P_X C^*(E) P_X $ を、それ自身がグラフ代数として実現できる構成的技法を提供すること。
• $ X $ の遺伝的補集合にループ、シンク、無限出力頂点が含まれる場合に失敗する既存の構成の制限を克服すること。
• 離散的コアクションの固定点代数が、新しいグラフ構成によりグラフ代数と同型となる条件を確立すること。
• スケュー・プロダクトグラフ内の有向部分木に基づく新規手法を導入することで、デシンギュラー化およびテーリング技法を一般化すること。

提案手法

• $ G $ を離散群とし、$ c $ をエッジに $ G $ によるラベリングとする。スケュー・プロダクトグラフ $ E imes_c G $ に、$ E^0 \times \{1_G\} $ を根とする有向部分木 $ T $ を構成する。
• ラベリングに制約を課して、$ T $ が行有限かつパス有限であることを保証する。具体的には、任意の無限パス $ \mu \in E^\infty $ に対して、$ c(\mu_1 \cdots \mu_i) = 1_G $ を満たす $ i \in \mathbb{N} $ が存在することを要求する。
• 部分木 $ T $ の構造を用いて、$ C^*(F) \cong P_X C^*(E) P_X $ を満たす新たなグラフ $ F $ を定義する。ここで $ X = H_E(X) $ は根集合の遺伝的閉包である。
• 固定点代数のコアクションにこの構成を適用し、ラベリングが電圧則を満たす場合、固定点代数が同じ手法によりグラフ代数と同型であることを示す。
• 群作用をコアクションに変換するフーリエ変換を活用し、$ C^*(E) $ 上の群作用をコアクションに変換することで、量子レンズ空間や類似代数へのコーナー構成の適用を可能にする。
• この構成がユニタリグラフ代数に適用可能であり、そのような代数の直和極限へも拡張可能であることを証明し、適用範囲を広げる。

実験結果

リサーチクエスチョン

• RQ1 グラフ C*-代数のコーナー $ P_X C^*(E) P_X $ が、別の有向グラフの C*-代数として実現可能となる条件は何か？
• RQ2 遺伝的補集合にシンクやループを含む場合でも、コーナーをグラフ代数として構成できる一般化は可能か？
• RQ3 離散群によるラベリングがキルヒホッフ型電圧則を満たす場合、誘導されるコアクションによる固定点代数がグラフ代数と同型になるか？
• RQ4 従来の手法（シンクにテールを追加する方法や Drinen-Tomforde のデシンギュラー化）と比較して、本手法の適用可能性や構造的仮定の観点から、どのような利点があるか？
• RQ5 本手法はユニタリグラフ代数およびその直和極限へも適用可能か。これにより、一般のグラフ C*-代数へ応用範囲が拡張されるか？

主な発見

• 本稿では、スケュー・プロダクトグラフ $ E \times_c G $ に、根が $ E^0 \times \{1_G\} $ で、頂点集合が $ H_{E \times_c G}(E^0 \times \{1_G\}) $ であるような行有限かつパス有限な有向部分木が存在する場合、$ C^*(F) \cong P_X C^*(E) P_X $ を満たす有向グラフ $ F $ を構成する。
• ユニタリグラフ代数では、このような部分木が常に存在するため、この構成はこのクラスに対して普遍的に適用可能である。
• グラフ $ E $ が行有限であり、かつ任意の無限パス $ \mu \in E^\infty $ に対して、そのある接頭辞の総ラベルが単位元 $ 1_G $ になるようなラベリング $ c $ が満たされる場合、必要な部分木が存在し、コーナーがグラフ代数であることが保証される。
• 群ラベリング $ c $ が電圧則を満たす場合、$ C^*(E) $ に誘導される離散的コアクション $ \delta $ の固定点代数 $ C^*(E)^\delta $ は、グラフ代数と同型である。
• 本手法は量子レンズ空間の構成を一般化する：$ C^*(E) $ におけるゲージ作用の固定点代数は、スケュー・プロダクトグラフ代数のコーナーと同型であり、このコーナー自体がグラフ代数である。
• 本手法はユニタリグラフ代数の直和極限へも適用可能であり、任意のグラフ代数が、この構成が適用可能なグラフ代数の直和極限として近似可能であることを示している。