[论文解读] Tropical contractions to integral affine manifolds with singularities

Yuto Yamamoto|arXiv (Cornell University)|May 21, 2021

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

一句话总结

本文构建了热带收缩——从热带概形到具有奇点的积分仿射流形（IAMS）的映射——这些映射保持积分仿射结构与热带上同调。研究证明，作为卡拉比–丘完全交的 торic 变形的对偶相交复形的 IAMS，可通过超曲面的稳定交嵌入到热带概形中，并证明收缩映射保持特征波类与辐射障碍，推广了热带变换，并为镜像对称中的关键奇点提供了局部模型。

ABSTRACT

We consider a toric degeneration of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. One can associate two types of tropical spaces with it. One is a tropical variety obtained by tropicalization. The other one is an integral affine manifold with singularities, which arises as the dual intersection complex of the toric degeneration. In this article, we show that the latter is contained in the former as a subset, and construct an integral affine contraction map from the former to the latter. We also show that the contraction preserves tropical cohomology groups, and sends the eigenwave to the radiance obstruction.

研究动机与目标

• 建立热带概形与具有奇点的积分仿射流形（IAMS）之间的几何桥梁，后者是 Gross–Siebert 计划与非阿基米德镜像对称的核心。
• 从一个热带概形（定义为热带超曲面的稳定交）构造一个收缩映射至 IAMS，该 IAMS 作为卡拉比–丘完全交的 toric 变形的对偶相交复形。
• 证明该收缩映射保持热带上同调群，并将特征波类映射到辐射障碍，从而连接几何与上同调不变量。
• 提供此类收缩的局部模型，以实现拓扑与热带镜像对称中的关键奇点，如焦点-焦点点与热带节点。
• 通过引入更广泛的态射类——热带收缩——推广 Mikhael 的热带变换，这些态射在局部同构于这些模型。

提出的方法

• 构造使用对偶空间 M′ 与 N′ 中的格点多面体配置，其中在 NR 中生成锥 C，由对偶多面体与标准基向量的乘积生成。
• 通过最小-热带多项式定义热带超曲面：fi(n) = min_{m∈Ai} ⟨m,n⟩，其中 Ai 包含 0 与 ∆i × {−e*i} 中的格点。
• 热带概形通过这些超曲面的稳定交 X(f1,…,fr)◦ 实现，其为 NR 中的加权平衡多面体复形。
• 定义子集 B ⊂ NR 为满足 fi(n) = 0 的点集（对某个非零 m∈Ai），并通过投影到热带环面轨道赋予其积分仿射结构。
• 在局部构造收缩映射 δ: V → U，其中 V 是一个热带流形（局部同构于 Bergman 范畴），U ⊂ B 是 IAMS 中的邻域。
• 证明该映射是热带空间的态射，保持积分仿射结构，并满足上同调不变性的条件。

实验结果

研究问题

• RQ1 如何构造一个从热带概形到具有奇点的积分仿射流形的态射，以保持其底层仿射结构？
• RQ2 热带收缩映射是否保持热带上同调群与特征波类？
• RQ3 收缩映射能否将已知奇点（如焦点-焦点点与热带节点）作为局部模型实现？
• RQ4 在何种条件下，IAMS 上的收缩可局部表示为热带变换或非常良好的局部模型？
• RQ5 卡拉比–丘完全交的 toric 变形的对偶相交复形是否通过稳定交自然地嵌入到热带概形中？

主要发现

• 作为 toric 变形对偶相交复形的 IAMS B，通过稳定交构造被自然地嵌入到热带概形 X(f1,…,fr) 中。
• 从一个热带流形 V 到 IAMS 中邻域 U ⊂ B 的热带收缩映射 δ: V → U 被构造出来，并保持积分仿射结构。
• 该收缩映射保持热带上同调群，确保在态射下上同调不变量被保留。
• 该映射将特征波类映射到辐射障碍，从而将热带概形的几何不变量与 IAMS 的特征类联系起来。
• 当 IAMS 为拟单纯时（例如在 Gross–Siebert 意义下为单纯），收缩在局部同构于一个局部模型；当其为非常单纯时，该局部模型为“非常良好”——这是进一步应用的必要条件。
• 该构造推广了 Mikhael 的热带变换，表明它们是热带收缩的特例。