[논문 리뷰] Bundles of C*-categories and duality

Ezio Vasselli|arXiv (Cornell University)|2005. 10. 27.

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

한 줄 요약

이 논문은 연속 C*-대수 다발의 범주론적 유사체로 연속 C*-범주 다발을 도입하며, 공역을 갖는 대칭 텐서 C*-범주가 항등원의 내부자 연산자 대수의 스펙트럼 위에서 연속 다발의 구조를 자연스럽게 지닌다는 것을 증명한다. 주요 기여는 특수 텐서 C*-범주—콤��� 리 군의 쌍대와 동형인 섬유를 가진 국소적으로 평탄한 다발—를 코homology 집합을 통해 완전 분류하는 것으로, 이는 Cuntz 대수의 고정점 대수를 가지는 C*-대수 다발의 분류로 번역된다.

ABSTRACT

We introduce the notions of multiplier C*-category and continuous bundle of C*-categories, as the categorical analogues of the corresponding C*-algebraic notions. Every symmetric tensor C*-category with conjugates is a continuous bundle of C*-categories, with base space the spectrum of the C*-algebra associated with the identity object. We classify tensor C*-categories with fibre the dual of a compact Lie group in terms of suitable principal bundles. This also provides a classification for certain C*-algebra bundles, with fibres fixed-point algebras of O_d.

연구 동기 및 목표

• 연속 C*-범주 다발을 일반화한 범주론적 프레임워크를 개발하여, 연속 필드와 멀티플라이어 대수와 같은 C*-대수 개념을 일반화한다.
• 공역을 갖는 대칭 텐서 C*-범주가 항등원의 내부자 연산자 대수의 스펙트럼 위에서 자연스럽게 연속 다발의 구조를 지닌다는 것을 보인다.
• 특수 텐서 C*-범주—콤팩트 리 군 $G$의 쌍대와 동형인 섬유를 가진 국소적으로 평탄한 다발—를 적절한 코homology 집합을 사용하여 분류한다.
• 이 분류 결과를 고정점 대수를 가진 Cuntz 대수의 연속 C*-대수 다발에 대한 결과로 번역한다.
• 비단순 항등원 설정에서의 일반화된 이중성 이론의 기초를 다진다. 여기서 이중 대상은 콤팩트 군 또는 군의 족의 다발일 수 있다.

제안 방법

• 연속 C*-범주 다발의 범주론적 유사체로 $C_0(X)$-범주와 멀티플라이어 C*-범주를 도입한다.
• 모든 텐서 C*-범주가 항등원의 내부자 연산자 대수의 스펙트럼인 $X^ u$ 위에서의 $C(X^ u)$-범주로 자연스럽게 기능함을 증명한다.
• 특수 범주는 국소적으로 평탄한 대칭 텐서 C*-범주로, 섬유가 콤팩트 리 군 $G$의 쌍대와 동형이 되는 것으로 정의되며, 이는 첫 번째 코homology 집합 $H^1(X, QG)$를 통해 분류된다. 여기서 $QG$는 $G$의 쌍대 범주의 자동사상의 군이다.
• 왜곡된 특수 객체와 관련된 내부자 연산자를 사용하여 C*-대수 다발을 교차곱으로 구성한다. 특히 $ abla_{d, u} o (C(X) times_ u abla_{ u}) times_{ heta} abla_{ u}$ 를 보여주며, $ abla_{ u}$ 는 군 다발이다.
• 특수 범주의 이somorphism 클래스와 $H^2(X, abla_{ u})$의 코homology 클래스 사이의 대응 관계를, 관련된 선다발의 첫 번째 체른 클래스를 사용하여 수립한다.
• C*-대수 $ abla_{d, u}$ 가 $(C(X) times_ u abla_{ u}) times_{ heta} abla_{ u}$ 와 이sovomorphism임을 보이며, 이는 Cuntz 대수의 구성 방식을 일반화한다.

실험 결과

연구 질문

• RQ1 연속 다발의 개념을 C*-대수에서 C*-범주로 일반화할 수 있는가? 이에 대응하는 멀티플라이어 대수와 $C_0(X)$-대수의 범주론적 유사체는 무엇인가?
• RQ2 대칭 텐서 C*-범주에서 항등원이 비단순일 경우(즉, $({\nu,\nu})$ 가 $\mathbb{C}$ 와 동형이 아닐 경우), 어떤 구조가 나타나며, 이는 콤팩트 군의 다발과 어떻게 관련이 있는가?
• RQ3 특수 텐서 C*-범주—콤팩트 리 군의 쌍대와 동형인 섬유를 가진 국소적으로 평탄한 다발—를 코homological 불변량을 사용하여 완전히 분류할 수 있는가?
• RQ4 이러한 범주의 분류가 Cuntz 대수의 고정점 대수를 가지는 연속 C*-대수 다발의 분류로 어떻게 번역되는가?
• RQ5 이 일반화된 이중성 프레임워크에서 임베딩 함자와 이중 군의 족 대상의 존재성 및 유일성에 대한 기하학적 및 코homological 장애는 무엇인가?

주요 결과

• 모든 공역을 갖는 대칭 텐서 C*-범주에서 이중성을 지닌 것은 항등원의 내부자 연산자 대수의 스펙트럼인 $X^ u$ 위에서의 C*-범주 다발이며, 섬유는 콤팩트 군의 쌍대와 동형이다.
• 특수 텐서 C*-범주—콤팩트 리 군 $G$의 쌍대와 동형인 섬유를 가진 국소적으로 평탄한 다발—는 첫 번째 코homology 집합 $H^1(X, QG)$에 의해 완전히 분류되며, 여기서 $QG$ 는 $\widehat{G}$ 의 자동사상의 군이다.
• 특수 경우 $G = \mathrm{SU}(d)$ 에서는 이러한 범주의 분류가 $H^2(X, \mathbb{Z})$ 에 의해 결정되며, 2차원 구면 $S^2$ 는 $H^2(S^2, \mathbb{Z}) \simeq \mathbb{Z}$ 이므로, 이sovomorphism 클래스는 정수로 인덱싱된다.
• 관련된 C*-대수 다발 $\mathcal{O}_{d,\zeta}$ 는 $(C(X) \otimes \mathcal{O}_{\mathbb{U}(d)}) \rtimes_\phi^{\mathcal{L}(\zeta)} \mathbb{N}$ 과 이sovomorphism이며, 여기서 $\mathcal{L}(\zeta)$ 는 첫 번째 체른 클래스 $\zeta$ 를 가진 선다발이며, $\phi$ 는 계수 부여된 내부자 연산자이다.
• DR-대수 $\mathcal{O}_{d,\zeta}$ 는 고정점 대수 $\mathcal{O}_\varepsilon \simeq C(X) \otimes \mathcal{O}_{\mathbb{U}(d)}$ 와 $\mathcal{L}(\zeta)$ 의 단면 모듈 $\mathcal{V}$ 로 생성되며, 대수적 구조는 식 (3.17)에 정의된 내부자 연산자 $\nu$ 에 의해 암시된다.
• 비단순 항등원 설정에서 이중 대상(예: 군 다발 또는 군의 족)의 존재성과 비유일성은 코homological 기원을 가지며, 장애는 $H^1(X, QG)$ 에 암묵적으로 포함된다.