2025-11-21T14:52:14.902980

Mirror symmetry and Fukaya categories of singular hypersurfaces

Jeffs

We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable properties. Firstly, we prove an A-side analog of Orlov's derived KnÃ¶rrer periodicity theorem by showing that Auroux's category is derived equivalent to the Fukaya-Seidel category of a higher-dimensional Landau-Ginzburg model. Secondly, we describe how this definition implies homological mirror symmetry for some large complex structure limit degenerations of abelian varieties.

academic

Mirror symmetry and Fukaya categories of singular hypersurfaces

基本信息

论文ID: 2012.09764
标题: Mirror symmetry and Fukaya categories of singular hypersurfaces
作者: Maxim Jeffs
分类: math.SG (辛几何), math.AG (代数几何)
发表时间: 2025年1月3日 (arXiv版本)
论文链接: https://arxiv.org/abs/2012.09764

摘要

本文研究了Auroux提出的奇异超曲面Fukaya范畴的定义，该定义通过在Seidel自然变换处局部化附近纤维的Fukaya范畴来构造。作者证明了这个定义具有若干理想性质：首先，证明了Orlov导出Knörrer周期性定理的A-侧类比，表明Auroux范畴与高维Landau-Ginzburg模型的Fukaya-Seidel范畴导出等价；其次，描述了该定义如何蕴含某些阿贝尔簇的大复结构极限退化的同调镜像对称性。

研究背景与动机

核心问题

同调镜像对称性(HMS)在基本层面上猜测Kähler流形Y的Fukaya范畴与其'镜像'Kähler流形Y̌的相干层范畴之间存在关系。然而，在许多自然的镜像对称实例中（如Y非紧时），内在的镜像Y̌通常是奇异簇，而缺乏奇异情形下Fukaya范畴的原则性定义。

重要性

高维裤子对的镜像对称性：重要实例包括高维裤子对Πn = {x₁ + ⋯ + xₙ₊₁ + 1 = 0} ⊆ (ℂ*)^(n+1)，其自然构造的镜像由奇异超曲面{z₁⋯zₙ₊₁ = 0} ⊆ ℂ^(n+1)给出。
双向性要求：镜像对称的主要要求之一是镜像的镜像应该是原始Kähler流形，即HMS应在两个方向上都适用。
粘合技术的基础：理解此类情形的镜像对称性对于依赖粘合技术证明HMS的方法至关重要。

现有方法局限性

虽然在理解光滑Kähler流形的镜像对称性方面取得了巨大进展，但除轨道情形外，关于奇异簇A-模型的镜像对称性的研究很少。

核心贡献

Auroux定义的验证：证明了Auroux提出的奇异超曲面Fukaya范畴定义确实是正确的定义。
导出Knörrer周期性定理：证明了Orlov导出Knörrer周期性定理的A-侧类比（定理1）。
同调镜像对称等价：建立了大复结构极限下的几个同调镜像对称等价（定理2和3）。
理论框架扩展：将定义扩展到奇异完全交的情形，并提出相应的猜想。

方法详解

Auroux定义

对于具有单一奇异纤维的奇异辛纤维化f : X → ℂ，Seidel定义了自然变换s : μ → id，其中μ是作用在一般纤维的wrapped Fukaya范畴W(f⁻¹(t))上的顺时针单值性函子。

定义1（Auroux）：奇异纤维f⁻¹(0)的wrapped Fukaya范畴定义为在自然变换s : μ → id处对附近纤维f⁻¹(t)的wrapped Fukaya范畴进行局部化：

DW(f⁻¹(0)) = DW(f⁻¹(t))s⁻¹

主要定理

定理1（导出Knörrer周期性）：设X是光滑仿射簇，具有嵌入X → ℂᴺ诱导的Stein结构，f : X → ℂ是ℂᴺ上多项式函数的限制。如果f有单一临界纤维f⁻¹(0)，则对充分小的t ≠ 0存在A∞-范畴的拟等价：

DᵖW(f⁻¹(t))s⁻¹ → DᵖW(X × ℂ, zf)

技术创新点

Cap和Cup函子：引入了几何定义的cap函子∩和cup函子∪，建立了与Seidel自然变换的联系。
AAK等价的升级：证明了Abouzaid-Auroux-Katzarkov等价的升级形式（定理4）。
停止移除技术：通过仔细分析一般纤维在t变化时的Liouville几何，将从(X × ℂ, z(f - t))到(X × ℂ, zf)的过程重新表述为停止移除。

范畴等价的严格性
与已知结果的一致性
几何直觉的符合程度

实验结果

主要结果验证

高维裤子对的情形：对于Landau-Ginzburg模型(ℂⁿ⁺¹, Wₙ = z₁⋯zₙ₊₁)，证明了： DᵖW(Wₙ⁻¹(0)) ≃ DᵖW(ℂⁿ⁺², z₁⋯zₙ₊₂) ≃ Dᵇ Coh(Πₙ)
椭圆曲线的推广：建立了具有n个穿孔和m个结点的椭圆曲线与具有m个穿孔和n个结点的椭圆曲线之间的镜像导出等价。