[论文解读] Homological mirror symmetry for hypertoric varieties II (with an Appendix written jointly with Laurent Côté and Justin Hilburn)

Benjamin Gammage, Michael McBreen+1 more|arXiv (Cornell University)|Mar 19, 2019

Algebraic structures and combinatorial models参考文献 48被引用 16

一句话总结

本文通过将A模型中的全纯拉格朗日子空间与B模型中的非交换化解联系起来，建立了乘法超辛变量的同调镜像对称等价性，利用超凯勒t-结构阐明了SYZ对偶性。关键结果是范畴的导出等价性，该等价性通过奇异纤维周围的 perverse schobers 推广至单值自同构，为K-理论库仑分支镜像对称提供了一个原型。

ABSTRACT

In this paper, we prove a homological mirror symmetry equivalence for pairs of multiplicative hypertoric varieties, and we calculate monodromy autoequivalences of these categories by promoting our result to an equivalence of perverse schobers. We prove our equivalence by matching holomorphic Lagrangian skeleta, on the A-model side, with non-commutative resolutions on the B-model side. The hyperkähler geometry of these spaces provides each category with a natural t-structure, which helps clarify SYZ duality in a hyperkähler context. Our results are a prototype for mirror symmetry statements relating pairs of K-theoretic Coulomb branches.

研究动机与目标

• 建立乘法超辛变量对的同调镜像对称等价性，扩展先前关于加法超辛变量的结果。
• 通过为A模型和B模型的范畴配备自然的t-结构，阐明超凯勒几何在SYZ对偶性中的作用。
• 通过将镜像对称等价性提升为奇异纤维周围自同构的等价性，计算导出范畴的单值自同构。
• 为3D与4D超对称规范理论中K-理论库仑分支的镜像对称陈述提供一个原型。
• 形式化复数矩图参数β与K-凯勒型参数α = γ·exp(δ)之间的对偶性，其中γ为H²(U; R/Z)中的B场。

提出的方法

• 将乘法超辛变量构造为(T*Cⁿ)◦关于单模子环面T ⊂ (C×)ⁿ的超哈密顿约化。
• 在A模型侧使用全息拉格朗日子空间来建模Fukaya范畴，利用可积系统结构与节点环面纤维。
• 在B模型侧，通过参数γ ∈ T∨R，利用Kirwan映射将类定义在H²(U; R/Z)中，将镜像实现为代数簇的非交换化解。
• 通过t-结构与微局部层理论的匹配，建立A模型Fukaya范畴与B模型凝聚层导出范畴之间的导出等价性。
• 应用奇异纤维周围自同构的理论，将导出等价性提升为捕捉单值作用的范畴等价性。
• 使用微局部层理论，包括特殊化函子与傅里叶-萨托变换，分析奇异支撑，并证明层H的上同调同构于其在区域∆的截面。

实验结果

研究问题

• RQ1 同调镜像对称如何从加法超辛变量推广到乘法超辛变量？
• RQ2 在镜像对称下，复数矩图参数β与K-凯勒型参数α = γ·exp(δ)之间的确切关系是什么？
• RQ3 导出范畴中乘法超辛变量的单值自同构如何产生，以及如何在范畴上捕捉它们？
• RQ4 超凯勒结构如何为A模型与B模型的范畴赋予自然的t-结构，从而阐明SYZ对偶性？
• RQ5 镜像对称等价性能否被提升为奇异纤维周围自同构的等价性，以编码单值数据？

主要发现

• 本文证明了乘法超辛变量U(β,α)的Fukaya范畴与镜像的凝聚层导出范畴之间的同调镜像对称等价性，其中镜像为依赖于B场γ的非交换化解。
• 该等价性通过匹配A模型中的全息拉格朗日子空间与B模型中的非交换化解建立，利用超凯勒t-结构对齐范畴。
• 通过将镜像对称等价性提升为奇异纤维周围自同构的等价性，计算了单值自同构，其中奇异纤维的单值作用被编码。
• 通过微局部分析与特殊化函子，证明了层H的奇异支撑位于∆(Λ)的闭包中，即一组极对偶锥的并集。
• 上同调H∗(V, H)同构于截面H∆，这源于H远离区域∆且微局部莫尔斯引理由限制映射适用。
• 参数α = γ·exp(δ)控制A模型中的复化辛形式，而β控制B模型的代数结构，二者在镜像对称下互换。