[논문 리뷰] Twisted K-theory

Michael Atiyah, Graeme Segal|arXiv (Cornell University)|2004. 07. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 161

한 줄 요약

이 논문은 복소수 사영 공간의 배럴 또는 C*-대수의 배럴을 지닌 공간 위에서 비틀린 복소 K-이론에 대한 체계적인 프레임워크를 수립하며, 이론의 비틀림이 H³(X; ℤ)에 의해 분류됨을 보여준다. 또한 컴acts 리 군의 작용에 대해 등변 버전을 개발하여 비틀림이 등변 코homology H³ᴳ(X; ℤ)에 의해 분류됨을 증명하고, 프리드-홉킨스-텔레만의 작업에서 유래한 예시들과 연결한다.

ABSTRACT

Twisted complex K-theory can be defined for a space X equipped with a bundle of complex projective spaces, or, equivalently, with a bundle of C ∗ -algebras. Up to equivalence, the twisting corresponds to an element of H 3 (X; Z). We give a systematic account of the definition and basic properties of the twisted theory, emphasizing some points where it behaves differently from ordinary K-theory. (We omit, however, its relations to classical coho- mology, which we shall treat in a sequel.) We develop an equivariant version of the theory for the action of a compact Lie group, proving that then the twistings are classified by the equivariant cohomology group H 3 G (X; Z). We also consider some basic examples of twisted K-theory classes, related to those appearing in the recent work of Freed-Hopkins-Teleman.

연구 동기 및 목표

• 프로젝트브 번들의 구조를 지닌 공간에 대해 비틀린 복소 K-이론의 체계적 정의와 기본 성질을 제공하는 것.
• 비틀린 K-이론의 비틀림이 H³(X; ℤ)의 원소와 어떻게 대응되는지 명확히 하여 일반 K-이론과의 차이를 부각하는 것.
• 컴팩트 리 군의 작용 하에서 비틀린 K-이론을 등변 설정으로 확장하는 것.
• 상위 양자장 이론 분야에서 프리드, 호프킨스, 텔레만의 작업에서 알려진 예시들과 이론을 연결하는 것.

제안 방법

• 비틀린 K-이론을 정의하기 위해 복소수 사영 공간의 배럴 또는 C*-대수의 배럴을 기하적 자료로 사용한다.
• 프로젝트브 유니터리 배럴의 분류 공간을 적용하여 H³(X; ℤ)를 통해 비틀림을 표현한다.
• 컴팩트 리 군의 작용에 대한 등변 코homology 이론을 활용하여 분류를 일반화한다.
• 구조적 성질에 중점을 두고 호모토피 이론적 및 층 이론적 기법을 사용하여 이론을 발전시킨다.
• 비틀린 K-이론의 클래스를 분석하기 위해 채르니 캐릭터와 스펙트럴 시퀀스 추론을 활용한다.
• 특히 루프 군과 모듈라 텐서 카테고리와 관련된 수학적 물리학 분야의 알려진 예시들과의 연결을 시도한다.

실험 결과

연구 질문

• RQ1 프로젝트브 번들의 구조를 지닌 공간에 대해 비틀린 K-이론을 어떻게 체계적으로 정의할 수 있는가?
• RQ2 비틀린 K-이론이 일반 K-이론과 구조적·분류 측면에서 본질적으로 어떻게 다를 수 있는가?
• RQ3 컴팩트 리 군의 작용 하에서 비틀림은 어떻게 분류되는가?
• RQ4 H³ᴳ(X; ℤ)는 등변 K-이론의 비틀림을 분류하는 데 어떤 역할을 하는가?
• RQ5 비틀린 K-이론의 클래스는 프리드, 호프킨스, 텔레만의 작업에서 유래한 클래스와 어떻게 관련이 있는가?

주요 결과

• 복소수 사영 공간의 배럴 또는 C*-대수의 배럴을 지닌 공간에 대해 비틀린 복소 K-이론은 잘 정의되어 있다.
• 비틀림의 집합은 동치 관계를 고려할 때 정수 코hom로 그룹 H³(X; ℤ)에 의해 분류된다.
• 등변 경우에서 비틀림은 등변 코hom로 그룹 H³ᴳ(X; ℤ)에 의해 분류된다.
• 이론은 특히 텐서곱과 보트 주기성에서의 행동 측면에서 일반 K-이론과의 구조적 차이를 보인다.
• 프리드, 호프킨스, 텔레만의 작업에서 나타나는 비틀린 K-이론의 클래스를 이해하는 데 자연스러운 배경을 제공한다.
• 결과는 향후 고전적 코homology와의 관계에서 비틀린 K-이론을 더 깊이 연구할 수 있는 기초를 다진다.