[論文レビュー] 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} $ 上のホモロジー理論を定義する。1パラメータ族の滑らかなトロピカル極限 $ X $ に対して、$ \dim H_{p,q}(X) = h^{p,q}(Z_w) $ が成り立つことを証明し、トロピカルホモロジーと古典的ホッジ理論との間の直接的な関係を確立する。

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.

研究の動機と目的

• トロピカル多様体に対して、有理数係数の可 Constructible コシーファイバーを用いたホモロジー理論を定義すること。
• 退化する複素射影的多様体のホモロジー次元とホッジ数の間の対応関係を確立すること。
• トロピカルホモロジー群 $ H_{p,q}(X) $ が退化における中心ファイバーの選択に依存しないことを示すこと。
• トロピカルホモロジー群が極限混合ホッジ構造における重みフィルトレーションの各次元のグレーディングを回復することを証明すること。

提案手法

• トロピカル多様体 $ X $ 上に、相対的内部の各面で定数係数を持つ可 Constructible コシーファイバー $ \mathcal{F}_p = {}^\mathbb{Z}\mathcal{F}_p \otimes \mathbb{Q} $ を定義する。
• 係数が $ \mathcal{F}_p $ である $ X $ の $ q $-次ホモロジーとして、トロピカルホモロジー群 $ H_{p,q}(X) $ を構成する。
• 極限混合ホッジ構造の $ 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 退化する複素多様体の古典的ホッジ的不変量を反映するような、トロピカル多様体に対するホモロジー理論を定義できるか？
• RQ2 1パラメータ族の退化において、トロピカルホモロジー群 $ H_{p,q}(X) $ の次元は一般ファイバーのホッジ数 $ h^{p,q} $ と一致するか？
• RQ3 トロピカルホモロジー群は、極限混合ホッジ構造における重みフィルトレーションおよびホッジフィルトレーションとどのように関係するか？
• RQ4 退化における中心ファイバーの選択に依存しないトロピカルホモロジー理論は成立するか？

主な発見

• 1パラメータ族の一般ファイバー $ Z_w $ に対して、トロピカルホモロジー群 $ H_{p,q}(X) $ の次元はホッジ数 $ h^{p,q}(Z_w) $ に等しい。
• 双対空間 $ \operatorname{Hom}(H_q(X; \mathcal{F}_p), \mathbb{Q}) $ は、極限混合ホッジ構造における重みフィルトレーションの $ W_{2p}/W_{2p-1} $ のグレーディングと自然に同型である。
• トロピカル係数系 $ \mathcal{F}_p $ は、三角形分割や中心ファイバーの選択に依存せず、適切に定義されている。
• 重みスペクトル系列の $ E^1 $-項は、トロピカルホモロジー複体と同型であり、微分はギジン写像およびプッシュフォワード写像と一致する。
• トロピカルセルラー複体のホモロジーは、錐上のアサイクルな剰余複体を用いた単体における帰納法により計算可能である。
• この構成は $ \mathbb{Q} $ 上で有効であり、有理数ホモロジー計算において単位的面の要件は必要ない。