[論文レビュー] Strong Singularity of Singular Masas in II_1 Factors

Allan M. Sinclair, Roger R. Smith+2 more|ArXiv.org|Jan 24, 2006

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

ひとこと要約

本稿では、可分な ${\rm{II}}_1$ 因子における任意の特異的 masa が強く特異的であることを証明する。これは、既知の「強い特異性 ⇒ 特異性」という含意の逆を確立するものである。ポッパの $\delta$-不変量と作用素代数の技法を用いて、条件付き期待値がユニタリ軌道上での $\|\cdot\|_{2}$-ノルムを最小化することを示し、すべてのユニタリに対して強い特異性不等式を検証する。

ABSTRACT

A singular masa $A$ in a $ m{II}_{1}$ factor $N$ is defined by the property that any unitary $w\in N$ for which $A=wAw^*$ must lie in $A$. A strongly singular masa $A$ is one that satisfies the inequality $$\| E_A- E_{wAw^*}\|_{\infty,2}\geq\|w- E_A(w)\|_2$$ for all unitaries $w\in N$, where $E_A$ is the conditional expectation of $N$ onto $A$, and $\|\cdot\|_{\infty,2}$ is defined for bounded maps $ϕ:N o N$ by $\sup\{\|ϕ(x)\|_2:x\in N, \|x\|\leq 1\}$. Strong singularity easily implies singularity, and the main result of this paper shows the reverse implication.

研究の動機と目的

• 可分な ${\rm{II}}_1$ 因子における任意の特異的 masa が強く特異的であるかどうかという未解決問題を解消すること。
• ${\rm{II}}_1$ 因子における masa について、特異性と強い特異性の間の距離的同値性を確立すること。
• ポッパの $\delta$-不変量フレームワークを拡張し、masa に対する $\alpha(A)$ 不変量が $\delta$-不変量と同様に 0 または 1 のみの値を取ることを示すこと。
• 特異的 masa の研究を、本質的な構造的性質を保ったまま可分な部分代数に還元する一般的手法を提供すること。

提案手法

• 複雑性を段階的に増加させる可分なフォン・ノイマン代数の入れ子な列 $M_k$ を構成し、強い特異性を満たす帰納的条件を満たすようにすること。
• ユニタリ軌道と条件付き期待値に関するポッパの結果を適用し、特に $\mathbb{E}_{B^\prime \cap M}(x)$ がユニタリ共役の凸包の $\|\cdot\|_2$-閉包内で最小であることを用いる。
• ディクシーの近似定理を用いて、ユニタリ軌道の $\|\cdot\|_2$-閉包が弱閉包において恒等元のスカラー倍を含むことを保証する。
• ユニタリ近似の議論を用いて、$u \in \mathcal{U}(A)$ に対して $\|\mathbb{E}_A(x_i u x_j^*) - \mathbb{E}_A(x_i)u\mathbb{E}_A(x_j^*)\|_2$ が任意に小さくなることを示す。
• 3つの帰納的条件を検証する：(i) $\mathbb{E}_A(y_{k,r}) \in K_{B_{k+1}}^w(y_{k,r})$、(ii) $K_{M_{k+1}}^n(y_{k,r}) \cap \mathbb{C}1 \neq \emptyset$、および (iii) 投影 $p \in B_k$ に対して $\|\mathbb{E}_A((1-p)y_{i} p u y_j^*(1-p))\|_2$ の小ささ。
• $\|\cdot\|_{\infty,2}$-ノルムを用いて、条件付き期待値の差 $\|\mathbb{E}_A - \mathbb{E}_{wAw^*}\|_{\infty,2}$ と距離 $\|w - \mathbb{E}_A(w)\|_2$ を比較し、強い特異性を定義する。

実験結果

リサーチクエスチョン

• RQ1 可分な ${\rm{II}}_1$ 因子における任意の特異的 masa は、強い特異性不等式を満たすか？
• RQ2 強い特異性条件は、弱い不等式 $90\|\mathbb{E}_A - \mathbb{E}_{wAw^*}\|_{\infty,2} \geq \|w - \mathbb{E}_A(w)\|_2$ から導出可能か？
• RQ3 強い特異性を特徴付ける不変量 $\alpha(A)$ は、可分な ${\rm{II}}_1$ 因子において 0 または 1 のみの値を取るか？
• RQ4 構造的情報の損失なしに、特異的 masa の研究を可分な部分代数に還元できるか？

主な発見

• 可分な ${\rm{II}}_1$ 因子における任意の特異的 masa は強く特異的である。これは、強い特異性から特異性への既知の含意の逆を示す。
• $\alpha(A)$ 不変量は、ユニタリ $w$ についての $\|\mathbb{E}_A - \mathbb{E}_{wAw^*}\|_{\infty,2} / \|w - \mathbb{E}_A(w)\|_2$ の下界として定義され、$\delta(A)$ 不変量と同様に 0 または 1 のみの値を取る。
• ${\rm{II}}_1$ 因子における2つの特異的 masa のテンソル積も再び特異的である。これは補題 2.4 で示されている。
• 特異的 masa は、定理 2.5 で示されるように、可分な ${\rm{II}}_1$ 因子の文脈で研究可能であり、重要な性質を保ったまま可分な部分代数に還元可能である。
• 帰納的列 $M_k$ の構成により、$x \in M$ に対して $\mathbb{E}_A(x) = \mathbb{E}_{B^\prime \cap M}(x)$ が成り立ち、$B = M \cap A$ が $M$ における masa であることが証明される。
• すべての有限集合 $\{x_i\}$ および $B$ の射影 $p$ に対して、$\inf \{ \max_{i,j} \|\mathbb{E}_B((1-p)x_i p u x_j^*(1-p))\|_2 \} = 0$ が成り立つ。これは強い特異性に必要な距離構造を確認するものである。