[论文解读] Mirror symmetry for weighted projective planes and their noncommutative deformations

Denis Auroux, Ludmil Katzarkov+1 more|arXiv (Cornell University)|Apr 15, 2004

Algebraic structures and combinatorial models参考文献 19被引用 24

一句话总结

本文通过构建加权射影平面及其非交换形变的凝聚层导出范畴与镜像 Landau-Ginzburg 模型中拉格朗日子流形消失循环导出范畴之间的显式等价，确立了加权射影平面及其非交换形变的同调镜像对称性。利用 Lefschetz fibration 的乘积结构与 A∞-范畴技术，证明了消失循环的 Fukaya 型范畴与代数范畴相匹配，将 Seidel 对 ℂℙ² 的工作推广至具有轨道奇点的奇异 Fano 代数曲面及其非交换形变。

ABSTRACT

We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjecture holds for weighted projective planes. Moreover, we also show that this mirror correspondence between derived categories can be extended to toric noncommutative deformations of $\CP^2(a,b,c)$ where B-branes are concerned, and their mirror counterparts, non-exact deformations of the symplectic structure of $X$ where A-branes are concerned. We also obtain similar results for other examples such as weighted projective lines or Hirzebruch surfaces.

研究动机与目标

• 将同调镜像对称（HMS）从卡拉比-丘流形推广至 Fano 代数曲面，特别是加权射影平面与 Hirzebruch 曲面。
• 通过镜像 Landau-Ginzburg 模型中的拉格朗日子流形消失循环范畴，实现加权射影平面上凝聚层导出范畴的显式刻画。
• 描述 Fano 代数曲面非交换形变的首个显式镜像对应关系，连接代数几何与辛拓扑。
• 通过加权射影空间将 Seidel 对 ℂℙ² 的 HMS 结果推广至具有轨道奇点的奇异 Fano 曲面。

提出的方法

• 将镜像 Landau-Ginzburg 模型构造为 (ℂ*)³ 中的仿射超曲面 {x^a y^b z^c = 1}，并配备一个辛纤维化 W: X → ℂ。
• 使用 toric 镜像假设定义镜像几何，并将 Kontsevich 的 HMS 框架应用于 Fano 代数曲面。
• 应用 Seidel 的拉格朗日子流形消失循环导出范畴理论，定义 A 模型范畴 D(Lag_vc(W))。
• 通过 Lefschetz fibration 的乘积结构，建立加权射影平面上凝聚层导出范畴与消失循环范畴之间的 A∞-等价。
• 使用拉格朗日子流形 L_ij 的词典序排列，对交点与 Floer 复形进行组合描述，其态射同构于两个基底纤维化态射的张量积。
• 利用伪全纯盘与与纤维积相容的几乎复结构，验证 A∞-关系，特别是 A∞-乘积结构 m₂，模同伦。

实验结果

研究问题

• RQ1 同调镜像对称能否从卡拉比-丘流形推广至加权射影平面等 Fano 代数曲面？
• RQ2 Fano 代数曲面的非交换形变在镜像 Landau-Ginzburg 模型中如何体现？
• RQ3 加权射影平面镜像中拉格朗日子流形消失循环范畴的精确 A∞-结构为何？
• RQ4 两个 Lefschetz fibration 的乘积结构如何反映导出范畴中态射空间的张量积结构？
• RQ5 Maslov 指标与分次在匹配代数范畴与辛范畴中起何作用？

主要发现

• 加权射影平面 ℙ(a,b,c) 上凝聚层的导出范畴与由 x^a y^b z^c = 1 定义的镜像 Landau-Ginzburg 模型中拉格朗日子流形消失循环的导出范畴之间存在拟等价。
• Fukaya 型范畴中的态射空间同构于两个基底 Lefschetz fibration 态射空间的张量积，乘积结构 m₂ 由 A∞-乘积的张量积给出。
• 消失循环范畴由索引为 (i,j) 的拉格朗日子流形 L_ij 生成，其交点与分次在词典序排列与相位匹配下保持一致。
• 镜像范畴的 A∞-结构完全由两个更简单 A∞-范畴的乘积决定，高阶复合 m_k 在同伦意义下与乘积结构相容。
• 非精确辛形式与 B-场允许在镜像中描述加权射影平面的非交换形变，通过辛拓扑实现代数上的非交换形变。
• Hirzebruch 曲面 ℱ₀ 与 ℱ₁ 的情形被处理为两个加权射影直线的乘积，确认了镜像对称框架与纤维积结构的一致性。