[논문 리뷰] Ideal structure of $C^*$-algebras associated with $C^*$-correspondences

Takeshi Katsura|ArXiv.org|2003. 09. 18.

Advanced Operator Algebra Research참고 문헌 14인용 수 15

한 줄 요약

이 논문은 기저 $C^*$-대수에서의 관측 불변 아이디얼의 완전한 분류를 위해 $O$-쌍—관측 불변 아이디얼과 추가 데이터를 일반화한 기저 $C^*$-대수 내의 아이디얼 쌍—을 도입함으로써 $C^*$-대수와 관련된 $C^*$-대응에서 관측 불변 아이디얼을 완전히 분류한다. 이는 교차곱 이론을 일반화하고, 상대 Cuntz-Pimsner 대수의 보편적 특성화를 관측 불변 유일성 정리에 의해 제공한다.

ABSTRACT

We study the ideal structure of $C^*$-algebras arising from $C^*$-correspondences. We prove that gauge-invariant ideals of our $C^*$-algebras are parameterized by certain pairs of ideals of original $C^*$-algebras. We show that our $C^*$-algebras have a nice property which should be possessed by generalization of crossed products. Applications to crossed products by Hilbert $C^*$-bimodules and relative Cuntz-Pimsner algebras are also discussed.

연구 동기 및 목표

• 기저 $C^*$-대수 $A$와 $C^*$-대응 $X$와 관련된 $C^*$-대수 $\mathcal{O}_X$의 아이디얼 구조를 기술하는 것.
• 자기 동형에 의한 교차곱 이론을 $C^*$-대응의 맥락으로 일반화하는 것.
• 새로운 아이디얼 쌍인 $O$-쌍이라는 클래스를 사용하여 $\mathcal{O}_X$ 내의 관측 불변 아이디얼을 완전히 매개변수화하는 것.
• 상대 Cuntz-Pimsner 대수 $\mathcal{O}(J,X)$에 대한 관측 불변 유일성 정리를 수립하는 것.

제안 방법

• 기저 $C^*$-대수 $A$ 내의 아이디얼 쌍 $(J_{-\infty}, J)$로 이루어진 $O$-쌍을 도입하며, 여기서 $J_{-\infty}$는 왼쪽 작용에 관하여 관측 불변이고 $J$는 추가적인 아이디얼이다.
• 관측 표현을 통한 $X$의 코바리언트 표현을 통해 보편 $C^*$-대수 $\mathcal{O}_X$를 정의하고, Cuntz-Pimsner 대수를 일반화한다.
• $T$-쌍 $\omega$로부터 $C^*$-대응 $X_\omega$를 구성하고, 그 보편 성질을 증명하여 $\mathcal{O}_X$의 두 정의 간의 동치성을 보인다.
• $\mathcal{O}_X$ 위의 $\mathbb{T}$의 관측 작용을 사용하여 관측 불변 아이디얼을 정의하고, 이를 $O$-쌍과 연결한다.
• 이론을 힐베르트 $C^*$-이중모듈러스와 상대 Cuntz-Pimsner 대수에 적용하여, 관측 불변 아이디얼에 대한 몫이 동일한 클래스에 속한다는 것을 보여준다.
• 모든 관측 불변 아이디얼이 유도되고 전형적인 $C^*$-대수 부분대수를 포함하며, 이는 적절한 $C^*$-대응에서 유래한 다른 $C^*$-대수와 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 기저 $C^*$-대수 $A$와 $C^*$-대응 $X$에 대해 $\mathcal{O}_X$의 관측 불변 아이디얼은 어떻게 완전히 분류할 수 있는가?
• RQ2 $C^*$-대응 맥락에서 자동형에 의한 교차곱 이론의 올바른 일반화는 무엇인가?
• RQ3 상대 Cuntz-Pimsner 대수 $\mathcal{O}(J,X)$는 보편 $C^*$-대수 $\mathcal{O}_X$와 어떻게 관련이 있는가?
• RQ4 어떤 조건이 $X$의 표현이 $\mathcal{O}(J,X)$로의 동형사상 유도를 보장하는가?
• RQ5 $\mathcal{O}(J,X)$의 아이디얼 구조는 보편 성질을 통해 완전히 묘사할 수 있는가?

주요 결과

• 관측 불변 아이디얼 $\mathcal{O}_X$는 $J_{-\infty}$가 관측 불변 아이디얼이고 $J$가 $A$의 추가 아이디얼인 $O$-쌍 $(J_{-\infty}, J)$와 일대일 대응된다.
• $C^*$-대수 $\mathcal{O}_X$는 $J_{-\infty} = 0$ 이면서 $J \cap \ker \varphi_X = 0$일 때에만 상대 Cuntz-Pimsner 대수 $\mathcal{O}(J,X)$와 동형이 된다.
• $\mathcal{O}_X$의 관측 불변 아이디얼에 대한 몫은 어떤 $C^*$-대응 $Y$에 대해 $\mathcal{O}_Y$와 동형이 되며, 이는 이 클래스가 몫에 대해 닫혀 있음을 보여준다.
• $\mathcal{O}_X$의 모든 관측 불변 아이디얼은 적절한 $C^*$-대응 $Z$로부터 유래한 $\mathcal{O}_Z$와 동형인, 유도되고 전형적인 $C^*$-대수 부분대수를 포함한다.
• 상대 Cuntz-Pimsner 대수 $\mathcal{O}(J,X)$에 대한 관측 불변 유일성 정리는, $\mathcal{O}(J,X)$에서 $C^*(\pi', t')$로의 전사 사상이 동형일 조건이 $\pi'$가 관측 작용을 가지며, $\ker \pi' = J_{-\infty}$ 이고, $\{a \in A \mid \pi'(a) \in \psi_{t'}(\mathcal{K}(X))\} = J$임을 의미한다.
• $\pi: A \to \mathcal{O}(J,X)$는 $J \cap \ker \varphi_X = 0$일 때에만 단사이며, 이는 $J_{-\infty} = 0$과 동치이다.