[논문 리뷰] Tensor algebras of C*-correspondences and their C*-envelopes

Elias G. Katsoulis, David W. Kribs|ArXiv.org|2005. 06. 08.

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

한 줄 요약

이 논문은 임의의 C*-대응에 대한 텐서 대수의 C*-환경이 Katsura가 정의한 관련 Cuntz-Pimsner 대수와 일치함을 증명한다. 증명은 게이지 불변 유일성 정리와 C*-대응에 尾를 추가하는 기법을 사용하며, 이는 이전 결과에서 요구하던 충실성과 엄격성 가정을 제거하여 일반적인 경우로 확장한다.

ABSTRACT

We show that the $\ca$-envelope of the tensor algebra of an arbitrary $\ca$-correspondence $\X$ coincides with the Cuntz-Pimsner algebra $Ø_{\X}$, as defined by Katsura \cite{Ka}. This improves earlier results of Muhly and Solel and Fowler, Muhly and Raeburn, who came to the same conclusion under the additional hypothesis that $\X$ is strict and faithful.

연구 동기 및 목표

• Fowler, Muhly, 및 Raeburn가 제기한 열린 문제를 해결한다: 텐서 대수의 C*-환경이 Cuntz-Pimsner 대수임을 보장하기 위해 충실성과 엄격성이 필수적인 조건인지 여쭙는 것.
• 이전 결과는 충실하고 엄격한 C*-대응에 대해서만 성립했지만, 이를 모든 C*-대응에 적용 가능한 일반적 특성화로 확장한다.
• Muhly와 Solel의 이전 결과에 의존하지 않고, C*-대응에 尾를 추가하는 방법을 사용하여 자가 포함된 증명을 제공한다.
• [5]의 정리 5.3에서의 증명에 존재하는 격차를 수정한다. 여기서는 왼쪽 작용의 비퇴화성에 의존하는 근사 단위에 대한 주장이 확인되지 않았다.
• 임의의 C*-대응에 대해 텐서 대수의 C*-환경이 항상 Cuntz-Pimsner 대수임을 확인하는 일반적 프레임워크를 수립한다.

제안 방법

• Cuntz-Pimsner 대수의 게이지 불변 유일성 정리를 사용하여 C*-환경 내의 아이디얼을 분석한다.
• Muhly와 Tomforde에 의해 일반화된 C*-대응에 尾를 추가하는 기법을 적용하여 문제를 단위 원소를 가진 경우로 환원한다.
• Cuntz-Pimsner 대수 내에서 텐서 대수의 실리오 경계 아이디얼을 분석하여, 게이지 불변성과 계수 대수와의 비영 교차로 인해 반드시 자명함을 보인다.
• 필요에 따라 Cuntz-Pimsner 대수를 단위화하여 단위 및 비단위 경우를 모두 고려하며, 실리오 아이디얼의 게이지 불변성을 유지한다.
• C*-대응의 보편 공변 표현을 사용하여 Cuntz-Pimsner 대수의 C*-환경으로서의 텐서 대수를 구성한다.
• Cuntz-Pimsner 대수 내 임의의 영이 아닌 게이지 불변 아이디얼은 반드시 계수 대수의 상과 교차하므로, 실리오 아이디얼은 0이어야 한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 충실성과 엄격성 조건 없이도 C*-대응의 텐서 대수의 C*-환경이 항상 그 Cuntz-Pimsner 대수와 일치하는가?
• RQ2 C*-환경 결과의 증명을 충실하고 엄격한 C*-대응의 범주를 넘어서 일반화할 수 있는가?
• RQ3 Muhly와 Solel의 이전 결과에 의존하지 않고도 게이지 불변 유일성 정리만으로 C*-환경을 식별할 수 있는가?
• RQ4 [5, 정리 5.3]에서 근사 단위에 대한 주장이 왼쪽 작용의 비퇴화성 없이도 성립하는가?
• RQ5 C*-대응에 尾를 추가하는 방법을 사용하여 일반적인 경우를 단위 설정으로 환원할 수 있는가?

주요 결과

• 임의의 C*-대응의 텐서 대수의 C*-환경은 그 대응과 관련된 Cuntz-Pimsner 대수와 등기한다.
• 이 결과는 C*-대응이 충실하거나 엄격할 필요 없이 성립하므로, 이전 결과에서 요구하던 이러한 제약 조건을 제거하여 일반화한다.
• 증명 과정에서 Cuntz-Pimsner 대수 내 텐서 대수의 실리오 경계 아이디얼이 자명함을 보였으며, 이는 C*-환경이 전체 Cuntz-Pimsner 대수임을 의미한다.
• [5, 정리 5.3]의 증명 격차—근사 단위의 행동에 관한 주장—는 왼쪽 작용이 비퇴화가 아니더라도 결과가 성립함을 보여 이를 수정한다.
• 필요에 따라 Cuntz-Pimsner 대수를 단위화할 때 실리오 아이디얼의 게이지 불변성이 유지되어 C*-환경이 여전히 Cuntz-Pimsner 대수임을 보장한다.
• 보조 정리로서, 유도 그래프의 텐서 대수의 C*-환경은 그래프의 보편 Cuntz-Krieger 대수와 일치하며, 이는 [9]의 결과를 새로운 증명으로 복원한다.