[论文解读] Chain Integral Solutions to Tautological Systems

An Huang, Bong H. Lian+2 more|arXiv (Cornell University)|Aug 3, 2015

Algebraic Geometry and Number Theory参考文献 8被引用 7

一句话总结

本文建立了相对同调群 $ H_n(X - Y_a, \bigcup D - Y_a) $ 中相对循环与典型系统 $ \tau $ 的解之间的几何对应关系，表明此类循环上的链积分生成了 GKZ 系统的完整解层。关键结果是解层的混合霍奇结构与相对同调群的混合霍奇结构同构，通过拓扑链将周期积分推广至半周期。

ABSTRACT

We give a new geometrical interpretation of the local analytic solutions to a differential system, which we call a tautological system $τ$, arising from the universal family of Calabi-Yau hypersurfaces $Y_a$ in a $G$-variety $X$ of dimension $n$. First, we construct a natural topological correspondence between relative cycles in $H_n(X-Y_a,\cup D-Y_a)$ bounded by the union of $G$-invariant divisors $\cup D$ in $X$ to the solution sheaf of $τ$, in the form of chain integrals. Applying this to a toric variety with torus action, we show that in addition to the period integrals over cycles in $Y_a$, the new chain integrals generate the full solution sheaf of a GKZ system. This extends an earlier result for hypersurfaces in a projective homogeneous variety, whereby the chains are cycles. In light of this result, the mixed Hodge structure of the solution sheaf is now seen as the MHS of $H_n(X-Y_a,\cup D-Y_a)$. In addition, we generalize the result on chain integral solutions to the case of general type hypersurfaces. This chain integral correspondence can also be seen as the Riemann-Hilbert correspondence in one homological degree. Finally, we consider interesting cases in which the chain integral correspondence possibly fails to be bijective.

研究动机与目标

• 为 $ G $-空间中卡拉比-丘超曲面所导出的典型系统 $ \tau $ 的局部解析解提供几何解释。
• 通过 $ G $-不变除子界定的相对循环上的链积分，将经典周期积分构造推广至包含半周期。
• 证明 GKZ 系统的解层完全由链积分生成，而不仅限于标准周期积分。
• 在同调的一个度数上，建立相对同调与解层之间的黎曼-希尔伯特型对应关系。
• 将链积分对应关系推广至一般型超曲面，并识别双射失效的情形。

提出的方法

• 通过解析形式的链积分，建立 $ H_n(X - Y_a, \bigcup D - Y_a) $ 中相对循环与典型系统 $ \tau $ 的解之间的拓扑对应关系。
• 利用傅里叶变换，将 $ X $ 的锥的理想 $ I(\hat{X}) $ 与 $ D_{V^\vee} $ 中的微分算子联系起来，从而定义典型系统 $ \tau $。
• 将该构造应用于具有环面作用的 toric 代数簇，证明链积分不仅生成标准周期层，还生成 GKZ 系统的完整解层。
• 识别出解层的混合霍奇结构与 $ H_n(X - Y_a, \bigcup D - Y_a) $ 的混合霍奇结构同构。
• 将链积分对应关系推广至一般型超曲面，扩展了卡拉比-丘情形的结果。
• 分析链积分映射双射失效的情形，特别在旗流形的 Schubert 单元中，额外解由低维链产生。

实验结果

研究问题

• RQ1 如何在标准周期积分之外，通过几何方式实现典型系统 $ \tau $ 的完整解层？
• RQ2 GKZ 系统解空间中半周期的拓扑起源是什么？
• RQ3 相对同调群 $ H_n(X - Y_a, \bigcup D - Y_a) $ 与 $ \tau $ 的解层有何关系？
• RQ4 在何种情况下链积分映射不是双射，且额外解对应什么？
• RQ5 是否存在镜像对称词典，将上同调上的杯积与 $ [\bigcup D^\vee] $ 对应到同调上的管状映射？

主要发现

• 典型系统 $ \tau $ 的解层完全由 $ H_n(X - Y_a, \bigcup D - Y_a) $ 中相对循环上的链积分生成，从而推广了经典周期积分。
• 对于具有环面作用的 toric 代数簇，链积分生成了 GKZ 系统的整个解层，而不仅限于周期层。
• 解层的混合霍奇结构与 $ H_n(X - Y_a, \bigcup D - Y_a) $ 的混合霍奇结构同构，为霍奇结构提供了几何实现。
• 在具有幂零群作用的旗流形情形中，链积分映射是单射但非满射，额外解由与 Schubert 单元相关的低维链产生。
• 一个显式例子表明，额外解 $ 1/a_1 $ 由无穷远处 0-形式与 0-循环的配对产生，未被标准链积分捕获。
• 超平面猜想——即周期积分由 $ \int_\alpha B_X \cup [\bigcup D^\vee] $ 生成——被链积分同构所镜像，提示杯积与管状映射之间存在深刻的对偶性。