[논문 리뷰] On Conjugacy of MASAs and the Outer Automorphism Group of the Cuntz Algebra

Roberto Conti, Jeong Hee Hong외 1명|arXiv (Cornell University)|2013. 01. 01.

Advanced Operator Algebra Research참고 문헌 16인용 수 1

한 줄 요약

이 논문은 Cuntz 대수 $O_n$의 외부자기동형군과 최대아벨자기수부분대수(MASA)들의 동치류를 조사한다. 이는 Bogolubov 자기동형이 표준 MASA $D_n$를 유지하거나 $D_n$와 내부동치가 아닌 다른 MASA로 보낸다는 것을 보여주며, 이러한 MASA들로 이루어진 비가чёт 가능한 가족을 구성한다. 주요 기여는 $D_n$와 외부동치이지만 내부동치가 아닌 비가чёт 가능한 많은 MASA들이 존재한다는 것을 증명한 것이다. 이는 $\mathrm{Out}(O_n)$ 내에 풍부한 구조가 있음을 드러낸다.

ABSTRACT

We investigate the structure of the outer automorphism group of the Cuntz algebra and the closely related problem of conjugacy of MASAa in $\mathcal{O}_n$. In particular, we exhibit an uncountable family of MASAs, conjugate to the standard MASA $\mathcal{D}_n$ via Bogolubov automorphisms, that are not inner conjugate to $\mathcal{D}_n$.

연구 동기 및 목표

• Cuntz 대수 $O_n$의 외부자기동형군 $\mathrm{Out}(O_n)$의 구조를 이해하는 것.
• 특히 $D_n$와 내부동치가 아닌 MASA들의 동치류를 조사하는 것.
• 모든 $O_n$의 자기동형이 $D_n$를 보존하는 것으로 동치가 되는지 확인하고, 그렇지 않은 경우 이러한 비동치 MASA들을 분류하는 것.
• Bogolubov 자기동형이 $D_n$와 외부동치이지만 내부동치가 아닌 MASA들을 생성하는 데서의 역할을 탐색하는 것.

제안 방법

• 단위원소 $u \in U(O_n)$와 관련된 Bogolubov 자기동형 $\lambda_u$를 사용하여 $O_n$의 자기동형을 생성하는 것.
• 이 자기동형들이 표준 MASA $D_n$에 작용하는 방식을 분석하여, $D_n$을 전반적으로 유지하는지 또는 다른 MASA로 보낸다는 것을 판단하는 것.
• $\lambda_u(S_i) = u S_i$로 주어진 $O_n$의 단위 *-자기형사상과 단위원소 사이의 전단사 대응을 활용하여 자기동형의 구조를 연구하는 것.
• 이전 연구에서 얻은 $O_n$ 내의 비주기적 자기동형의 분류 결과를 활용하여 스펙트럴 부분공간과 게이지 작용을 분석하는 것.
• 게이지 작용 $\gamma_z(S_j) = z S_j$와 관련된 스펙트럴 부분공간 $O_n^{(m)}$을 사용하여 $O_n$를 분해하고 자기동형의 행동을 분석하는 것.
• 핵심 UHF부분대수 $F_n$ 위로의 조건부 기댓값 $E = E_0$를 활용하여 고정점 부분대수와 자기동형 불변량을 연구하는 것.

실험 결과

연구 질문

• RQ1 표준 MASA $D_n$와 외부동치이지만 내부동치가 아닌 $O_n$ 내의 MASA들이 존재하는가?
• RQ2 Bogolubov 자기동형은 $D_n$을 내부동치가 아닌 다른 MASA로 보낼 수 있는가?
• RQ3 $\mathrm{Out}(O_n)$의 구조, 특히 Weyl 군의 상과 $n$-shift의 자기동형군과의 관계는 어떠한가?
• RQ4 비자명한 게이지 자기동형은 $\mathrm{Out}(O_n)$의 중심에 속하는가, 아니면 $O_2$의 경우와 마찬가지로 중심이 아닌가?
• RQ5 $\mathrm{Out}(O_2)$ 내에서 $\lambda(S_2)^{-1}$에 의해 생성되는 정규부분군은 유한순서 원소들로 생성되는가?

주요 결과

• 표준 MASA $D_n$와 외부동치이지만 내부동치가 아닌 비가чёт 가능한 MASA 가족이 $O_n$ 내에 존재하며, 이는 정리 3.7과 추론 3.8에서 보여진 바 있다.
• Bogolubov 자기동형은 $D_n$을 전반적으로 유지하거나 $D_n$과 내부동치가 아닌 다른 MASA로 보낸다. 이는 그 행동에 대한 이분법적 성격을 드러낸다.
• $O_2$ 내에서 $u = S_{11}S_{12}^* + S_{12}S_{11}^* + P_{122} + P_2$인 자기동형 $\lambda_u$는 순서 2를 가지며, 이는 외부자기동형 $\lambda_w$를 유도한다. 이 $\lambda_w$는 내부자기동형이 아니므로, 비자명한 게이지 자기동형이 $\mathrm{Out}(O_2)$의 중심이 아님을 보여준다.
• $\mathrm{Out}(O_2)$ 내의 무한순서 원소는 모두 교환자부분군 내의 두 반전의 곱으로 표현되며, 이는 $\mathrm{Out}(O_2)$와 그 교환자부분군이 모두 유한순서 원소들로 생성됨을 의미한다.
• $\mathrm{Out}(O_2)$ 내에서 $\lambda(S_2)^{-1}$에 의해 생성되는 정규부분군은 유한순서 원소들로 생성되며, 이는 추론 4.7에서 보여진 lin.
• $\lambda(S_2)^{-1}|_{S_2}$는 거의 단순하다. 이는 Higman-Thompson 군 $S_2$를 포함하고 있으며, 그 자동형군 안에 포함되어 있으므로, 추론 4.8에 의해 성립한다.