[논문 리뷰] Thom isomorphism and Push-forward map in twisted K-theory

Alan L. Carey, Bai‐Ling Wang|ArXiv.org|2005. 07. 21.

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

한 줄 요약

이 논문은 임의의 다양체 간의 미분 가능 사상에 대해 K--oriented가 아니어도 되는 조건에서도 비틀린 K-이론에서 톰 이sovomorphism과 일반적인 프로젝션 맵을 수립한다. 이는 아티야-사이먼스 지수 정리의 일반화이자, 비자명한 B-장이 존재할 경우 D-브레인 전하의 정규화된 프레임워크를 제공하며, 오랫동안 미해결이었던 D-브레인 분류 문제를 해결한다.

ABSTRACT

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X o Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable proper map and the Atiyah-Singer index theorem of Dirac operators on Clifford modules. For $D$-branes satisfying Freed-Witten's anomaly cancellation condition in a manifold with a non-trivial $B$-field, we associate a canonical element in the twisted K-group to get the so-called D-brane charges.

연구 동기 및 목표

• K-orient된 사상이 아닌 경우에도 K-이론의 프로젝션 맵을 일반화함으로써 비틀린 K-이론의 맥락에서 그 범위를 넓히는 것.
• 실수 벡터 번들의 비틀린 K-이론에서 톰 이sovomorphism을 정립함. 이는 토르션 및 비토르션 경우 모두 포함.
• 비자명한 B-장이 존재할 경우 끈 이론에서 D-브레인 전하의 엄밀한 수학적 기초를 제공하며, 프리드-위튼 이상성 제거 조건을 만족시키는 것.
• 비틀린 K-이론의 프레임워크 내에서 클리퍼드 모듈 위의 디랙 연산자에 대한 아티야-사이먼스 지수 정리를 통합하는 것.
• 비틀린 K-이론이 미분기하학 및 수학물리학에서 위상적 지수 이론과 프로젝션 구성의 자연스러운 설정임을 보여주는 것.

제안 방법

• 저자들은 임의의 미분 가능 사상 $ f: X \to Y $ 에 대해, $ f $ 의 차이의 두 번째 스티펠-브리트클래스의 보크슈타인 상수인 $ W_3(f) \in H^3(X, \mathbb{Z}) $ 를 사용하여 비틀린 K-이론에서 프로젝션 맵을 정의한다.
• 그들은 $ f_!: K^*_{f^*\sigma + W_3(f)}(X) \to K^*_{\sigma}(Y) $ 를 구성하며, 이는 $ \dim X - \dim Y \mod 2 $ 의 등급 이동과 일치하며, 피카르 군 작용과 호환된다.
• 기저 다양체의 $ W_3 $ 클래스를 사용하여 번들의 총공간에 대해 번들 게르베 모듈 구조를 구성함으로써 실수 벡터 번들의 비틀린 K-이론에서 톰 이sovomorphism을 수립한다.
• 사상 $ f: X \to \text{pt} $ 의 경우, 프로젝션 맵은 클리퍼드 모듈 위의 디랙 연산자의 아티야-사이먼스 지수를 회복하며, 기존 지수이론과의 일致성을 보여준다.
• 이러한 구성은 $ Cl(X) $-모듈과 라이징 번들 게르베 $ \Gamma_{W_3(X)} $ 의 번들 게르베 모듈 간의 동치를 사용하여, 지수를 비틀린 K-이론 클래스로 식별할 수 있도록 한다.
• D-브레인 전하는 $ \iota: Q \to X $ 가 $ \iota^*\sigma + W_3(Q) = 0 $ 을 만족할 때, 프로젝션 $ \iota_!: K(Q) \to K^*_{\sigma}(X) $ 를 통해 정의되며, 이는 이상성 제거를 보장한다.

실험 결과

연구 질문

• RQ1 비틀린 K-이론의 맥락에서 K-orient되지 않은 사상에 대해 K-이론의 프로젝션 맵을 어떻게 일반화할 수 있는가?
• RQ2 다양체가 스피너 또는 K-orient되지 않은 경우, 아티야-사이먼스 지수 정리에 대한 올바른 비틀린 K-이론 프레임워크는 무엇인가?
• RQ3 비자명한 B-장이 존재할 경우, 프리드-위튼 이상성 제거 조건을 만족시키는 D-브레인 전하를 어떻게 엄밀하게 정의할 수 있는가?
• RQ4 비틀린 K-이론에서 프로젝션 맵의 비틀림을 정의하는 데 있어 $ W_3(f) $ 클래스의 역할은 무엇인가?
• RQ5 비틀림 또는 K-orient이 없는 조건에서도 실수 벡터 번들의 비틀린 K-이론에서 톰 이sovomorphism을 어떻게 수립할 수 있는가?

주요 결과

• 임의의 미분 가능 사상 $ f: X \to Y $ 에 대해 프로젝션 맵 $ f_!: K^*_{f^*\sigma + W_3(f)}(X) \to K^*_{\sigma}(Y) $ 는 잘 정의되어 있으며, $ \dim X - \dim Y \mod 2 $ 의 등급 이동을 포함하여 고전적 고시니 맵을 일반화한다.
• 사상 $ f $ 가 K-oriented일 경우, 프로젝션 맵은 표준적인 아티야-히르체브루흐 구성으로 줄어들며, 공식 $ f_{!}^{c_1 + 2c}(a) = f_{!}^{c_1}(a \cdot [L_c]) $ 가 성립한다.
• $ f: X \to \text{pt} $ 인 경우, 프로젝션 맵은 클리퍼드 모듈 위의 디랙 연산자의 아티야-사이먼스 지수를 계산하며, 비틀린 K-이론을 통해 $ \mathbb{Z} $ 원소로 지수를 회복한다.
• 모든 실수 벡터 번들의 비틀린 K-이론에서 톰 이sovomorphism은 $ K^*_{W_3(X)}(X) \cong K^*(TX) $ 를 만족하며, 총공간의 번들 게르베 구조를 사용하여 수립된다.
• 조건 $ \iota^*\sigma + W_3(Q) = 0 $ 을 만족하는 D-브레인의 전하는 $ \iota_!(\xi) \in K^*_{\sigma}(X) $ 로 정의되며, 이는 비틀린 K-군 내에서 정규화된 클래스를 제공한다.
• 이 구성은 비틀린 K-이론의 피카르 군 작용과 호환되어 자연성과 선형 번들 변형 하에서의 일致성을 보장한다.