[논문 리뷰] Maximal C*-algebras of quotients and injective envelopes of C*-algebras

Pere Ara, Martin Mathieu|arXiv (Cornell University)|2007. 04. 27.

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

한 줄 요약

이 논문은 C*-대수 $ A $의 국소 승수 대수 $ M_{\text{loc}}(A) $와 삽입 완비 대수 $ I(A) $ 사이에 놓인 새로운 C*-대수인 최대 C*-대수의 몫 $ Q_{\text{max}}(A) $ 를 도입한다. $ Q_{\text{max}}(A) $ 가 비가환 링 이론적 관점에서 최대의 C*-대수의 몫임을 증명하고, $ Q_{\text{max}}(A) $ 가 대칭 몫 대수 $ Q_{\text{max}}^s(A) $ 의 유계 부분 $ Q_{\text{max}}^s(A)_b $ 와 동형임을 보이며, 힐버트 모듈러스 위의 연속적 필드에 대한 유계 연산자 표현을 통해 $ Q_{\text{max}}(A) $ 의 구체적 표현을 제공한다.

ABSTRACT

A new C*-enlargement of a C*-algebra $A$ nested between the local multiplier algebra $M_{ ext{loc}}(A)$ of $A$ and its injective envelope $I(A)$ is introduced. Various aspects of this maximal C*-algebra of quotients, $Q_{ ext{max}}(A)$, are studied, notably in the setting of AW*-algebras. As a by-product we obtain a new example of a type I C*-algebra $A$ such that $M_{ ext{loc}}(M_{ ext{loc}}(A)) e M_{ ext{loc}}(A)$.

연구 동기 및 목표

• C*-대수 $ A $ 의 국소 승수 대수 $ M_{\text{loc}}(A) $ 와 삽입 완비 대수 $ I(A) $ 사이에 놓인 새로운 C*-대수 $ Q_{\text{max}}(A) $ 를 도입하고 연구함으로써 C*-대수 확장 이론의 구조적 간극을 메운다.
• 비가환 링 이론의 관점에서 $ Q_{\text{max}}(A) $ 가 최대 C*-대수의 몫임을 증명하고, 대칭 몫 대수의 구성 방법을 사용한다.
• $ Q_{\text{max}}(A) $, $ M_{\text{loc}}(A) $, $ I(A) $ 간의 관계를 연구하며, 특히 AW*-대수와 가환 C*-대수의 맥락에서 고려한다.
• 특히 $ A = C(X) \otimes B(H) $ 인 경우에 대해, $ Q_{\text{max}}(A) $ 를 힐버트 모듈러스 위의 연속적 필드의 유계 연산자로의 구체적 표현을 제공한다.

제안 방법

• 최대 C*-대수의 몫 $ Q_{\text{max}}(A) $ 는 대칭 몫 대수 $ Q_{\text{max}}^s(A) $ 를 기반으로 하며, 대칭 대수에 적절한 순서 구조를 도입하고 순서 유계 원소를 정의한다.
• 논문은 닫힌 본질적 오른쪽 이상의 격자 $ \mathfrak{I}_{cer} $ 에 대한 가브리엘 필터 개념을 사용하여 몫 대수가 조밀성과 취소 조건을 만족하도록 보장한다.
• 스톤안 공간 $ X $ 에 대해 $ A = C(X) \otimes B(H) $ 를 표현하고, $ Q_{\text{max}}(A) $ 가 모든 $ y \in C(X, B(H)_\sigma) $ 에 대해 $ yF + y^*F \subseteq \varprojlim_{U \in \mathcal{D}} C_b(U, H) $ 를 만족하는 것으로 규명한다. 여기서 $ F $ 는 힐버트 $ C(X) $-모듈러스이고, $ \mathcal{D} $ 는 조밀한 열린 집합들의 필터이다.
• 핵심 기술 도구는 본질적 부분모듈러스와 연속적 제약 조건을 포함한 특성화를 통해 $ Q_{\text{max}}(A) $ 를 대칭 몫 대수의 유계 부분 $ Q_{\text{max}}^s(A)_b $ 와 동일시하는 것이다.
• 논문은 직접 극한 기술을 피하고, 우투미와 란딩의 기법을 C*-대수 맥락에 적응시킨 대수적 기법에 의존한다.
• 논문은 힐버트 C*-모듈러스 이론과 완전히 유계 모듈러스 준동형사상을 사용하여 $ Q_{\text{max}}(A) $ 의 구조를 분석하며, 특히 승수 대수와 삽입 완비 대수와의 관계를 다룬다.

