[論文レビュー] Nuclearity properties and $C^*$-envelopes of operator system inductive limits

Preeti Luthra, Ajay Kumar|arXiv (Cornell University)|Dec 5, 2016

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

ひとこと要約

本稿は、作用素系の圏における帰納的極限において、$C^*$-包絡とさまざまな核演算性がどのように保存されるかを調査する。特定の条件下で、作用素系の帰納的極限の $C^*$-包絡が、それらの $C^*$-包絡の帰納的極限と同型であることを確立し、$(\min,\mathrm{el})$-, $(\min,\mathrm{ess})$-, および $(\mathrm{el},\mathrm{c})$-核演算性といった複数の核演算性が、$C^*_e$-増大包含と包絡におけるユニタリ密度といった適切な技術的条件を満たす系において、帰納的極限のもとで保存されることを証明する。

ABSTRACT

We study the relationship between $C^*$-envelopes and inductive limit of operator systems. Various operator system nuclearity properties of inductive limit for a sequence of operator systems are also discussed.

研究の動機と目的

• 作用素系の $C^*$-包絡と帰納的極限の関係を調査すること。
• さまざまな作用素系核演算性が帰納的極限のもとで保存されるかどうかを特定すること。
• 作用素系の帰納的極限の $C^*$-包絡が、それらの $C^*$-包絡の帰納的極限と等しくなる条件を確立すること。
• $(\min,\mathrm{el})$-, $(\min,\mathrm{ess})$-, および $(\mathrm{el},\mathrm{c})$-核演算性が帰納的極限においてどのように保存されるかを分析すること。
• $C^*_e$-増大包含と $C^*$-包絡におけるユニタリ密度が核演算性の保存に果たす役割を明確化すること。

提案手法

• 作用素系の $C^*$-包絡の普遍性と、作用素系の圏における帰納的極限の構成を用いる。
• 系が $C^*_e$-増大包含であり、ユニタリ密度条件を満たす場合、帰納的極限と $C^*$-包絡が可換であるという事実を適用する。
• テンソル積の核演算性に関する既知の結果を適用する：$(\min,\mathrm{el})$-核演算性は正確性に対応し、$(\mathrm{el},\mathrm{c})$-核演算性は DCEP に対応する。
• $C^*$-核演算性の $C^*$-包絡における特徴づけと、$C^*$-核演算性が帰納的極限のもとで保存されることを用いる。
• 一方の因子が $C^*$-代数であるとき、最大可換テンソル積 $\mathrm{c}$ が最大テンソル積と一致することを応用する。
• $\mathrm{el}$ テンソル積の左埋め込み性を活用し、帰納的極限とテンソル積の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 作用素系の帰納的極限の $C^*$-包絡が、それらの $C^*$-包絡の帰納的極限と一致する条件は何か？
• RQ2 $(\min,\mathrm{el})$-核演算性は作用素系の帰納的極限のもとで保存されるか？
• RQ3 $C^*$-包絡の $C^*$-核演算性が作用素系の $(\min,\mathrm{ess})$-核演算性を意味するか？ そして、この性質は帰納的極限のもとで保存されるか？
• RQ4 $(\mathrm{el},\mathrm{c})$-核演算性（すなわち DCEP）は作用素系の帰納的極限のもとで保存されるか？
• RQ5 $C^*_e$-増大包含と $C^*$-包絡におけるユニタリ密度が、帰納的極限のもとでの核演算性の保存に果たす役割は何か？

主な発見

• 系が $C^*_e$-増大包含であり、各 $\mathcal{S}_n$ が $C^*_e(\mathcal{S}_n)$ に十分なユニタリを含むならば、作用素系の増大列の帰納的極限の $C^*$-包絡は、それらの $C^*$-包絡の帰納的極限と同型である。
• 各 $\mathcal{S}_n$ が $(\min,\mathrm{el})$-核演算性を満たすならば、帰納的極限 $\displaystyle\lim_{\longrightarrow}\mathcal{S}_n$ に対しても $(\min,\mathrm{el})$-核演算性が成り立つ。
• 各 $\mathcal{S}_n$ が $(\min,\mathrm{ess})$-核演算性を満たし、系が $C^*_e$-増大包含かつユニタリ密度を満たすならば、$\displaystyle\lim_{\longrightarrow}\mathcal{S}_n$ は $(\min,\mathrm{ess})$-核演算性を満たす。
• 各 $\mathcal{S}_n$ が DCEP（すなわち $(\mathrm{el},\mathrm{c})$-核演算性）を満たすならば、帰納的極限 $\displaystyle\lim_{\longrightarrow}\mathcal{S}_n$ に対しても DCEP が成り立つ。
• 帰納的極限における $C^*$-核演算性の保存により、$C^*_e(\mathcal{S}_n)$ の $C^*$-核演算性が $\mathcal{S}_n$ の $(\min,\mathrm{ess})$-核演算性を意味し、この性質は帰納的極限に引き継がれる。
• 作用素系の帰納的極限は最大可換テンソル積 $\mathrm{c}$ を保存する。一方の因子が $C^*$-代数であるとき、$\mathrm{c}$ は最大テンソル積と一致するため、$C^*$-核演算性の議論を用いることができる。