[논문 리뷰] Random matrices, free probability, planar algebras and subfactors

Alice Guionnet, Vaughan F. R. Jones외 1명|ArXiv.org|2007. 12. 18.

Random Matrices and Applications참고 문헌 2인용 수 69

한 줄 요약

이 논문은 무작위 행렬 이론에서 유도된 추적을 사용하여 주어진 임의의 하위요소 평면 대수에서 II₁ 하위요소를 구성한다. 등급을 가진 대수 구조와 함께, 큰 N 행렬 모델을 통한 추적의 가족을 정의하고 GNS 구성법을 적용함으로써, 평면 대수를 하위요소의 고차 상대적 중심의 체계로 실현한다. 이는 Popa의 결과에 대한 새로운 증명을 제공한다: 모든 평면 대수는 II₁ 하위요소의 표준 불변량으로서 실현 가능하다.

ABSTRACT

Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated von Neumann algebras are II$_{1}$ factors whose inclusions realize the given planar algebra as a system of higher relative commutants. We thus give an alternative proof to a result of Popa that every planar algebra can be realized by a subfactor.

연구 동기 및 목표

• 임의의 하위요소 평면 대수에서 II₁ 하위요소를 새로운 방법으로 구성하는 것.
• 평면 대수를 통해 무작위 행렬 이론, 자유 확률론, 하위요소 이론을 연결하는 것.
• Popa의 정리에 대한 대체 증명을 제공하는 것: 모든 평면 대수는 II₁ 하위요소의 표준 불변량으로서 실현 가능하다.
• 등급을 가진 대수와 무작위 행렬 점점 커지는 점근적 추적을 사용하여 비가환 확률 공간의 탑을 정의하는 것.

제안 방법

• 평면 대수의 테이플 링크 곱셈을 사용하여 $Gr_kP = \bigoplus_{n \neq k} P_n$ 의 등급 대수 구조를 정의한다.
• 큰 N 행렬 점근적 성질을 영감으로 삼아, 템퍼리-라이브 테이플 링크에 대한 합을 통한 $Gr_kP$ 위의 추적 $Tr_k$ 의 가족을 구성한다.
• $Tr_0$ 을 포크 공간 상의 진공 기대값으로 실현하여, Voiculescu의 자유 확률 추적과 일치시킨다.
• $Tr_k$ 를 사용한 GNS 구성법을 통해 $\delta > 1$ 인 경우 II₁ 인피니티 팩터 $M_k$ 를 얻는다.
• $Gr_kP \subset Gr_{k+1}P$ 의 단위 포함관계를 $M_k \subset M_{k+1}$ 로 확장하며, 프로젝션 $\mathbf{e}_k$ 가 기본 구성 탑을 이룬다.
• 상대적 중심 $M_0' \cap M_k$ 를 평면 $*$-대수로서 $P_k$ 와 자연스럽게 동형으로 식별한다.

실험 결과

연구 질문

• RQ1 모든 하위요소 평면 대수는 구조적 방법을 통해 II₁ 하위요소의 고차 상대적 중심 체계로 실현될 수 있는가?
• RQ2 무작위 행렬 이론에서 유도된 추적을 어떻게 체계적으로 평면 대수 위의 비가환 확률 구조를 정의하는 데 사용할 수 있는가?
• RQ3 평면 대수에서 파생된 등급 대수가 하위요소를 구성하는 데 어떤 역할을 하는가?
• RQ4 구성된 하위요소의 고차 상대적 중심은 원래의 평면 대수와 어떻게 관련되어 있는가?
• RQ5 자유 확률론, 무작위 행렬, 하위요소 사이의 연결 고리를 통합된 대수적 구조로 형식화할 수 있는가?

주요 결과

• $k$ 에 대해 $Gr_kP$ 위의 추적 $Tr_k$ 는 충실한 추적 상태이며, $\delta > 1$ 일 때 GNS 완비화는 II₁ 인피니티 팩터 $M_k$ 를 유도한다.
• $Gr_kP \subset Gr_{k+1}P$ 의 포함관계는 $M_k \subset M_{k+1}$ 로 단위 포함관계로 확장되며, II₁ 인피니티 팩터의 탑을 이룬다.
• $\mathbf{e}_k \in Gr_{k+1}P$ 의 프로젝션은 기본 구성 관계를 만족하며, $(M_{k+1}, \mathbf{e}_k)$ 는 $M_0 \subset M_1$ 에 대한 기본 구성이다.
• $M_0' \cap M_k$ 의 상대적 중심은 평면 $*$-대수로서 $P_k$ 와 자연스럽게 동형이다.
• $Gr_0P$ 위의 추적 $Tr_0$ 은 $p$ 개의 자기수반 변수에서의 비가환 다항식 위에서 Voiculescu의 자유 확률 추적과 일치한다.
• 이 구성은 Popa의 결과에 대한 새로운 증명을 제공한다: 모든 하위요소 평면 대수는 II₁ 하위요소의 표준 불변량으로서 실현 가능하다.