[論文レビュー] Structure of bicentralizer algebras and inclusions of type III factors

Hiroshi Ando, Uffe Haagerup+2 more|University of Southern Denmark Research Portal (University of Southern Denmark)|Apr 16, 2018

Advanced Operator Algebra Research参考文献 28被引用数 8

ひとこと要約

この論文は、正常な期待値を伴う型III₁因子の包含 $N\subset M$ に対して、相対的双中心化代数上の標準的フローを導入し、そのフローが忠実状態の選択に依存しないことを証明する。このフローのエルゴドゥシティと、ヒルベルト空間的超有限部分因子の存在、およびパワー因子の構造との深い関係を確立し、可換な場合におけるカジミリの問題を解決するとともに、型III作用素代数における双中心化問題の理解を前進させる。

ABSTRACT

We investigate the structure of the relative bicentralizer algebra ${ m B}(N \subset M, φ)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${ m III_1}$ subfactor and $φ\in N_*$ is a faithful state. We first construct a canonical flow $β^φ: \mathbf R^*_+ \curvearrowright { m B}(N \subset M, φ)$ on the relative bicentralizer algebra and we show that the W$^*$-dynamical system $({ m B}(N \subset M, φ), β^φ)$ is independent of the choice of $φ$ up to a canonical isomorphism. In the case when $N=M$, we deduce new results on the structure of the automorphism group of ${ m B}(M,φ)$ and we relate the period of the flow $β^φ$ to the tensorial absorption of Powers factors. For general irreducible inclusions $N \subset M$, we relate the ergodicity of the flow $β^φ$ to the existence of irreducible hyperfinite subfactors in $M$ that sit with normal expectation in $N$. When the inclusion $N \subset M$ is discrete, we prove a relative bicentralizer theorem and we use it to solve Kadison's problem when $N$ is amenable.

研究の動機と目的

• 型III₁因子 $N$ を含む包含 $N\subset M$ に対して、相対的双中心化代数上に標準的フローを構成すること。
• このフローが $N$ 上の忠実状態 $\varphi$ の選択に依存しない、標準的同型の意味で、であることの証明。
• フローのエルゴドゥシティと、$N$ に正常期待値をもつ $M$ 内の不可約超有限部分因子の存在との関係を明らかにすること。
• $N$ が可換である場合に、離散包含に関する相対的双中心化定理を用いて、カジミリの問題を解決すること。
• 型III因子の文脈において、コンヌの双中心化問題の理解を進める。

提案手法

• 忠実状態 $\varphi$ の $N$ における漸近的中心化子のすべての列と強く可換な $M$ の元の集合として、相対的双中心化代数 $\mathord{\text{B}}(N\subset M,\varphi)$ を定義する。
• 強い作用素収束を保つように、異なる忠実状態 $\varphi, \psi \in N_*$ の対に対する双中心化代数間の標準的同型 $\beta_{\psi,\varphi}$ を構成する。
• 漸近的中心化子列におけるスケーリング作用を通じて、$\mathord{\text{B}}(N\subset M,\varphi)$ 上に標準的フロー $\beta^\varphi: \mathbb{R}^*_+ \curvearrowright \mathord{\text{B}}(N\subset M,\varphi)$ を定義する。
• 超積技術と $L^2(N)$ 上のスペクトル論を用いて、双中心化とフロー作用の構造を分析する。
• ポッパの変形／剛性理論および超積の理論の結果を応用し、フローと双中心化代数の構造的性質を導出する。
• 離散包含に対して相対的双中心化定理を証明し、$N$ が可換である場合のカジミリの問題の解決を可能にする。

実験結果

リサーチクエスチョン

• RQ1 忠実状態 $\varphi$ の選択に依存しない、$\mathord{\text{B}}(N\subset M,\varphi)$ が標準的同型の意味で不変であるか。
• RQ2 $\mathord{\text{B}}(N\subset M,\varphi)$ 上に標準的 $\mathbb{R}^*_+$-作用（フロー）を標準的に定義でき、かつ $\varphi$ に依存しないか。
• RQ3 標準的フロー $\beta^\varphi$ のエルゴドゥシティは、$N$ に正常期待値をもつ $M$ 内の不可約超有限部分因子の存在とどのように関係するか。
• RQ4 $N$ が可換であるとき、フロー $\beta^\varphi$ にどのような構造的帰結が生じるか、特にカジミリの問題との関係において。
• RQ5 フロー $\beta^\varphi$ は、$M$ 内のパワー因子のテンソル的吸収性質をどの程度反映しているか。

主な発見

• 相対的双中心化代数 $\mathord{\text{B}}(N\subset M,\varphi)$ は、$N$ 上の忠実状態 $\varphi$ の選択に依存しない標準的 $\mathbb{R}^*_+$-作用 $\beta^\varphi$ を持つ。
• フロー $\beta^\varphi$ がエルゴドゥシティであることは、$N$ に正常期待値をもつ不可約超有限部分因子が $M$ 内に存在することと同値である。
• $N = M$ のとき、フロー $\beta^\varphi$ はパワー因子のテンソル的吸収性と関連する周期を持つ。また、$\mathord{\text{B}}(M,\varphi)$ が自明な双中心化を持つことは、フローが自明であることと同値である。
• 離散包含 $N\subset M$ に対して、相対的双中心化定理が証明され、$N$ が可換である場合のカジミリの問題の解決が可能になった。
• 双中心化代数間の標準的同型 $\beta_{\psi,\varphi}$ は、強い作用素収束によって特徴づけられる：$\|a_n\varphi - \psi a_n\| \to 0$ ならば、$a_n x - \beta_{\psi,\varphi}(x) a_n \to 0$ が $\ast$-強い位相で成り立つ。
• 証明は、モジュラー作用素のスペクトル分解と超積技術に依拠しており、$\|a_n\varphi - \lambda \varphi a_n\| \to 0$ ならば、$a_n x - \beta_\lambda^\varphi(x) a_n \to 0$ が $\ast$-強い位相で成り立つことを示している。