[論文レビュー] Examples of factors which have no Cartan subalgebras

Yusuke Isono|arXiv (Cornell University)|Sep 8, 2012

Advanced Operator Algebra Research参考文献 44被引用数 5

ひとこと要約

この論文は、Ozawaの(AO)条件の一般化版である(AO)+および(AOC)+を導入し、W*-CBAPと組み合わせることで、von Neumann代数がCartan部分代数を持たない条件を確立する。非注入型のII₁およびIII₁因子がこれらの条件を満たす場合、それぞれ強く固有であるか、φ-Cartan部分代数を持たないことが示され、群因子を超えた量子群や連続コアへの剛性結果の拡張がなされる。

ABSTRACT

We consider some conditions similar to Ozawa's condition (AO), and prove that if a non-injective factor satisfies such a condition and has the W*CBAP, then it has no Cartan subalgebras. As a corollary, we prove that $ m II_1$ factors of universal orthogonal and unitary discrete quantum groups have no Cartan subalgebras. We also prove that continuous cores of type $ m III_1$ factors with such a condition are semisolid as a $ m II_\infty$ factor.

研究の動機と目的

• Ozawaの(AO)条件を一般化することで、非群型von Neumann代数への剛性理論の拡張を図ること。
• 非注入型因子におけるCartan部分代数の非存在を保証する条件を確立すること。
• タイプIII₁因子の連続コアが(AOC)+およびW*-CBAPを満たす場合の半固有性を証明すること。
• これらの結果をユニバーサル直交およびユニタリ離散量子群に適用し、それらがCartan部分代数を持たないことを示すこと。
• 既存の強固な固有性およびCartan部分代数の一意性に関する結果を、群因子を超えて統一的かつ一般化すること。

提案手法

• II₁因子およびタイプIII因子それぞれに対して、Ozawaの(AO)条件の強化版として(AO)+および(AOC)+を導入すること。
• 近似性質を制御するための主要な解析的道具として、W*-CBAP（弱く完全有界近似性質）を用いること。
• Popaの変形／剛性技術および基本的相互接続法を用いて、正規化子と相対可換部分代数を分析すること。
• タイプIII₁因子の連続コアを、その標準的半有限トレースと持ち上げ性質を用いてII∞設定に持ち上げることで分析すること。
• Cartan部分代数と軌道同値関係の間の対応を用いて、代数的非存在性をエルゴディック理論的障害に翻訳すること。
• HoudayerとRicardによる自由Araki–Woods代数および連続コアに関する結果を活用し、非群例への枠組みの拡張を図ること。

実験結果

リサーチクエスチョン

• RQ1 von Neumann代数に対して、どのような条件下でCartan部分代数の非存在性を保証できるか？
• RQ2 群因子に対する強固な固有性および非存在性の結果を、非群因子（例えば、量子群因子）へと拡張できるか？
• RQ3 一般化された(AO)+および(AOC)+条件は、W*-CBAPと併せて、正規化子および相対可換部分代数の構造をどのように制御するか？
• RQ4 タイプIII₁因子におけるCartan部分代数の非存在性の検出において、連続コアの役割は何か？
• RQ5 連続コアの半固有性を用いて、タイプIII₁因子における素性またはCartan部分代数の一意性を示すことができるか？

主な発見

• (AO)+およびW*-CBAPを満たすII₁因子は強く固有であり、任意の拡散的部分代数の正規化子が注入型von Neumann代数を生成することを意味する。
• (AOC)+およびW*-CBAPを満たす非注入型タイプIII₁因子は、忠実な正規状態φに関するφ-Cartan部分代数を持たない。
• (AOC)+を満たすタイプIII₁因子の連続コアは、II∞代数として半固有である。これは、すべての有限射影元pに対してpMpが半固有であることを意味する。
• ユニバーサル直交およびユニタリ離散量子群のII₁代数は、Cartan部分代数を持たない。これは、VoiculescuおよびPopaの結果の拡張である。
• その結果、このようなIII₁因子の連続コアは素であることが示唆される。なぜなら、相対可換部分代数が自明なII∞代数が素であるからである。
• この枠組みは、PopaとVaesによる双曲的群に関する結果を非群因子へ一般化し、W*-CBAPのもとで(AO)+および(AOC)+がCartan部分代数の非存在性を保証する十分条件であることを示している。