[論文レビュー] Hodge theory for tropical varieties

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

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

ひとこと要約

本稿は、滑らかで射影的なトロピカル多様体のコホモロジーに対して、代数幾何学の3つの基礎的定理—ハード・レフシェッツ、ホッジ＝リーマン関係、およびモノドロミー・ウェイト予想—のトロピカル版を確立する。組合せ的ホッジ理論とスペクトル系列を用い、新規のトロピカル・スティーンブリック・スペクトル系列、ケーラー形式、射影バンドル構造を通じて、マトロイドおよびトロピカル化に関する先行研究を統合的に扱う。

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.

研究の動機と目的

• 滑らかで射影的なトロピカル多様体のコホモロジーに対して、ハード・レフシェッツ定理、ホッジ＝リーマン関係、およびモノドロミー・ウェイト予想のトロピカル版を確立すること。
• マトロイドのホッジ理論、トロピカル幾何、非アルキメデス幾何に関する先行研究を、統一的なコホモロジー的枠組みで一般化すること。
• トロピカル・スティーンブリック・スペクトル系列を構築し、それがトロピカル多様体のコホモロジーに収束することを証明すること。
• ケーラー形式およびホッジ＝レフシェッツ構造をトロピカル幾何で定義・特徴づけること。
• 特にマトロイドのバーグマン・ファンを含む、多面体複体に対して、準射影的でユニモジュラーな三角形分割が存在することを示すこと。

提案手法

• アディプラシト＝フー＝カツの組合せ的幾何に対するホッジ理論を、バーグマン・ファンと同一な台を持つ任意のユニモジュラー準射影的ファンに一般化する。
• コホモロジー群上の三重複体および微分作用素を用いて、トロピカル版のスティーンブリック・スペクトル系列を構成する。
• コホモロジー上の双線形形式を介してトロピカルケーラー形式を導入し、複素数の場合と類似したホッジ＝レフシェッツ構造を定義する。
• 射影バンドルの公式をトロピカル設定に適用し、射影バンドルのコホモロジーと基底多様体のコホモロジーとの関係を確立する。
• トロピカル複体のスペクトル的分解を用いてモノドロミーを解析し、それがスティーンブリック・スペクトル系列と整合することを証明する。
• ベクトル値微分作用素（例：$\tilde{N}_{\gamma/\delta}$）および重心座標を用い、モノドロミーと微分作用素の可換性を検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的なトロピカル多様体のコホモロジー群は、ハード・レフシェッツ定理のトロピカル版を満たすか？
• RQ2 組合せ的および多面体的構造を用いて、ホッジ＝リーマンの双線形関係をトロピカル設定に拡張できるか？
• RQ3 スティーンブリック・スペクトル系列と整合するトロピカル版のモノドロミー・ウェイト予想が存在するか？
• RQ4 ケーラー形式およびホッジ＝レフシェッツ構造をトロピカル幾何でどのように定義・特徴づけられるか？
• RQ5 すべての多面体複体、特にマトロイドのバーグマン・ファンは、コホモロジー的応用に必要な準射影的でユニモジュラーな三角形分割を有するか？

主な発見

• 滑らかで射影的なトロピカル多様体のコホモロジーは、ケーラー類を2次コホモロジーでカップ積する操作によって誘導される同型写像を介して、トロピカル・ハード・レフシェッツ定理を満たす。
• トロピカル・ホッジ＝リーマン関係が成り立つ：ケーラー類によって定義されるコホモロジー上の双線形形式は、中間次元の原始的コホモロジー上で正定値である。
• モノドロミー・ウェイト予想はトロピカル設定で検証された：スティーンブリック・スペクトル系列上のモノドロミー作用素は、ウェイトフィルトレーションと整合し、絶対値が1の固有値を持つ。
• トロピカル・スティーンブリック・スペクトル系列が構成され、それがトロピカル多様体のコホモロジーに収束することが示された。項は面およびセデントリティで添え字づけられる。
• トロピカル・スティーンブリック・スペクトル系列上のモノドロミー作用素が、標準的同型を介して元のスティーンブリック・スペクトル系列上のモノドロミー作用素と一致することが証明された。
• すべての多面体複体、特にマトロイドのバーグマン・ファンは、準射影的でユニモジュラーな三角形分割を有する。これは、ケーラー形式およびホッジ＝レフシェッツ構造を構成するために必要な重要な技術的結果である。