[논문 리뷰] Twisted K-theory of differentiable stacks

Jean-Louis Tu, Ping Xu외 1명|arXiv (Cornell University)|2003. 06. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 5

한 줄 요약

이 논문은 S¹-gerbe와 C*-대수 이론의 KK이론 기반 기법을 사용하여 미분 가능 스택에 대한 비틀린 K-이론을 개발하며, 위상공간, 궤도 다양체, 군 작용 K-이론을 모두 포함하는 통합 프레임워크를 제공한다. 주요 기여는 코homological 및 분석적 공식화의 완전성으로, Mayer-Vietoris 수열, Bott 주기성, 그리고 곱 구조를 포함하며, 적절한 조건 하에서 비틀린 벡터(bundle)에 의해 나타나는 것과 동치임을 보여준다.

ABSTRACT

In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β o K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theory of topological spaces, twisted equivariant $K$-theory, and the twisted $K$-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted $K$-groups can be expressed by so-called "twisted vector bundles". Our approach is to work on presentations of stacks, namely \emph{groupoids}, and relies heavily on the machinery of $K$-theory ($KK$-theory) of $C^*$-algebras.

연구 동기 및 목표

• 미분 가능 스택에서 비틀린 K-이론을 위한 일반적 프레임워크를 수립하여 기존의 비틀린 K-이론을 포함하고 일반화한다.
• Mayer-Vietoris 성질, Bott 주기성, 비틀린 K-군에 대한 곱 구조와 같은 기본 성질을 증명한다.
• 비틀린 K-이론의 프레드홀름 연산자 표현을 제공하고, 비틀린 K-군이 언제 비틀린 벡터(bundle)에서 유래되는지 규명한다.
• 일반선형군의 표현을 통한 형식론을 사용하여 일반적인, 군 작용의, 궤도 다양체의 비틀린 K-이론을 하나의 공식론으로 통합한다.

제안 방법

• 모르타 동치를 활용하여 리 군의 족으로서 스택의 표현을 다루며, 표현에 의존하지 않는 불변량을 정의한다.
• 비틀린 K-이론의 클래스를 묘사하기 위해 군의 족의 S¹-중앙 확장을 사용하며, 딕스미어-두아이 클래스가 비틀림을 분류한다.
• 연속적인 C*-대수의 필드와 힐베르트 모듈러를 사용하여 군의 족의 S¹-중앙 확장의 축소 C*-대수를 구성한다.
• S¹-중앙 확장의 축소 C*-대수의 K-이론으로서 비틀린 K-이론을 정의하며, KK이론과 카스파로프 곱을 사용한다.
• 힐베르트 모듈러 표현을 통한 프레드홀름 그림을 정의하고, 군의 족 위의 관련 배럴의 단면으로서 비틀린 벡터(bundle)를 정의한다.
• 비틀린 K-이론 군이 KK-이분류를 통한 C*-대수의 K-군과 동형임을 증명하며, 곱 구조를 가능하게 한다.

실험 결과

연구 질문

• RQ1 비틀린 K-이론은 어떻게 미분 가능 스택에서 일관되게 정의될 수 있으며, 궤도 다양체나 군 작용 K-이론과 같은 기존 사례를 일반화할 수 있는가?
• RQ2 비틀린 K-이론이 스택에서 만족해야 할 기본 코homological 성질은 무엇인가? 예를 들어 Mayer-Vietoris 성질과 Bott 주기성은 어떻게 작용하는가?
• RQ3 비틀린 K-이론이 비틀린 벡터(bundle)에 의해 표현될 수 있는 조건은 무엇이며, 이는 프레드홀름 그림과 어떻게 관련되는가?
• RQ4 이 프레임워크에서 곱 구조 $ K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha+\beta} $ 는 어떻게 유도되는가?
• RQ5 군의 족의 C*-대수는 비틀린 K-이론을 실현하는 데 어떤 정확한 역할을 하는가? 그리고 KK이론은 이를 어떻게 지원하는가?

주요 결과

• 미분 가능 스택에서 비틀린 K-이론은 Mayer-Vietoris 성질을 만족하여, 코homology 이론으로서의 성질을 갖는다.
• 비틀린 K-이론은 축소 C*-대수의 기반에 의해 유도되는 2주기적 구조를 갖는다. 즉, Bott 주기성이 성립한다.
• 곱 구조 $ K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha+\beta} $ 는 KK이론의 카스파로프 곱을 통해 자연스럽게 실현된다.
• 비틀린 K-이론 군은 리 군의 족의 S¹-중앙 확장의 축소 C*-대수의 K-이론과 동형이다.
• 적절한 조건 하에서 — 특히 비틀림이 연속적인 펠 봉우리로 표현될 경우 — 비틀린 K-이론은 비틀린 벡터(bundle)의 K-이론과 동형이다.
• 비틀린 K-이론의 프레드홀름 그림은 축소 C*-대수가 힐베르트 모듈러 위에 작용함으로써 실현되며, K-군에 대한 분석적 모델을 제공한다.