[논문 리뷰] Adding tails to C*-correspondences

Paul S. Muhly, Mark Tomforde|ArXiv.org|2002. 12. 19.

Advanced Operator Algebra Research참고 문헌 16인용 수 55

한 줄 요약

이 논문은 일반적인 C*-대수를 갖는 C*-대응관계에 '꼬리를 추가'하는 방법을 제안하여, 왼쪽 작용이 단사가 되는 형태로 변환함으로써, 증강된 Cuntz-Pimsner 대수에서 일반적인 C*-대수로의 결과, 특히 게이지 불변 유일성 정리의 확장을 가능하게 한다. 주요 기여는 원래 대수와 꼬리가 추가된 대수의 전면 모서리 사이의 표준적 동형사상으로, 게이지 불변 구조를 유지한다.

ABSTRACT

We describe a method of adding tails to C*-correspondences which generalizes the process used in the study of graph C*-algebras. We show how this technique can be used to extend results for augmented Cuntz-Pimsner algebras to C*-algebras associated to general C*-correspondences, and as an application we prove a gauge-invariant uniqueness theorem for these algebras. We also define a notion of relative graph C*-algebras and show that properties of these C*-algebras can provide insight and motivation for results about relative Cuntz-Pimsner algebras.

연구 동기 및 목표

• 증강된 Cuntz-Pimsner 대수(왼쪽 작용이 단사인 경우)에서의 결과를 일반적인 C*-대수로 확장한다.
• 표준 Cuntz-Pimsner 구성이 손이 있는 그래프 C*-대수를 포괄하지 못하는 한계를 해결한다.
• 일반적인 C*-대수 문제를 꼬리 확장 과정을 통해 증강된 C*-대수 문제로 체계적으로 환원할 수 있는 방법을 제공한다.
• 꼬리 추가 기법을 활용하여 일반적인 C*-대응관계에 관련된 C*-대수에 대해 게이지 불변 유일성 정리를 수립한다.

제안 방법

• 각 손에 꼬리를 추가하여 주어진 X에서 새로운 C*-대응관계 Y를 구성함으로써, Y에서의 왼쪽 작용이 단사가 되도록 보장한다.
• O_Y의 승수 대수에 속하는 프로젝션 p를 정의하여 O_X ≅ pO_Yp가 성립함을 보인다.
• Rieffel 대응을 이용해 O_X의 아이디얼과 O_Y의 아이디얼을 연결함으로써 게이지 불변성을 유지한다.
• O_X ≅ pO_Yp 이며 p가 게이지 불변임을 이용해 O_Y의 성질을 O_X로 이행한다.
• 이미 증강된 대수에 대해 확립된 O_Y에 대한 게이지 불변 유일성 정리를 전면 모서리 동형사상에 의해 O_X로 확장한다.
• O_X의 아이디얼 레이티스가 O_Y의 게이지 불변 아이디얼로의 사상 I ↦ pIp를 통해 포함관계와 구조를 유지함을 보인다.

실험 결과

연구 질문

• RQ1 증강된 Cuntz-Pimsner 대수(왼쪽 작용이 단사인 경우)에서의 결과를 일반적인 C*-대수로 확장할 수 있는가?
• RQ2 왼쪽 작용이 단사가 아닌 경우 Cuntz-Pimsner 대수 구성법을 어떻게 수정하여 손이 있는 그래프 C*-대수를 복원할 수 있는가?
• RQ3 일반적인 C*-대수 O_X를 대응관계 수정을 통해 증강된 C*-대수 O_Y의 전면 모서리로 포함시키는 표준적 방법이 존재하는가?
• RQ4 게이지 불변 유일성 정리는 증강된 경우 외의 일반적인 C*-대응관계에 관련된 C*-대수에도 성립하는가?
• RQ5 꼬리 추가를 통해 O_X의 아이디얼 구조를 O_Y의 아이디얼 구조로 환원하여 분석할 수 있는가?

주요 결과

• 일반적인 C*-대응관계 X에 관련된 C*-대수 O_X는 꼬리가 추가된 대응관계 Y에 관련된 C*-대수 O_Y의 전면 모서리 pO_Yp와 표준적 동형사상으로 일치한다.
• 꼬리 추가 과정은 Y에서의 왼쪽 작용이 단사가 되도록 보장하여, O_Y가 증강된 Cuntz-Pimsner 대수가 되도록 한다.
• O_Y에 대한 게이지 불변 유일성 정리는 전면 모서리 동형사상에 의해 O_X로 확장되어, 일반적인 C*-대수에 대해 정립된다.
• A의 X-불변, X-포화된 아이디얼 I를 O_X의 아이디얼 I(O_X)로 보내는 사상은 X-불변, X-포화된 아이디얼의 레이티스와 O_X의 게이지 불변 아이디얼 사이의 레이티스 동형사상이다.
• O_Y와 O_X의 아이디얼 간 Rieffel 대응은 p가 게이지 불변이므로 게이지 불변성을 유지한다.
• 이 구성은 O_X에 대한 많은 구조적 질문을 O_Y에 대한 더 다룰 수 있는 질문으로 환원할 수 있게 하며, 특히 모라타 동치에 의해 보존되는 성질에 대해 유리하다.