실험 결과

연구 질문

• RQ1 스톤안 공간 $ X $ 가 조밀한 제1류 부분집합을 포함할 때, $ A = C(X) \otimes B(H) $ 이면 $ Q_{\text{max}}(A) $ 는 삽입 완비 대수 $ I(A) $ 와 동일한가?
• RQ2 모든 C*-대수 $ A $ 에 대해 $ Q_{\text{max}}(A) $ 는 AW*-대수인가? 특히 일부 경우에서 $ M_{\text{loc}}(M_{\text{loc}}(A)) \neq M_{\text{loc}}(A) $ 임을 감안할 때 그렇다.
• RQ3 $ Q_{\text{max}}(A) = A $ 가 모든 AW*-대수 $ A $ 에 대해 성립하는가? 만약 그렇지 않다면, 그 구조적 장애 요소는 무엇인가?
• RQ4 $ Q_{\text{max}}(A) $ 에 대해 모든 $ k \geq 1 $ 에 대해 $ M_{\text{loc}}^{(k)}(A) \subseteq Q_{\text{max}}(A) $ 가 성립하는가? 국소 승수 대수 과정을 반복해도 $ Q_{\text{max}}(A) $ 내에 머무르는가?
• RQ5 $ Q_{\text{max}}(Q_{\text{max}}(A)) = Q_{\text{max}}(A) $ 인가? 즉, $ Q_{\text{max}}(A) $ 는 자기 자신에 대한 구성에서 등급이 2인가?

주요 결과

• 최대 C*-대수의 몫 $ Q_{\text{max}}(A) $ 는 대칭 몫 대수의 유계 부분 $ Q_{\text{max}}^s(A)_b $ 와 동형이며, 이는 구체적인 특성화를 제공한다.
• 스톤안 공간 $ X $ 에 대해 $ A = C(X) \otimes B(H) $ 이면, $ Q_{\text{max}}(A) $ 는 모든 $ y \in C(X, B(H)_\sigma) $ 에 대해 $ yF + y^*F \subseteq \varprojlim_{U \in \mathcal{D}} C_b(U, H) $ 를 만족하는 것으로 구성되며, 여기서 $ F $ 는 힐버트 $ C(X) $-모듈러스이고 $ \mathcal{D} $ 는 조밀한 열린 집합들의 필터이다.
• 구성은 $ M_{\text{loc}}(A) \subseteq Q_{\text{max}}(A) \subseteq I(A) $ 를 보장하며, 엄밀한 포함 관계가 가능함을 보여주며, 예를 들어 $ Q_{\text{max}}(A) \neq A = M_{\text{loc}}(A) $ 인 단위 원소를 가진 단순한 무한차원 C*-대수의 예로 확인된다.
• 논문은 $ M_{\text{loc}}(M_{\text{loc}}(A)) \neq M_{\text{loc}}(A) $ 가 되는 구조를 지닌 새로운 유형 I C*-대수 $ A $ 의 예를 제시한다.
• 특히 $ A = C(X) \otimes B(H) $ 이면 $ Q_{\text{max}}(A) $ 는 $ I(A) $ 내의 모든 아벨 프로젝션을 포함하며, 이는 $ X $ 에 특정한 위상 조건이 성립할 경우 $ Q_{\text{max}}(A) = I(A) $ 가 될 수 있음을 시사한다.
• 논문은 $ Q_{\text{max}}^s(Q_{\text{max}}^s(A)) = Q_{\text{max}}^s(A) $ 를 증명하여 $ Q_{\text{max}}^s(A) $ 가 등급임을 보이며, 그러나 $ Q_{\text{max}}(Q_{\text{max}}(A)) = Q_{\text{max}}(A) $ 여부는 여전히 열려있다.