[논문 리뷰] Colimits in the correspondence bicategory

Suliman Albandik, Ralf Meyer|arXiv (Cornell University)|2015. 02. 26.

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

한 줄 요약

이 논문은 교차곱, 쿤츠–핌스너 대수, 귀납적 극한, 합성 자유곱과 같은 핵심 C*-대수 구조들이 C*-대응의 2범주에서의 코한계로 유일하게 특징지워질 수 있음을 입증한다. 저자들은 이 구조들을 2범주적 프레임워크에서의 유일성 성질을 통해 통합적으로 해석함으로써 그 카테고리적 구조를 통합하고, 적절한 대응이 자연스러운 군oids의 동치를 통해 코한계를 제공함으로써 고전적인 C*-대수 극한을 일반화하며, 비가환 몫의 개념적 기초를 제공한다.

ABSTRACT

We interpret several constructions with C*-algebras as colimits in the bicategory of correspondences. This includes crossed products for actions of groups and crossed modules, Cuntz-Pimsner algebras of proper product systems, direct sums and inductive limits, and certain amalgamated free products.

연구 동기 및 목표

• 기본적인 C*-대수 구조를 코한계를 통해 이해하기 위한 통합된 2범주적 프레임워크를 제공하는 것.
• 교차곱과 쿤츠–핌스너 대수와 같은 구조들이 C*-대응의 2범주 Corr에서 자연스럽게 코한계로 나타남을 보여주는 것.
• C*-대수의 귀납적 극한이 *-호모모르피즘을 갖는 시스템일 때, 그 시스템이 적절한 대응으로 이루어져 있으면 Corrprop에서의 코한계와 동형임을 보여주는 것.
• Corr에서의 코한계의 유일성 성질이 알려진 C*-대수적 대상의 표준 정의와 일치함을 입증함으로써, 그 존재성과 유일성이 동치를 제외하고 보장됨을 보여주는 것.

제안 방법

• 저자들은 C*-대응의 2범주 Corr를 사용한다. 여기서 객체는 C*-대수이며, 화살표는 호환 가능한 작용을 갖는 힐버트 모듈이고, 2화살표는 유니터리 인터티네이터이다.
• 그들은 소형 범주 C에서 적절한 대응의 부분2범주 Corrprop로의 함자를 다이어그램으로 정의한다.
• 코한계는 다음과 같은 유일성 성질로 특징지어진다: 임의의 C*-대수 D에 대해, 다이어그램 F에서 D 상의 상수 다이어그램으로의 변환의 범주는 코한계에서 D로의 대응의 군oids와 자연스럽게 동치이다.
• 이 구조는 적절한 대응이 텐서곱을 형성할 수 있으며, 코한계의 유일성 성질이 알려진 C*-대수 구조와 일치함을 바탕으로 한다.
• 저자들은 N으로 인덱싱된 다이어그램(귀납적 시스템)을 단순화하여, 대응 En+1_n의 순서로 표현함으로써, 이러한 시스템이 동형을 제외하고 전체 다이어그램과 동치임을 보여준다.
• 그들은 고전적인 C*-대수의 *-호모모르피즘을 갖는 귀납적 극한이 Corrprop에서의 코한계와 일치함을 보이기 위해, 극한으로의 대응과 다이어그램으로의 변환 사이의 군oids의 동치를 구축한다.

실험 결과

연구 질문

• RQ1 교차곱과 쿤츠–핌스너 대수와 같은 표준적인 C*-대수 구조들이 2범주적 프레임워크에서 코한계로 해석될 수 있는가?
• RQ2 2범주 Corr에서의 코한계의 유일성 성질이 C*-대수 구조의 표준 정의와 어떻게 관련되는가?
• RQ3 C*-대수의 귀납적 극한이 *-호모모르피즘을 갖는 조건에서 Corrprop에서 코한계로 나타나는가?
• RQ4 적절한 제품계열의 쿤츠–핌스너 대수는 해당 다이어그램의 코한계와 동형인가?
• RQ5 적절한 대응이 Corr에서 코한계의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 왜곡된 군 작용에 대한 교차곱은 2범주 Corr에서 코한계로 나타나며, 표준 교차곱과 동일한 유일성 성질로 특징지어진다.
• 적절한 제품계열의 쿤츠–핌스너 대수는 쿤츠–투플릿 대수를 거치지 않고도 해당 다이어그램의 코한계와 동형이다.
• C*-대수의 귀납적 극한이 *-호모모르피즘을 갖는 경우, Corrprop에서의 코한계와 동형이며, 고전적 범주에서의 귀납적 극한의 유일성 성질은 2범주적 코한계와 일치한다.
• 군으로 인덱싱된 적절한 대응의 다이어그램의 코한계는 관련 펠 띠드의 전 섹션의 전체 C*-대수와 동형이다.
• 귀납적 시스템의 경우, Corr에서의 코한계는 C*-대수의 고전적 귀납적 극한과 동치이며, 시스템이 적절한 대응로 이루어져 있을 경우에 한하여 성립한다.
• 코한계의 구성은 함자적이며 동치를 유지하며, 코한계로의 대응의 군oids는 임의의 목표 C*-대수로의 다이어그램으로의 변환의 군oids와 자연스럽게 동치이다.