[论文解读] Fourier-Mukai Transform and Mirror Symmetry for D-Branes on Elliptic Calabi-Yau

Björn Andreas, Gottfried Curio+2 more|ArXiv.org|Dec 20, 2000

Nonlinear Waves and Solitons参考文献 62被引用 30

一句话总结

本文通过引入一种扭曲电荷构造，精确建立了椭圆纤维化卡拉比-丘三流形上D膜的傅里叶-穆凯伊（FM）变换与镜像对称之间的联系，恢复了FM变换在上同调作用中的绝热形式。研究表明，纤维方向上的FM变换对应于镜像对称中的已知单值性，特别是德朗-孔尼夫单值性，并通过法丛的Todd类推导出修正的T对偶函子，解决了在对偶性中陈特征变换的不一致性问题。

ABSTRACT

Fibrewise T-duality (Fourier-Mukai transform) for D-branes on an elliptic Calabi-Yau three-fold $X$ is seen to have an expected adiabatic form for its induced cohomology operation only when an appropriately twisted operation resp. twisted charge is defined. Some differences with the case of $K3$ as well as connections with the spectral cover construction for bundles on $X$ are pointed out. In the context of mirror symmetry Kontsevich's association of line bundle twists (resp. a certain 'diagonal' operation) with monodromies (esp. the conifold monodromy) is made explicit and checked for two example models. Interpreting this association as a relation between FM transforms and monodromies, we express the fibrewise FM transform through known monodromies. The operation of fibrewise duality as well as the notion of a certain index relevant to the computation of the moduli space of the bundle is transported to the sLag side. Finally the moduli space for D4-branes and its behaviour under the FM transform is considered with an application to the spectral cover.

研究动机与目标

• 将椭圆纤维化卡拉比-丘三流形上D膜的纤维方向FM变换与上同调中的绝热期望相协调。
• 通过引入类似于Mukai向量并带有Td(X)修正的扭曲电荷构造，解决FM变换上同调作用中的不一致性。
• 在两个明确的卡拉比-丘模型中，显式实现Kontsevich关于线丛扭曲与德朗-孔尼夫单值性关联FM变换的猜想。
• 通过FM对偶性将向量丛的谱覆盖构造推广至导出范畴框架，并验证其与单值性作用的一致性。
• 将D4膜模空间及其在FM对偶性下的行为，通过修正的T对偶函子传输至特殊拉格朗日子流形（sLag）侧。

提出的方法

• 通过将陈特征分解为基空间与纤维上同调，计算纤维方向FM变换的上同调作用，并通过法丛的逆Todd类进行扭曲，以恢复绝热性。
• 定义修正的T-函子为 $ T(ullet) = S(ullet) imes Y $，其中 $ Y $ 的陈特征满足 $ ch(Y) = Td(N)^{-1} $，以修正陈特征分量之间的不匹配。
• 利用谱覆盖构造将卡拉比-丘上的丛与基空间上的层联系起来，从而实现陈特征的显式计算，并验证对偶性的一致性。
• 应用GRR（格罗滕迪克-黎曼-罗赫）定理，关联嵌入与纤维化沿的陈特征上推，确保 $ X $ 与 $ B $ 上同调不变量之间的一致性。
• 构建 $ Td(N) $ 扭曲在上同调向量上的矩阵表示，实现对变换后陈特征在基分解下的显式计算。
• 使用两个双参数卡拉比-丘模型（加权射影空间中8次与12次的超曲面）显式验证了单值性与线丛扭曲之间的对应关系。

实验结果

研究问题

• RQ1 如何使椭圆纤维化卡拉比-丘三流形上纤维方向的FM变换表现出预期的绝热上同调行为？
• RQ2 在上同调中，恢复FM变换与绝热极限一致性的正确扭曲电荷或修正对偶函子是什么？
• RQ3 FM变换如何与镜像对称中的单值性作用（特别是德朗-孔尼夫单值性）相关联？
• RQ4 通过FM对偶性，谱覆盖构造能否被一致地嵌入导出范畴框架？
• RQ5 D4膜的模空间在FM对偶性下如何变换？其与镜像对称中sLag侧的关系是什么？

主要发现

• 除非使用扭曲电荷，特别是 $ ch(V) \to ch(V) \times Td(N)^{-1} $，否则纤维方向FM变换无法表现出绝热上同调行为，该修正解决了陈特征分量之间的不匹配。
• 在 $ ch(V) $ 与 $ ch(T^{?}(V)) $ 之间 $ ch_3 $ 分量的不匹配，源于缺少 $ Td(N)^{-1} $ 修正，该修正消除了陈特征变换中的不一致性。
• 修正后的T-函子 $ T(\bullet) = S(\bullet) \times Y $，其中 $ ch(Y) = Td(N)^{-1} $，恢复了预期的上同调作用，并与D膜上的T对偶绝热形式一致。
• $ Td(N) $ 扭曲在上同调向量上的矩阵表示确认了该修正的线性作用，使得变换后不变量的显式计算成为可能。
• 在两个双参数卡拉比-丘模型中的显式计算表明，德朗-孔尼夫单值性对应于具有扭曲核的傅里叶-穆凯伊变换，验证了Kontsevich的猜想。
• D4膜的模空间在FM对偶性下被证明是一致变换的，谱覆盖构造在丛与层理论描述之间建立了桥梁。