[논문 리뷰] On a class of $\mathrm{II}_1$ factors with at most one Cartan subalgebra

Narutaka Ozawa, Sorin Popa|ArXiv.org|2007. 06. 25.

Advanced Operator Algebra Research참고 문헌 37인용 수 36

한 줄 요약

이 논문은 자유군 연산자 대수 $L(\mathbb{F}_r)$ 내의 임의의 확산형 아메vable 부분대수의 정규화자(normalizer)가 아메vable von Neumann 대수를 생성함을 증명하며, 이는 $Q \mathbin{\bar{\otimes}} L(\mathbb{F}_r)$ 형태의 연산자 대수들이, 여기서 $Q$가 자유군 대수의 텐서곱의 부분대수이면 카르탕 부분대수를 가지지 않음을 시사한다. 또한 자유군의 프로파일린(profinite) 작용이 유일한 카르탕 부분대수를 갖는 군 측도 공간 연산자 대수를 생성함을 증명한다. 이는 유니터리 쌍대호환에 관하여 유일성을 뜻한다.

ABSTRACT

We prove that the normalizer of any diffuse amenable subalgebra of a free group factor $L(\Bbb F_r)$ generates an amenable von Neumann subalgebra. Moreover, any II$_1$ factor of the form $Q \vt L(\Bbb F_r) $, with $Q$ an arbitrary subfactor of a tensor product of free group factors, has no Cartan subalgebras. We also prove that if a free ergodic measure preserving action of a free group $\Bbb F_r$, $2\leq r \leq \infty$, on a probability space $(X,μ)$ is profinite then the group measure space factor $L^\infty(X) times \Bbb F_r$ has unique Cartan subalgebra, up to unitary conjugacy.

연구 동기 및 목표

• 자유군 대수 또는 그 텐서곱으로부터 생성된 비아메vable II₁ 연산자 대수가 카르탕 부분대수를 갖는지 여부를 규명하는 것.
• 자유군 대수 내에서 확산형 아메vable 부분대수의 정규화자의 구조와 그에 의해 생성되는 부분대수의 성질을 조사하는 것.
• 자유군의 프로파일린 작용으로부터 유도된 군 측도 공간 연산자 대수에서 카르탕 부분대수가 유니터리 쌍대호환에 관하여 유일함을 증명하는 것.
• 완전한 메트릭 근사성 성질(c.m.a.p.)의 맥락에서 카르탕 분해 성질을 분석함으로써 II₁ 연산자 대수의 분류를 확장하는 것.

제안 방법

• 자유군 대수 $L(\bb{F}_r)$의 완전한 메트릭 근사성 성질(c.m.a.p.)을 활용하며, 이는 $\Lambda_{\mathrm{cb}}(M) = 1$을 함의한다.
• 상대적 아메vable성의 개념을 적용한다: 부분대수 $N \subset M$이 $Q \subset M$에 대해 아메vable이면, 기본 구축에서 $N$으로의 노름 1의 사영이 존재한다.
• 팝아의 변형/강성 이론 프레임워크에 따라, 환경 연산자 대수 $M$ 내에서 유니터리 쌍대호환을 통한 부분대수 $P \subset M$의 $Q \subset M$으로의 통합을 활용한다.
• 스펙트럴 갭과 강한 혼돈성(spectral gap 및 strong ergodicity)을 활용하여, 프로파일린 작용에 대한 군 측도 공간 구조 $L^\infty(X) \rtimes \bb{F}_r$를 분석함으로써 카르탕 부분대수의 유일성을 도출한다.
• 팝아의 변형/강성 이론의 결과를 적용하며, 점점 더 직교하는 성질과 상대적 성질 (T) 부분대수의 부재를 활용한다.
• 자유군 대수 $L(\bb{F}_r)$가 하아거프 성질을 가지며, 비-$\Gamma$임을 이용함으로써 특정한 부분대수 통합을 배제하고 카르탕 구조의 유일성을 뒷받침한다.

실험 결과

연구 질문

• RQ1 자유군 대수 $L(\bb{F}_r)$ 내의 임의의 확산형 아메vable 부분대수의 정규화자가 아메vable von Neumann 대수를 생성하는가?
• RQ2 $Q \mathbin{\bar{\otimes}} L(\bb{F}_r)$ 형태의 연산자 대수에서, 여기서 $Q$가 자유군 대수의 텐서곱의 부분대수이면 카르탕 부분대수를 가질 수 있는가?
• RQ3 확률 공간 위에서 $\bb{F}_r$의 프로파일린 작용에 대해, 군 측도 공간 연산자 대수 $L^\infty(X) \rtimes \bb{F}_r$는 카르탕 부분대수에 관하여 유니터리 쌍대호환에 의해 유일하게 결정되는가?
• RQ4 완전한 메트릭 근사성 성질(c.m.a.p.)은 비아메vable II₁ 연산자 대수에서 카르탕 부분대수의 존재성과 유일성에 어떤 영향을 미치는가?
• RQ5 기본군이 자명하고 비-$\Gamma$ 성질을 갖는 근사 자유군 대수 $L(\bb{F}_{1^{\rule[2.0pt]{3.0pt}{0.3pt}\rule[0.7pt]{0.3pt}{3.0pt}}}^{r,\mathcal{S}})$는 존재하는가?

주요 결과

• 자유군 대수 $L(\bb{F}_r)$ 내의 임의의 확산형 아메vable 부분대수의 정규화자는 아메vable von Neumann 대수를 생성하며, 따라서 콘네스의 정리에 의해 AFD이다.
• $Q \mathbin{\bar{\otimes}} L(\bb{F}_r)$ 형태의 연산자 대수에서, 여기서 $Q$가 $\Lambda_{\mathrm{cb}}(Q) = 1$인 II₁ 대수이면 카르탕 부분대수가 존재하지 않는다.
• $Q \mathbin{\bar{\otimes}} L(\bb{F}_r)$ 내의 유한지수 부분대수 역시 카르탕 부분대수를 갖지 않는다.
• 확률 공간 위에서 $\bb{F}_r$의 프로파일린 작용에 대해, 군 측도 공간 연산자 대수 $L^\infty(X) \rtimes \bb{F}_r$는 유니터리 쌍대호환에 관하여 유일한 카르탕 부분대수를 갖는다.
• 기본군이 자명한 근사 자유군 대수 $L(\bb{F}_{1^{\rule[2.0pt]{3.0pt}{0.3pt}\rule[0.7pt]{0.3pt}{3.0pt}}}^{r,\mathcal{S}})$는 $r < \infty$일 때 $\mathcal{F}(M) = \{1\}$이며, 스펙트럴 갭이 있는 작용이면 비-$\Gamma$이다.
• $2 \leq r \leq \infty$인 각각의 $r$에 대해, 비이sovolumetric한 근사 자유군 대수 $L(\bb{F}_{1^{\rule[2.0pt]{3.0pt}{0.3pt}\rule[0.7pt]{0.3pt}{3.0pt}}}^{r,\mathcal{S}})$가 비가산 개 존재한다.