[论文解读] Berglund-Hübsch mirror symmetry via vertex algebras

Lev Borisov|arXiv (Cornell University)|Jul 15, 2010

Algebraic structures and combinatorial models参考文献 15被引用 6

一句话总结

本文利用顶点代数证明了Berglund-Hübsch镜像对称性，通过Fock空间上的微分和谱流同构，建立了非退化可逆势能的A环与对偶势能的B环之间的同构关系。该研究通过双对偶格点和对数坐标，构建了一个统一的组合框架，将Berglund-Hübsch对偶性与Batyrev-Borisov对偶性统一起来，其中顶点代数$V_{f,g}$通过Fock空间构造中的微分，同时编码了两者的共形环及其镜像对称性。

ABSTRACT

We give a vertex algebra proof of the Berglund-Hübsch duality of nondegenerate invertible potentials. We suggest a way to unify it with the Batyrev-Borisov duality of reflexive Gorenstein cones.

研究动机与目标

• 提供一个基于顶点代数的Berglund-Hübsch镜像对称性证明，适用于非退化可逆势能。
• 通过将Berglund-Hübsch对偶性嵌入与Batyrev-Borisov对偶性相同的框架中，推广Batyrev-Borisov对偶性。
• 构造一个顶点代数$V_{f,g}$，其共形环实现镜像对偶理论的A环与B环。
• 建立A环与B环之间的谱流同构，从而在向量空间层面确认镜像对称性。
• 通过双对偶格点上的组合数据，为Landau-Ginzburg与toric Calabi-Yau镜像对称性提供统一处理的基础。

提出的方法

• 构造基于$M \oplus N$的Fock空间，其中$M$与$N$是与Berglund-Hübsch势能及其对偶相关的对偶格点。
• 通过$\Delta$与$\Delta^\vee$中元素关联的顶点算符上的留数运算，定义微分$D_{f,g}$，编码势能及其对偶。
• A环作为子复形${\mathcal{C}}_{K_{N}^\vee, K_N - \deg^\vee, M}$的上同调计算得到，而B环则来自${\mathcal{C}}_{K_{N}^\vee - \deg, K_N, N}$。
• 顶点代数$V_{f,g}$定义为Fock空间关于$D_{f,g}$的上同调，且对一般$f$与$g$，其为$\sigma$-模型类型。
• 通过场${\rm SF}_{\pm}(z)$的算符乘积展开，推导出A环与B环之间的谱流同构，从而提供镜像对称同构。
• 该框架使用对数坐标，将共形环重新表达为涉及半群环与外代数的复形的上同调。

实验结果

研究问题

• RQ1 能否仅通过顶点代数技术而非物理或上同调方法，严格证明Berglund-Hübsch镜像对称性？
• RQ2 如何在单一代数框架中统一Batyrev-Borisov对偶性与Berglund-Hübsch对偶性？
• RQ3 在Berglund-Hübsch设定中，谱流同构在关联A环与B环方面起何种精确作用？
• RQ4 在不依赖顶点代数形式化的情况下，共形环上的Frobenius代数结构能否自然定义？
• RQ5 在该广义对偶性下，Hodge钻石与椭圆亏格的行为如何？能否通过顶点代数构造进行计算？

主要发现

• Berglund-Hübsch势能的A环通过谱流同构与对偶势能的B环同构，从而在向量空间层面确认了镜像对称性。
• 当$f$与$g$为一般形式时，顶点代数$V_{f,g}$为$\sigma$-模型类型，确保物理一致性，并支持共形环的计算。
• A环作为$\mathcal{C}_{K_{N}^\vee, K_N - \deg^\vee, M}$的上同调计算得到，B环作为$\mathcal{C}_{K_{N}^\vee - \deg, K_N, N}$的上同调计算得到，提供了对偶的计算路径。
• 该构造通过使用对偶格点$M$与$N$，以及满足配对条件的集合$\Delta$与$\Delta^\vee$，将Batyrev-Borisov对偶性推广为统一框架。
• 顶点代数方法为共形环上的Frobenius代数结构提供了自然设定，尽管在一般情形下乘积结构仍需进一步验证。
• 该方法暗示了一种形式几何解释：当用部分半群环替代半群环时，可得到轨道理论，与toric簇的扇形结构一致。