[论文解读] Canonical Coordinates in Toric Degenerations

Helge Ruddat, Bernd Siebert|arXiv (Cornell University)|Sep 16, 2014

Algebraic Geometry and Number Theory参考文献 21被引用 19

一句话总结

本文在Gross和Siebert的toric degeneration框架下证明，基空间中的toric monomials作为规范坐标——这意味着镜像映射是平凡的。通过利用tropical几何构造整数周期，并显式计算周期积分，作者证明这些坐标满足Morrison对规范坐标的定义，从而确认了toric degeneration方法与镜像对称期望的一致性。

ABSTRACT

We prove that the mirror map is trivial for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author. In other words, the natural coordinate in a canonical Calabi-Yau family is a canonical coordinate in the sense of Hodge theory. This implies that the higher weight periods directly carry enumerative information with no further gauging necessary as opposed to the classical case. A side result is that the canonical formal families lift to analytic families. We compute the relevant period integrals explicitly. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the degenerate Calabi-Yau.

研究动机与目标

• 验证toric degeneration的基空间中的toric monomials是否符合Morrison定义的规范坐标。
• 证明在toric degeneration设置下，从代数坐标到规范坐标的镜像映射是平凡的。
• 证明在此框架下，退化Calabi-Yau流形的形式光滑化可提升为解析族。
• 确立tropical cycle在退化设置中生成所有相关同调周期。
• 显式计算tropical cycle上的周期积分，以确认规范坐标的结构。

提出的方法

• 通过仿射流形$B$的多面体分解$\mathscr{P}$的重心剖分，使用tropical方法在退化纤维中构造周期。
• 使用谱序列$E_1^{p,q} = H^{p+q}(\operatorname{Gr}^p_F C^\bullet(B,\Lambda)) \Rightarrow H^{p+q}(B,\Lambda)$，由于$q \neq 0$项消失，该谱序列在$E_2$处退化。
• 通过Čech复形和局部同调计算，定义一个与微分交换的映射$f: C_i(B,\partial B; \Lambda) \to H^{n-i}(\operatorname{Gr}^{n-i}_F C^\bullet(B; \Lambda))$。
• 通过Hodge滤子的分次结构，证明映射$f$诱导同调群与上同调群之间的同构$H_i(B, \partial B; \Lambda) \to H^{n-i}(B; \Lambda)$。
• 计算全纯$n$-形式$\Omega$在tropical周期上的周期积分，表明其在基空间中给出全纯函数。
• 应用Morrison的规范坐标定义$h_\beta(t) = \exp\left(-2\pi i \frac{\int_\beta \Omega}{\int_\alpha \Omega}\right)$，并证明当$\beta$对应于toric monomials时，这些函数可全纯延拓。

实验结果

研究问题

• RQ1 在toric degeneration的基空间中，toric monomials是否是Morrison意义下的规范坐标？
• RQ2 在Gross-Siebert的toric degeneration框架下，镜像映射是否消失？
• RQ3 在此设置中，退化Calabi-Yau流形的形式光滑化能否提升为解析族？
• RQ4 tropical cycle是否在退化中生成所有相关同调周期？
• RQ5 能否显式计算tropical cycle上的周期积分，以确认规范坐标的结构？

主要发现

• 基空间中的toric monomials是规范坐标，意味着在toric degeneration设置下镜像映射是平凡的。
• 文献[GS11]中构造的形式光滑化可提升为解析族，因为周期积分产生全纯函数。
• 通过$\mathscr{P}$的重心剖分构造的tropical cycle在退化纤维中生成所有同调周期。
• 映射$f: C_i(B, \partial B; \Lambda) \to H^{n-i}(\operatorname{Gr}^{n-i}_F C^\bullet(B; \Lambda))$在同调与上同调群之间诱导出自然同构。
• 谱序列$E_1^{p,q} = H^{p+q}(\operatorname{Gr}^p_F C^\bullet(B,\Lambda))$在$E_2$处退化，意味着Hodge滤子与周期结构相容。
• 显式计算周期积分表明，通过$h_\beta(t) = \exp(-2\pi i \cdot \int_\beta \Omega / \int_\alpha \Omega)$定义的规范坐标是全纯的，并与toric monomials一致。