[논문 리뷰] Simplicity of UHF and Cuntz algebras on $L^p$~spaces

N. Christopher Phillips|arXiv (Cornell University)|2013. 08. 31.

Advanced Operator Algebra Research참고 문헌 9인용 수 7

한 줄 요약

이 논문은 $1 \leq p < \infty$, $d \geq 2$ 에서 $L^p$-형 Cuntz 대수 $\mathcal{O}_d^p$ 의 단순성, 순수 무한성, 그리고 애매성(amenability)을 입증한다. 이를 위해 공간적 $L^p$ UHF 대수—$L^p$ 공간 위에서의 UHF C*-대수의 바나흐 대수 버전—를 도입하고 분석한다. 주요 기여는 $\mathcal{O}_d^p$ 가 순수 무한한 단순한 애매한 바나흐 대수임을 증명하고, 이의 동형류가 $p$ 와 초자연수(supernatural number)에 의해 분류됨을 보이는 것이다.

ABSTRACT

We prove that, for $p \in [1, \infty),$ and integers $d$ at least 2, the $L^p$ analog ${\mathcal{O}}_d^p$ of the Cuntz algebra ${\mathcal{O}}_d$ is a purely infinite simple amenable Banach algebra. The proof requires what we call the spatial $L^p$ UHF algebras, which are analogs of UHF algebras acting on $L^p$ spaces. As for the usual UHF C*-algebras, they have associated supernatural numbers. For fixed $p \in [1, \infty),$ we prove that any spatial $L^p$ UHF algebra is simple and amenable, and that two such algebras are isomorphic if and only if they have the same supernatural number (equivalently, the same scaled ordered $K_0$-group). For distinct $p_1, p_2 \in [1, \infty),$ we prove that no spatial $L^{p_1}$ UHF algebra is isomorphic to any spatial $L^{p_2}$ UHF algebra.

연구 동기 및 목표

• Cuntz 대수의 $L^p$-형 $\mathcal{O}_d^p$ 가 $p \neq 2$ 일 때 단순성과 순수 무한성을 확립함. 이는 $p=2$ 인 C*-대수의 경우에 대한 결과를 확장하기 위함이다.
• 공간적 $L^p$ UHF 대수를 정의하고 연구함. 이는 UHF C*-대수의 바나흐 대수 버전으로서, 단순성, 정규화된 추적의 유일성, 애매성 등을 증명함.
• 초자연수를 사용하여 공간적 $L^p$ UHF 대수의 동형류를 분류함. 이는 동형이 동일한 $p$ 와 초자연수를 필요로 함을 보임.
• $\mathcal{O}_d^p$ 가 바나흐 대수로서 애매함을 증명함. 이는 로즈버그(Rosenberg)의 애매성 기준의 일반화를 사용함.
• $p \neq 2$ 일 때, $\mathcal{O}_d^p$ 의 단순성과 유일성은 상호로 유도될 수 없으며, 기존의 C*-대수 기법을 넘어서는 새로운 방법이 필요함을 보임.

제안 방법

• 유한 차원 행렬 대수와 관련된 $L^p$-연산자 대수의 인덕적 극한으로서 공간적 $L^p$ UHF 대수를 정의함. 이는 $L^p$ 공간 위에서의 공간적 표현을 사용함.
• 조건부 기대와 바나흐 대수 위의 등장적 군 작용 이론을 적용하여 공간적 $L^p$ UHF 대수의 구조를 분석함.
• 초자연수를 $L^p$ UHF 대수의 불변량으로 사용함. 이는 C*-대수의 $K_0$-군 분류를 일반화한 것임.
• 원래 Cuntz 대수의 단순성 증명 방법(몫 대수에서의 원소의 가역성)을 바나흐 대수 설정에 적응시킨 방법을 사용함.
• 정리 5.17(바나흐 대수의 애매성 기준)을 적용하여 $\mathcal{O}_d^p$ 가 애매함을 증명함. 이는 $s_1, t_1$ 과 그 관계로 생성되는 부분대수 $A$ 에 의존함.
• 논문 [16] 의 공간적 표현 및 최소 $L^p$ 텐서 tích에 관한 결과를 활용하여 $\mathcal{O}_d^p$ 를 바나흐 대수로서 정의하고 분석함.

실험 결과

연구 질문

• RQ1 $L^p$-형 $\mathcal{O}_d^p$ 가 $p \neq 2$ 일 때 단순하고 순수 무한한가?
• RQ2 $\mathcal{O}_d^p$ 의 단순성은 고유성 정리나 C*-대수 기법에 의존하지 않고도 확립될 수 있는가?
• RQ3 공간적 $L^p$ UHF 대수는 바나흐 대수로서 애매한가? 그 분류 불변량은 무엇인가?
• RQ4 공간적 $L^p$ UHF 대수 간의 동형은 오직 $p$ 와 초자연수에 의해 결정되는가?
• RQ5 $\mathcal{O}_d^p$ 의 애매성은 하위대수의 애매성으로부터 일반화된 로즈버그 유형 정리에 의해 유도될 수 있는가?

주요 결과

• $1 \leq p < \infty$ 이고 $d \geq 2$ 일 때, $L^p$-형 $\mathcal{O}_d^p$ 는 순수 무한한 단순한 애매한 바나흐 대수이다.
• 공간적 $L^p$ UHF 대수는 단순하고 애매하며, 정규화된 추적을 유일하게 가지며, 이는 몫 대수에서의 가역성 논증을 통해 증명된다.
• 두 개의 공간적 $L^p$ UHF 대수가 동형일 필요충분조건은 동일한 $p$ 와 동일한 초자연수를 가진다는 것임 (등가로 스케일드 순서 $K_0$-군을 가짐).
• 서로 다른 $p_1, p_2 \in [1, \infty)$ 에 대해, 어떤 공간적 $L^{p_1}$ UHF 대수도 어떤 공간적 $L^{p_2}$ UHF 대수와도 동형이 아니다.
• $\mathcal{O}_d^p$ 의 애매성은 정리 5.17 를 통해 입증되며, 이는 로즈버그의 애매성 기준을 특정 생성 및 노름 조건 하에서 바나흐 대수로 일반화한 것이다.
• $\mathcal{O}_d^p$ 의 $K_0$-군은 비영인 아이소토프의 대수적 머피-폰 노이만 등가류의 군과 동형이며, 연산은 $[e] + [f] = [s_1 e s_1^* + s_2 f s_2^*]$ 로 정의된다.