[논문 리뷰] Ramond-Ramond fields and twisted differential K-theory

Daniel Grady, Hisham Sati|arXiv (Cornell University)|2019. 03. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 80인용 수 7

한 줄 요약

이 논문은 미분 K-이론에서 Ramond-Ramond 장을 통해 gerbe와 연결을 이용해 고전적 Chern character를 보다 정교하게 다듬은 비틀린 미분 Chern 사상 지도를 수립한다. 이는 비틀린 미분 K-이론에서 유리수 미분 코homology로의 정규화된 사상 구축을 통해, untwisted 경우와의 호환성을 보이며, Deligne-Beilinson cup 곱을 이용한 Â-계수의 미분 보정을 제공한다.

ABSTRACT

We provide a systematic approach to describing the Ramond-Ramond (RR) fields as elements in twisted differential K-theory. This builds on a series of constructions by the authors on geometric and computational aspects of twisted differential K-theory, which to a large extent were originally motivated by this problem. In addition to providing a new conceptual framework and a mathematically solid setting, this allows us to uncover interesting and novel effects. Explicitly, we use our recently constructed Atiyah-Hirzebruch spectral sequence (AHSS) for twisted differential K-theory to characterize the RR fields and their quantization, which involves interesting interplay between geometric and topological data. We illustrate this with the examples of spheres, tori, and Calabi-Yau threefolds.

연구 동기 및 목표

• Ramond-Ramond 장을 포함하는 비틀린 미분 K-이론에서의 비틀린 미분 Chern 사상 정의.
• 비틀린 미분 K-이론에서 유리수 미분 코homology로의 정규화된 사상 구축을 통해 고전적 Chern 사상의 보정.
• Pontrjagin 계수의 Deligne-Beilinson cup 곱을 이용한 Â-계수의 미분 보정 제공.
• 국소적 비틀림 성질을 통해 비틀린 사상이 untwisted 경우와의 호환성을 확립.
• D-브레인 전하가 포함된 유형 IIA 초현실론 이론에서의 2차 항을 포함한 미분 K-이론에서의 Riemann-Roch 정리의 기초 마련.

제안 방법

• 비틀린 미분 K-이론의 스택 $\widehat{\rm Tw}(\widehat{\rm K})$ 에 대한 스택 $\mathbf{B}^2U(1)_\nabla$ 에 대한 연결을 가진 gerbe의 호모토피 프로젝션의 보편 성질을 이용해 사상 정의.
• 비틀린이 아닌 미분 Chern 사상 $\widehat{\rm ch}: \widehat{\rm K} \to \widehat{H\mathbb{Q}}[u,u^{-1}]$ 을 이용하여, 미분 링 스펙트럼 위에서 $\infty$-Grothendieck 구성법을 통해 비틀린 미분 Chern 사상 구축.
• 정밀한 Pontrjagin 계수의 Deligne-Beilinson cup 곱 $\cup_{\rm DB}$ 를 이용해 Â-계수의 미분 보정 정의하여, 클래스 $\hat{\mathbb{A}}(M;\nabla_g) \in \widehat{H}^*(M;\mathbb{Q}[u,u^{-1}])$ 를 얻음.
• 비틀린 K-이론과 유리수 코homology 비틀림 간의 호환성을 확보하기 위해, $j: \mathbf{B}^2\mathbb{R}/\mathbb{Q}_\nabla \to \widehat{\rm Tw}(\widehat{H\mathbb{Q}}[u,u^{-1}])$ 를 통한 인수화 확립.
• 3형태 곡률 $H \in \Omega^3_{\rm cl}(M)$ 를 통해 비틀림을 실현하기 위해 $\Omega^3_{\rm cl}$, $\mathbf{B}^3\mathbb{Z}$, $\mathbf{B}^3\mathbb{R}$ 를 포함하는 호모토피 프로젝션 다이어그램 사용.
• 호모토피 프로젝션의 보편 성질을 적용하여, 기저 위상적 비틀림 $h: M \to \mathbf{B}^3\mathbb{Z}$ 에서 유도된 사상 $i: \mathbf{B}^2U(1)_\nabla \to \widehat{\rm Tw}(\widehat{\rm K})$ 유도.

실험 결과

연구 질문

• RQ1 Ramond-Ramond 장을 사용하여 비틀린 미분 K-이론으로의 미분 Chern 사상은 어떻게 확장될 수 있는가?
• RQ2 연결을 가진 gerbe에서 미분 K-이론의 비틀림 스택으로의 정규화된 사상은 무엇인가?
• RQ3 Deligne-Beilinson 코hom올로지의 맥락에서 Â-계수는 어떻게 미분적으로 보정될 수 있는가?
• RQ4 2차 항, 예를 들어 $\eta$-형태는 전체적인 미분 보정된 Riemann-Roch 정리에서 어떤 역할을 하는가?
• RQ5 비틀린 미분 Chern 사상은 국소적으로 어떻게 untwisted 경우로 감소하는가?

주요 결과

• 비틀린 미분 K-이론의 비틀림으로서 연결을 가진 gerbe를 실현하는 정규화된 사상 $i: \mathbf{B}^2U(1)_\nabla \to \widehat{\rm Tw}(\widehat{\rm K})$ 가 구성됨.
• 비틀린 미분 Chern 사상 $\widehat{{\rm ch}}_{\hat{h}}$ 는 스펙트럼의 층의 묶음 간의 사상으로서 정의되며, $\widehat{\rm K}_{\hat{h}} \to \widehat{H\mathbb{Q}}[u,u^{-1}]_{\hat{h}}$ 로서, 국소적으로 비틀림이 없는 미분 Chern 사상으로 축소됨.
• Â-계수의 미분 보정은 $\hat{\mathbb{A}}(M;\nabla_g) = 1 - \frac{1}{24}\hat{p}_1 + \frac{1}{5760}(7\hat{p}_1^2 - 4\hat{p}_2) + \cdots$ 로 주어지며, 곱은 Deligne-Beilinson cup 곱으로 정의됨.
• 사상 $j: \mathbf{B}^2\mathbb{R}/\mathbb{Q}_\nabla \to \widehat{\rm Tw}(\widehat{H\mathbb{Q}}[u,u^{-1}])$ 를 통한 인수화로 인해, 비틀린 K-이론과 유리수 코homology 비틀림 간의 호환성이 보장됨.
• 비틀린 사상은 $\rm Spin^c$-다양체에서 비틀린 K-이론의 Poincar\'e 대칭성과 호환되며, 역비틀림을 포함하는 호모토피 교환 다이어그램을 통해 입증됨.
• 논문은 전체적인 미분 보정에서 2차 항인 $\eta$-형태를 포함할 필요성을 규명하며, 특히 유형 IIA 초현실론 이론에서 D-브레인 전하에 해당함.