[논문 리뷰] Attempts to define a Baum--Connes map via localization of categories for inverse semigroups

Bernhard Burgstaller|arXiv (Cornell University)|2015. 06. 28.

Advanced Operator Algebra Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 삼각형 카테고리 방법과 국소화를 사용하여, 군에서 단위 원소를 갖는 가산 역반세마포로의 Meyer-Nest 접근법을 범주화하고자 한다. Bott 주기성, 유도 함수자, 그리고 새로운 $L^2(G)$-공간 모델과 같은 핵심 도구를 확립하지만, 유도와 제한 함수자 간의 이중성에 심각한 결함이 있음을 밝혀내어, Dirac 원소의 존재성—따라서 전체 Baum–Connes 사상의 존재성—이 검증되지 않은 가정에 의존하게 된다.

ABSTRACT

Meyer and Nest showed that the Baum--Connes map is equivalent to a map on $K$-theory of two different crossed products. This approach is strongly categorial in method since its bases is to regard Kasparov's theory $KK^G$ as a triangulated category. We have tried to translate this approach to the realm of inverse semigroup equivariant $C^*$-algebras but can prove the existence of a Baum--Connes map only under some unverified additional assumptions which we however strongly motivate. Some of our results may be of independent interest, for example Bott periodicity, the definition of induction functors, the definition of a completely novel compatible $L^2(G)$-space, a Cuntz picture of $KK^G$, and the verification that $KK^G$ is a triangulated category.

연구 동기 및 목표

• 삼각형 카테고리 방법을 사용하여, 군에서 단위 원소를 갖는 가산 역세마포로의 Meyer-Nest 프레임워크를 확장한다.
• 군의 경우와 유사하게 국소화를 통해 $KK^G$-이론에서 Dirac 원소를 정의한다.
• 역세마포 $C^*$-대수의 구조에 맞는 $\ell^2(G)$의 $C^*$-대수적 모델을 $E$-연속성 조건 하에 구성한다.
• Cuntz의 그림을 사용하여, 역세마포에 대해 $KK^G$가 삼각형 카테고리임을 증명한다.
• 유한 부분역세마포에 대해 유도 및 제한 함수자를 정의하고, 그들의 수반 관계를 분석한다.

제안 방법

• Meyer-Nest 전략을 적응하여, Dirac 사상의 내림을 통해 유도된 $K$-이론 사상으로서 Baum–Connes 사상을 모델링한다.
• KK^G-사상들을 $*$-준동형사상으로서의 Cuntz 그림을 사용하여 $KK^G$가 삼각형 카테고리임을 확립한다.
• $E$-연속성 조건 하에 새로운 $L^2(G)$-공간 모델을 도입하여 Dirac 원소의 구성에 기여한다.
• 삼각형 카테고리에서 Brown의 표현 가능성 정리를 적용하여 $KK^G(P, \mathbb{C})$에서 후보 Dirac 원소를 구성한다.
• ${\mathcal{C}}{\mathcal{J}}$-단체적 근사 구성법을 사용하여 $KK^H$-군에서 동형성 조건을 만족하는 후보 사상 $D$를 구축한다.
• 고전적 제한 함수자를 대체로, Neeman의 이론적 결과에 기반한 올바른 유도의 오른쪽 수반 함수자를 도입하고, 검증되지 않은 가정 하에 그 성질을 분석한다.

실험 결과

연구 질문

• RQ1 삼각형 카테고리 기법을 사용하여, 군에서 역세마포로의 Meyer-Nest 접근법을 일반화할 수 있는가?
• RQ2 적절한 가정 하에 ${\mathcal{C}}{\mathcal{J}}$-단체적 근사를 통해 역세마포의 $KK^G$에서 Dirac 원소의 존재성이 도출되는가?
• RQ3 유한 부분역세마포 $H \subseteq G$에 대해 유도 함수자 $\mathrm{Ind}_H^G$의 올바른 오른쪽 수반 함수자는 무엇인가?
• RQ4 역세마포 $C^*$-대수의 맥락에서 $KK^G$-이론을 지원하기 위해, 일관된 $L^2(G)$-공간을 어떻게 구성할 수 있는가?
• RQ5 클래식한 항등식 $KK^G(\mathrm{Ind}_H^G A, B) \cong KK^H(A, \mathrm{Res}_G^H B)$는 역세마포 상황에서 어느 정도 성립하는가?

주요 결과

• 논문은 단위 원소를 갖는 가산 역세마포 $G$에 대해 $KK^G$가 삼각형 카테고리임을 Cuntz의 사상 그림을 사용하여 증명한다.
• 역세마포의 맥락에서 $KK^G$-이론에 대해 Bott 주기성이 검증된다.
• $E$-연속성 조건 하에 새로운 $L^2(G)$-공간 모델이 구성되며, 이는 $KK^G$-카테고리 구조에 필수적이다.
• 유한 부분역세마포 $H \subseteq G$에 대해 유도 함수자 $\mathrm{Ind}_H^G: KK^H \to KK^G$가 정의되며, Neeman의 결과에 기반해 이의 오른쪽 수반 함수자가 이론적 대상으로 확인된다.
• 올바른 오른쪽 수반 함수자에 대한 검증되지 않은 가정 하에 $KK^G(P, \mathbb{C})$에 후보 Dirac 사상 $D$가 구성되며, 이는 Baum–Connes 사상의 존재를 암시한다.
• 고전적 이중성 $KK^G(\mathrm{Ind}_H^G A, B) \cong KK^H(A, \mathrm{Res}_G^H B)$는 역세마포 맥락에서 성립하지 않으며, 제한 함수자는 정확한 오른쪽 수반 함수자가 아니다.