[논문 리뷰] Uncountable direct systems and a characterization of non-separable projective $C^{\ast}$-algebras

Alex Chigogidze|ArXiv.org|1999. 08. 15.

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

한 줄 요약

이 논문은 비가산 밀도를 가진 비분리 단위 $C_{ au}^ au$-대수의 특성을 기술하기 위해 직접 $C_{ au}^ au$-계열의 개념을 도입한다. 비분리 단위 $C^\ast$-대수 $X$가 밀도 $\tau$를 가지면, $X$가 사영임과 동시에 길이 $\tau$의 잘 순서가 붙은 직접 계열의 극한임은 필요하고 충분한 조건이며, 이 계열은 분리 가능한 단위 사영 $C^\ast$-부분대수들과 분리 가능한 유형을 가진 이중 사영 포함관계로 이루어져 있다. 이는 비분리 사영 $C^\ast$-대수의 전체 구조를 그 분리 가능한 대응체들로 완전히 기술한다.

ABSTRACT

We introduce the concept of a direct $C_ω^{\ast}$-system and show that every non-separable unital $C^{\ast}$-algebra is the limit of essentially unique direct $C_ω^{\ast}$-system. This result is then applied to the problem of characterization of projective unital $C^{\ast}$-algebras. It is shown that a non-separable unital $C^{\ast}$-algebra $X$ of density $τ$ is projective if and only if it is the limit of a well ordered direct system ${\mathcal S}_{X} = \{X_α, i_α^{α+1}, α< τ\}$ of length $τ$, consisting of unital projective $C^{\ast}$-subalgebras $X_α$ of $X$ and doubly projective homomorphisms (inclusions) $i_α^{α+1} \colon X_α o X_{α+1}$, $α< τ$, so that $X_{0}$ is separable and each $i_α^{α+1}$, $α< τ$, has a separable type. In addition we show that a doubly projective homomorphism $f \colon X o Y$ of unital projective $C^{\ast}$-algebras has a separable type if and only if there exists a pushout diagram \[ \begin{CD} X @>f>> Y @A{p}AA @AA{q}A X_{0} @>f_{0}>> Y_{0}, \end{CD} \] oindent where $X_{0}$ and $Y_{0}$ are separable unital projective $C^{\ast}$-algebras and the homomorphisms $i_{0} \colon X_{0} o Y_{0}$, $p \colon X_{0} o X$ and $q \colon Y_{0} o Y$ are doubly projective. These two results provide a complete characterization of non-separable projective unital $C^{\ast}$-algebras in terms of separable ones.

연구 동기 및 목표

• 비가산 인덱스 집합을 위한 지향 체계의 일반화로 직접 $C_{\omega}^\ast$-계열의 개념을 도입하여 비분리 단위 $C^\ast$-대수를 분석하는 프레임워크를 개발한다.
• 비분리 사영 $C^\ast$-대수의 분리 가능한 성분들에 의한 특성 기술이라는 열린 문제를 해결한다.
• 비분리 사영 $C^\ast$-대수의 구조적 분해를 잘 순서가 붙은 분리 가능한 사영 $C^\ast$-대수의 계열의 극한으로서 수립한다.
• 분리 가능한 유형을 가진 '이중 사영' 준동형사상이 사영 $C^\ast$-대수의 분류에서 수행하는 역할을 명확히 한다.

제안 방법

• 비가산 인덱스 집합을 다룰 수 있도록 일반화된 지향 체계로서 직접 $C_{\omega}^\ast$-계열의 개념을 도입한다.
• 밀도 $\tau$를 가진 비분리 단위 $C^\ast$-대수 $X$에 대해, $X_0$가 분리 가능할 것임을 보장하는 길이 $\tau$의 잘 순서가 붙은 직접 계열 $\mathcal{S}_X = \{X_\alpha, i_\alpha^{\alpha+1}, \alpha < \tau\}$를 구성한다.
• 이중 사영 준동형사상을 사영적이면서도 분리 가능한 유형을 가진 것으로 정의하여 사영 구조와의 호환성을 확보한다.
• 분리 가능한 단위 사영 $C^\ast$-대수를 포함하는 피시업 다이어그램을 사용하여 분리 가능한 유형의 준동형사상을 특성화한다.
• 사영 $C^\ast$-대수가 극한으로서 이러한 계열의 결과임과 동시에 모든 포함관계가 이중 사영이면서 분리 가능한 유형임을 증명함으로써, 사영 성질의 필요충분조건을 확립한다.
• 이론을 적용하여 비분리 사영 $C^\ast$-대수의 전체 구조가 그 분리 가능한 사영 부분대수들과 그들 사이의 이중 사영 포함관계에 의해 완전히 결정됨을 보여준다.

실험 결과

연구 질문

• RQ1 비분리 단위 $C^\ast$-대수는 지향 체계를 통해 더 작은 분리 가능한 $C^\ast$-대수들의 극한으로 체계적으로 분해될 수 있는가?
• RQ2 분리 가능한 부분대수들 사이의 사상에 어떤 조건이 성립하면 극한 대수가 사영이 되는가?
• RQ3 분리 가능한 유형의 개념을 어떻게 활용하여 사영 $C^\ast$-대수 간의 이중 사영 준동형사상을 분류할 수 있는가?
• RQ4 모든 비분리 사영 $C^\ast$-대수의 구조를 분리 가능한 블록들로 포괄하는 보편적 구성이 존재하는가?
• RQ5 분리 가능한 사영 $C^\ast$-대수들을 포함하는 피시업 다이어그램이 어떤 조건에서 이중 사영 준동형사상의 분리 가능한 유형을 특성화하는가?

주요 결과

• 모든 비분리 단위 $C^\ast$-대수는 본질적으로 유일한 직접 $C_{\omega}^\ast$-계열의 극한이다.
• 밀도 $\tau$를 가진 비분리 단위 $C^\ast$-대수 $X$는 길이 $\tau$의 잘 순서가 붙은 직접 계열 $\{X_\alpha, i_\alpha^{\alpha+1}, \alpha < \tau\}$의 극한임과 동시에 $X_0$가 분리 가능하고 각 포함관계 $i_\alpha^{\alpha+1}$가 분리 가능한 유형의 이중 사영임과 필요충분조건을 이룬다.
• 이중 사영 준동형사상 $f: X \to Y$가 분리 가능한 유형임과 동시에 분리 가능한 단위 사영 $C^\ast$-대수 $X_0$, $Y_0$와 이중 사영 사상 $p: X_0 \to X$, $q: Y_0 \to Y$, $i_0: X_0 \to Y_0$를 포함하는 피시업 다이어그램이 존재하는 것과 필요충분조건을 이룬다.
• 모든 비분리 사영 단위 $C^\ast$-대수의 구조는 그 분리 가능한 사영 부분대수들과 그들 사이의 이중 사영 포함관계에 의해 완전히 결정된다.
• 이 특성 기술은 비분리 사영 $C^\ast$-대수의 전체적인 분해를 그 분리 가능한 대응체들에 대해 완전하고 내재적인 방식으로 제공한다.
• 결과적으로 비가산 극한과 분리 가능한 유형의 사상들을 통해 비분리 사영 $C^\ast$-대수의 카테고리적이고 구조적인 프레임워크를 확립한다.