[論文レビュー] What Does(n't) K-theory Classify?

Jarah Evslin|ArXiv.org|Oct 31, 2006

Black Holes and Theoretical Physics参考文献 64被引用数 28

ひとこと要約

この論文は、弦理論におけるD-braneおよびラムンド＝ラムンド（RR）荷電のK理論的分類をレビューし、tachyon condensationを介したSen予想に基づくK理論（D-braneの軌道を分類）と、Freed-Wittenの異常に基づくK理論（保存されるRR荷電および磁気フラックスを分類）を対比する。また、ねじれK理論がKlebanov-Strassler幾何におけるバリオン的真空の普遍的クラスを分類し、カスケードゲージ理論に対してℤₘ分類をもたらすことを示している。

ABSTRACT

We review various K-theory classification conjectures in string theory. Sen conjecture based proposals classify D-brane trajectories in backgrounds with no H flux, while Freed-Witten anomaly based proposals classify conserved RR charges and magnetic RR fluxes in topologically time-independent backgrounds. In exactly solvable CFTs a classification of well-defined boundary states implies that there are branes representing every twisted K-theory class. Some of these proposals fail to respect the self-duality of the RR fields in the democratic formulation of type II supergravity and none respect S-duality in type IIB string theory. We discuss two applications. The twisted K-theory classification has led to a conjecture for the topology of the T-dual of any configuration. In the Klebanov-Strassler geometry twisted K-theory classifies universality classes of baryonic vacua.

研究の動機と目的

• タイプII弦理論におけるD-braneおよびRR荷電の異なるK理論的分類予想をレビューおよび比較すること。
• タイプIIB弦理論における自己双対性およびS双対性の下で、K理論がRR場を分類する際の限界を調査すること。
• Klebanov-Strassler幾何にねじれK理論を適用し、バリオン的真空の普遍的クラスを分類すること。
• 非自明なHフラックスおよび自己双対RR場の存在下で、標準的K理論およびホモロジー分類がなぜ失敗するかを分析すること。
• Freed-Wittenの異常およびAtiyah-Hirzebruchスペクトル系列（AHSS）が、ねじれK理論における一貫性のある分類を可能にする仕組みを示すこと。

提案手法

• 空間を埋め尽くすブレーン系におけるタキオン凝縮を通じて、Sen予想を用いてD-braneの軌道をK理論に関連付ける。
• Freed-Wittenの異常を適用して保存されるRR荷電を特定し、異常による崩壊のため、ホモロジー類が物理的に安定でない可能性があることを示す。
• dC₂フラックスによるねじれを伴うAtiyah-Hirzebruchスペクトル系列（AHSS）を用いて、ねじれK理論群を計算する。
• 変形されたコンパクト化されたコンパクト幾何（deformed conifold geometry）を分析し、コホモロジー群H³ = ℤおよびH⁶ = ℤを計算し、これらはD3-braneおよび点状ブレーン荷電とPoincaré双対である。
• 微分d₃ = dC₂ ∪: x³ ↦ Mx⁶を用いて、ねじれK理論をK⁰_dC₂ = ℤ/MℤおよびK¹_dC₂ = 0として計算する。
• 得られたℤₘ構造を、Klebanov-Strasslerカスケードにおけるゲージ理論の普遍的クラスに結びつけ、J mod Mでパrameter化される。

実験結果

リサーチクエスチョン

• RQ1 K理論は弦理論におけるD-brane配置をどのように分類するのか。その背後にある物理的メカニズムは何か。
• RQ2 タイプIIスーパーグラビティの民主的形式におけるRR場の自己双対性が、なぜ標準的ホモロジーおよびK理論分類が成立しないのか。
• RQ3 Freed-Wittenの異常は、なぜ単純なホモロジーに基づく荷電保存を無効にし、洗練されたK理論的分類をもたらすのか。
• RQ4 ねじれK理論は、Klebanov-Strassler幾何におけるバリオン的真空の分類に果たす役割は何か。
• RQ5 既存のK理論的分類スキームではS双対性の共変性がなぜ失敗するのか。そして、双対性不変形式への影響は何か。

主な発見

• dC₂によるねじれK理論は、Klebanov-Strassler幾何におけるバリオン的真空の普遍的クラスを分類し、ℤₘ分類をもたらす。
• ねじれK理論群K⁰_dC₂はℤ/Mℤとして計算され、MはdC₂フラックスの単位数を表す。K¹_dC₂は消える。
• J ∈ ℤₘの要素は、SU(J + (K+1)M) × SU(J + KM)というゲージ群を持つすべてのゲージ理論を表し、これはカスケードの終点を表す。
• dC₂ ∪によるねじれを伴うAtiyah-Hirzebruchスペクトル系列（AHSS）による分類は、フラックスが存在する状況下での安定D-brane構成を正しく捉えている。
• D3-brane荷電はH⁶ = ℤによって分類されるが、M本のフォンダメンタルストリングがそれらに終着するバリオン的構成は、Freed-Witten異常のためK理論的荷電を有さない。
• 民主的形式におけるRR場の自己双対性は、標準的K理論的分類を無効にし、フラックスおよび荷電の量子化と矛盾する。