[논문 리뷰] Maximal injective and mixing masas in group factors

Paul Jolissaint|arXiv (Cornell University)|2010. 04. 01.

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

한 줄 요약

이 논문은 암시적 자유곱과 자유곱에서 유래한 군 인자에서의 특정 최대 아벨 자기수반 부분대수(masas)가 강한 혼합성과 점근적 수직성 성질을 이용해 최대 유도 가능하다는 것을 증명한다. 포파의 방법을 일반화하여, 군 $ G $의 아벨 부분군 $ H $가 조건 (ST)를 만족하면 $ L(H) $는 $ L(G) $에서 강한 혼합성과 최대 유도 가능성을 갖는다. 이는 더 넓은 범주로의 군 인자로의 결과 확장을 가능하게 한다.

ABSTRACT

We present families of pairs of finite von Neumann algebras $A\subset M$ where $A$ is a maximal injective masa in the type $\mathrm{II}_1$ factor $M$ with separable predual. Our results make use of the strong mixing and the asymptotic orthogonality properties of $A$ in $M$ and are borrowed from ideas of S. Popa who proved that if $G$ is a non abelian free group and if $a$ is one of its generators, then the von Neumann algebra generated by $a$ is maximal injective in the factor $L(G)$. Our results apply to pairs $H

연구 동기 및 목표

• 자유군 인자에서의 포파의 최대 유도 가능 masas 결과를 더 일반적인 군 인자로 확장하기 위해.
• 혼합성과 수직성 조건을 이용해 $ L(G) $ 내에서 마사 $ L(H) $가 최대 유도 가능한지 특성화하기 위해.
• 중간 대수의 중심 분해를 통해 강한 혼합성이 군 인자에서 최대 유도 가능성으로 이어지는 것을 확립하기 위해.
• 암시적 자유곱 군과 비자명한 인자들을 가진 자유곱에 대한 최대 유도 가능 masas 결과를 일반화하기 위해.

제안 방법

• 약한 수렴에 의한 단위원소 $ u_n \to 0 $ 에 대해 $ \|\mathbb{E}_A(xu_n y)\|_2 $ 가 사라지는 것으로 정의된 마사의 강한 혼합성 성질을 사용한다.
• 중간 대수의 중심 분해를 보장하기 위해 초실수 대수 $ M^\omega $ 내의 점근적 수직성 성질을 적용한다.
• 강한 혼합성을 위한 군론적 조건 (ST): 모든 유한집합 $ C \subset G\setminus H $ 에 대해, $ g_1 h g_2 \notin H $ 를 만족하는 $ h \notin E $, $ g_1,g_2 \in C $ 인 $ E \subset H $ 가 존재한다.
• 암시적 곱 $ H_1 *_Z H_2 $ 에서 혼합성과 수직성을 검증하기 위해 (H1)–(H3) 조건을 만족하는 명시적 수열 $ (W_m) $ 을 구성한다.
• 중심 분해 정리를 적용하여, $ L(H) \subset N \subset L(G) $ 를 만족하는 모든 중간 보ohn 대수 $ N $ 이 $ Ne_0 = L(H)e_0 $ 과 $ k \geq 1 $ 에 대해 $ Ne_k $ 가 전형적 인자로 분해됨을 보여준다.
• 중간 대수 $ N $ 이 $ M^\omega $ 에서 상대 교환자에 비자명한 중심 프로젝션을 갖지 않기 때문에 강한 혼합성이 최대 유도 가능성으로 이어진다.

실험 결과

연구 질문

• RQ1 어떤 군론적 조건을 만족할 경우, 군 인자 $ L(G) $ 내에서 마사 $ L(H) \subset L(G) $ 가 최대 유도 가능할까?
• RQ2 초실수 대수 $ M^\omega $ 내에서의 강한 혼합성과 점근적 수직성 성질이 마사의 최대 유도 가능성 보장하는 방식은 무엇인가?
• RQ3 자유군 인자에 대한 포파의 원래 결과를 암시적 자유곱 군으로 일반화할 수 있는가?
• RQ4 $ L(H) \subset N \subset L(G) $ 를 만족하는 중간 대수 $ N $ 의 어떤 구조적 성질이 $ L(H) $ 의 최대 유도 가능성으로 이어지는가?
• RQ5 집합 $ W_m \subset G\setminus H $ 에 대한 조건 (H1)–(H3) 가 최대 유도 가능성에 필요한 혼합성과 수직성을 보장하는 방식은 무엇인가?

주요 결과

• 만약 $ H < G $ 가 조건 (ST) 를 만족하면, $ L(H) $ 는 $ L(G) $ 내에서 강한 혼합성을 갖으며, 따라서 최대 유도 가능하다.
• 만약 $ G = H_1 *_Z H_2 $ 이고 $ H_1, H_2 $ 가 아벨이며 $ Z $ 가 중심이면, $ H_1 $ 이 (ST) 를 만족하면 $ L(H_1) $ 은 $ L(G) $ 내에서 최대 유도 가능하다.
• 만약 $ G = K*L $ 이고 $ |K| \geq 2 $ 이며 $ L $ 이 순서 $ \geq 3 $ 인 원소를 포함하면, 순환 마사 $ L(\langle \alpha\beta \rangle) $ 는 $ L(G) $ 내에서 최대 유도 가능하다.
• 모든 중간 보ohn 대수 $ N $ 이 $ L(H) \subset N \subset L(G) $ 를 만족하면 중심 분해를 통해 $ Ne_0 = L(H)e_0 $ 과 $ k \geq 1 $ 에 대해 $ Ne_k $ 가 전형적 인자로 분해되며, 이는 최대 유도 가능성으로 이어진다.
• $ M^\omega $ 내의 점근적 수직성 성질과 강한 혼합성의 조합은 $ A $ 가 $ M $ 에서 최대 유도 가능하다는 것을 보장하며, 이는 [1] 의 결과를 일반화한다.
• 조건 (H1)–(H3) 를 만족하는 $ W_m $ 과 $ W_m' $ 의 구성은 자유곱과 암시적 자유곱에서 혼합성과 수직성 조건의 타당성을 확인한다.