[论文解读] Mirror symmetry and deformation quantization

Paul Bressler, Yan Soibelman|ArXiv.org|Feb 20, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 23

一句话总结

本文提出了一种关于辛流形的Fukaya范畴与光滑函数的形变量子化代数上全纯模范畴之间猜想性的等价关系，通过积分核将Floer理论的瞬子计数替换为代数同态。关键贡献在于构建了一个通过范畴对偶性将镜像对称与形变量子化联系起来的框架，该框架在局部情形下通过de Rham复形与平坦联络得到验证。

ABSTRACT

The paper is devoted to the comparison of the Fukaya category (it is responcible for the A-side of mirror symmetry) with the category of holonomic modules over the quantized algebra of functions on the same symplectic manifold. We conjecture that these categories become $A_{\infty}$-equivalent after a twist by a kind of integral transformation.

研究动机与目标

• 建立辛流形上光滑函数的量子化代数上全holonomic模范畴与Fukaya范畴之间的范畴等价。
• 通过代数重构解决Fukaya范畴中的基础性问题，如非横截性和缺乏恒等态射。
• 通过基于积分变换的共同范畴框架，统一镜像对称与形变量子化。
• 将对应关系从拉格朗日子流形扩展至共 isotropic 子流形及非光滑代数簇。
• 探索全holonomic模范畴的模空间上复结构的出现，特别是在Calabi-Yau情形下。

提出的方法

• 引入一个核 $ K(L_1, L_2) $，其作为拉格朗日子流形 $ L_1 $ 与 $ L_2 $ 上局部系统之间的傅里叶-穆凯伊变换。
• 使用取值于平坦联络张量积的de Rham复形来建模Fukaya范畴中的态射。
• 通过 $ \exp(\frac{1}{t}f_2) $ 的扭变，将复形拟同构地关联到标准de Rham复形。
• 通过导出Hom空间定义全holonomic模的形变，其切空间嵌入一个涉及 $ H^\bullet_{DR}(L) $ 的正合序列。
• 通过与曲率为 $ \omega_X $ 的单位化丛张量，从 $ \text{Lagr}_X $ 到 $ \text{hol}(L) $ 构造路径提升。
• 利用预量子线丛在形变拉格朗日子流形上定义平坦联络，从而实现 $ M(t) = M \otimes \rho(t) $ 的构造。

实验结果

研究问题

• RQ1 Fukaya范畴能否通过光滑函数的形变量子化代数上全holonomic模范畴进行代数建模？
• RQ2 是否存在一个规范的积分核 $ K(L_1, L_2) $，能诱导 $ L_1 $ 与 $ L_2 $ 上全holonomic模之间的等价关系？
• RQ3 全holonomic模的形变如何与它们在拉格朗日格拉斯曼簇中支撑的形变相关联？
• RQ4 全holonomic模的模空间是否能携带一个与Calabi-Yau流形中镜像对称相容的复结构？
• RQ5 该构造能否超越拉格朗日子流形邻域的局部范围，推广至非横截或遥远的拉格朗日子流形？

主要发现

• 在局部情形下，态射复形 $ \text{Hom}_{D^b_\infty(\text{hol}(X))}(\rho_1, K(L_1,L_2) \circ \rho_2) $ 与取值于 $ \rho_1^* \otimes \rho_2 $ 的de Rham复形拟同构。
• 通过 $ \exp(\frac{1}{t}f_2) $ 的扭变消除了 $ df_2 $ 项，使复形恢复与标准de Rham复形的拟同构。
• 全holonomic模 $ M $ 的形变模空间的切空间嵌入一个正合序列：$ H^1_{DR}(L) \to \text{Ext}^1_{\text{hol}(X)}(M,M) \to H^1_{DR}(L) $，暗示经典形变空间的加倍。
• 对于一个简单的全holonomic模 $ M $，导出Hom $ R\text{Hom}_{\text{hol}(L)}(M,M) $ 与 $ \Omega^\bullet(L) $（即 $ L $ 的de Rham复形）拟同构。
• 路径提升构造 $ M(t) = M \otimes \rho(t) $，其中 $ \rho(t) $ 为预量子线丛的限制，提供了一种将拉格朗日子流形形变提升为模形变的方法。
• 所提出的框架表明，简单全holonomic模的正式形变模空间可能携带一个复结构，其微分同构于对偶Calabi-Yau流形的一个子簇。