[논문 리뷰] L^2-rigidity in von Neumann algebras

Jesse Peterson|ArXiv.org|2006. 05. 01.

Advanced Operator Algebra Research참고 문헌 11인용 수 6

한 줄 요약

이 논문은 von Neumann 대수에서 $L^2$-강성($L^2$-rigidity)을 도입하고 조사하며, 비소수 II$_1$ 요인 또는 성질 $\Gamma$를 가진 요인은 $L^2$-강성임을 증명한다—즉, 일반적인 대응에 대한 모든 도함수들이 대수 위에서 0이 된다. 자유 확률론, $L^2$-코homology, 그리고 완전히 양성 매핑의 반군을 통한 변형 기법을 사용하여, 비유한 부분요인들이 자유곱 또는 양성 제1 $L^2$-베티 수가 양수인 $L\Gamma$ 요인에 속해 있을 경우 그들이 소수임을 증명하고, $L^2$-Haagerup 성질을 사용하여 오자와의 결과(자유군 요인의 부분요인의 소수성)에 대한 새로운 코homological 증명을 제시한다.

ABSTRACT

We introduce the notion of L^2-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L^2-rigidity passes to normalizers and is satisfied by nonamenable II_1 factors which are non-prime, have property $Γ$, or are weakly rigid. As a consequence we obtain that if $M$ is a free product of diffuse von Neumann algebras, or if $M = LΓ$ where $Γ$ is a finitely generated group with $b_1^{(2)}(Γ) > 0$, then any nonamenable regular subfactor of $M$ is prime and does not have properties $Γ$ or (T). In particular this gives a new approach for showing primeness of all nonamenable subfactors of a free group factor thus recovering a well known recent result of N. Ozawa.

연구 동기 및 목표

• 유한 von Neumann 대수의 포함관계에 대해, 일반적인 대응 $L^2(N)\overline{\otimes}L^2(N)$로의 도함수의 소멸을 통한 $L^2$-강성의 정의 및 연구.
• 자유 확률론과 비미세 상태 자유 엔트로피의 맥락에서, $L^2$-코homology 유형의 도함수와의 관계를 설정.
• 확산 유한 von Neumann 대수의 자유곱 또는 제1 $L^2$-베티 수가 양수인 $L\Gamma$ 요인에 속한 비유한 부분요인들이 소수임을 증명.
• 자유군 요인의 부분요인의 소수성에 대한 오자와의 결과에 대해, $L^2$-Haagerup 성질을 사용한 새로운 코homological 증명 제공.

제안 방법

• 닫히는 도함수와 단위, 추적을 갖는 완전히 양성 매핑의 반군 사이의 Sauvageot-Sauvageot 대응을 사용하여 $L^2$-변형을 분석.
• 모든 도함수가 $L^2(N)\overline{\otimes}L^2(N)$로 들어가는 데 대해, $(B)_1$에서 $\|\cdot\|_2$-노름으로 균일하게 0이 되도록 하여, 부분대수 $B \subset N$에 대한 $L^2$-강성을 적용.
• 도함수가 $L^2(N)^{\oplus\infty}$로 들어가는 $L^2$-변형을 사용하여 비유한 부분요인의 구조를 분석.
• 일반적인 대응의 혼합성과 $L^2$-Haagerup 성질을 사용하여, $Q'\cap N$이 확산일 경우 $W^*(\mathcal{N}_N(Q'\cap N))$에서 도함수가 0이 됨을 보임.
• C^*-대수 이론과 초구성($N^\omega$) 기법을 적용하여, 성질 $\Gamma$를 가진 비유한 요인, 특히 $R\overline{\otimes}L\mathbb{F}_2$에서도 $L^2$-강성이 성립함을 증명.
• 오자와와 포파의 텐서곱에서의 유일한 소수 분해 결과를 활용하여, 비유한 II$_1$ 요인의 텐서곱에 대한 새로운 유일한 분해 예를 도출.

실험 결과

연구 질문

• RQ1 유한 von Neumann 대수 $N$의 부분대수 $B \subset N$에서, 일반적인 대응 $L^2(N)\overline{\otimes}L^2(N)$로 들어가는 도함수가 $\|\cdot\|_2$-노름으로 균일하게 0이 되는 조건은 무엇인가?
• RQ2 어떤 조건에서 von Neumann 대수 $N$에서 $L^2$-강성이 성립하는가—즉, 모든 도함수가 $N$ 위에서 0이 되는가?
• RQ3 군 요인 $L\Gamma$에서 $L^2$-강성은 제1 $L^2$-베티 수와 $L^2$-Haagerup 성질과 어떻게 관련되는가?
• RQ4 $L^2$-강성을 사용하여 자유곱 또는 II$_1$ 요인의 텐서곱 내 비유한 부분요인의 소수성을 증명할 수 있는가?
• RQ5 II$_1$ 요인의 텐서곱 내 비유한 부분요인의 경우, 분해의 한 요인에 코너로 포함되는 조건은 무엇인가?

주요 결과

• II$_1$ 요인 $N$이 비소수이거나 성질 $\Gamma$를 가진다면, $L^2(N)\overline{\otimes}L^2(N)$로 들어가는 모든 도함수가 $(N)_1$에서 $\|\cdot\|_2$-노름으로 균일하게 0이 되므로, $N$은 $L^2$-강성을 가진다.
• 자유곱의 확산 유한 von Neumann 대수이거나 $b_1^{(2)}(\Gamma) > 0$인 $L\Gamma$ 요인 $N$에 속한 비유한 부분요인 $Q \subset N$에 대해, 도함수가 $L^2(N)^{\oplus\infty}$로 들어가는 경우 $Q' \cap N$에서 0이 되며, 이는 $Q$가 소수임을 의미한다.
• 비유한 요인 $N$이 성질 $\Gamma$를 가진다면, $L^2(N)^{\oplus\infty}$로 들어가는 모든 도함수가 $N$에서 0이 되므로, 이러한 대수에 대해 $L^2$-강성이 확립된다.
• 오자와의 결과에 대한 새로운 증명: $\Gamma = \mathbb{F}_n$ ($2 \leq n \leq \infty$)인 경우, $L\Gamma$의 비유한 부분요인은 소수이며, 이는 $\ell^2\Gamma^{\oplus\infty}$로 들어가는 적절한 코사이클의 존재를 통해 증명된다.
• 텐서곱 $M = M_1 \overline{\otimes} \cdots \overline{\otimes} M_m$에서 각 $M_i$가 0이 아닌 $L^2$-변형을 가진다면, 임의의 정규 비유한 부분요인 $B \subset M$은 어떤 $k$에 대해 $M_k'$의 코너로 포함되며, 이는 유니터리 쌍대동형과 스케일링을 제외한 유일한 소수 분해를 이끈다.
• 비유한 II$_1$ 요인의 텐서곱에서 $L^2$-변형이 0이 아닌 경우, 유일한 소수 분해가 성립한다: $N_1 \overline{\otimes} \cdots \overline{\otimes} N_n \cong M_1 \overline{\otimes} \cdots \overline{\otimes} M_m$이면, $n = m$이고, 순열 및 유니터리 쌍대동형을 통해 $N_k^{t_k} \cong M_k$가 성립한다.