[논문 리뷰] Amalgamated Free Products of $w$-Rigid Factors and Calculation of their Symmetry Groups

Adrian Ioana, Jesse Peterson외 1명|ArXiv.org|2005. 05. 27.

Advanced Operator Algebra Research참고 문헌 22인용 수 21

한 줄 요약

이 논문은 암시적 자유곱(AMP) II₁ 연산자 대수에 대한 강성 정리들을 수립하여, 상대적 성질(T)을 갖는 부분대수는 반드시 자유곱의 한 성분으로 유니타리 켤레될 수 있음을 증명한다. 변형/강성 기법과 Bass-Serre 유사 추론을 사용하여, 스칼라, 카르탕 부분대수, 하이퍼유한 부분대수에 대한 AMP 대수의 동형 정리들을 도출함으로써, 외부 자기동형군의 첫 번째 명시적 계산과 기본군이 자명하고 외부 자기동형군이 자명한 II₁ 대수의 구성에 이르게 한다.

ABSTRACT

We consider amalgamated free product II$_1$ factors $M = M_1 *_B M_2 *_B ...$ and use ``deformation/rigidity'' and ``intertwining'' techniques to prove that any relatively rigid von Neumann subalgebra $Q\subset M$ can be intertwined into one of the $M_i$'s. We apply this to the case $M_i$ are w-rigid II$_1$ factors, with $B$ equal to either $\Bbb C$, to a Cartan subalgebra $A$ in $M_i$, or to a regular hyperfinite II$_1$ subfactor $R$ in $M_i$, to obtain the following type of unique decomposition results, à la Bass-Serre: If $M = (N_1 *_C N_2 *_C ...)^t$, for some $t>0$ and some other similar inclusions of algebras $C\subset N_j$ then, after a permutation of indices, $(B\subset M_i)$ is inner conjugate to $(C\subset N_i)^t$, $\forall i$. Taking $B=\Bbb C$ and $M_i = (L(\Bbb Z^2 times \Bbb F_{2}))^{t_i}$, with $\{t_i\}_{i\geq 1}=S$ a given countable subgroup of $\Bbb R_+^*$, we obtain continuously many non stably isomorphic factors $M$ with fundamental group $\mycal F(M)$ equal to $S$. For $B=A$, we obtain a new class of factors $M$ with unique Cartan subalgebra decomposition, with a large subclass satisfying $\mycal F(M)=\{1\}$ and Out$(M)$ abelian and calculable. Taking $B=R$, we get examples of factors with $\mycal F(M)=\{1\}$, Out$(M)=K$, for any given separable compact abelian group $K$.

연구 동기 및 목표

• 상대적 성질(T)을 갖는 강성 부분대수(즉, 강성 있는 부분대수)가 반드시 자유곱의 한 성분으로 유니타리 켤레될 수 있음을 보여주는 부분대수 정리 수립.
• B = ℂ, B = A (카르탕), B = R (하이퍼유한)에 대한 AMP 대수의 동형 정리 유도하여, 이러한 대수들 간의 동형사상이 자유곱의 성분별로 구조를 유지함을 보임.
• 일부 AMP 대수에 대해 외부 자기동형군 Out(M)을 계산하여, 1973년 콘네스가 제기한 자명한 Out(M)을 갖는 II₁ 대수가 존재하는지에 대한 질문에 답함.
• 이러한 결과들을 자유곱 군 작용에 대한 궤도 등가성(OE) 강성으로 확장하여, 각 성분이 상대적 성질(T)을 갖는다면, OE 동형사상은 성분별로 OE 동형사로 이어짐을 보임.
• 강화된 w-강성 대수의 자유곱을 사용하여, ℝ₊*의 임의의 주어진 곱셈 부분군 S ⊂ ℝ₊*로 표현된 기본군을 갖는 새로운 II₁ 대수의 예를 구성함.

제안 방법

• 팝라의 변형/강성 이론에서 유래한 변형/강성 기법을 사용하여 AMP 대수의 구조를 분석함.
• Bass-Serre 유사 부분대수 정리 적용: AMP 대수 내의 어떤 강성 부분대수도 반드시 자유곱의 한 성분으로 켤레될 수 있음.
• 이중 모듈러를 통한 연결 기법을 사용하여 상대적 성질(T) 포함관계의 존재를 탐지함.
• 균일한 포함 조건(예: 와일러 곱 또는 카르탕 포함)을 사용하여 암시적 대수의 구조에 대한 기술적 제어를 확보함.
• 군 측도 공간 대수 이론 및 바나흐-바나흐 등가성(vNE) 이론의 결과를 응용하여 자유곱 군 작용에 대한 OE 강성을 도출함.
• 딕스카-라두레스쿠의 강화된 요소의 자유곱에 대한 결과를 활용하여, 기본군을 ℝ₊*의 임의의 곱셈 부분군으로 계산함.

실험 결과

연구 질문

• RQ1 자유곱의 성분들이 상대적 성질(T)을 갖는다고 가정할 때, 암시적 자유곱 II₁ 대수의 구조는 그 동형 타입으로 복원될 수 있는가?
• RQ2 콘네스가 1973년 제기한 바와 같이, 외부 자기동형군이 자명한 II₁ 대수가 존재하는가?
• RQ3 각 성분이 상대적 성질(T)을 갖는다면, 자유곱 군 작용 간의 궤도 등가성 동형사상은 성분별 궤도 등가성으로 이어지는가?
• RQ4 기존의 구성 이론을 초월하여, ℝ₊*의 임의의 곱셈 부분군으로 표현된 기본군을 갖는 II₁ 대수를 구성할 수 있는가?
• RQ5 w-강성 II₁ 대수의 자유곱의 외부 자기동형군은 무엇이며, 이는 기저 군 작용의 코homology와 어떻게 관련이 있는가?

주요 결과

• 논문은 기본군 ℱ(M) = {1} 이자 외부 자기동형군 Out(M) = {1} 이 모두 자명한 첫 번째 명시적 II₁ 대수의 예를 구성한다.
• 임의의 분리 가능한 컴acts 아벨 군 K에 대해, ℱ(M) = {1} 이고 Out(M) = K 를 만족하는 II₁ 대수가 존재한다.
• 하이퍼유한 II₁ 대수 R을 통해 암시되는 경우, AMP 대수의 외부 자기동형군은 자유곱 군 작용의 첫 번째 코homology 군 H¹(σ, Γ) 와 동형이다.
• 강화된 w-강성 대수의 자유곱 ∗_{s∈S} P^s 의 기본군은 ℝ₊*의 곱셈 부분군 S ⊂ ℝ₊* 와 같으며, 이는 임의의 기본군을 갖는 새로운 종류의 대수를 제공한다.
• ℂ를 기저로 하는 AMP 대수에 대해, M₁*…*Mₘ ≅ (N₁*…*Nₙ)^t 이라면, m = n 이고, 적절한 순열 후 θ(Mᵢ) 가 Nᵢ^t 와 내부 켤레임을 보여주는 바나흐-바나흐 대수 이론의 Kurosh 정리 유사 정리 증명.
• vNE(von Neumann 등가성) 기반의 Bass-Serre 강성 결과 수립: 두 자유곱 군 작용이 vNE이면서 각 성분이 상대적 성질(T)을 갖는다면, 그 작용은 성분별로 OE 동형이다.