[论文解读] Hypergeometric Hodge modules

Thomas Reichelt, Christian Sevenheck|arXiv (Cornell University)|Mar 3, 2015

Algebraic Geometry and Number Theory参考文献 30被引用 5

一句话总结

本文证明了GKZ超几何D-模上的霍奇滤子由阶滤子平移得到，解决了弱Fano环在toric流形中的镜像对称中一个关键的技术缺口。作为推论，本文证明了一个长期存在的猜想：此类流形的约化量子D-模在非交换极化纯霍奇结构的变体下具有结构。

ABSTRACT

We consider mixed Hodge module structures on GKZ-hypergeometric differential systems. We show that the Hodge filtration on these D-modules is given by the order filtration, up to suitable shift. As an application, we prove a conjecture on the existence of non-commutative Hodge structures on the reduced quantum D-module of a nef complete intersection inside a toric variety.

研究动机与目标

• 显式计算底层为混合霍奇模的GKZ超几何D-模上的霍奇滤子。
• 解决先前涉及量子D-模的镜像对称构造中缺失的霍奇理论描述。
• 证明关于toric流形中拟正完备交的约化量子D-模携带非交换霍奇结构的猜想。
• 为通过维数约化和傅里叶-拉普拉斯变换计算刚性D-模的非奇异霍奇不变量提供基础。

提出的方法

• 使用傅里叶-拉普拉斯变换，将GKZ系统与toric流形上扭曲结构层的直接像联系起来。
• 通过V-滤子分析霍奇滤子，并研究其与Weyl代数上阶滤子的相容性。
• 应用拉东变换与积分变换，计算torus扩张上扭曲结构层的直接像。
• 通过Koszul复形构造拟同构，以在局部坐标图中计算直接像的上同调。
• 利用半群环结构与局部上同调描述滤子D-模结构。
• 利用对偶性与邻近周期函子的严格性，将滤子结构与非交换霍奇理论联系起来。

实验结果

研究问题

• RQ1 GKZ超几何D-模上的霍奇滤子与Weyl代数上的阶滤子之间有何关系？
• RQ2 能否显式描述toric流形中拟正完备交的量子D-模上的霍奇结构？
• RQ3 傅里叶-拉普拉斯变换在将GKZ系统实现为扭曲结构层的直接像中起什么作用？
• RQ4 在具有非奇异奇点的量子D-模背景下，非交换霍奇结构如何产生？
• RQ5 全纯超几何系统上非奇异霍奇滤子的显式形式是什么？

主要发现

• GKZ系统上的霍奇滤子与Weyl代数上的阶滤子同构，平移量为参数向量β。
• 主要结果（定理5.35）表明，GKZ系统上的霍奇滤子由阶滤子诱导，解决了这些系统霍奇理论中的一个关键技术问题。
• toric流形中拟正完备交的约化量子D-模在纯极化非交换霍奇结构的变体下具有结构，确认了[RS17]中的猜想6.15。
• 该结果使得可通过维数约化与傅里叶-拉普拉斯变换显式计算经典超几何系统的非奇异霍奇不变量。
• 量子D-模上的滤子D-模结构被证明是严格且与非交换霍奇结构相容的，通过邻近周期函子实现。
• 通过镜像映射，在$\rC_z \times \text{K}\text{M}^\bullet$-模层面建立了量子D-模与滤子D-模之间的同构，确认了镜像对称中霍奇理论等价性。