[論文レビュー] Noncommutative correspondences, duality and D-branes in bivariant K-theory

Jacek Brodzki, Varghese Mathai+2 more|ArXiv.org|Aug 20, 2007

Advanced Operator Algebra Research参考文献 35被引用数 10

ひとこと要約

本稿は、非可換空間上のD-braneを分類するための圏論的枠組みを、双不変K理論を用いて開発する。非可換対応（noncommutative correspondences）を計算的・概念的ツールとして導入し、開きたい即時理論におけるT双対性が自然にKK同値として記述されることを確立する。具体的な例を通じて、T双対性のねじれ項が生じるKK理論図式計算およびC*-代数（T双対性のねじれから生じるようなもの）のExt/Hom完全列から、D-braneの荷電量と双対性がどのように導かれるかを示す。

ABSTRACT

We describe a categorical framework for the classification of D-branes on noncommutative spaces using techniques from bivariant K-theory of C*-algebras. We present a new description of bivariant K-theory in terms of noncommutative correspondences which is nicely adapted to the study of T-duality in open string theory. We systematically use the diagram calculus for bivariant K-theory as detailed in our previous paper. We explicitly work out our theory for a number of examples of noncommutative manifolds.

研究の動機と目的

• 非可換時空間へのD-brane荷電量のK理論的分類を、双不変K理論を用いて拡張すること。
• KK理論を用いた圏論的かつ図式的枠組みを提供し、K理論とKホモロジーの統一的取り扱いを可能にすること。
• 開きたい即時理論におけるT双対性をKK同値として形式化し、幾何的双対性を非幾何的背景へ一般化すること。
• KK理論の図式計算が、D-brane荷電量と双対性構造の計算にどのように有用であるかを示すこと。
• 抽象的なKK理論の構成を、ねじれK理論や Baum-Connes型対応といった具体的な弦理論的例と結びつけること。

提案手法

• 双不変K理論（KK理論）の図式計算を用い、C*-代数バイモジュールを通じてD-braneを非可換対応として表現する。
• split exact sequence 0 → Ext(K•+1(A), K•(B)) → KK•(A,B) → Hom(K•(A), K•(B)) → 0 を用いて、非可換代数のKK群を計算する。
• C(X)⊗A 上の有限生成射影モジュールから非可換対応を構成し、一般化されたD-brane配置と解釈する。
• KK理論の枠組みを活用し、T双対性をKK同値として定義し、モラータ双対性を一般化し、非幾何的背景へ拡張する。
• コンact多様体X上のスピンc構造を用いてK-向きを定義し、KK理論における合成積を可能にし、D-brane類を導出する。
• インフレーション技術を用い、既知のKK同値性からパラメータ付きフーリエ＝ムカイ変換およびBaum-Connes型対応を生成する。

実験結果

リサーチクエスチョン

• RQ1 非可換空間上のD-braneは、双不変K理論を用いてどのように体系的に分類できるか？
• RQ2 KK理論の図式計算は、D-brane荷電量と双対性の構造をどのように簡略化・明確化するか？
• RQ3 開きたい即時理論におけるT双対性は、非幾何的背景でもKK同値としてどのように定式化できるか？
• RQ4 Ext群とHom群は、非可換C*-代数におけるD-brane荷電量の分類において、どのように機能するか？
• RQ5 Baum-Connes予想やパラメータ付きフーリエ＝ムカイ変換のような構成は、非可換対応の特別な場合としてどのように現れるか？

主な発見

• T双対性のねじれK理論代数から生じるような、多くのC*-代数に対して、split exact sequence 0 → Ext(K•+1(A), K•(B)) → KK•(A,B) → Hom(K•(A), K•(B)) → 0 が成り立つ。
• 非可換時空間上のD-brane荷電量はKK理論群KK•(A,B)を介して計算され、詳細な情報はExt項に符号化されている。
• 非可換対応は幾何的対応を一般化し、C(X)⊗A 上の射影モジュールから構成され、スピンc構造から生じるK-向きが付随する。
• T双対性はKK同値として実現され、幾何的T双対性を越えて非幾何的背景へ拡張可能であり、ねじれK理論代数における具体的な例が存在する。
• パラメータ付きフーリエ＝ムカイ変換およびBaum-Connes予想は、既知のKK同値性からのインフレーションによって、非可換対応の特別な場合として現れる。
• この枠組みは、双不変K理論における積分の積を通じてK理論とKホモロジーの記述を統一し、双対性の自然な設定を提供する。