[论文解读] Mirror symmetry and actions of braid groups on derived categories

Richard Thomas|ArXiv.org|Jan 7, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 16

一句话总结

本文证明了通过球面对象，辫群作用自然地出现在卡拉比-丘流形上凝聚层导出范畴中，为镜像对偶中拉格朗日球面上辛辫群作用提供了导出范畴对应。关键贡献是在 ≥2 维情况下证明了这些作用的忠实性，将镜像对称与例外族的突变及傅里叶-穆凯变换联系起来。

ABSTRACT

Talk given at Harvard, January 1999, published in the Proceedings of the Harvard Winter School on mirror symmetry, vector bundles and lagrangian cycles, 1999, International Press. Surveys the joint work [ST, KS] with Paul Seidel and Mikhail Khovanov.

研究动机与目标

• 通过将导出范畴中凝聚层上的辫群作用与镜像中的辛自同构联系起来，建立镜像对称的导出范畴类比。
• 证明由导出范畴中球面对象诱导的辫群作用在维数 ≥2 时是忠实的。
• 通过简单映射阐明法诺流形上的例外族与卡拉比-丘三流形上的球面对象之间的关系。
• 为理解奇点与解析中的丛突变及其镜像对偶提供导出范畴框架。

提出的方法

• 利用与球面对象相关的傅里叶-穆凯变换构造导出范畴的自同构。
• 将球面对象定义为满足 Ext*(F,F) ≅ ℂ[0] ⊕ ℂ[N] 的对象（在导出范畴中）。
• 使用与球面对象 F 关联的扭 functor T_F 在 D^b(X) 上生成辫群作用。
• 应用微分分次代数及其上同调理论分析辫群作用的忠实性。
• 证明当 N ≥ 2 时，A_n-链中 N-球面对象之间 Ext* 代数的内在形式性。
• 通过镜像对称猜想，将辛德恩扭转与导出自同构联系起来。

实验结果

研究问题

• RQ1 在卡拉比-丘三流形中，球面对象如何自然地诱导出导出范畴中凝聚层上的辫群作用？
• RQ2 由导出范畴中球面扭动生成的辫群作用的镜像对偶是什么？
• RQ3 在卡拉比-丘流形到法诺流形的映射下，何种条件下可由例外对象诱导出球面对象？
• RQ4 在维数 ≥2 时，导出范畴上的辫群作用是否忠实？何种条件可确保这一点？
• RQ5 法诺流形上例外族的突变与镜像卡拉比-丘流形上球面扭之间有何关系？

主要发现

• 通过球面对象在 D^b(X) 上构造了辫群作用，每个球面对象均对应一个扭 functor T_F。
• 当球面对象构成 A_n-链且维数 N ≥ 2 时，辫群 B_{n+1} 在 D^b(X) 上的作用是忠实的。
• A_n-链中球面对象之间 Ext 群的分次代数具有内在形式性，从而保证了作用的忠实性。
• 若法诺除子 Y 在卡拉比-丘流形 X 中，且其正规丛为 ω_Y，则 Y 上例外层的上推在 X 上给出一个球面对象。
• 在维数 1 时，辫群作用可能不忠实；例如，若椭圆曲线上存在阶为 2 的度数为零线丛 L，则 (T_L^{-1}T_O)^2 ≅ id。
• 辛德恩扭转在拉格朗日球面上的镜像对偶在凝聚层导出范畴中由球面扭函子实现。