[論文レビュー] On k-morphs

Alex Kumjian, David Pask+1 more|arXiv (Cornell University)|Dec 7, 2007

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

ひとこと要約

この論文は、k-図形の辺を追加次元に拡張することで、(k+1)-図形を構成するための体系的な枠組みとしてk-モーフを導入する。これはC∗-代数理論におけるC∗-対応の類似である。k-図形にk-モーフを施した圏とC∗-代数にC∗-対応を施した圏との間で関手的関係を確立し、高ランク図形C∗-代数における既存の構成を統一する。

ABSTRACT

In a number of recent papers, (k + l)-graphs have been constructed from k-graphs by inserting new edges in the last l dimensions. These constructions have been motivated by C∗-algebraic considerations, so they have not been treated systematically at the level of higher-rank graphs themselves. Here we introduce k-morphs, which provide a systematic unifying framework for these various constructions. We think of k-morphs as the analogue, at the level of k-graphs, of C∗-correspondences between C∗-algebras. To make this analogy explicit, we introduce a category whose objects are k-graphs and whose morphisms are isomorphism classes of k-morphs. We show how to extend the assignment Λ 7→ C∗(Λ) to a functor from this category to the category whose objects are C∗-algebras and whose morphisms are isomorphism classes of C∗-correspondences.

研究の動機と目的

• 追加次元における辺の追加によってk-図形を(k+1)-図形に拡張する構成を体系的かつ圏論的に定式化するための枠組みを提供すること。
• k-図形とC∗-代数の関係を、C∗-対応の類似物としてのk-モーフを導入することで形式化すること。
• これまで個別的・直感的な方法でなされていた高ランク図形C∗-代数の構成を、整合的な圏論的構造の下で統一すること。
• k-図形にC∗(Λ)を割り当てる写像を、k-図形にk-モーフを施した圏からC∗-代数にC∗-対応を施した圏への関手へと拡張すること。

提案手法

• k-図形間の構造を保全する写像の同型類としてk-モーフを定義し、それらが図形構造を追加次元に拡張することを特徴とする。
• 対象がk-図形で、射がk-モーフの同型類であるような圏を構成する。
• k-モーフとC∗-代数理論におけるC∗-対応との間の対応を確立し、類似性を指針として構成を進める。
• 写像Λ ↦ C∗(Λ)が、k-図形にk-モーフを施した圏からC∗-代数にC∗-対応を施した圏への関手へと拡張されることを証明する。
• 圏論的枠組みを用いて、新たな次元における辺の挿入によってk-図形から(k+1)-図形を構成する既存の構成を一般化・統一する。

実験結果

リサーチクエスチョン

• RQ1 追加次元における辺の挿入によって(k+1)-図形をk-図形から構成するさまざまな手法を、一つの枠組みで統一することは可能か？
• RQ2 同型写像を越えた射に拡張された際、k-図形とC∗-代数の間の関係を特徴づける圏論的構造は何か？
• RQ3 k-モーフはC∗-代数理論におけるC∗-対応のグラフ論的類似物として、どのように機能するか？
• RQ4 k-図形にC∗-代数を割り当てる写像は、射をk-モーフに一般化した場合に、関手的に拡張可能か？

主な発見

• k-モーフは、辺を新たな次元に拡張することで、k-図形から(k+1)-図形を体系的かつ圏論的に構成するための枠組みを提供する。
• k-図形にk-モーフを施した圏は、C∗-代数へのC∗-対応への関手的拡張を許容する。
• k-モーフは形式的にC∗-対応と類似しており、高ランク図形とC∗-代数理論との間の深い構造的関係を確立する。
• 本フレームワークは、従来、孤立して扱われたり、C∗-代数的考察に基づいていたがグラフ論的根拠のない構成を統一的に扱える。