[论文解读] Family Floer program and non-archimedean SYZ mirror construction

Hang Yuan|arXiv (Cornell University)|Mar 13, 2020

Geometric and Algebraic Topology参考文献 23被引用 8

一句话总结

本文通过福吉亚的族弗洛尔理论，建立了一个基于非阿基米德几何的非阿基米德SYZ镜像构造，利用Maslov指标为零和两个的全纯盘计数，将镜像Landau-Ginzburg模型构造为具有超势能的刚性解析空间。该工作将SYZ对偶性推广至包含全纯盘的拉格朗日子丛，通过诺维科夫域上的$A_{\infty}$-结构解释了量子修正与墙交叉现象。其关键贡献在于系统性地构建了一个非阿基米德镜像构造，整合了瞬子修正与对偶子丛，且无需依赖特殊拉格朗日子纤维。

ABSTRACT

Given a Lagrangian fibration, we provide a natural construction of a mirror Landau-Ginzburg model consisting of a rigid analytic space, a superpotential function, and a dual fibration based on Fukaya's family Floer theory. The mirror in the B-side is constructed by the counts of holomorphic disks in the A-side together with the non-archimedean analysis and the homological algebra of the $A_\infty$ structures. It fits well with the SYZ dual fibration picture and explains the quantum/instanton corrections and the wall crossing phenomenon. Instead of a special Lagrangian fibration, we only need to assume a weaker semipositive Lagrangian fibration to carry out the non-archimedean SYZ mirror reconstruction.

研究动机与目标

• 通过非阿基米德几何与$A_{\infty}$-代数技术，将SYZ镜像对称程序推广至非卡拉比-丘情形。
• 通过在拉格朗日子丛中计数全纯盘，解决镜像对称中量子/瞬子修正的问题。
• 利用弗洛尔理论数据，将镜像Landau-Ginzburg模型构造为在诺维科夫域上全局定义的超势能函数的刚性解析空间。
• 将族弗洛尔程序推广至半正定拉格朗日子丛，允许全纯盘的存在，从而放宽了特殊拉格朗日子纤维的假设。

提出的方法

• 将镜像空间$X^\vee$构造为所有环面子纤维$L$上$H^1(L; U_\Lambda)$的不相交并集，其中$U_\Lambda$是诺维科夫域$\Lambda$的单位群，形成一个非阿基米德环面。
• 利用福吉亚的族弗洛尔理论在拉格朗日子流形上定义$A_{\infty}$-结构，其高阶运算编码了全纯盘的计数。
• 应用同调微扰理论与调和收缩，构造$A_{\infty}$-代数的典范模型，从而实现对形变与障碍的分析。
• 引入$P$-伪同伦与ud-同伦，以关联不同的$A_{\infty}$-结构，并定义$A_{\infty}$-代数的双范畴。
• 从$\mathfrak{m}_0$-障碍类推导出超势能$W^\vee$，该类计数Maslov指标为二的全纯盘，并证明其全局良定义。
• 利用非阿基米德几何与热带几何，定义镜像空间上的过渡映射与坐标图，确保其具有刚性解析结构。

实验结果

研究问题

• RQ1 如何将SYZ镜像构造推广至包含全纯盘的拉格朗日子丛，而非必须依赖特殊拉格朗日子纤维？
• RQ2 Maslov指标为零和两个的全纯盘计数如何在镜像对称中贡献于量子修正与墙交叉现象？
• RQ3 能否利用族弗洛尔理论与非阿基米德分析，在诺维科夫域$\Lambda$上构造一个全局的镜像Landau-Ginzburg模型？
• RQ4 $A_{\infty}$-结构及其形变在编码镜像几何与超势能方面起什么作用？
• RQ5 如何利用弗洛尔理论数据，严格地将对偶子丛与镜像空间定义为一个刚性解析空间？

主要发现

• 镜像空间$X^\vee$被构造为参数化拉格朗日环面子纤维上$U_\Lambda$-平坦联络的刚性解析空间，推广了经典的$U(1)$-对偶环面。
• 超势能$W^\vee$是全局良定义的，其来源于$\mathfrak{m}_0$-障碍类，该类计数Maslov指标为二的全纯盘。
• 量子修正通过除数公理与能量滤子自然地编码于$A_{\infty}$-结构中，从而解释了墙交叉现象。
• 该构造适用于半正定拉格朗日子丛，无需特殊拉格朗日子纤维条件，从而扩大了族弗洛尔程序的应用范围。
• 局部坐标图之间的过渡映射与选择无关，并满足上链条件，确保了镜像空间结构的全局一致性。
• 该镜像构造与非阿基米德SYZ图景相容，并实现了康采维奇-索伊贝尔曼对非阿基米德镜像对称的期望。