[논문 리뷰] On fundamental groups of tensor product $ m II_1$ factors

Yusuke Isono|arXiv (Cornell University)|2016. 08. 23.

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

한 줄 요약

이 논문은 임의의 부분군 $ G \leq \mathbb{R}^*_+ $가 $ \rm II_1 $ 연산자 대수의 기본군으로 실현 가능할 경우, 모든 $ \rm II_1 $ 연산자 대수 $ B $에 대해 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $를 만족하는 $ \rm II_1 $ 연산자 대수 $ M $이 존재함을 증명한다. 이는 $ \rm II_1 $ 연산자 대수의 기본군의 집합이 군 곱셈과 교집합에 대해 닫혀 있음을 시사한다.

ABSTRACT

Let $M$ be a $ m II_1$ factor and let $\mathcal{F}(M)$ denote the fundamental group of $M$. In this article, we study the following property of $M$: for arbitrary $ m II_1$ factor $B$, we have $\mathcal{F}(M \overline{\otimes} B)=\mathcal{F}(M)\mathcal{F}(B)$. We prove that for any subgroup $G\leq \mathbb{R}^*_+$ which is realized as a fundamental group of a $ m II_1$ factor, there exists a $ m II_1$ factor $M$ which satisfies this property and whose fundamental group is $G$. Using this, we deduce that if $G,H \leq \mathbb{R}^*_+$ are realized as fundamental groups of $ m II_1$ factors (with separable predual), then so are groups $G \cdot H$ and $G \cap H$.

연구 동기 및 목표

• 텐서곱 $ \rm II_1 $ 연산자 대수의 기본군의 구조를 조사한다.
• 모든 $ \rm II_1 $ 연산자 대수 $ B $에 대해 $ \mathcal{F}(M_1 \overline{\otimes} M_2) = \mathcal{F}(M_1)\mathcal{F}(M_2) $가 항상 성립하는지 규명한다.
• 모든 $ \rm II_1 $ 연산자 대수 $ B $에 대해 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $를 만족하는 $ \rm II_1 $ 연산자 대수 $ M $을 구성한다. 이를 기본군에 대한 텐서 분해 성질(TFF)이라 한다.
• 모든 $ \rm II_1 $ 연산자 대수의 기본군의 집합이 군 곱셈과 교집합에 대해 닫혀 있음을 보인다.
• 변형/강성 기법과 확대 이론을 활용하여 기존 결과를 확장한다.

제안 방법

• 모든 $ \rm II_1 $ 연산자 대수 $ B $에 대해 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $를 만족하는 기본군에 대한 텐서 분해 성질(TFF)을 도입하고 연구한다.
• 특히 오자와와 포파가 개발한 변형/강성 기법을 사용하여 텐서곱의 구조를 분석한다.
• ICC, 비유한성, 약한 유한성, 이중정규화 가능한 군에 대한 군 $ \rm II_1 $ 연산자 대수 $ L\Gamma $를 이용해 주어진 기본군을 가진 $ \rm II_1 $ 연산자 대수의 예를 구성한다.
• 자유곱의 $ \rm II_1 $ 연산자 대수와 그 기본군에 관한 결과를 적용한다.
• 확대 이론을 활용한다: $ t = \tau(p)n $ 이면 $ M^t \simeq pMp \overline{\otimes} \mathbb{M}_n $ 이고, $ (M_1 \overline{\otimes} M_2)^{st} \simeq M_1^s \overline{\otimes} M_2^t $ 라는 항등식을 사용한다.
• 등장하는 $ \mathcal{F}(M) = \{ t \in \mathbb{R}^*_+ \mid M \simeq M^t \} $ 라는 사실을 이용하여 동형류와 기본군 원소 사이의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 모든 $ \rm II_1 $ 연산자 대수 $ B $에 대해 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $가 성립하는 $ \rm II_1 $ 연산자 대수 $ M $은 어떤 경우인가?
• RQ2 모든 부분군 $ G \leq \mathbb{R}^*_+ $가 $ \rm II_1 $ 연산자 대수의 기본군으로 실현 가능할 경우, 이는 텐서 분해 성질을 만족하는 $ \rm II_1 $ 연산자 대수의 기본군으로도 실현 가능한가?
• RQ3 $ \rm II_1 $ 연산자 대수의 기본군의 집합이 군 곱셈과 교집합에 대해 닫혀 있는가?
• RQ4 어떤 구조적 성질(예: 약한 유한성, 이중정규화성 등)이 $ \rm II_1 $ 연산자 대수가 텐서 분해 성질을 만족하는 데 기여하는가?
• RQ5 변형/강성 기법은 텐서곱에서 기본군 항등식을 증명하는 데 어떻게 확장되는가?

주요 결과

• 모든 부분군 $ G \leq \mathbb{R}^*_+ $가 $ \rm II_1 $ 연산자 대수의 기본군으로 실현 가능할 경우, 모든 $ \rm II_1 $ 연산자 대수 $ B $에 대해 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $를 만족하는 $ \rm II_1 $ 연산자 대수 $ M $이 존재한다. 이때 $ \mathcal{F}(M) = G $이다.
• $ \rm II_1 $ 연산자 대수의 기본군이 되는 $ \mathbb{R}^*_+ $의 부분군의 집합인 $ \mathcal{S}_{\rm factor} $ 는 곱셈에 대해 닫혀 있다: $ G, H \in \mathcal{S}_{\rm factor} $ 이면 $ G \cdot H \in \mathcal{S}_{\rm factor} $ 이다.
• $ \mathcal{S}_{\rm factor} $ 는 교집합에 대해서도 닫혀 있다: $ G, H \in \mathcal{S}_{\rm factor} $ 이면 $ G \cap H \in \mathcal{S}_{\rm factor} $ 이다.
• 텐서 분해 성질(TFF)을 만족하는 $ \rm II_1 $ 연산자 대수의 예로는 ICC, 비유한성, 약한 유한성, 이중정규화 가능한 군에 대한 군 $ \rm II_1 $ 연산자 대수 $ L\Gamma $ 가 있다.
• 자유곱 $ M_1 * M_2 $ 도 TFF 성질을 가진 $ \rm II_1 $ 연산자 대수의 예로 포함된다.
• 결과적으로, 이러한 $ M $에 대해 텐서곱 $ M \overline{\otimes} B $의 기본군이 정확히 $ \mathcal{F}(M) \cdot \mathcal{F}(B) $와 일치함을 확인하였으며, 오자와–포파의 결과를 임의의 $ B $로 일반화하였다.