[论文解读] Smoothing Calabi-Yau toric hypersurfaces using the Gross-Siebert algorithm

Thomas Prince|arXiv (Cornell University)|Sep 4, 2019

Algebraic Geometry and Number Theory参考文献 53被引用 4

一句话总结

本文提出了一种格罗夫-西伯特算法在4维对偶反射多面体的闵可夫斯基分解基础上的新应用，构造了14种新的单连通卡拉比-丘三流形拓扑类型，其Picard秩为1（b₂ = 1）。通过对toric超曲面退化边界应用对数几何技术进行光滑化，并在tropical模型上计算拓扑不变量，作者识别出此前未知的卡拉比-丘族，其中包括一个由具有整单值单应性的卡拉比-丘微分算子所预测的族。

ABSTRACT

We explain how to form a novel dataset of simply connected Calabi-Yau threefolds via the Gross-Siebert algorithm. We expect these to degenerate to Calabi-Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated) singularities. In particular, we explain how to `smooth the boundary' of a class of $4$-dimensional reflexive polytopes to obtain a polarised tropical manifolds. We compute topological invariants of a compactified torus fibration over each such tropical manifold, expected to be homotopy equivalent to the general fibre of the Gross-Siebert smoothing. We consider a family of examples related to the joins of elliptic curves. Among these we find $14$ topological types with $b_2=1$ which do not appear in existing lists of known rank one Calabi-Yau threefolds.

研究动机与目标

• 通过格罗夫-西伯特程序构造具有小Picard秩（特别是秩1）的单连通卡拉比-丘三流形的新例子。
• 弥补已知秩1卡拉比-丘三流形的空白，因为此前仅知151种构造，其中20种为猜想性构造。
• 为通过反射多面体2-面的闵可夫斯基分解，对具有Gorenstein奇点的卡拉比-丘toric超曲面提供几何与算法性光滑化框架。
• 利用tropical模型空间X(P,D)计算光滑化族的一般纤维的拓扑不变量（如欧拉示性数与贝蒂数）。
• 通过识别14种在现有数据库中未出现的新拓扑类型（包括一个与微分算子理论中猜想示例匹配的类型）来验证构造的有效性。

提出的方法

• 方法始于一个4维反射多面体P，以及P的每个2-面的闵可夫斯基分解D，分解为标准单形（1-和2-单形），形成一对(P,D)。
• 该对(P,D)定义了一个局部刚性、正的toric对数卡拉比-丘空间X₀(P,D)，即对数卡拉比-丘流形形式退化的中心纤维。
• 对(P,D)施加一个极化条件（正则性），确保在整仿射流形B上存在严格凸的分片线性函数，从而可应用格罗夫-西伯特算法。
• 该算法在ℂ中的一个圆盘上构造一个退化族，其一般纤维预期为光滑卡拉比-丘三流形。
• 在由格罗夫引入的拓扑模型X(P,D)上计算拓扑不变量，该模型猜想同伦等价于对数卡拉比-丘空间的Kato-Nakayama空间。
• 该构造应用于与椭圆曲线连接相关的多面体族，特别是P₆,₆、P₅,₆、P₄,₆等，系统性地枚举了正则配置。

实验结果

研究问题

• RQ1 格罗夫-西伯特算法能否系统性地应用于具有非孤立Gorenstein奇点的卡拉比-丘toric超曲面的光滑化？
• RQ2 当中心纤维是由闵可夫斯基分解构造的toric对数卡拉比-丘空间时，其光滑化一般纤维会产生哪些拓扑不变量？
• RQ3 是否存在在现有分类中未出现的新拓扑类型的单连通卡拉比-丘三流形，且满足b₂ = 1？
• RQ4 具有整单值单应性的卡拉比-丘微分算子的存在是否能预测新卡拉比-丘三流形的存在？此类例子能否通过此方法构造？
• RQ5 本研究结果与以往通过toric退化或正则交叉光滑化构造的结果在多大程度上重叠或扩展？

主要发现

• 作者构造了14种在现有已知秩1例子列表中未出现的新拓扑类型的单连通卡拉比-丘三流形，且b₂ = 1。
• 其中一种拓扑类型与一个由具有整单值单应性的卡拉比-丘微分算子所预测的猜想性例子完全匹配。
• 该构造从P₆,₆、P₅,₆和P₄,₆等多面体族中得到14个新例子，其特定的2-面闵可夫斯基分解配置为关键。
• 对于P₆,₆，该方法识别出12种不同配置，产生正则(P,D)对，其欧拉示性数χ范围为-72至-48，b₂范围为1至5。
• 对于P₄,₆，该方法识别出11种不同配置，χ范围为-72至-56，b₂范围为1至4，其中一种具有b₂ = 4。
• 结果与猜想一致：tropical模型X(P,D)同伦等价于Kato-Nakayama空间，从而可可靠计算拓扑不变量。