[논문 리뷰] Mixing subalgebras of finite von Neumann algebras

Jan Cameron, Junsheng Fang외 1명|arXiv (Cornell University)|2009. 12. 31.

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

한 줄 요약

이 논문은 유한 von Neumann 대수 내의 일반 von Neumann 부분대수로의 혼합성과 약한 혼합성 개념을 확장하며, 유한 이원형 모듈을 통한 약한 혼합성의 특성화를 수립하고, 융합 자유곱과 교차곱이 새로운 혼합 부분대수의 예를 제공함을 증명한다. 주요 기여는 위상적 특성화이다: 부분대수 $ B \subseteq M $가 $ A $에 대해 약한 혼합성을 띠는 것은 $ Ax \subset \sum x_i B $ 를 만족하는 모든 $ x \in M $가 $ x \in B $임을 의미한다.

ABSTRACT

Jolissaint and Stalder introduced definitions of mixing and weak mixing for von Neumann subalgebras of finite von Neumann algebras. In this note, we study various algebraic and analytical properties of subalgebras with these mixing properties. We prove some basic results about mixing inclusions of von Neumann algebras and establish a connection between mixing properties and normalizers of von Neumann subalgebras. The special case of mixing subalgebras arising from inclusions of countable discrete groups finds applications to ergodic theory, in particular, a new generalization of a classical theorem of Halmos on the automorphisms of a compact abelian group. For a finite von Neumann algebra $M$ and von Neumann subalgebras $A$, $B$ of $M$, we introduce a notion of weak mixing of $B\subseteq M$ relative to $A$. We show that weak mixing of $B\subset M$ relative to $A$ is equivalent to the following property: if $x\in M$ and there exist a finite number of elements $x_1,...,x_n\in M$ such that $Ax\subset \sum_{i=1}^nx_iB$, then $x\in B$. We conclude the paper with an assortment of further examples of mixing subalgebras arising from the amalgamated free product and crossed product constructions.

연구 동기 및 목표

• 유한 von Neumann 대수 내에서 아벨 부분대수에서 일반 von Neumann 부분대수로 혼합성과 약한 혼합성의 개념을 일반화하기.
• 혼합성 성질과 환경 대수 내에서 부분대수의 정규화자 구조 사이의 연결 고리를 수립하기.
• 유한 이원형 모듈과 연산자 노름 수렴을 통해 약한 혼합 부분대수의 특성화를 제공하기.
• 융합 자유곱과 교차곱을 이용해 새로운 혼합 부분대수의 예를 구성하기.
• 헤일모스의 컴팩트 아벨 군의 자기동형사상에 관한 정리와 같은 고전적 에르고딕 이론 결과를 연산자 대수적 프레임워크에서 복원하거나 일반화하기.

제안 방법

• 상대적인 약한 혼합 조건을 도입: $ B \subseteq M $가 $ A \subseteq B $에 대해 약하게 혼합되려면 모든 $ x \in M $에 대해 $ Ax \subset \sum_{i=1}^n x_i B $ 이면 $ x \in B $여야 한다.
• 추적을 보존하는 조건부 기대 $ \mathbb{E}_B $를 사용하고, 단위원소 $ u_n \to 0 $ 이 약한 수렴을 보일 때 $ \lim_{n \to \infty} \| \mathbb{E}_B(x u_n y) - \mathbb{E}_B(x) u_n \mathbb{E}_B(y) \|_2 = 0 $ 이 성립함으로써 혼합성을 정의한다.
• 초강력 기법을 적용하여, $ B $가 분산적일 경우 $ B^\omega \ominus B $ 가 $ B^\omega \setminus B $ 내의 단위원소들의 약한 닫힘 범위임을 보인다.
• 자유곱의 구조에서의 수직성: $ M_1 \ast_A M_2 $ 는 $ (M_1 \setminus A) \otimes (M_2 \setminus A) $ 와 같은 수직 성분을 가지며, 이는 $ \mathbb{E}_{M_1} $ 에서 사라진다.
• 자유곱 $ \ast_{g \in G} B_g \rtimes G $ 에서의 이동 작용을 사용하여, 단위원소 $ v_g $ 가 자기동형사를 실현함으로써 $ \mathbb{E}_B $-수직성인 $ x_h v_g b_n v_g^* x_h^* $ 를 보여준다.
• 레마 6.4 를 적용하여 $ u_n \to 0 $ 이 $ M_1 $ 에서 약한 수렴일 때 $ \| \mathbb{E}_A(u_n) \|_2 \to 0 $ 임을 보이고, 조건부 기대에서의 노름 감쇠를 가능하게 한다.

실험 결과

연구 질문

• RQ1 유한 von Neumann 대수 내에서 아벨 부분대수에서 비아벨 부분대수로 혼합성과 약한 혼합성의 개념을 어떻게 일반화할 수 있는가?
• RQ2 약한 혼합성과 부분대수가 환경 대수 내에서 정규화자 구조 사이의 정확한 관계는 무엇인가?
• RQ3 유한 이원형 모듈과 유한 선형 조합을 통해 약한 혼합성을 대수적으로 특성화할 수 있는가?
• RQ4 융합 자유곱과 교차곱이 자연스럽게 혼합 부분대수를 유도하는가?
• RQ5 헤일모스의 컴팩트 아벨 군의 자기동형사상에 관한 고전적 에르고딕 결과는 연산자 대수적 프레임워크에서 복원되거나 일반화될 수 있는가?

주요 결과

• 모든 $ x \in M $ 에 대해 $ Ax \subset \sum_{i=1}^n x_i B $ 이면 $ x \in B $ 임을 보여, 부분대수 $ B \subseteq M $ 가 $ A \subseteq B $ 에 대해 약한 혼합성을 띠는 것은 $ Ax \subset \sum_{i=1}^n x_i B $ 를 만족하는 모든 $ x \in M $ 가 $ x \in B $ 임을 의미한다. 이는 순수 대수적 특성화를 제공한다.
• 만약 $ B \subseteq M $ 가 혼합성이라면, 모든 $ x,y \in M $ 에 대해 유계 수열 $ \{b_n\} \subset B $ 이 $ b_n \to 0 $ 약하게 수렴할 때, $ \| \mathbb{E}_B(x b_n y) - \mathbb{E}_B(x) b_n \mathbb{E}_B(y) \|_2 \to 0 $ 이다.
• 자유곱의 성분에서의 수직성에 의해, $ A $ 가 원자적이고 $ M_1, M_2 $ 가 분산적일 경우 $ M_1 \subseteq M_1 \ast_A M_2 $ 는 혼합성임을 보였다.
• 교차곱 $ M = (*_{g \in G} B_g) \rtimes G $ 내의 복사본 $ B \cong B_e $ 는 $ \mathbb{E}_B(x_h v_g b_n v_g^* x_h^*) $ 의 수직성과 추적 항목의 감쇠로 인해 $ M $ 내에서 혼합성임을 보였다.
• 결과는 헤일모스의 정리 일반화: 군 작용에서 유도된 혼합 부분대수들은 고전적 에르고딕성 결과를 연산자 대수 프레임워크에서 복원하고 확장한다.
• 비아벨 케이스에서는 특이 부분대수가 반드시 약한 혼합성을 띠지 않음을 보여, 특이성과 약한 혼합성은 아벨 영역을 초월해 동치가 아님을 보였다.