[論文レビュー] Amalgamated Free Products of $w$-Rigid Factors and Calculation of their Symmetry Groups

Adrian Ioana, Jesse Peterson+1 more|ArXiv.org|May 27, 2005

Advanced Operator Algebra Research参考文献 22被引用数 21

ひとこと要約

本稿は、アーメルゲートド・フリー・プロダクト（AFP）II₁因子に対して剛性定理を確立し、相対的性質(T)を有する部分代数は、自由因子の一つにユニタリ同型で埋め込まれることを証明する。変形／剛性技法とバース＝セル型の議論を用いて、スカラー、カルタン部分代数、およびヒルベルト部分因子についての同型定理を導出し、外自己同型群の明示的計算および、自明な基本群と自明な外自己同型群をもつII₁因子の構成に至る。

ABSTRACT

We consider amalgamated free product II$_1$ factors $M = M_1 *_B M_2 *_B ...$ and use ``deformation/rigidity'' and ``intertwining'' techniques to prove that any relatively rigid von Neumann subalgebra $Q\subset M$ can be intertwined into one of the $M_i$'s. We apply this to the case $M_i$ are w-rigid II$_1$ factors, with $B$ equal to either $\Bbb C$, to a Cartan subalgebra $A$ in $M_i$, or to a regular hyperfinite II$_1$ subfactor $R$ in $M_i$, to obtain the following type of unique decomposition results, à la Bass-Serre: If $M = (N_1 *_C N_2 *_C ...)^t$, for some $t>0$ and some other similar inclusions of algebras $C\subset N_j$ then, after a permutation of indices, $(B\subset M_i)$ is inner conjugate to $(C\subset N_i)^t$, $\forall i$. Taking $B=\Bbb C$ and $M_i = (L(\Bbb Z^2 times \Bbb F_{2}))^{t_i}$, with $\{t_i\}_{i\geq 1}=S$ a given countable subgroup of $\Bbb R_+^*$, we obtain continuously many non stably isomorphic factors $M$ with fundamental group $\mycal F(M)$ equal to $S$. For $B=A$, we obtain a new class of factors $M$ with unique Cartan subalgebra decomposition, with a large subclass satisfying $\mycal F(M)=\{1\}$ and Out$(M)$ abelian and calculable. Taking $B=R$, we get examples of factors with $\mycal F(M)=\{1\}$, Out$(M)=K$, for any given separable compact abelian group $K$.

研究の動機と目的

• AFP因子における部分代数定理を確立し、相対的性質(T)を有する剛性部分代数は、自由因子の一つにユニタリ同型で埋め込まれることを示す。
• B = ℂ、B = A（カルタン）、B = R（ヒルベルト）におけるAFP因子の同型定理を導出し、それら因子間の同型が自由プロダクト構造を成分ごとに保存することを示す。
• 特定のAFP因子における外自己同型群Out(M)の計算を行い、1973年にコンヌが提起した「自明なOut(M)をもつII₁因子が存在するか？」という問いに答えを提示する。
• これらの結果を自由積群作用における軌道同値（OE）剛性に拡張し、各因子が相対的性質(T)を有する場合、OE同型は成分ごとのOE同型を意味することを示す。
• 拡張されたw-剛性因子の自由積を用いて、任意に指定された基本群S ⊂ ℝ₊*をもつII₁因子の新規例を構成する。

提案手法

• ポッパの変形／剛性理論における変形／剛性技法を用いて、AFP因子の構造を分析する。
• バース＝セル型部分代数定理を適用：AFP因子内の任意の剛性部分代数は、自由因子の一つに同型で埋め込まれる。
• 双モジュールによる相互接続技法を用いて、相対的性質(T)を有する包含関係の存在を検出する。
• 均一包含条件（例：交叉積やカルタン包含）を用いて、アーメルゲート代数の構造に対する技術的制御を保証する。
• 群測度空間因子およびフォン・ノイマン同値（vNE）理論の結果を応用し、自由積群作用におけるOE剛性を導出する。
• ダイクマ＝ラドゥレスクの自由積における拡張因子の結果を活用し、基本群をℝ₊*の任意の乗法的部分群として実現する。

実験結果

リサーチクエスチョン

• RQ1 自由因子に相対的性質(T)を仮定した場合、アーメルゲートド・フリー・プロダクトII₁因子の構造は、その同型型から回復可能か？
• RQ2 1973年にコンヌが提起した「自明な外自己同型群をもつII₁因子が存在するか？」という問いに答えはあるか？
• RQ3 各因子が相対的性質(T)を有する場合、自由積群作用間の軌道同値同型は、成分ごとの軌道同値を意味するか？
• RQ4 既知の構成を超えて、任意の乗法的部分群S ⊂ ℝ₊*として基本群を実現可能か？
• RQ5 w-剛性II₁因子の自由積の外自己同型群は何か？また、それらは基礎となる群作用のコホモロジーとどのように関係するか？

主な発見

• 本稿は、自明な基本群ℱ(M) = {1}および自明な外自己同型群Out(M) = {1}をもつII₁因子の、初めての明示的例を構成する。
• 任意の分離可能コンパクトアーベル群Kに対し、ℱ(M) = {1}およびOut(M) = KをもつII₁因子が存在する。
• ヒルベルトII₁因子Rを基準にアーメルゲートした場合、AFP因子の外自己同型群は、自由積群作用の第一コホモロジー群H¹(σ, Γ)に同型である。
• 拡張されたw-剛性因子の自由積∗_{s∈S} P^sの基本群は、乗法的部分群S ⊂ ℝ₊*に等しく、任意の基本群をもつ新たな因子クラスを提供する。
• ℂを基準にアーメルゲートしたAFP因子について、本稿はフォン・ノイマン代数におけるクラーシュの定理の類似を証明する：M₁*…*Mₘ ≅ (N₁*…*Nₙ)^tならば、m = nであり、適切な置換の後、θ(Mᵢ)はNᵢ^tに内部同型で共役である。
• 本稿は、vNE（フォン・ノイマン同値）バース＝セル剛性結果を確立する：二つの自由積群作用がvNEであるとき、各因子が相対的性質(T)を有するならば、それらは成分ごとのOE同型である。