[논문 리뷰] Additive C*-categories and K-theory

Ulrich Bunke, Alexander Engel|arXiv (Cornell University)|2020. 10. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 4

한 줄 요약

이 논문은 C*-범주에서 위상수학적 K-이론의 기초 도구를 수립하기 위해 무한 개의 대상들의 직교 합을 도입하고, 군과의 감소된 외적곱을 구성하며, 동치론적 함자를 통한 K-이론의 공리화를 수행한다. 이는 K-이론의 강성 성질을 증명하고, 그 성질을 이용해 궤도 범주 위에서의 G--equivariant 호모로지 이론을 구성함으로써, G--equivariant 카스파로프 이론과 바움–콘스 편제에의 적용을 가능하게 한다.

ABSTRACT

We review the notions of a multiplier category and the $W^{*}$-envelope of a $C^{*}$-category. We then consider the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct reduced crossed products of $C^{*}$-categories with groups. We axiomatize the basic properties of the $K$-theory for $C^{*}$-categories in the notion of a homological functor. We then study various rigidity properties of homological functors in general, and special additional features of the $K$-theory of $C^{*}$-categories. As an application we construct and study interesting functors on the orbit category of a group from $C^{*}$-categorical data.

연구 동기 및 목표

• C*-범주에서의 위상수학적 K-이론에 대한 종합적인 프레임워크를 제공함에 있어, 무한 직교 합과 감소된 외적곱에 초점을 맞춘다.
• 동치론적 함수의 개념을 사용하여 C*-범주에 대한 K-이론을 공리화함으로써, 그 본질적인 구조적 성질을 포괄한다.
• 특히 군 작용을 가진 C*-범주에서의 동치론적 함수와 K-이론에 대한 강성 결과를 수립한다.
• 군의 궤도 범주 위에서 C*-범주적 자료를 이용해 함자를 구성하고 연구함으로써, G--equivariant 호모토피 이론에의 적용을 가능하게 한다.
• 바움–콘스 편제의 맥락에서 후속 연구를 위한 필수 배경을 제공한다: G--equivariant 거칠은 호모로지, KK-이론, 파스클레 이론의 이중성.

제안 방법

• C*-범주에서 대상의 가군에 대한 직교 합을 보편 성질을 통해 정의함으로써, 힐버트 C*-모듈의 직합을 일반화한다.
• 군 작용을 가진 C*-범주의 감소된 외적곱을 $\mathbf{L}^2(G,\mathbf{C})$ 형식의 범주 위의 표현에서 유도된 노름을 사용하여 구성한다.
• 이중 C*-범주를 정의하고, $W^*$-환경과의 관계를 규명함으로써, 비단위 원소를 가진 C*-범주로의 유니터리 동치의 확장을 가능하게 한다.
• K-이론을 동치론적 함수로 공리화하고, 그 강성과 모리타 불변성 성질을 규명한다.
• 요네다 유형의 임bedding과 좌측 칸 확장을 사용하여, 궤도 범주에서의 함자를 G--equivariant 위상공간으로 옮긴다.
• 약한 G--equivariant 함수와 유도 함수 $i_G^K$를 사용하여, G--equivariant 자료로부터 K--equivariant 호모로지 이론을 구성한다.

실험 결과

연구 질문

• RQ1 무한 개의 대상에 대한 직교 합은 C*-범주에서 어떻게 엄밀하게 정의되고 특징지어질 수 있는가?
• RQ2 군 작용을 가진 C*-범주의 감소된 외적곱의 구조는 무엇이며, $\mathbf{L}^2(G,\mathbf{C})$ 위의 표현과 어떻게 관련되는가?
• RQ3 C*-범주 위에서 동치론적 함수로 본 K-이론의 강성 성질은 무엇인가?
• RQ4 군의 궤도 범주 위에서 함수는 어떻게 구성되고, G--equivariant 호모로지 이론으로 확장될 수 있는가?
• RQ5 이러한 구성들은 어떻게 G--equivariant 카스파로프 이론과 파스클레 이중성의 발전을 지원하는가?

주요 결과

• 논문은 보편 성질을 통해 단위 원소를 가진 C*-범주에서 무한 개의 대상에 대한 직교 합을 잘 정의된 개념으로 구성한다.
• 군 작용을 가진 C*-범주의 감소된 외적곱이 존재하며, $\mathbf{L}^2(G,\mathbf{C})$ 위의 표현에서 유도된 노름으로 특징지어진다.
• C*-범주의 $W^*$-환경이 구성되었고, 비단위 원소 설정으로의 유니터리 동치의 확장을 위한 핵심 도구로 기능함을 보였다.
• C*-범주의 K-이론은 동치론적 함수로 완전히 공리화되었으며, 강성과 모리타 불변성 성질이 증명되었다.
• 함수 $E^K(X) \simeq E^G(\mathrm{Res}^K_G(X))$를 통해 궤도 범주 $G\mathbf{Orb}$ 위의 함수들이 좌측 칸 확장을 통해 K--equivariant 호모로지 이론으로 확장되었으며, 이는 $K$-equivariant 호모로지 이론의 구성에 기여하였다.
• 이 구성은 G--equivariant 거칠은 호모로지와 바움–콘스 편제의 맥락에서 후속 연구를 위한 필수적인 범주론적 및 호모토피론적 기초를 제공한다.