[논문 리뷰] A few remarks on exact C(X)-algebras

Étienne Blanchard|arXiv (Cornell University)|2000. 12. 15.

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

한 줄 요약

이 논문은 C(X)-대수의 정확성 기준을 연속적인 경우에서 하향 연속성 설정으로 확장하며, 분리 가능한 하향 연속성 C*-_bundle를 Hilbert C(X)-모듈러스 위의 유계 가역적 연산자의 C(X)-부분대수로서의 C(X)-대수로 새롭게 특성화한다. C(X)-대수와 단위 원소를 가진 이중단순화 가능한 호프 C*-대수에 대한 정확성 조건을 수립하고, 곱셈 단위원을 통해 컴팩트 양자군에 대한 두 정의의 정확성의 동치성을 증명한다.

ABSTRACT

We extend in this paper several results of E. Kirchberg, S. Wassermann and the author dealing with continuous fields of C*--algebras to the semi-continuous case. We provide a new characterisation of separable lower semi-continuity C*--bundles and we present exactness criteria for C(X)-algebras and unital bisimplifiable Hopf \cst-algebras.

연구 동기 및 목표

• 연속적인 C*-대수의 필드에 대한 정확성 기준을 반연속성의 경우로 일반화하는 것, 특히 하향 연속성의 경우에 대해.
• 분리 가능한 하향 연속성 C*-_bundle를 Hilbert C(X)-모듈러스 위의 유계 가역적 연산자의 C(X)-부분대수로서의 C(X)-대수로 새롭게 특성화하는 것.
• C(X)-대수와 단위 원소를 가진 이중단순화 가능한 호프 C*-대수에 대한 정확성 조건을 수립하는 것.
• 곱셈 단위원의 언어를 통해 컴팩트 양자군에 대한 두 정의의 정확성의 동치성을 증명하는 것.

제안 방법

• C(X)-대수와 C(X)-선형 사상 이론을 사용하여 C*-_bundle의 연속성 성질을 분석한다.
• C(X)-표현에 하향 연속성을 적용하고, 가역적 연산자가 있는 Hilbert C(X)-모듈러스를 통해 특성화를 구성한다.
• 완전한 및 축소된 C(X)-대수와 단위 원소를 가진 이중단순화 가능한 호프 C*-대수의 외적곱을 사용하여 정확성 조건을 도출한다.
• 곱셈 단위원을 사용하여 코작션을 정의하고, 외적곱 수열의 정확성을 증명한다.
• 연속적인 구조를 지닐 수 없는 대수적 텐서곱의 구체적 예를 구성한다.
• 이론적 이론을 사용하여 승수 대수와 근사 항등원을 적용하여 외적곱 수열의 정확성을 검증한다.

실험 결과

연구 질문

• RQ1 O2 ⊗ C(X)로의 C(X)-선형 동형사상에 의한 연속 C*-_bundle의 특성화는 하향 연속성의 경우로 확장될 수 있는가?
• RQ2 특히 반연속성 필드의 맥락에서 C(X)-대수가 정확한데 필요한 조건은 무엇인가?
• RQ3 외적곱과 곱셈 단위원을 통해 정의된 컴팩트 양자군에 대한 두 정의의 정확성은 어떻게 관련되어 있는가?
• RQ4 기저 양자군이 단위 원소를 가지며 이중단순화 가능할 때, C(X)-선형 코작션 하에서 축소 외적곱의 정확성이 유지되는가?
• RQ5 암시적 경우를 초월하여 일반적인 곱셈 단위원에 대해 외적곱의 정확성 결과를 일반화할 수 있는가?

주요 결과

• 분리 가능한 하향 연속성 C*-_bundle는 Hilbert C(X)-모듈러스 위의 유계 가역적 연산자의 C(X)-대수의 부분대수와 C(X)-선형 동형사상으로 기술된다.
• O2 ⊗ C(X)로의 C(X)-선형 동형사상의 존재는 분리 가능한 하향 연속성 C*-_bundle를 특성화한다.
• C(X)-대수의 정확성은 단위 원소를 가진 이중단순화 가능한 호프 C*-대수와 C(X)-선형 코작션 하에서 해당 외적곱 수열의 정확성과 동치이다.
• 정확한 축소 C*-대수 L(S)를 가진 단위 원소를 가진 이중단순화 가능한 호프 C*-대수 S에 대해, 축소 외적곱 A ⋊r S는 섬유 Ax ⋊r S를 가진 연속적 필드이다.
• 곱셈 단위원과 외적곱의 구조를 통해 컴팩트 양자군에 대한 두 정의의 정확성은 동치임을 보였다.
• 연속적인 C*-대수의 필드와 C*-대수의 대수적 텐서곱이 연속적인 C(X)-대수의 구조를 지닐 수 없는 예를 구성하였다.