[论文解读] Notes on correlation functions in (0,2) theories

Eric Sharpe|ArXiv.org|Feb 5, 2005

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

一句话总结

本文通过将A模型中的有理曲线计数推广至微扰异规角理论，构建了(0,2)杂化弦理论中相关函数的数学框架。利用规范线性sigma模型，它自然地紧化了有理曲线模空间，并在这些紧化空间上扩展了相关层，确保与(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$耦合的类比。
• 通过构建工具来验证规范线性sigma模型中的物理预测，以解决(0,2)镜像对称性理解不足的问题。
• 确保与(0,2)理论中异常消除和对偶对称性的相容性。

提出的方法

• 通过层上同调和模空间紧化，将相关函数计算形式化为代数几何语言。
• 利用规范线性sigma模型，自然地紧化(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})$，从而确保与对偶性的相容性。
• 应用线性sigma模型的约束条件，确保$\Lambda^{\text{top}}\mathcal{E}^\vee \cong K_X$与异常消除成立。
• 基于表示的层扩张构造方法，表明在相同束$\mathcal{E}$的不同物理表示下结果一致。

实验结果

研究问题

• RQ1 如何系统地将(0,2)杂化理论中的相关函数表述为代数几何时的语言？
• RQ2 规范线性sigma模型中的何种机制允许紧化(0,2)理论中有理曲线的模空间，并在其上扩展层？
• RQ3 扩展层$\mathcal{F}$和$\mathcal{F}_1$的一阶陈类如何与模空间及其障碍丛的几何相关联？
• RQ4 该数学框架能否验证(0,2)镜像对称中$\bar{\mathbf{27}}^3$耦合的物理预测？
• RQ5 条件$\Lambda^{\text{top}}\mathcal{E}^\vee \cong K_X$在确保相关函数计算一致性方面起什么作用？

主要发现

• 规范线性sigma模型为(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模型的性质一致。