[论文解读] Tropical Homology

Ilia Itenberg, Ludmil Katzarkov+2 more|arXiv (Cornell University)|Apr 7, 2016

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文为热带概形 $ X $ 引入了热带同调群 $ H_{p,q}(X) $，定义了一种以 $ \mathbb{Q} $ 为系数的同调理论，能够捕捉退化复概形的 Hodge 数。证明了对于一个 1-参数族复射影概形的光滑热带极限 $ X $，有 $ \dim H_{p,q}(X) = h^{p,q}(Z_w) $，从而在极限情形下建立了热带同调与经典 Hodge 理论之间的直接联系。

ABSTRACT

Given a tropical variety X and two non-negative integers p and q we define homology group $H_{p,q}(X)$. We show that if X is a smooth tropical variety that can be represented as the tropical limit of a 1-parameter family of complex projective varieties, then $\dim H_{p,q}(X)$ coincides with the Hodge number $h^{p,q}$ of a general member of the family.

研究动机与目标

• 使用具有有理系数的可构造余层定义热带概形的同调理论。
• 建立热带同调维数与退化复射影概形的 Hodge 数之间的对应关系。
• 证明热带同调群 $ H_{p,q}(X) $ 在退化过程中对中心纤维的选择具有独立性。
• 证明热带同调群能恢复极限混合 Hodge 结构中权过滤的分次部分。

提出的方法

• 在热带概形 $ X $ 上定义一个可构造余层 $ \mathcal{F}_p = {}^\mathbb{Z}\mathcal{F}_p \otimes \mathbb{Q} $，其在面的相对内部上具有常系数。
• 将热带同调群 $ H_{p,q}(X) $ 构造为以 $ \mathcal{F}_p $ 为系数的 $ X $ 的第 $ q $ 个同调群。
• 使用极限混合 Hodge 结构中 $ H^{p+q}(\mathcal{Z}_\infty, \mathbb{Q}) $ 的权谱序列，重点关注其 $ E^1 $-项。
• 在热带胞复形与权谱序列 $ E^1 $-项的对偶行复形之间建立拟同构。
• 将热带系数系统 $ \mathcal{F}^p $ 识别为热带坍缩映射 $ \pi: Z_w \to X $ 下的直接像 $ R^p\pi_*\underline{\mathbb{Q}} $。
• 证明锥上余复形的消解性，并通过单纯形的归纳法计算同调。

实验结果

研究问题

• RQ1 能否为热带概形定义一种同调理论，使其反映退化复概形的经典 Hodge 理论不变量？
• RQ2 热带同调群 $ H_{p,q}(X) $ 的维数是否与退化族中一般纤维的 Hodge 数 $ h^{p,q} $ 相等？
• RQ3 热带同调群如何与极限混合 Hodge 结构中的权过滤和 Hodge 过滤相关联？
• RQ4 热带同调理论是否对退化过程中中心纤维的选择具有独立性？

主要发现

• 对于 1-参数族的一般纤维 $ Z_w $，热带同调群 $ H_{p,q}(X) $ 的维数等于 Hodge 数 $ h^{p,q}(Z_w) $。
• 对偶空间 $ \operatorname{Hom}(H_q(X; \mathcal{F}_p), \mathbb{Q}) $ 自然同构于极限混合 Hodge 结构中权过滤的分次部分 $ W_{2p}/W_{2p-1} $。
• 热带系数系统 $ \mathcal{F}_p $ 定义良好，且不依赖于单纯剖分或中心纤维的选择。
• 权谱序列的 $ E^1 $-项同构于热带同调复形，其微分与 Gysin 映射和推出映射一致。
• 通过在单纯形上归纳，并利用锥上消解的余复形，计算了热带胞复形的同调。
• 该构造在 $ \mathbb{Q} $ 上成立，且有理同调计算无需面的单模性条件。