[论文解读] Logarithmic Frobenius manifolds, hypergeometric systems and quantum D-modules

Thomas Reichelt, Christian Sevenheck|arXiv (Cornell University)|Oct 11, 2010

Algebraic Geometry and Number Theory参考文献 37被引用 6

一句话总结

本文通过过滤 $π$-模的等价关系，建立了弱 Fano toric流形的镜像对称性，将镜像 Landau-Ginzburg 模型的 Gau{̀}-Manin 系统与一个超几何 $π$-模相联系。它通过求解 Birkhoff 问题构造了具有极点的对数 Frobenius 流形，并证明了在复化 K{"a}hler 模式空间上存在一个纯的、极化的非交换 Hodge 结构，将 Frobenius 结构扩展到具有对数退化性的全局族，其退化发生在大半径极限点处。

ABSTRACT

We describe mirror symmetry for weak toric Fano manifolds as an equivalence of D-modules equipped with certain filtrations. We discuss in particular the logarithmic degeneration behavior at the large radius limit point, and express the mirror correspondence as an isomorphism of Frobenius manifolds with logarithmic poles. The main tool is an identification of the Gauss-Manin system of the mirror Landau-Ginzburg model with a hypergeometric D-module, and a detailed study of a natural filtration defined on this differential system. We obtain a solution of the Birkhoff problem for lattices defined by this filtration and show the existence of a primitive form, which yields the construction of Frobenius structures with logarithmic poles associated to the mirror Laurent polynomial. As a final application, we show the existence of a pure polarized non-commutative Hodge structure on a Zariski open subset of the complexified Kaehler moduli space of the variety.

研究动机与目标

• 通过过滤 $π$-模的等价关系建立弱 Fano toric 流形的镜像对称性。
• 分析 Frobenius 结构在大半径极限点处的对数退化行为。
• 利用镜像洛朗多项式及其初等形式，构造具有极点的对数 Frobenius 流形。
• 证明在复化 K{"a}hler 模式空间的 Zariski 开子集上存在一个纯的、极化的非交换 Hodge 结构。
• 将镜像 Landau-Ginzburg 模型的 Gau{̀}-Manin 系统与一个超几何 $π$-模相联系，并求解其格的 Birkhoff 问题。

提出的方法

• 作者通过对微分系统上自然滤过结构的详细研究，将镜像 Landau-Ginzburg 模型的 Gau{̀}-Manin 系统与一个超几何 $π$-模相联系。
• 利用 Hodge 理论数据（特别是 Deligne 的 $I^{p,q}$-分裂）求解由该滤过结构定义的格的 Birkhoff 问题。
• 利用 Birkhoff 问题的解构造初等形式，从而得到具有对数极点的 Frobenius 结构。
• 将该构造扩展到 K{"a}hler 模式空间上的全局 Frobenius 流形，其在大半径极限点处具有对数奇点。
• 证明所得的 $π$-模结构支撑一个 TERP-结构的变体，通过与已知的可积极化扭量结构结果比较，证明其为纯且极化。
• 通过证明 Higgs 场分量的特征多项式系数在紧化后仍全纯，确立了沿边界除子 $Z = \bigcup_{a=1}^{r}\{q_a = 0\}$ 的调和丛的驯服性。

实验结果

研究问题

• RQ1 弱 Fano toric 流形的镜像对称性如何表述为过滤 $π$-模的等价关系？
• RQ2 在大半径极限点处，对数退化在 Frobenius 结构中起什么作用？
• RQ3 能否为镜像洛朗多项式构造初等形式，以得到具有对数极点的 Frobenius 流形？
• RQ4 K{"a}hler 模式空间上的量子 $π$-模是否支撑一个纯的、极化的非交换 Hodge 结构？
• RQ5 镜像 Landau-Ginzburg 模型的 Gau{̀}-Manin 系统与超几何 $π$-模之间有何关系？

主要发现

• 镜像 Landau-Ginzburg 模型的 Gau{̀}-Manin 系统同构于一个超几何 $π$-模，从而通过滤过结构将量子 $π$-模与 Brieskorn 格相联系。
• 利用 Hodge 理论数据（包括 Deligne 的 $I^{p,q}$-分裂）求解了由滤过结构定义的格的 Birkhoff 问题。
• 构造了初等形式，从而在镜像 K{"a}hler 模式空间上得到一个具有对数极点的定义良好的 Frobenius 流形。
• 所得的 $π$-模结构支撑一个纯且极化的 TERP-结构变体，通过与已知的可积极化扭量结构结果比较得以验证。
• 与 $π$-模相关的调和丛沿边界除子 $Z = \bigcup_{a=1}^{r}\{q_a = 0\}$ 是驯服的，因为 Higgs 场特征多项式系数在紧化后仍全纯。
• 该构造在复化 K{"a}hler 模式空间的 Zariski 开子集上建立了 A 侧量子 $π$-模与 B 侧对数 Frobenius 流形之间的全局镜像对应。