[論文レビュー] On the normalizing algebra of a MASA in a II$_1$ Factor

Ionuţ Chifan|ArXiv.org|Jun 9, 2006

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

ひとこと要約

この論文は、II$_1$因子における任意の極大アーベル部分代数（MASA）の正規化代数が、ポッパによって導入された相対的弱漸近的ホモオモルフィズム性質（相対的 WAHP）を本質的に満たすことを確立する。その結果、テンソル積のMASAの正規化代数が、テンソル積MASAの正規化に等しくなることが示され、II$_1$因子のテンソル積およびクローズド積構成における正規化代数の正確な計算が可能になる。

ABSTRACT

Let $A$ be a maximal abelian subalgebra (MASA) in a \II1 factor $M$. Sorin Popa introduced an analytic condition that can be used to identify the normalizing algebra of $A$ in $M$ and which we call \emph{the relative weak asymptotic homomorphism property}. In this paper we show this property is always satisfied by the normalizing algebra of $A$ in $M$ and as a consequence we obtain that $\bar{\bigotimes}_{i\in I}(\mathcal{N}_{M_{i}}(A_{i})^{\prime\prime})= (\mathcal{N}_{\bar{\bigotimes}_{i\in I}M_{i}}(\bar{\otimes}%_{i\in I} A_{i}))^{\prime\prime}$ .

研究の動機と目的

• 任意のII$_1$因子$M$におけるMASA$A$に対して、三重組$A \subseteq \mathcal{N}_M(A)^{\prime\prime} \subseteq M$が相対的弱漸近的ホモオモルフィズム性質（相対的 WAHP）を満たすことを確立すること。
• 特異MASAに対する弱漸近的ホモオモルフィズムに関する先行結果を、II$_1$因子における任意のMASAへ一般化すること。
• II$_1$因子のテンソル積およびクローズド積におけるMASAの正規化代数を計算するための一般的手法を提供すること。
• 強い特異性に関するシンクレイン＝スミスの不等式を、MASAそのものではなく正規化代数の射影へと拡張し、正規化代数を含む精密な評価を与えること。

提案手法

• 正規化要素の構造を分析するために、基本構成$\langle M, e_A \rangle$を用いたポッパの「評価によるねじれ」技術を用いる。
• 基本構成における有限トレース射影と正規化代数$N = \mathcal{N}_M(A)^{\prime\prime}$のジョーンズ射影$e_N$との関係に依存する。
• 条件付き期待値$E_B$、$E_N$および$L^2$ノルムを用いて、有限個の作用素に対して相対的WAHP条件を検証する。
• 相対的可換束とクローズド積における群作用を活用し、必要なノルムバインドを近似するユニタリを構成する。
• $L(H)$内のユニタリに対する有限近似を用い、クローズド積代数における可換正方形性質を用いて誤差項を制御する。
• 正規化子の相対的可換束構造と作用を活用することで、相対的WAHPの検証を有限次元近似問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 II$_1$因子における任意のMASAの正規化代数は、相対的弱漸近的ホモオモルフィズム性質（相対的WAHP）を満たすか？
• RQ2 相対的WAHPを用いて、II$_1$因子におけるMASAのテンソル積の正規化代数を計算できるか？
• RQ3 一般化されたシンクレイン＝スミスの不等式は、MASAそのものではなく正規化代数をターゲット射影とする場合に成り立つか？
• RQ4 群論的条件下で、三重組$L(F) \subseteq L(H) \subseteq L(G)$が相対的WAHPを満たすのはどのような条件か？
• RQ5 相対的WAHPを用いて、自由積および弱く混合する作用における既知の正規化代数の結果を再構築または精緻化できるか？

主な発見

• 任意のII$_1$因子$M$におけるMASA$A$に対して、三重組$A \subseteq \mathcal{N}_M(A)^{\prime\prime} \subseteq M$は相対的弱漸近的ホモオモルフィズム性質を満たす。
• MASAのテンソル積の正規化代数は、$\overline{\bigotimes}_{i\in I}(\mathcal{N}_{M_i}(A_i))^{\prime\prime} = \left(\mathcal{N}_{\overline{\bigotimes}_{i\in I}M_i}(\overline{\otimes}_{i\in I}A_i)\right)^{\prime\prime}$を満たす。
• 一般化されたシンクレイン＝スミスの不等式が成り立つ：すべての$u \in \mathcal{U}(M)$に対して$\|E_{uAu^*} - E_A\|_{\infty,2} \geq \|u - E_{\mathcal{N}_M(A)^{\prime\prime}}(u)\|_2$。
• 群作用$\alpha$がvon Neumann代数$A$に作用するとき、$F \leq H \leq G$が条件(P)を満たすならば、$L(F) \subseteq L(H) \subseteq L(G)$は相対的WAHPを満たす。
• $F \unlhd H$ が正規であるとき、$L(G)$における$L(F)$の正規化代数はちょうど$L(H)$に一致し、相対的WAHPを用いて構造的結果を再構築する。
• 相対的WAHPは、自由積およびクローズド積における正規化代数の結果を統一的に回復・拡張する枠組みを提供する。