[논문 리뷰] On the Guionnet-Jones-Shlyakhtenko construction for graphs

Vijay Kodiyalam, V. S. Sunder|arXiv (Cornell University)|2009. 11. 11.

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

한 줄 요약

이 논문은 유니온-존스-슐랴흐텐코(Guionnet-Jones-Shlyakhtenko, GJS) 구축법을 유한한 가중치가 부여된 이분 그래프로 확장하여, 임의의 유한 깊이의 부분표면 평면 대수에 대해 관련된 바나흐 대수 von Neumann 대수가 유한 매개수를 가진 보간 자유군 대수와 동형임을 보여준다. 주요 결과는 이러한 평면 대수에 GJS 구축법을 적용할 경우 $LF(r) \subseteq LF(s)$ 형태의 보간 자유군 대수의 포함관계를 얻으며, $1 < r,s < \infty$ 를 만족함으로써, 유한 깊이의 평면 대수에 대한 보편성에 대한 새로운 증명을 제공한다.

ABSTRACT

Using an analogue of the Guionnet-Jones-Shlaykhtenko construction for graphs we show that their construction applied to any subfactor planar algebra of finite depth yields an inclusion of interpolated free group factors with finite parameter, thereby giving another proof of their universality for finite depth planar algebras.

연구 동기 및 목표

• 유한한 가중치가 부여된 이분 그래프로 GJS 구축법을 평면 대수에서 일반화한다.
• 유한 깊이를 가진 연결 그래프 $\Gamma$에 대해 관련된 von Neumann 대수 $M(\Gamma)$ 가 유한 매개수를 가진 보간 자유군 대수임을 증명한다.
• 유한 깊이의 부분표면 평면 대수에 대해 보간 자유군 대수의 보편성을 새로운 방식으로 증명한다.
• GJS 구축법의 코너 대수 $M(\Gamma,0)$ 과 $M(\Gamma,1)$ 가 더 단순한 대수들의 병합 자유곱으로 표현됨을 보여준다.
• 유한 깊이의 부분표면 평면 대수에 대해 GJS 구축법을 적용할 경우 $LF(r) \subseteq LF(s)$ 형태의 포함관계를 얻으며, $1 < r,s < \infty$ 를 만족함을 보여준다.

제안 방법

• 경로와 그 연결을 이용하여, 유한한 가중치가 부여된 이분 그래프 $\Gamma$ 에서 계층적, 추적적, 충실한 $*$-확률 공간 $Gr(\Gamma)$ 를 구성한다.
• Temperley-Lieb 등가관계를 통한 합으로 $Gr(\Gamma)$ 상에서 추적 $\tau$ 를 정의하며, GJS 추적을 일반화한다.
• $Gr(\Gamma)$ 와 필터링된 $*$-확률 공간 $F(\Gamma)$ 사이의 동형을 확립함으로써 대수적 제어를 가능하게 한다.
• $\Gamma$ 가 연결되어 있고 한 개 이상의 간선을 가질 경우, $M(\Gamma)$ — 즉 $\Gamma$ 와 관련된 von Neumann 대수 — 는 $II_1$ 인자와 유한 차원 아벨 대수의 직합과 동형임을 증명한다.
• $Gr(\Gamma,0)$ 과 $M(\Gamma,0)$ 의 병합 자유곱 분해를 이용하여, 단일 홀수 정점이 있는 부분그래프를 통해 $M(\Gamma,0)$ 의 구조를 분석한다.
• 유한 깊이의 부분표면 평면 대수 $P$ 의 쌍대 평면 대수 $^{-}P$ 에 GJS 구축법을 적용하고, $^{-}Gr_1(Q)$ 와 $Gr_1(P)$ 사이의 동형을 이용하여, 결과로 얻어진 대수가 보간 자유군 대수임을 보여준다.

실험 결과

연구 질문

• RQ1 유니온-존스-슐랴흐텐코 구축법은 평면 대수에서 유한한 가중치가 부여된 이분 그래프의 맥락으로 확장될 수 있는가?
• RQ2 유한 깊이의 부분표면 평면 대수에 대해 GJS 구축법을 적용할 경우, 유한 매개수를 가진 보간 자유군 대수의 포함관계가 얻어지는가?
• RQ3 유한 깊이를 가진 연결 그래프 $\Gamma$ 와 관련된 von Neumann 대수 $M(\Gamma)$ 는 유한 매개수를 가진 보간 자유군 대수와 동형인가?
• RQ4 단일 홀수 정점이 있는 부분그래프를 통해 $M(\Gamma,0)$ 의 구조는 어떻게 병합 자유곱을 이용해 분해할 수 있는가?
• RQ5 유한한 이분 그래프 $\Gamma$ 의 짝수 정점과 홀수 정점에서 유도된 코너 대수 $M(\Gamma,0)$ 과 $M(\Gamma,1)$ 의 정확한 동형 유형은 무엇인가?

주요 결과

• 모듈러스 $\delta > 1$ 를 가진 임의의 유한 깊이 부분표면 평면 대수 $P$ 에 대해, GJS 구축법은 $N \cong LF(r)$ 와 $M \cong LF(s)$ 를 만족하는 부분표면 포함관계 $N \subseteq M$ 을 유도하며, $1 < r,s < \infty$ 를 만족함으로써, 유한 깊이 대수에 대한 보편성을 증명한다.
• 한 개 이상의 간선을 가진 연결 그래프 $\Gamma$ 와 관련된 von Neumann 대수 $M(\Gamma)$ 는 $II_1$ 인자와 유한 차원 아벨 대수의 직합과 동형이다.
• 그래프 $\Gamma$ 가 페론-프로베니우스 가중치를 가질 경우, $M(\Gamma)$ 는 유한 매개수를 가진 보간 자유군 대수와 동형이다.
• 짝수 정점과 관련된 코너 대수 $M(\Gamma,0)$ 는 단일 홀수 정점이 있는 부분그래프에 대응하는 대수들의 병합 자유곱과 동형이다.
• 단일 홀수 정점이 있는 그래프 $\Lambda$ 에 대해, $M(\Lambda,0)$ 는 유한 매개수를 가진 보간 자유군 대수와 동형이다.
• 쌍대 평면 대수 $^{-}P$ 에 대해 GJS 구축법을 적용할 경우, $^{-}Gr_1(Q)$ 와 $Gr_1(P)$ 사이의 동형이 성립하며, 이로 인해 $M_1$ 의 일부 코너가 $M(\overline{\Gamma},v)$ 와 동형임을 도출할 수 있다. 이는 유한 매개수를 가진 보간 자유군 대수이다.