[论文解读] Hodge theory for tropical varieties

Omid Amini, Matthieu Piquerez|arXiv (Cornell University)|Jul 15, 2020

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

一句话总结

本文为光滑射影热带代数簇的上同调建立了代数几何中三个基础定理——Hard Lefschetz定理、Hodge-Riemann关系与单值-权猜想——的热带类比。通过在幺模扇形上应用组合Hodge理论与谱序列，本文利用一种新颖的热带Steenbrink谱序列、Kähler形式及射影丛结构，证明了这些结果，统一了此前关于拟阵与热带化的研究成果。

ABSTRACT

In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann relations and monodromy-weight conjecture. On the way to establish these results, we introduce and prove other results of independent interest. This includes a generalization of the results of Adiprasito-Huh-Katz, Hodge theory for combinatorial geometries, to any unimodular quasi-projective fan having the same support as the Bergman fan of a matroid, a tropical analog for Bergman fans of the pioneering work of Feichtner-Yuzvinsky on cohomology of wonderful compactifications (treated in a separate paper, recalled and used here), a combinatorial study of the tropical version of the Steenbrink spectral sequence, a treatment of Kahler forms in tropical geometry and their associated Hodge-Lefschetz structures, a tropical version of the projective bundle formula, and a result in polyhedral geometry on the existence of quasi-projective unimodular triangulations of polyhedral spaces.

研究动机与目标

• 为光滑射影热带代数簇建立Hard Lefschetz定理、Hodge-Riemann关系与单值-权猜想的热带类比。
• 在单一上同调框架下统一并推广拟阵Hodge理论、热带几何与非阿基米德几何中的先前结果。
• 构建并证明热带Steenbrink谱序列收敛于热带代数簇的上同调。
• 在热带几何中引入并刻画Kähler形式与Hodge-Lefschetz结构。
• 证明所有多面体复形，特别是拟阵的Bergman扇形，均存在必要的拟射影幺模三角剖分。

提出的方法

• 将Adiprasito-Huh-Katz对组合几何的Hodge理论推广至任意具有与Bergman扇形相同支撑的幺模拟射影扇形。
• 通过上同调群上的三重复形与微分算子，构造一种热带版的Steenbrink谱序列。
• 通过上同调上的双线性配对引入热带Kähler形式，定义出类似于复情形的Hodge-Lefschetz结构。
• 在热带设定下应用射影丛公式，将射影丛的上同调与基底簇的上同调联系起来。
• 使用热带复形的谱分辨率分析单值性，并证明其与Steenbrink谱序列的相容性。
• 采用向量值微分算子（例如 $\tilde{N}_{\gamma/\delta}$）与重心坐标，验证单值性与微分算子的可交换性。

实验结果

研究问题

• RQ1 光滑射影热带代数簇的上同调群是否满足Hard Lefschetz定理的热带类比？
• RQ2 能否利用组合与多面体结构将Hodge-Riemann双线性关系扩展至热带设定？
• RQ3 是否存在一个与Steenbrink谱序列一致的热带版单值-权猜想？
• RQ4 Kähler形式与Hodge-Lefschetz结构在热带几何中应如何定义与刻画？
• RQ5 所有多面体复形，特别是Bergman扇形，是否都存在用于上同调应用的拟射影幺模三角剖分？

主要发现

• 光滑射影热带代数簇的上同调满足热带Hard Lefschetz定理，其由2度Kähler类的上积诱导的同构实现。
• 热带Hodge-Riemann关系成立：由Kähler类定义的上同调双线性形式在中间度的初等上同调上为正定。
• 在热带设定下验证了单值-权猜想：Steenbrink谱序列上的单值算子与权过滤相容，且其特征值的绝对值为1。
• 构造了热带Steenbrink谱序列，并证明其收敛于热带代数簇的上同调，其项由面与退化度索引。
• 证明了热带Steenbrink谱序列上的单值算子，通过一个典范同构，与原始Steenbrink谱序列上的单值算子完全一致。
• 每个多面体复形，包括拟阵的Bergman扇形，均存在拟射影幺模三角剖分，这是实现Kähler形式与Hodge-Lefschetz结构构造的关键技术结果。