[논문 리뷰] Embedding of exact C*-algebras and continuous fields in the Cuntz algebra O_2

Eberhard Kirchberg, N. Christopher Phillips|arXiv (Cornell University)|1997. 12. 09.

Advanced Operator Algebra Research참고 문헌 36인용 수 19

한 줄 요약

이 논문은 모든 분리 가능한 정확한 C*-대수의 등거리 포함이 Cuntz 대수 𝒪₂에 존재함을 증명하며, 컴acts 공간 위의 이러한 대수들의 연속적 필드는 제어된 헬더 유형 정규성과 함께 𝒪₂에 연속적으로 포함됨을 보여준다. 주요 결과로는 매개변수 θ에 대해 𝐿𝑖𝑝^{1/2} 정규성을 갖는 유니탈이고 연속적인 𝒪₂-값 표현을 회전 대수 필드에 대해 구성하는 것으로, 이는 힐버트 공간 표현으로부터 알려진 최적의 헬더 지수와 정확히 일치한다.

ABSTRACT

We prove that any separable exact C*-algebra is isomorphic to a subalgebra of the Cuntz algebra ${\cal O}_2.$ We further prove that if $A$ is a simple separable unital nuclear C*-algebra, then ${\cal O}_2 \otimes A \cong {\cal O}_2,$ and if, in addition, $A$ is purely infinite, then ${\cal O}_{\infty} \otimes A \cong A.$ The embedding of exact C*-algebras in $\OA{2}$ is continuous in the following sense. If $A$ is a continuous field of C*-algebras over a compact manifold or finite CW complex $X$ with fiber $A (x)$ over $x \in X,$ such that the algebra of continuous sections of $A$ is separable and exact, then there is a family of injective homomorphisms $ϕ_x : A (x) o {\cal O}_2$ such that for every continuous section $a$ of $A$ the function $x \mapsto ϕ_x (a (x))$ is continuous. Moreover, one can say something about the modulus of continuity of the functions $x \mapsto ϕ_x (a (x))$ in terms of the structure of the continuous field. In particular, we show that the continuous field $θ\mapsto A_θ$ of rotation algebras posesses unital embeddings $ϕ_θ$ in ${\cal O}_2$ such that the standard generators $u (θ)$ and $v (θ)$ are mapped to $\operatorname{Lip}^{1/2}$ functions.

연구 동기 및 목표

• 모든 분리 가능한 정확한 C*-대수가 Cuntz 대수 𝒪₂의 부분대수로 포함됨을 증명하는 것.
• 분리 가능한 핵심적 단위적 단순 C*-대수 A에 대해 𝒪₂ ⊗ A ≅ 𝒪₂임을 증명하고, A가 순수하게 비유한성일 경우 𝒪_∞ ⊗ A ≅ A임을 보이는 것.
• 연속적 필드의 섬유들에서 𝒪₂로의 단사 준동형의 연속적 가중치를 구성하여 섹션 함수의 연속성을 확보하는 것.
• 회전 대수의 포함에 대해 정량적 정규성 추정—특히 𝐿𝑖𝑝^{1/2} 경계—을 제공하여 힐버트 공간 표현에서 알려진 최적성 결과와 일치시키는 것.

제안 방법

• 정확한 C*-대수들의 구조와 CAR 대수의 부분몫으로서의 특성화를 이용하여, 근사 표현과 변형 기법을 통해 𝒪₂로의 포함을 구축하는 것.
• 오차 전파를 통제하는 재귀적 근사 방법을 적용하고, 단위적 완전 양성 사상과 변형 보조정리를 사용하여 단사 준동형을 구성하는 것.
• 유리수 점에서의 국소 포함을 활용하여 ℝ 위의 주기적 확장 전략을 사용하여 회전 대수 필드의 전역 연속 표현을 구성하는 것.
• 섹션 거리 d_S와 수정된 ρ₀ 함수를 사용한 거리 추정 프레임워크를 도입하여, 근접한 매개변수에서의 표현 간 노름 차이를 통제하는 것.
• 𝒪₂가 특정 C*-대수 클래스에 대해 보편적임을 이용하고, 텐서곱 동형을 적용하여 𝒪₂ ⊗ A ≅ 𝒪₂와 같은 구조적 결과를 증명하는 것.
• 핵심 C*-대수의 분류 프로그램 결과를 적용하여 K-이론 불변량과 Künneth 공식을 사용하여 동형을 유도하는 것.

실험 결과

연구 질문

• RQ1 모든 분리 가능한 정확한 C*-대수는 Cuntz 대수 𝒪₂의 부분대수로 포함될 수 있는가?
• RQ2 연속적 필드의 분리 가능한 정확한 C*-대수 섬유들에서 𝒪₂로의 단사 준동형의 연속적 가중치가 존재하는가? 이때 섹션 함수의 연속성도 보장되는가?
• RQ3 특히 𝕊¹ 위의 회전 대수 필드에 대해 이러한 연속 포함의 최적 헬더 정규성은 무엇인가?
• RQ4 모든 분리 가능한 핵심적 단위적 단순 C*-대수 A에 대해 𝒪₂ ⊗ A ≅ 𝒪₂가 성립함을 증명할 수 있는가?
• RQ5 회전 대수의 포함에 대해 𝐿𝑖𝑝^{1/2} 정규성 경계는 최적이며, 무한대 연산자를 사용하지 않고도 달성 가능한가?

주요 결과

• 모든 분리 가능한 정확한 C*-대수는 Cuntz 대수 𝒪₂로의 유니탈 *-동형사상으로 포함된다.
• 모든 분리 가능한 핵심적 단위적 단순 C*-대수 A에 대해 𝒪₂ ⊗ A ≅ 𝒪₂가 성립하며, A가 순수하게 비유한성일 경우 𝒪_∞ ⊗ A ≅ A이다.
• 회전 대수 A_θ에 대해, 연속적 필드의 단사 *-준동형사상 φ_θ: A_θ → 𝒪₂가 존재하며, 모든 연속 섹션 a에 대해 θ ↦ φ_θ(a(θ))는 연속적이다.
• 표준 생성자 u(θ), v(θ)에 대해 포함은 ‖φ_θ₁(u(θ₁)) − φ_θ₂(u(θ₂))‖ < C|θ₁ − θ₂|^{1/2} 및 유사하게 v에 대해서도 성립하며, 여기서 C < 840,000이다.
• 헬더 경계의 지수 1/2는 최적이며 향상될 수 없으며, Haagerup과 Rørdam의 힐버트 공간 표현에서 알려진 최적성 결과와 일치함을 보여준다.
• 이 구성은 무한대 연산자를 사용하지 않는 새로운, 연산자 이론적 증명을 제공하며, 𝒪₂ 내에서 회전 대수의 𝐿𝑖𝑝^{1/2} 표현을 독립적으로 확보한다.