[论文解读] Resonant Hypergeometric Systems and Mirror Symmetry

Jan Stienstra|arXiv (Cornell University)|Nov 3, 1997

Algebraic Geometry and Number Theory参考文献 16被引用 32

一句话总结

该论文通过在含幂零元的环中使用适配的Γ-级数，构建了共振Gel'fand-Kapranov-Zelevinsky（GKZ）超几何系统的解，实现了Calabi-Yau流形上周期的显式计算。关键结果通过这些适配级数建立了相对上同调模与平凡D-模之间的同构，为toric镜像对称提供了必要的B-模型周期。

ABSTRACT

The Gamma-series of Gel'fand-Kapranov-Zelevinsky are adapted so that they give solutions for certain resonant systems of GKZ hypergeometric differential equations. For this some complex parameters in the Gamma-series are replaced by nilpotent elements from a ring $R_{A,T}$. The adapted Gamma-series is a function $Ψ$ with values in the finite dimensional vector space $R_{A,T}\otimes C$. Applications of these results in the context of toric Mirror Symmetry are described. Building on work of Batyrev we show that the relative cohomology module of a certain hypersurface in a torus is a GKZ hypergeometric $D$-module which over an appropriate domain is isomorphic to the trivial $D$-module $R_{A,T}\otimes O_T$, where $O_T$ is the sheaf of holomorphic functions on this domain. The isomorphism is explicitly given by adapted Gamma-series. As a result one finds the periods of a holomorphic differential form of degree $d$ on a $d$-dimensional Calabi-Yau manifold, needed for the B-model side input to Mirror Symmetry. Relating our work with that of Batyrev and Borisov we interpret the ring $\cR_{\sA,\gT}$ as the cohomology ring of a toric variety and a certain principal ideal in it as a subring of the Chow ring of a Calabi-Yau complete intersection. This interpretation takes place on the A-model side of Mirror Symmetry.

研究动机与目标

• 解决当 β ∈ ℤⁿ 且三角剖分包含多个极大单体时GKZ超几何系统中的共振问题。
• 通过引入幂零参数，构建Γ-级数解在共振情况下的明确定义定义域。
• 在toric簇与Calabi-Yau完全交的背景下，对解空间给出几何解释。
• 通过适配Γ-级数将A-模型上同调环与B-模型周期联系起来。
• 利用适配Γ-级数，显式建立相对上同调与平凡D-模之间的同构。

提出的方法

• 通过用环 𝒮_{𝒜,𝒯} 中的幂零元替代复参数，适配标准Γ-级数，从而在共振情况下获得解。
• 定义取值于 𝒮_{𝒜,𝒯} ⊗_ℤ ℂ 的函数 Ψ_{𝒯,β}，其对 β ∈ ℳ 满足GKZ系统。
• 利用正规三角剖分与指向的第二类扇形，定义适配Γ-级数的收敛域。
• 证明相对上同调模 Hⁿ(𝕋̃ rel 𝒁_{s−1}) 通过适配Γ-级数同构于平凡D-模 𝒮_{𝒜,𝒯} ⊗ 𝒪_𝒯。
• 将环 𝒮_{𝒜,𝒯} 识别为一个toric簇的上同调环，并将其中的一个主理想识别为Calabi-Yau完全交的Chow环的子环。
• 利用单值表示与陈类作用，将D-模结构与Picard群及线丛作用联系起来。

实验结果

研究问题

• RQ1 当标准级数因退化而失效时，如何适配Γ-级数以求解共振GKZ超几何系统？
• RQ2 在toric镜像对称的背景下，环 𝒮_{𝒜,𝒯} 的几何意义是什么？
• RQ3 适配Γ-级数如何提供相对上同调与平凡D-模之间的典范同构？
• RQ4 toric簇的上同调与Calabi-Yau完全交的Chow环之间有何关系？
• RQ5 B-模型侧的单值表示如何对应于A-模型侧的陈类？

主要发现

• 适配Γ-级数 Ψ_{𝒯,β} 即使在标准级数重合的共振情况下，也能提供明确定义的GKZ系统解。
• 相对上同调模 Hⁿ(𝕋̃ rel 𝒁_{s−1}) 在适当定义域上同构于平凡D-模 𝒮_{𝒜,𝒯} ⊗ 𝒪_𝒯。
• 该同构由适配Γ-级数显式给出，其计算了d维Calabi-Yau流形上一个全纯d-形式的周期。
• 环 𝒮_{𝒜,𝒯} 被识别为上同调环 H*(ℙ_𝒯, ℤ)，其主理想对应于Calabi-Yau完全交的Chow环。
• B-模型侧的单值表示同构于 Pic(ℙ_𝒯) 在 H*(ℙ_𝒯, ℤ) 上的作用，其中 c₁(ℒ) 作用为乘以 exp(c₁(ℒ))。
• 该构造涵盖了A-模型侧为光滑射影toric簇中光滑完全交Calabi-Yau的情形。