[논문 리뷰] The planar algebra of diagonal subfactors

Dietmar Bisch, Paramita Das외 1명|ArXiv.org|2008. 11. 07.

Advanced Operator Algebra Research참고 문헌 20인용 수 13

한 줄 요약

이 논문은 유한 생성된 가산인 이산군 $G$와 3-코호몰로지류 $\omega \in H^3(G, \mathbb{T})$에 대해 대각 부분군의 평면 대수를 구성하고 기술한다. 평면 작용자 작용이 3-코호몰로지류 $\omega$를 명시적으로 포함하고 있음을 보이며, 코호몰로지 조건에서 유도되는 항등식을 통해 자연성(naturality)을 검증함으로써, 기존의 자명한 코호몰로지류에 대한 평면 대수의 구조를 비자명한 경우로 일반화한다.

ABSTRACT

There is a natural construction which associates to a finitely generated, countable, discrete group $G$ and a 3-cocycle $ω$ of $G$ an inclusion of II$_1$ factors, the so-called diagonal subfactors (with cocycle). In the case when the cocycle is trivial these subfactors are well studied and their standard invariant (or planar algebra) is known. We give a description of the planar algebra of these subfactors when a cocycle is present. The action of Jones' planar operad involves the 3-cocycle $ω$ explicitly and some interesting identities for 3-cocycles appear when naturality of the action is verified.

연구 동기 및 목표

• 자명한 3-코호몰로지류의 경우에 알려진 대각 부분군의 평면 대수 기술을 일반적인 비자명한 3-코호몰로지류 $\omega$의 경우로 확장하는 것.
• 존슨의 평면 작용자 작용이 이러한 부분군의 표준 불변량에 대해 명시적으로 3-코호몰로지류 $\omega$를 포함하고 있음을 확립하는 것.
• 이 작용의 자연성을 검증하고, 3-코호몰로지류 조건에서 유도되는 새로운 대수적 항등식을 도출하는 것.
• 임의의 3-코호몰로지류 장애에 대해 대각 부분군의 평면 대수의 구체적이고 계산 가능한 기술을 제공하는 것.

제안 방법

• II$_1$ 초월체 $P$의 자기동형사상 $\theta_i$를 사용하여, 장애가 $[\omega] \in H^3(G, \mathbb{T})$인 $G$-핵심 $\chi: G \to \mathrm{Out}(P)$로부터 대각 부분군 $N \subset M$을 구성한다.
• 단위원소 $u(s,t)$를 갖는 코호몰로지 작용 $\alpha: G \to \mathrm{Aut}(P)$로 $G$-핵심을 올리며, $u(r,s)u(rs,t) = \omega(r,s,t) \alpha_r(u(s,t)) u(r,st)$를 만족시킨다.
• 평면 작용자 작용이 표준 불변량에 작용하는 방식을 이용하여, 고차 상대교환자와 조건부 기댓값을 통해 평면 대수를 정의한다.
• 표준 불변량에 대한 평면 작용자 작용이 명시적으로 3-코호몰로지류 $\omega$에 의존함을 증명하고, 코호몰로지 항등식과의 일致성을 검증함으로써 자연성을 입증한다.
• 맵 $\lambda^{(n)}: M_{n-1} \to \tilde{M}_{n-1} = M_{I^n} \otimes N$을 사용하여 평면 대수의 구조가 군 작용과 코호몰로지 사이의 관계를 설명한다.
• 코호몰로지 구조를 유지하는 맵 $\gamma$를 통해 군 $H = \langle \theta_i \rangle \leq \mathrm{Out}(N)$이 $\tilde{H} = \langle g_i^{-1}g_j \rangle \leq G$와 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 관련 $G$-핵심이 비자명한 3-코호몰로지류 장애 $\omega$를 가질 경우, 대각 부분군의 평면 대수는 어떻게 변화하는가?
• RQ2 표준 불변량에 대한 평면 작용자 작용이 비자명한 $\omega$에 대해 명시적으로 기술될 수 있는가?
• RQ3 비자명한 $\omega$일 경우 평면 작용자 작용의 자연성 요구 조건에서 유도되는 대수적 항등식은 무엇인가?
• RQ4 비자명한 코호몰로지류를 가진 대각 부분군의 표준 불변량은 군 $G$와 코호몰로지류 $[\omega]$에 의해 완전히 결정되는가?
• RQ5 표준 불변량의 동형류는 군 $G$와 장애 $\mathrm{Ob}(\chi) = [\omega]$와 어떻게 관련되어 있는가?

주요 결과

• 비자명한 3-코호몰로지류 $\omega$를 가진 대각 부분군의 평면 대수는 자명한 코호몰로지류의 경우에 알려진 결과를 일반화하여 명시적으로 기술되었다.
• 표준 불변량에 대한 평면 작용자 작용은 3-코호몰로지류 $\omega$를 명시적으로 포함하고 있으며, 이는 평면 대수의 구조가 코호몰로지류 $[\omega] \in H^3(G, \mathbb{T})$에 의존함을 보여준다.
• 평면 작용자 작용의 자연성 검증은 3-코호몰로지 조건과 동치인 항등식을 도출하며, 군 코호몰로지와의 일致성을 확인한다.
• 대각 부분군의 표준 불변량은 군 $G$와 3-코호몰로지류 $\omega$에 의해 완전히 결정되며, 주요 그래프는 생성자 $g_i$에 대한 $G$의 카일리-유사 그래프이다.
• $H = \langle \theta_i \rangle \leq \mathrm{Out}(N)$은 코호몰로지 구조를 유지하는 맵 $\gamma$에 의해 $\tilde{H} = \langle g_i^{-1}g_j \rangle \leq G$와 동형이다.
• 이 구성은 $G$가 유한 생성이고 $\omega$가 고정되어 있을 경우, 코호몰로지가 있는 대각 부분군의 평면 대수가 부분군에 대한 완전한 불변량임을 보여준다.