[논문 리뷰] Schur-Weyl duality for the unitary groups of $II_1$-factors

N. I. Nessonov|arXiv (Cornell University)|2013. 12. 03.

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

한 줄 요약

이 논문은 임의의 분리 가능한 ${\rm II}_1$-팩터 $\mathcal{M}$의 유니터리 군에 대해 스푸르-웨일 듀얼리티의 비가환적 일반화를 수립한다. $U(\mathcal{M})$의 $L^2(\mathcal{M},{\rm tr})^{\otimes p} \otimes L^2(\mathcal{M},{\rm tr})^{\otimes q}$ 위에서의 합동 작용이 파artitions $\lambda \vdash p$, $\mu \vdash q$로 색인화된 기약 성분으로 분해되며, 이 성분들 간의 유니터리 동치는 ${\rm dim}\,\lambda \cdot {\rm dim}\,\mu$의 곱에 의해 결정됨을 보여준다. 표현의 반대대칭은 $\mathcal{M}^{\otimes p} \otimes \mathcal{M}'^{ mspace{3.3pt} \otimes q}$ 위에서 대칭군 작용에 대한 고정점 대수임을 보이며, 이는 유한한 인피니티 팩터를 이룬다.

ABSTRACT

We obtain the analogue of Schur-Weyl duality for the unitary group of an arbitrary ${ m II}_1$-factor

연구 동기 및 목표

• 유니터리 군의 ${\rm II}_1$-팩터 설정으로 스푸르-웨일 듀얼리티를 확장하여, 고전적 $GL(n)$과 $S_p$ 간의 듀얼리티를 무한차원 팩터로 일반화하는 것.
• 표현의 반대대칭을 $\mathfrak{L}^{\otimes p} \otimes \mathfrak{R}^{\otimes q}(U(\mathcal{M}))$가 $L^2(\mathcal{M},{\rm tr})$-공간의 텐서곱 위에서 작용하는 합동 유니터리 표현으로 특성화하는 것.
• 대칭군의 표현 이론적 불변량을 사용하여 표현의 기약 성분들이 유니터리 동치가 되는 조건을 규명하는 것.

제안 방법

• 왼쪽과 오른쪽 정규 표현 $\mathfrak{L}^{\otimes p}(u)$와 $\mathfrak{R}^{\otimes p}(u)$를 $L^2(\mathcal{M},{\rm tr})^{\otimes p}$ 위에서 왼쪽과 오른쪽 곱셈을 통해 정의한다.
• 대칭군 작용 $\mathcal{P}_p(s)$를 텐서곱 공간 위에 도입하여 $s \in \mathfrak{S}_p$에 의해 텐서 인자들을 치환한다.
• 기약 표현 하위공간으로의 사영 연산자 $P_p^\lambda = \frac{{\rm dim}\,\lambda}{p!} \sum_{s \in \mathfrak{S}_p} \chi^\lambda(s) \mathcal{P}_p(s)$를 구성하며, 이는 파artition $\lambda \vdash p$에 의해 색인화된다.
• 표현의 반대대칭으로서 고정점 대수 $\left(\mathcal{M}^{\otimes p}\right)^{\mathfrak{S}_p} \otimes \left(\mathcal{M}'^{\otimes q}\right)^{\mathfrak{S}_q}$를 이용하고, 군 작용과 이중대칭 정리의 응용을 통해 유한한 팩터를 형성한다.
• $G = \mathfrak{S}_p \times \mathfrak{S}_q$ 작용 하에서의 고정점 대수와 반대대칭 간의 관계를 설정하기 위해 등사사상 $R_P: {}^\theta\!\mathcal{F}' \to \left(\mathcal{F}^G\right)'$를 적용하여 팩터 구조를 확인한다.
• 반대대칭 위의 추적 $\tau'$를 사용하여 사영 연산자 $P_p^\lambda \otimes P_q^\mu$의 추적 값을 비교하고, 이로부터 유니터리 동치를 도출한다.

실험 결과

연구 질문

• RQ1 합동 유니터리 표현 $\mathfrak{L}^{\otimes p} \otimes \mathfrak{R}^{\otimes q}(U(\mathcal{M}))$의 반대대칭은 $L^2(\mathcal{M},{\rm tr})^{\otimes p} \otimes L^2(\mathcal{M},{\rm tr})^{\otimes q}$ 위에서 무엇인가?
• RQ2 이 표현의 기약 성분들은 유니터리 동치에 대해 어떻게 분류되는가?
• RQ3 대칭군 작용은 텐서곱 공간을 동형성 성분으로 분해하는 데 어떤 역할을 하는가?
• RQ4 어떤 조건에서 두 기약 성분이 유니터리 동치가 되는가?
• RQ5 반대대칭 위의 추적은 대칭군의 표현 이론적 자료를 어떻게 반영하는가?

주요 결과

• 표현 $\mathfrak{L}^{\otimes p} \otimes \mathfrak{R}^{\otimes q}(U(\mathcal{M}))$의 반대대칭은 바나흐-폰 노이만 대수 $\left(\mathcal{M}^{\otimes p}\right)^{\mathfrak{S}_p} \otimes \left(\mathcal{M}'^{\otimes q}\right)^{\mathfrak{S}_q}$이며, 이는 유한한 팩터이다.
• 하위공간 $P_p^\lambda \otimes P_q^\mu$에 제한된 표현 $\Pi_{\lambda\mu}$는 전체 표현 $\mathfrak{L}^{\otimes p} \otimes \mathfrak{R}^{\otimes q}$와 준동치이다.
• 두 기약 성분 $\Pi_{\lambda\mu}$와 $\Pi_{\gamma\delta}$가 유니터리 동치일 조건은 ${\rm dim}\,\lambda \cdot {\rm dim}\,\mu = {\rm dim}\,\gamma \cdot {\rm dim}\,\delta$임을 보여주며, 이는 반대대칭 위의 추적에 의해 결정된다.
• 반대대칭 내에서 사영 연산자 $P_p^\lambda \otimes P_q^\mu$의 추적은 $\tau'(P_p^\lambda \otimes P_q^\mu) = \frac{{\rm dim}\,\lambda \cdot {\rm dim}\,\mu}{p!\,q!}$이며, 이는 유니터리 동치류를 유일하게 결정한다.
• 등사사상 $R_P: {}^\theta\!\mathcal{F}' \to \left(\mathcal{F}^G\right)'$는 반대대칭과 고정점 대수 사이의 대응을 설정하며, 반대대칭이 팩터로 구성되어 있음을 확인한다.
• 대칭군의 표현 이론은 중심 사영 연산자 $P_p^\lambda$를 통해 $U(\mathcal{M})$ 작용 하에서 텐서곱 공간의 완전한 기약 성분 분해를 제공한다.