[論文レビュー] Graded C*-algebras and twisted groupoid C*-algebras

Jonathan H. Brown, Adam H. Fuller+2 more|arXiv (Cornell University)|Sep 10, 2019

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

ひとこと要約

この論文は、コンパクトなアーベル群の作用と固定点代数内のカルタン部分代数を備えたC*-代数を特徴づける$Γ$-カルタン対—を導入することで、レノワールのC*-代数におけるカルタン部分代数の理論を一般化する。この理論により、$Γ$-カルタン対と$Γ$の双対群によるグレーディングを持つねじれ付き群族C*-代数の間の一対一対応を確立し、カルタン部分代数の包含写像がねじれによって一意に定まることを示す。主な貢献は、アーベル群からのグレーディングを持つ群族のねじれを含めた、レノワールの枠組みの構造的分類の拡張である。

ABSTRACT

Let $C^*$-algebra that is acted upon by a compact abelian group. We show that if the fixed-point algebra of the action contains a Cartan subalgebra $D$ satisfying an appropriate regularity condition, then $A$ is the reduced $C^*$-algebra of a groupoid twist. We further show that the embedding $D \hookrightarrow A$ is uniquely determined by the twist. These results generalize Renault's results on Cartan subalgebras of $C^*$-algebras.

研究の動機と目的

• コンパクトなアーベル群の作用を含めたC*-代数におけるカルタン部分代数のレノワールの特徴づけを拡張すること。
• $Γ$-カルタン対を、$D$が$Γ$-作用の固定点代数内にカルタン部分代数である包含写像$D \to A$として定義し、それらを研究すること。
• $Γ$-カルタン対と$Γ$-グレーディング付きねじれ付き群族の縮小C*-代数の間の一対一対応を確立すること。
• 包含写像$D \to A$が関連するねじれによって一意に定まることを証明し、レノワールの元々の結果の一般化を行うこと。

提案手法

• $Γ$-カルタン対を、離散アーベル群$Γ$の双対群$Γ^\flat$による連続作用を伴うC*-代数$A$として定義する。固定点代数にカルタン部分代数$D$が存在し、$D$の正規化子が$A$を稠密に張ることを要請する。
• クムジャンの構成を用いて、$Γ$に値をとるホモロジー写像$c_Σ$と$c_G$を備えた$Γ$-グレーディング付きねじれ付き群族$(Σ; G)$を構成する。ここで$Σ$は$G$上のねじれである。
• $Γ$-カルタン対$(A, D)$と、$Γ$-グレーディング付きねじれ付き群族C*-代数$(C_r^*(Σ; G), C_0(G^{(0)}))$との自然な$^*$-同型を構成する。
• 構成が包含写像の逆であることを示す：$Γ$-グレーディング付きねじれ付き群族から出発すると、関連する$Γ$-カルタン対はねじれの同型を介して元のねじれを回復する。
• コアクティオン理論とスペクトル分解を用いてグレーディングと正規化子を分析し、正規化子が$A$において$Γ$-作用の下で同次的であるという事実を活用する。
• 群作用の代わりにコアクティオンを用いることで、非アーベル離散群$Γ$に対しても結果を一般化し、正規化子の弱化された稠密性条件のもとで同じ対応が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 レノワールのねじれ付き群族C*-代数によるカルタン対の分類は、群作用を伴うC*-代数へ拡張可能か？
• RQ2 コンパクトなアーベル群の作用の固定点代数内に存在するカルタン部分代数は、どのような条件下でねじれ付き群族から生じるか？
• RQ3 $Γ$-カルタン対に関連するねじれは、包含写像$D \to A$によって一意に定まるか？
• RQ4 ねじれ付き群族から$Γ$-カルタン対を構成する際、グレーディング付きねじれに適用すると元のねじれが回復されるか？
• RQ5 群作用の代わりにコアクティオンを用いることで、非アーベル離散群$Γ$へこの枠組みを拡張可能か？

主な発見

• $Γ$-カルタン対$(A, D)$は、$D$が$Γ$-作用の固定点代数内にカルタン部分代数である場合、$Γ$-グレーディング付きねじれ$(Σ; G)$の縮小C*-代数と同型であり、$D$は$C_0(G^{(0)})$に対応する。
• $(A, D)$と$(C_r^*(Σ; G), C_0(G^{(0)}))$の間の同型は自然かつ標準的であり、グレーディングと包含構造を保存する。
• 包含写像$D \to A$は関連するねじれによって一意に定まり、レノワールの元々の一意性結果がグレーディング付き設定に一般化される。
• $Γ$-グレーディング付きねじれ$Σ \to G$に対して、関連する$Γ$-カルタン対はねじれの同型を介して元のねじれを再構成する。これは完全な再構成を示す。
• コアクティオンを用いることで、非アーベル離散群$Γ$に対しても結果を拡張可能である：$A$に$D$が$A_e$にカルタン部分代数であり、正規化子の代数的スパンが$A$を稠密に張るようなコアクティオンが存在する場合、$Γ$-グレーディング付きねじれが得られ、C*-代数とカルタン部分代数は同型である。
• 構成は同次的正規化子の代数的スパンと整合し、全C*-代数はこのスパンの閉包として回復される。