[論文レビュー] Notes on correlation functions in (0,2) theories

Eric Sharpe|ArXiv.org|Feb 5, 2005

Advanced Algebra and Geometry参考文献 13被引用数 4

ひとこと要約

この論文は、(0,2)ヘテロティック弦理論における相関関数を計算するための数学的枠組みを構築し、Aモデルの有理曲線数え上げを摂動的ヘテロティックコン팩ティフィケーションに一般化する。ゲージ化線形セルフモデルを用いて、有理曲線のモジュライ空間の自然なコンパクト化を構成し、関連する層をそれらのコンパクト化上に拡張することで、(0,2)ミラー対称性および異常取消と整合させ、$\bar{\mathbf{27}}^3$結合子の物理的予測の直接的検証を可能にする。

ABSTRACT

In this note we shall review recent work on generalizing rational curve counting to perturbative heterotic theories.

研究の動機と目的

• Aモデルの有理曲線数え上げを摂動的(0,2)ヘテロティック弦理論に一般化すること。
• 荷電状態を含む相関関数の数学的定式化を提供し、特に$\bar{\mathbf{27}}^3$結合子の類似物を対象とすること。
• ゲージ化線形セルフモデルからの物理的予測を検証するためのツールを構築することで、(0,2)ミラー対称性に関する理解の不足を補うこと。
• (0,2)理論における異常取消および双対性対称性と整合すること。

提案手法

• 層コホモロジーとモジュライ空間のコンパクト化を通じて、相関関数の計算を代数幾何学的言語に形式的翻訳すること。
• ゲージ化線形セルフモデルを用いて、(0,2)理論における有理曲線のモジュライ空間の自然なコンパクト化を行うこと。
• コンパクト化されたモジュライ空間上に層の拡張$\mathcal{F}$および$\mathcal{F}_1$を構成し、$R^{0,1}\pi_*\alpha^*\mathcal{E}$を計算すること。
• $\mathcal{F}$および$\mathcal{F}_1$の第一チャーン類が$c_1(\mathcal{F}) - c_1(\mathcal{F}_1) = c_1(T\mathcal{M}) - c_1(\text{Obs})$を満たすことを検証し、双対性と整合することを確認すること。
• 線形セルフモデルの制約を適用して、$\Lambda^{\text{top}}\mathcal{E}^\vee \cong K_X$および異常取消が成り立つようにすること。
• 提示依存的な層の拡張の構成を行い、同じバンドル$\mathcal{E}$の異なる物理的提示において一貫性があることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どのようにして(0,2)ヘテロティック理論における相関関数を代数幾何学的言語で体系的に定式化できるか？
• RQ2 ゲージ化線形セルフモデルにおけるどのようなメカニズムが、有理曲線のモジュライ空間のコンパクト化とそれら上での層の拡張を可能にするか？
• RQ3 拡張された層$\mathcal{F}$および$\mathcal{F}_1$の第一チャーン類は、モジュライ空間およびその障害バンドルの幾何にどのように関係するか？
• RQ4 この数学的枠組みは、(0,2)ミラー対称性における$\bar{\mathbf{27}}^3$結合子の物理的予測を検証できるか？
• RQ5 条件$\Lambda^{\text{top}}\mathcal{E}^\vee \cong K_X$は、相関関数計算の整合性を保つために果たす役割は何か？

主な発見

• ゲージ化線形セルフモデルは、(0,2)ヘテロティック理論における有理曲線のモジュライ空間の自然なコンパクト化のメカニズムを提供する。
• 層$\mathcal{F}$および$\mathcal{F}_1$は、コンパクト化の除法上での$R^{0,1}\pi_*\alpha^*\mathcal{E}$の拡張として構成され、明確に定義された第一チャーン類を持つ。
• 第一チャーン類の差が$c_1(\mathcal{F}) - c_1(\mathcal{F}_1) = c_1(T\mathcal{M}) - c_1(\text{Obs})$を満たすことが確認され、幾何的整合性が裏付けられる。
• 構成は提示依存的ではあるが、同じバンドル$\mathcal{E}$の異なる物理的提示において一貫している。
• この枠組みにより、[ABS]からの$\bar{\mathbf{27}}^3$結合子の物理的予測の直接的な数学的検証が可能になる。
• 条件$\Lambda^{\text{top}}\mathcal{E}^\vee \cong K_X$は、(0,2)理論における状態の正しい双対性対称性を保証し、Aモデルの性質と一致する。