[论文解读] D-branes on Stringy Calabi-Yau Manifolds

Duiliu-Emanuel Diaconescu, Michael R. Douglas|ArXiv.org|Jun 28, 2000

Black Holes and Theoretical Physics参考文献 36被引用 61

一句话总结

该论文通过线性sigma模型的朗道-金兹堡轨道丛相中的分数 brane，利用广义 McKay 对应关系，建立了 Gepner 模型中理性 B 型边界态与卡拉比-丘流形上凝聚层之间的直接对应关系。在不使用镜像对称的情况下，计算了这些 brane 在大体积极限下的 K-理论类，验证了加权射影空间 $\mathbb{P}^{1,1,2,2,2}$ 超曲面的结果。

ABSTRACT

We argue that D-branes corresponding to rational B boundary states in a Gepner model can be understood as fractional branes in the Landau-Ginzburg orbifold phase of the linear sigma model description. Combining this idea with the generalized McKay correspondence allows us to identify these states with coherent sheaves, and to calculate their K-theory classes in the large volume limit, without needing to invoke mirror symmetry. We check this identification against the mirror symmetry results for the example of the Calabi-Yau hypersurface in $\WP^{1,1,2,2,2}$.

研究动机与目标

• 将 Gepner 模型中的理性 B 边界态在卡拉比-丘流形的大体积极限下识别为凝聚层。
• 利用线性 sigma 模型中朗道-金兹堡轨道丛相的广义 McKay 对应关系，推导这些 brane 的 K-理论类。
• 为在环境射影簇上计算典型线丛和 K-理论生成元提供系统性方法。
• 通过与镜像对称结果对比，验证 $\mathbb{P}^{1,1,2,2,2}$ 卡拉比-丘超曲面的对应关系。
• 建立一个将分数 brane 的 quiver gauge 理论与稳定全纯丛的数学构造相联系的框架。

提出的方法

• 将 Gepner 模型的边界态实现为线性 sigma 模型中朗道-金兹堡轨道丛相的分数 brane。
• 应用广义 McKay 对应关系，将分数 brane 映射到解析化轨道丛上的凝聚层。
• 利用环境射影簇上的 K-理论交截配对，确定 K-理论生成元 $S_k$ 的基。
• 将 $S_k$ 类限制到卡拉比-丘超曲面，以获得 Gepner 模型边界态的 K-理论类。
• 构建一个射影算法，从 quiver 图计算典型线丛 $R_k$。
• 通过将计算得到的 K-理论类与镜像对称方法在 $\mathbb{P}^{1,1,2,2,2}$ 例子中获得的结果进行比较，验证结果。

实验结果

研究问题

• RQ1 如何系统地将 Gepner 模型中的理性 B 边界态映射到卡拉比-丘流形在大体积极限下的凝聚层？
• RQ2 广义 McKay 对应关系在将线性 sigma 模型框架中的分数 brane 识别为全纯丛的过程中起什么作用？
• RQ3 朗道-金兹堡相中 D-brane 的 K-理论类如何与几何相中的 K-理论类相关联，而无需借助镜像对称？
• RQ4 为何在环境射影簇上使用非物理的 $S_k$ 类，却能在卡拉比-丘超曲面上得到正确的物理结果？
• RQ5 分数 brane 的 quiver gauge 理论能否与数学上构造的稳定凝聚层直接关联，如 Beilinson 定理所示？

主要发现

• 该论文成功通过广义 McKay 对应关系，将 Gepner 模型中的理性 B 边界态识别为卡拉比-丘流形在大体积极限下的凝聚层。
• 这些 brane 的 K-理论类在朗道-金兹堡相中通过环境射影簇上的交截配对直接计算得出，无需依赖镜像对称。
• 对于 $\mathbb{P}^{1,1,2,2,2}$ 卡拉比-丘超曲面，推导出的 K-理论类与通过镜像对称获得的结果一致。
• 该构造表明，环境射影簇上的交截形式与卡拉比-丘超曲面上的不同，但限制过程仍能产生正确的物理结果。
• 开发了一种系统性的射影算法，可从 quiver 图计算典型线丛 $R_k$，从而实现 K-理论生成元的显式计算。
• 该框架暗示了 ${\cal N}=1$ quiver gauge 理论的模空间与卡拉比-丘流形上稳定凝聚层的模空间之间存在深刻对应关系。