[논문 리뷰] A noncommutative Atiyah-Patodi-Singer index theorem in KK-theory

Alan L. Carey, Jessica Phillips외 1명|ArXiv.org|2007. 11. 19.

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

한 줄 요약

이 논문은 비가환 기하학에서 아티야-파타디-사이러스 지수 정리의 비가환 성질을 KK 이론을 통해 확장하여, APS 경계 조건을 통해 홀수 및 짝수 지수 쌍을 연결하는 매핑 콘 프레임워크를 구축함으로써 성립시켰다. 주요 결과는 국소적으로 유한하고, 근원 없고, 흡수 없고, 방향성이 있는 그래프의 C*-대수에서, 매핑 콘 대수에서 고정점 대수로의 지수 사상이 동형사상임을 보여주며, 이는 APS 경계 조건을 통해 완전한 K-이론적 정보를 제공한다.

ABSTRACT

We investigate an extension of ideas of Atiyah-Patodi-Singer (APS) to a noncommutative geometry setting framed in terms of Kasparov modules. We use a mapping cone construction to relate odd index pairings to even index pairings with APS boundary conditions in the setting of KK-theory, generalising the commutative theory. We find that Cuntz-Kreiger systems provide a natural class of examples for our construction and the index pairings coming from APS boundary conditions yield complete K-theoretic information about certain graph C*-algebras.

연구 동기 및 목표

• 카스파로프 모듈을 사용하여 비가환 기하학으로 아티야-파타디-사이러스 지수 정리를 확장한다.
• KK이론에서 매핑 콘 구성에 의해 APS 경계 조건을 통해 홀수 지수 쌍을 짝수 지수 쌍과 연결한다.
• 쿤츠-크리거 체계가 그래프 C*-대수의 완전한 K-이론적 자료를 APS 지수 쌍을 통해 제공하는 자연스러운 예를 제공함을 보여준다.
• 근원 없고, 흡수 없고, 광범위한 그래프 C*-대수의 범주에서 매핑 콘 대수에서 고정점 대수로의 지수 사상이 동형임을 확립한다.

제안 방법

• KK이론에서 홀수 및 짝수 지수 쌍을 연결하기 위해 매핑 콘 구성 방법을 사용한다.
• 반무한 실린더 위의 힐버트 공간 번들의 카스파로프 모듈을 정의하며, APS 경계 조건을 적용한다.
• 특수한 처리를 거쳐 $\mathcal{D}$의 핵을 포함하는 블록 행렬 형태로 딜라타형 연산자 $\hat{\mathcal{D}}$를 구성한다: $\partial_t + \mathcal{D}$ 및 $-\partial_t + \mathcal{D}$.
• 핌스너-보이쿨루 세quences와 쌍대 게이지 작용을 활용하여 그래프 C*-대수의 K-이론을 분석한다.
• 카스파로프 곱을 사용하여 $K_0(M(F,A))$에서 $K_0(F)$로의 지수 사상을 정의한다. 여기서 $F$는 고정점 대수이다.
• 스펙트럼 이론과 파라메트릭스 구성 방법을 적용하여 해석적 역행렬의 자기수반성과 컴act성을 증명한다.

실험 결과

연구 질문

• RQ1 클래식한 APS 지수 정리는 KK이론을 통해 비가환 기하학으로 일반화될 수 있는가?
• RQ2 매핑 콘 구성에 의해 비가환 설정에서 홀수 및 짝수 지수 쌍은 어떻게 관련되는가?
• RQ3 쿤츠-크리거 체계는 APS 경계 조건이 그래프 C*-대수의 완전한 K-이론적 정보를 제공하는 자연스러운 예를 제공하는가?
• RQ4 근원 없고, 흡수 없이, 그래프 C*-대수에서 매핑 콘 대수에서 고정점 대수로의 지수 사상은 동형인가?

주요 결과

• 국소적으로 유한하고, 연결되어 있으며, 근원 없고, 흡수 없는 방향성 있는 그래프에 대해, 지수 사상 $\mathrm{Index}_{\hat{\mathcal{D}}}: K_0(M(F,A)) \to K_0(F)$ 는 동형사상이다.
• APS 카스파로프 모듈을 통한 지수 쌍은 그래프 $C^*$-대수의 전체 $K_0$-이론적 구조를 복원한다.
• $K_0(M(F,A)) \to K_0(F)$ 사상은 덧셈군으로서 $K_0(F)$와 동형이며, 쿤츠 대수 $O_n$의 경우 $K_0(M(F,A)) \cong (n-1)\mathbb{Z}[1/n]$ 이다.
• 프로젝션 $[S_\mu S_{\overline{\mu}}^*]$ 의 지수는 $\sum_{j=0}^{|μ|-1} [S_{\overline{\mu}} S_{\overline{\mu}}^*] \sim \sum_{j=0}^{|μ|-1} n^{-(|μ|-j)}$ 와 같으며, 이는 $\mathbb{Z}[1/n]$ 내의 유리수를 이룬다.
• 일반적으로 평가 사상 $ev_*$ 는 단사도 아니고 전사도 아닐 수 있으나, 지수 사상은 이를 상쇄하여 동형사상을 이룬다.
• 이 구성은 비가환 경우에서 $K_1(C(X)) \cong K_0(M(\mathbb{C}, C(X)))$ 를 보여주며, 매핑 콘을 통한 스펙트럼 성질의 일반화를 이루고 있다.