[논문 리뷰] Differential Twisted K-theory and Applications

Alan L. Carey, Jouko Mickelsson외 1명|ArXiv.org|2007. 08. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 47인용 수 6

한 줄 요약

이 논문은 연결과 곡률을 갖는 전환 게르베에 대한 기하적 데이터를 포함하는 미분 비틀린 K-이론의 기하 모델을 제안하며, 일반적인 미분 K-이론을 일반화한다. 기하적 데이터에 의존하는 미분 비틀린 체르니 캐릭터를 정의하고, 비틀린 설정에서 리만-로흐 정리를 수립하며, SU(2)와 SU(3)와 같은 컴팩트 단순 리 군의 비틀린 K-이론을 계산하는 데 이 프레임워크를 적용하여 에타 형식과 선다발의 차수를 통해 토파스 클래스를 드러낸다.

ABSTRACT

In this paper, we develop differential twisted K-theory and define a twisted Chern character on twisted K-theory which depends on a choice of connection and curving on the twisting gerbe. We also establish the general Riemann-Roch theorem in twisted K-theory and find some applications in the study of twisted K-theory of compact simple Lie groups.

연구 동기 및 목표

• 비틀림뿐만 아니라 전환 게르베의 연결과 곡률과 같은 기하적 데이터에 의존하는 보다 정교한 코homology 이론—미분 비틀린 K-이론—을 개발하는 것.
• 기하적 및 위상적 정보를 모두 포함하는 비틀린 미분 체르니 캐릭터를 정의하여, 비틀린 K-이론에서 고전적 체르니 캐릭터를 일반화하는 것.
• 미분 비틀린 설정에서 $\check{K}^{ev/odd}(X,\check{\sigma})$ 와 $H^{ev/odd}(X,d-H)$ 사이를 연결하는 비틀린 리만-로흐 정리를 수립하는 것.
• 컴팩트 단순 리 군, 특히 SU(2)와 SU(3)의 비틀린 K-이론 군을 계산하고, 에타 형식과 같은 미분 불변량을 통해 토파스 클래스를 탐지하는 데 이 프레임워크를 적용하는 것.

제안 방법

• PU(\mathcal{H})-_bundle의 국소적 표준형과 자기수반 연산자의 스펙트럼 컷을 이용해 기하 순환을 구성함으로써 미분 비틀린 K-이론 $\check{K}^{ev/odd}(X,\check{\sigma})$ 를 구성한다.
• Proposition 3.3에 의해 선택에 의존하지 않는 것을 보장하는 조건 하에, $\check{K}^{ev/odd}(X,\check{\sigma})$ 에서 $\Omega^{ev/odd}(X,d-H)$ 로 가는 미분 비틀린 체르니 캐릭터 $ch_{\check{\sigma}}$ 를 정의한다.
• 일반적인 연결을 갖는 분류 공간을 통해 일반적인 모델을 이용하여, 체르니 캐릭터의 전역 정의를 가능하게 한다.
• 가족 인덱스 정리와 스펙트럼 이론을 활용하여 SU(3)의 비틀린 콘jugacy 군의 클래스에서 디랙 연산자의 영 모드를 분석하고, 이를 선다발과 표현과 연결한다.
• 영 모드 선다발의 차수를 $2(2j+1)$ 로 계산하며, 이는 $K^1(SU(3),k)$ 내의 원소를 결정한다. 이 값의 기수는 $k$에 따라 달라진다.
• SU(2) \subset SU(3) 에서 에타 형식을 통합하여 $2j+1$ 를 $k$ 모듈로에서 추출하며, $\mathbb{Z}/k\mathbb{Z}$ 내의 원소를 탐지한다.

실험 결과

연구 질문

• RQ1 전환 게르베의 연결과 곡률과 같은 기하적 데이터를 포함하는 미분 비틀린 K-이론은 어떻게 구성할 수 있는가?
• RQ2 비틀린 미분 체르니 캐릭터의 정확한 형태는 무엇이며, 비틀린 K-이론에서 고전적 체르니 캐릭터와의 관계는 어떠한가?
• RQ3 미분 비틀린 설정에서 리만-로흐 정리를 수립할 수 있는가? 이는 $\check{K}^{ev/odd}(X,\check{\sigma})$ 와 $H^{ev/odd}(X,d-H)$ 사이의 관계를 설명하는가?
• RQ4 에타 형식과 같은 미분 불변량은 SU(3)와 같은 컴팩트 리 군의 비틀린 K-이론에서 토파스 클래스를 어떻게 탐지하는가?
• RQ5 원소 $2j+1$ 이 $K^1(SU(3),k)$ 내의 원소를 결정하는 데 어떤 역할을 하는가? 그리고 이 값은 어떻게 미분 데이터로부터 복원되는가?

주요 결과

• Proposition 3.3에 의해 입증되듯이, 미분 비틀린 체르니 캐릭터 $ch_{\check{\sigma}}$ 는 국소적 표준형과 스펙트럼 컷의 선택에 영향을 받지 않으며 잘 정의되어 있다.
• SU(2)의 경우, 비틀린 $K^1$ 군은 $\mathbb{Z}/k\mathbb{Z}$ 이며, 미분 체르니 캐릭터는 $\int_{S^2} c_1(L_j, \nabla_j) \mod k$ 를 통해 원소를 탐지하며, 이는 $2(2j+1) \mod k$ 를 유도한다.
• SU(3)의 경우, 영 모드 선다발의 차수는 $2(2j+1)$ 이며, 이 원소가 $K^1(SU(3),k)$ 에서 짝수일 때 $k$ 가 짝수이고, 홀수일 때 $k$ 가 홀수이다.
• SU(2) 위에서 미분 형식 $\eta_{[0]}$ 를 통합하면 $\int_{SU(2)} \eta_{[0]} H_0 = -\frac{2(2j+1)}{k} \mod c_G(k)/k$ 를 얻으며, 이는 미분 데이터로부터 $2j+1$ 매개변수를 복원한다.
• k가 짝수일 경우, $K^1(SU(3),k) \cong \mathbb{Z}/(k/2)\mathbb{Z}$ 이며, $K^0(SU(3))$ 와의 텐서 곱은 오직 짝수 원소만 생성하며, 이는 차수가 짝수임과 일치한다.
• 비틀린 콘jugacy 군 $M_7 = SU(3)/SO(2)$ 는 일반적인 궤도를 지니며, 이 궤도에서 영 모드 다발은 선다발 $L = SU(3) \times_{2j+1} \mathbb{C}$ 이며, 이 표현은 특성 $2j+1$ 에 의해 결정된다.