[논문 리뷰] Strong Rigidity of II$_1$ Factors Arising from Malleable Actions of w-Rigid Groups, I

Sorin Popa|ArXiv.org|2003. 05. 21.

Advanced Operator Algebra Research참고 문헌 20인용 수 5

한 줄 요약

이 논문은 w-강성 그룹과 다듬을 수 있는 작용에서 유래한 II$_1$ 초월성에 대한 기본적인 강성 결과를 확립하며, 이러한 초월성 간의 임의의 동형사상이 기본적인 작용을 공액화해야 한다는 것을 증명한다. 핵심 기여는 w-강성 그룹이 변형 후 타겟 초월성의 군 부분대수에 통합된다는 것을 보여주는 것으로, 이는 비고전적 베르누이 이동에서의 교차곱 II$_1$ 초월성의 기본군을 완전히 계산할 수 있게 한다.

ABSTRACT

We consider cross-product II$_1$ factors $M = N times_σ G$, with $G$ discrete ICC groups that contain infinite normal subgroups with the relative property (T) and $σ: G o { ext{ m Aut}}N$ trace preserving actions of $G$ on finite von Neumann algebras $N$ that are ``malleable'' and mixing. Examples are the weighted Bernoulli and Bogoliubov shifts. We prove a rigidity result for such factors, showing the uniqueness of the position of $L(G)$ inside $M$. We use this to calculate the fundamental group $\mycal F(M)$ in terms of the weights of the shift, for certain arithmetic groups $G$ such as $G=\Bbb Z^2 times SL(2, \Bbb Z)$. We deduce that for any countable group $S \subset \Bbb R_+^*$ there exist II$_1$ factors $M$ with $\mycal F(M)=S$, thus bringing new light to a longstanding problem of Murray and von Neumann.

연구 동기 및 목표

• w-강성 그룹과 다듬을 수 있는 작용에서 유래한 교차곱 II$_1$ 초월성 간의 동형사상에 대한 핵심 예비 강성 결과를 확립하기.
• 임의의 동형사상이 변형 후 타겟 초월성의 군 부분대수에 w-강성 그룹을 매핑해야 한다는 것을 보여주기.
• 이 강성 결과를 활용하여 비고전적 콘네-스투르머 베르누이 이동 작용에서 유래한 II$_1$ 초월성의 기본군을 계산하기.
• 임의의 가산 부분군 $\mathbb{R}_+^*$가 분리 가능한 II$_1$ 초월성의 기본군으로 실현될 수 있다는 것을 보여주기.
• 비가산 부분군을 비분리 아라키-우드스 초월성을 사용하여 확장하여 가능한 기본군의 전체 범위를 보여주기.

제안 방법

• 팝라의 프레임워크에서 유래한 상대적 성질 (T) 과 변형/강성 기법을 활용한다.
• 표준 자동형사상에 의한 '채취된' 부분대수의 개념을 적용하여, 상대적으로 강성 있는 부분대수가 변형 후 군 부분대수에 포함됨을 보여준다.
• 부분대수에 대한 성질 H를 사용하며, 단위원, $N$-양측 모듈러, 추적을 유지하는, $\ell^2$에서 컴팩트한 완전히 양성적인 지도의 수열을 활용한다.
• 포함의 강성 결과를 적용하여, 분산 부분대수의 유니터리 원소들에서 이들 지도의 균일 수렴을 보여주며, 부분대수가 군 대수에 포함되어 있지 않다면 모순이 발생함을 밝힌다.
• 하아거룹의 컴팩트 근사 성질과 베르누이 이동 작용의 구조를 활용하여 궤도 동치 클래스를 구분한다.
• 논문 [Po3], [Ga], [FM]의 결과를 적용하여 궤도 동치가 아니며, 비가산 외부 자동형사상 군이 있음을 결론내린다.

실험 결과

연구 질문

• RQ1 임의의 가산 부분군 $\mathbb{R}_+^*$가 분리 가능한 II$_1$ 초월성의 기본군으로 실현될 수 있는가?
• RQ2 산술군의 비고전적 콘네-스투르머 베르누이 이동에서 유래한 교차곱 II$_1$ 초월성의 기본군은 무엇인가?
• RQ3 비가산 기본군을 갖는 II$_1$ 초월성이 존재하는가? 그리고 기본군과 초월성의 분리 가능성 간의 관계는 무엇인가?
• RQ4 궤도 동치가 아닌 작용의 외부 자동형사상 군은 어떻게 다른가? 특히 애매한 몫이 존재할 경우 어떻게 되는가?
• RQ5 w-강성 그룹의 강성은 교차곱 초월성 간의 동형사상이 공액화된 작용에서 유래하도록 얼마나 강하게 강제하는가?

주요 결과

• 군 $G=\mathbb{Z}^2\rtimes\Gamma$에서 $\Gamma\subset SL(2,\mathbb{Z})$가 유한 지수를 가지며 비고전적 콘네-스투르머 베르누이 이동에서 유래한 교차곱 II$_1$ 초월성 $M$의 기본군 $\mathfrak{F}(M)$는 작용의 가중치 $t_i$의 비율 $\{t_i/t_j\}_{i,j}$가 생성하는 곱셈군과 같다.
• 임의의 가산 부분군 $S\subset\mathbb{R}_+^*$는 분리 가능한 II$_1$ 초월성의 기본군으로 실현될 수 있다.
• 임의의 비가산 부분군 $S\subset\mathbb{R}_+^*$는 비분리 아라키-우드스 초월성을 사용하여 $\dim L^2(M)=|S|$인 II$_1$ 초월성의 기본군으로 실현될 수 있다.
• $\mathbb{F}_n$ 위의 작용 $\sigma_0, \sigma_2, \sigma_3, \sigma_4$는 비가산 외부 자동형사상 군을 가지며, $\sigma_1$은 최대 가산 외부 자동형사상 군을 가진다.
• $\mathbb{F}_n$ 위의 다섯 개의 작용 $\sigma_i$ ($0\leq i\leq 4$)는 상호 궤도 동치가 아니며, 다섯 개의 서로 다른 궤도 동치 클래스를 제공한다.
• $\Gamma$가 $SL(2,\mathbb{Z})$의 유한 지수 부분군인 $G=\mathbb{Z}^2\rtimes\Gamma$에 대해 $L(G)$의 기본군은 $\{1\}$이며, 이는 [Po3]에서 이전에 확인된 결과를 확인한다.