[論文レビュー] Inner coactions, Fell bundles, and abstract uniqueness theorems

S. Kaliszewski, Nadia S. Larsen+1 more|arXiv (Cornell University)|Aug 25, 2011

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

ひとこと要約

本稿は、内的コアクイオンと最大／正規コアクイオンの枠組みを用いて、フェルバンドおよびC*-対応の積系に関連するC*-代数の抽象的ゲージ不変性一意性定理を確立する。C*-代数の準同型が単射であるための必要十分条件として、その単位ファイバーへの制限が単射であることと、コアクイオンを交換させることを示すことで、古典的な一意性結果を一般化し、準格子順序群におけるニカのトーピリッツ代数における単射性を、有限な下界条件のもとで特徴づける。

ABSTRACT

We prove gauge-invariant uniqueness theorems with respect to maximal and normal coactions for $C^*$-algebras associated to product systems of $C^*$-correspondences. Our techniques of proof are developed in the abstract context of Fell bundles. We employ inner coactions to prove an essential-inner uniqueness theorem for Fell bundles. As application, we characterise injectivity of homomorphisms on Nica's Toeplitz algebra $\Tt(G, P)$ of a quasi-lattice ordered group $(G, P)$ in the presence of a finite non-trivial set of lower bounds for all non-trivial elements in $P$.

研究の動機と目的

• フェルバンドおよびコアクイオンの文脈におけるゲージ不変性一意性定理の一般的枠組みを構築すること。
• 有限な下界をもつ準格子順序群 (G,P) に対して、ニカのトーピリッツ代数 T(G,P) 上の準同型の単射性を特徴づけること。
• 内的コアクイオンの理論を用いて、最大および正規コアクイオンをもつC*-代数の抽象的一意性定理を確立すること。
• これらの結果をクンツ・ニカ・ピムズナー代数およびそのトーピリッツ型拡張に適用し、既知の一意性性質を精緻化すること。

提案手法

• C*-対応の積系に関連するC*-代数を抽象的に特徴づけるためにフェルバンド理論を用いる。
• 内的コアクイオンを用いて、フェルバンドに対する本質的内的同型の一意性定理を証明し、コアクイオン構造と単射性の関係を結ぶ。
• コアクイオンの圏における正規化および最大化ファンクターを応用し、抽象的一意性をコアクイオンの性質に還元する。
• 全射準同型 π:A→B が単射であるための必要十分条件として、π|Aₑ が単射であり、かつ δ が最大コアクイオンのとき δ–ε 同変であるような B 上のコアクイオン ε が存在することを示す。
• （G,P）がアメーブルであるとき、T(G,P) 上の標準的コアクイオンが正規であることを利用し、非アメーブルの場合への拡張を有限下界条件のもとで行う。
• 最大コアクイオンと正規化ファンクターの忠実性の同値性を活用し、一意性基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大コアクイオンをもつC*-代数から別のC*-代数への準同型が単射であるための条件は何か？
• RQ2 正規コアクイオンをもつC*-代数から別のC*-代数への準同型が、コアクイオンの交換を満たす場合に単射であるための条件は何か？
• RQ3 有限な下界集合を持つ準格子順序群に対して、ニカのトーピリッツ代数 T(G,P) 上の表現の単射性はどのように特徴づけられるか？
• RQ4 内的コアクイオンは、フェルバンドおよびそれらに関連するC*-代数の一意性定理の確立において果たす役割は何か？
• RQ5 最大および正規コアクイオンに関する抽象的一意性定理は、クンツ・ニカ・ピムズナー代数に対して既知の結果をどのように精緻化するか？

主な発見

• C*-代数 A から B への全射準同型 π が単射であるための必要十分条件は、π|Aₑ が単射であり、かつ δ が最大コアクイオンであるとき、B 上にコアクイオン ε が存在して π が δ–ε 同変である、ということである。
• C*-代数 A から B への全射準同型 π が単射であるための必要十分条件は、π|Aₑ が単射であり、かつ ε が正規コアクイオンであるとき、A 上にコアクイオン δ が存在して π が δ–ε 同変である、ということである。
• （G,P）がアメーブルであるとき、トーピリッツ代数 T(G,P) 上の標準的コアクイオンは正規であり、この性質は有限下界条件のもとで非アメーブルの場合へも拡張可能である。
• 非自明な下界集合 F が有限であるような準格子順序群 (G,P) に対して、T(G,P) 上の準同型の単射性は、単位ファイバーへの制限の単射性とコアクイオンの交換性によって特徴づけられる。
• C*-代数 NO_X がゲージ不変性一意性をもつための必要十分条件は、その標準的コアクイオンが正規であることであり、これは、像代数上に正規コアクイオンが存在することと同値である。
• 最大および正規コアクイオンに関する抽象的一意性定理は、正規化および最大化ファンクターの忠実性を用いて証明され、ある準同型が同型であるための必要十分条件は、その正規化が恒等写像であることである、と示された。