[論文レビュー] Thom isomorphism and Push-forward map in twisted K-theory

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

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 6

ひとこと要約

本稿は、K-向き付けでない場合を含め、任意の滑らかな多様体間の写像に対して、ねじれK理論におけるトム同型と一般化されたプッシュフォワード写像を確立する。アティヤ＝シンガーの指数定理を拡張し、非自明なB場のもとでのDブレーンの電荷を、プッシュフォワード写像による twisted K群の要素の関連付けを通じて、一貫した枠組みで定式化する。これは、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-向き付けでない写像へのK理論におけるプッシュフォワード写像の一般化、特にねじれK理論の文脈における目的。
• 実ベクトルバンドルに対して、ねじれK理論におけるトム同型を、 torsion および非 torsion の両ケースで確立すること。
• 非自明なB場のもとでの弦理論におけるDブレーン電荷の厳密な数学的定式化を提供し、Freed-Wittenの異常キャンセレーション条件を満たすこと。
• ディラック作用素のアティヤ＝シンガー指数定理を、ねじれK理論の枠組み内で、クリフォード加群上に統一すること。
• ねじれK理論が微分幾何学および数理物理学におけるトポロジカル指数理論とプッシュフォワード構成の自然な設定であることを示すこと。

提案手法

• 著者らは、写像 $ f: X \to Y $ に対して、差の第二スティーロン・ホイットニー類のボッケシュタイン像である $ W_3(f) \in H^3(X, \mathbb{Z}) $ を用いて、ねじれK理論におけるプッシュフォワード写像を定義する。
• グレーディングシフトを $ \dim X - \dim Y \mod 2 $ にした写像 $ f_!: K^*_{f^*\sigma + W_3(f)}(X) \to K^*_{\sigma}(Y) $ を構成し、ピカール群作用と整合性を持つ。
• ベース多様体の $ W_3 $ のクラスを用いて、バンドルゲイブのモジュール構造をバンドルの全空間上に構成することで、実ベクトルバンドルに対するトム同型を確立する。
• 写像 $ f: X \to \text{pt} $ の場合、プッシュフォワード写像はクリフォード加群上のディラック作用素のアティヤ＝シンガー指数を回復し、既知の指数理論と整合することを示す。
• 持ち上げバンドルゲイブ $ \Gamma_{W_3(X)} $ に対する $ Cl(X) $-加群とバンドルゲイブ加群の同値性を用い、インデックスをねじれK理論類に同定可能にする。
• Dブレーン電荷は、$ \iota: Q \to X $ が $ \iota^*\sigma + W_3(Q) = 0 $ を満たすとき、プッシュフォワード $ \iota_!: K(Q) \to K^*_{\sigma}(X) $ を介して定義され、異常キャンセレーションを保証する。

実験結果

リサーチクエスチョン

• RQ1 ねじれK理論の文脈において、K-向き付けでない写像へのK理論におけるプッシュフォワード写像をどのように一般化できるか？
• RQ2 多様体がスピンでもK-向き付けでもない場合、アティヤ＝シンガーの指数定理がねじれK理論において適切に定式化される正しい枠組みは何か？
• RQ3 非自明なB場が存在する状況で、Freed-Wittenの異常キャンセレーション条件を満たすDブレーン電荷をどのように厳密に定義できるか？
• RQ4 プッシュフォワード写像のねじれを定義する際、クラス $ W_3(f) $ が果たす役割は何か？
• RQ5 ねじれK理論において、torsion やK-向き付けの仮定なしに、実ベクトルバンドルに対してトム同型を確立できるか？

主な発見

• 任意の滑らかな写像 $ f: X \to Y $ に対して、グレーディングシフト $ \dim X - \dim Y \mod 2 $ を伴うプッシュフォワード写像 $ f_!: K^*_{f^*\sigma + W_3(f)}(X) \to K^*_{\sigma}(Y) $ は適切に定義され、古典的なギジン写像を一般化する。
• 写像 $ f $ がK-向き付けの場合、プッシュフォワード写像は標準的なアティヤ＝ヒルツブルフの構成に還元され、公式 $ f_{!}^{c_1 + 2c}(a) = f_{!}^{c_1}(a \cdot [L_c]) $ が成り立つ。
• 写像 $ f: X \to \text{pt} $ の場合、プッシュフォワード写像はクリフォード加群上のディラック作用素のアティヤ＝シンガー指数を計算し、ねじれK理論を通じて $ \mathbb{Z} $ の元として指数を回復する。
• 任意の実ベクトルバンドルに対して、ねじれK理論におけるトム同型が確立され、$ K^*_{W_3(X)}(X) \cong K^*(TX) $ がバンドルゲイブ構造を用いて得られる。
• 条件 $ \iota^*\sigma + W_3(Q) = 0 $ を満たすDブレーンに対して、電荷は $ \iota_!(\xi) \in K^*_{\sigma}(X) $ として定義され、ねじれK群における標準的類を提供する。
• この構成はねじれK理論上のピカール群作用と整合性を持ち、ラインバンドルのねじれによる自然性と一貫性を保証する。