[논문 리뷰] Structure of bicentralizer algebras and inclusions of type III factors

Hiroshi Ando, Uffe Haagerup외 2명|University of Southern Denmark Research Portal (University of Southern Denmark)|2018. 04. 16.

Advanced Operator Algebra Research참고 문헌 28인용 수 8

한 줄 요약

이 논문은 유한 측도가 없는 정상 기대를 가진 III₁ 유형의 인클루전에 대해 상대 이중중앙화 대수 위에 표준적인 흐름을 도입하며, 그 흐름이 충실한 상태의 선택에 관계없이 불변임을 증명한다. 이 흐름의 에르고딕성, 초유한 부분대수의 존재성, 그리고 파워스 대수의 구조 사이에 깊은 연관성을 설정하며, 아메니타블 케이스에서 캐디슨 문제를 해결하고 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.

연구 동기 및 목표

• N이 III₁ 유형 대수일 때, 포함관계 $N\subset M$에 대해 상대 이중중앙화 대수 위에 표준적인 흐름을 구성하는 것.
• 이 흐름이 N 위의 충실한 상태 $\varphi$의 선택에 관계없이 표준적 동형사상에 의해 불변임을 증명하는 것.
• 이 흐름의 에르고딕성과 N에 대해 정상 기대를 갖는 M 내의 기약 초유한 부분대수의 존재성 사이의 관계를 규명하는 것.
• N이 아메니타블일 경우, 이산 포함관계에 대한 상대 이중중앙화 정리와 함께 캐디슨 문제를 해결하는 것.
• III 유형 대수의 맥락에서 콘네의 이중중앙화 문제에 대한 이해를 심화하는 것.

제안 방법

• 충실한 상태 $\varphi$의 점근 중심화에서의 수열들과 강하게 교환하는 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 상대 이중중앙화 대수 $\mathord{\text{B}}(N\subset M,\varphi)$는 N 위의 충실한 상태 $\varphi$의 선택에 관계없이 표준적 동형사상에 의해 불변인가?
• RQ2 표준적인 $\mathbb{R}^*_+$-작용(흐름)이 $\mathord{\text{B}}(N\subset M,\varphi)$ 위에 표준적으로 정의될 수 있으며, 이는 $\varphi$의 선택에 관계없이 불변인가?
• RQ3 표준 흐름 $\beta^\varphi$의 에르고딕성은 M 내에서 N에 대해 정상 기대를 갖는 기약 초유한 부분대수가 존재하는 것과 어떻게 관련되는가?
• RQ4 N이 아메니타블일 경우, 흐름 $\beta^\varphi$는 어떤 구조적 결과를 낳는가? 특히 캐디슨 문제와의 관계에서 어떻게 나타나는가?
• RQ5 흐름 $\beta^\varphi$는 M 내의 파워스 대수의 텐서적 흠숭 성질을 어느 정도 반영하는가?

주요 결과

• 상대 이중중앙화 대수 $\mathord{\text{B}}(N\subset M,\varphi)$는 N 위의 충실한 상태 $\varphi$의 선택에 관계없이 표준적 $\mathbb{R}^*_+$-작용 $\beta^\varphi$를 갖는다. 이 작용은 표준적 동형사상에 의해 불변이다.
• 흐름 $\beta^\varphi$가 에르고딕일 필요충분조건은 M 내에 N에 대해 정상 기대를 갖는 기약 초유한 부분대수가 존재하는 것이다.
• 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$-강한 위상에서 성립한다.