[论文解读] Twistor property of GKZ-hypergeometric systems

Takuro Mochizuki|arXiv (Cornell University)|Jan 17, 2015

Polynomial and algebraic computation参考文献 36被引用 20

一句话总结

本文证明了某些性质良好的GKZ超几何系统——在镜像对称中具有关键作用——自然地携带混合扭量D-模结构，从而能够研究其上推和特化。主要结果是这些系统与扭曲de Rham复形之间存在显式同构，进而揭示了在局部镜像对称背景下混合TEP-结构的新同构关系。

ABSTRACT

We study the mixed twistor D-modules associated to meromorphic functions. In particular, we describe their push-forward and specialization under some situations. We apply the results to study the twistor property of a type of GKZ-hypergeometric systems, and to study their specializations. As a result, we obtain some isomorphisms of mixed TEP-structures in the local mirror symmetry.

研究动机与目标

• 证明更优美的GKZ超几何系统自然地具有混合扭量D-模结构。
• 研究与亚纯函数相关的混合扭量D-模的上推和特化。
• 将这些结果应用于揭示在局部镜像对称背景下混合TEP-结构的新同构关系。
• 通过扭曲de Rham复形和eR-模，提供这些系统的几何与代数描述。
• 阐明在混合扭量理论背景下，GKZ系统与扭曲Gauss-Manin联络之间的关系。

提出的方法

• 使用复流形上具有实结构的可积混合扭量D-模框架。
• 应用eR-模理论（例如eRCm）在扭曲的扩展参数空间中定义并分析GKZ超几何系统。
• 将eRCm-模MGKZ(A, Γ, β)构造为自由模关于由微分算子生成的理想之商。
• 通过带连接的相对de Rham复形d + d(λ⁻¹FA) − κ(β)，将MGKZ与扭曲de Rham复形联系起来。
• 在投影下建立MGKZ与这些复形的高阶直接像之间的同构关系。
• 利用混合扭量D-模的导出范畴中的特化与上推函子，分析其几何与上同调性质。

实验结果

研究问题

• RQ1 哪些GKZ超几何系统自然地携带混合扭量D-模结构？
• RQ2 上推与特化函子如何作用于与亚纯函数相关的混合扭量D-模？
• RQ3 在eR-模背景下，GKZ系统与扭曲de Rham复形之间的确切关系为何？
• RQ4 GKZ系统上的混合扭量结构是否能导致在局部镜像对称背景下出现混合TEP-结构的新同构？
• RQ5 在何种条件下，系统GKZ_eR(A, Γ, β)可表示为eRCm对理想I(A, β)的商？

主要发现

• 通过eRCm-模构造，更优美的GKZ超几何系统自然地实现了混合扭量D-模结构。
• 存在MGKZ(A, K(A), β)与高阶直接像Rⁿπ̃ₐ∗C•(A, β)•之间的自然同构，将该系统与扭曲de Rham上同调联系起来。
• 类似地，MGKZ(A, K(A)◦, β)同构于Rⁿπ̃ₐ∗C•(A, β)◦，将对应关系扩展至全纯情形。
• 当Γ = Z≥₀A + c₀时，系统GKZ_eR(A, Γ, β)等价于GKZord_eR(A, β − c₀)，且MGKZ ≃ eRCm / I(A, β − c₀)。
• 系统MGKZ(A, Γ₁, β) → MGKZ(A, Γ₂, β)之间的态射对应于由乘法∏(λ∂xj)ᵇʲ诱导的模映射。
• 当K(A) = Z≥₀A且β = 0时，有MGKZ(A, K(A), 0) ≃ eRCm / I(A, 0)，且在全纯情形下β = −c₁时同理成立。