Tropical intersection homology

技術的概要：熱帯交差ホモロジー

問題提起
本論文は、熱帯幾何学の文脈における代数サイクルの数値同値性の代数理論と幾何学的コホモロジー理論の間の隔たりを扱っている。古典的には、滑らかな複素固有トーリック多様体 $T_\Sigma$ に対して、代数サイクルの Chow 群を数値同値性で割った商 $CH^p_{\text{Num}}(T_\Sigma) \otimes \mathbb{Q}$ は、特異コホモロジー $H^{2p}_{\text{sing}}(T_\Sigma(\mathbb{C}); \mathbb{Q})$ と同型である。さらに、Itenberg-Katzarkov-Mikhalkin-Zharkov (IKMZ) によって確立されたように、これは熱帯コホモロジー $H^{p,p}_{\text{Trop}}(\text{Trop}(T_\Sigma); \mathbb{Q})$ とも同型である。

しかし、トーリック多様体 $T_\Lambda$ に埋め込まれた一般的な滑らかな固有多様体 $Y$（特に「熱帯コンパクト」な部分多様体）に対しては、熱帯コホモロジー $H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q})$ は必ずしもポアンカレ双対性を満たさない。その結果、熱帯コホモロジーから数値的 Chow 群 $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ への自然な写像は全射であるが、同型であるとは限らない。特異的または非滑らかな多様体における熱帯設定でのポアンカレ双対性の破れは、特異複素多様体における特異コホモロジーでのポアンカレ双対性の破れと対応している。本論文は、この双対性を回復し、適切な対 $(Y, D)$ に対する $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ の幾何学的記述を提供するために、交差ホモロジーの熱帯 analogue を導入することを目的としている。

手法
著者は二重のアプローチを採用し、熱帯交差ホモロジーを幾何学的（鎖を通じて）および層論的（導来圏を通じて）の両方で定義し、それらの同等性を証明している。

1. 幾何学的定義:

   • 論文は、特異鎖に「許容性」条件を課すことで、無限遠で正則な熱帯多様体 $X$ 上の熱帯交差鎖 $IC^{p,q}_{\text{Trop}}$ を定義している。
   • これらの条件は、Goresky-MacPherson の交差ホモロジーにおける条件と類似している。これらは、ストラタの余次元と鎖係数の「重み」に基づき、鎖と特異ストラタとの交わりを制限する。
   • 使用される係数は、Gubler-Jell-Rabinoff による新しい熱帯係数 $F^{p,w}$ から導出されたものであり、これは IKMZ の元の係数には欠けていた 1 余次元ストラタ近傍でのポアンカレ・ヴェルディエ双対性を満たすように設計されている。
   • この定義は、ファン（fan）の局所幾何学に基づいた鎖複体上の濾過を含み、具体的には錐 $\sigma_S$ の次元とストラタ $S$ の次元を利用している。

2. 層論的構成:

   • ポアンカレ・ヴェルディエ双対性を厳密に確立するために、論文は層の導来圏において熱帯交差複体を構成している。
   • 重要な技術的革新は、局所次数付き層の導入である。著者は、「LG-準同型」に関して次数付き層の導来圏を局所化することで、導来圏 $D_{\text{LG}}$ を定義している。この局所化は、交差複体を定義するために用いられる切断関数がストラタの開近傍上でのみ局所的に定義されている濾過を含むため、必要不可欠である。
   • 熱帯交差複体 $\text{IC}^p_{\text{Trop,sheaf}}$ は、滑らかな部分 $X_{\text{sm}}$ からの熱帯形式の層を、Deligne による交差複体の構成と類似した特定の「公理」（局所的消滅と付着の性質）を満たす切断関数 $\tau_{p, S_k}$ を用いて特異点集合へ拡張することによって、帰納的に構成される。

3. 比較と双対性:

   • 論文は、幾何学的および層論的な定義が同型なホモロジー群を与えることを証明している。
   • 熱帯交差ホモロジーに対するポアンカレ・ヴェルディエ双対性定理を確立している：$I H^{p,q}_{\text{Trop}}(X)$ と $I H^{d-p, d-q}_{\text{Trop}, c}(X)$ の間の非退化な双対性。
   • 著者は、熱帯化写像を介して熱帯交差ホモロジーを熱帯コホモロジーおよび特異コホモロジーと比較するスペクトル系列を用いて、これらの群の構造を分析している。

主要な貢献と結果

• 熱帯交差ホモロジーの定義: 論文は、無限遠で正則な熱帯多様体 $X$ に対する $I H^{p,q}_{\text{Trop}}(X; \mathbb{Q})$ を導入している。この理論は、ポアンカレ双対性が成り立つ場合（例えば滑らかな熱帯多様体の場合）には標準的な熱帯コホモロジーと一致するが、特異的な場合に対しては精緻化された理論を提供する。
• ポアンカレ双対性の回復: 定理 1.2 は、熱帯交差ホモロジーに対する非退化な双対性を確立し、滑らかな熱帯多様体で知られている双対性を特異的な設定に一般化している。
• 数値同値性との同型: 中心的な結果（定理 1.2、系 7.3）は、滑らかな固有多様体 $Y$ が滑らかなトーリック多様体 $T_\Lambda$ 内で熱帯コンパクトであり（特定の既約性と全射性の条件を満たす場合）、自然な同型が存在することを述べている：
  $$I H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q}) \cong \begin{cases} CH^p_{\text{Num}}(Y) \otimes \mathbb{Q} & \text{if } p=q \\ 0 & \text{if } p \neq q \end{cases}$$
  この同型の下で、交差ホモロジー上の双対性は、代数サイクルの交点数に対応する。
• 多面体構造からの独立性: 論文は、多様体が無限遠で正則である限り、熱帯交差ホモロジーは熱帯多様体の具体的な多面体分解（細分）に依存しないことを証明している。
• 技術的枠組み: 局所次数付き層の理論および関連する導来圏の発展は、熱帯交差ホモロジーに内在する局所から大域への問題に対処するための堅牢な層論的枠組みを提供している。

意義
本論文は、熱帯化を通じて、数値同値性の幾何学的記述をトーリック多様体からより広範なクラスの滑らかな固有多様体に一般化すると主張している。熱帯交差ホモロジーを導入することで、著者は熱帯設定における数値同値性の代数的概念とコホモロジーの位相的概念の間の隔たりを埋め、特異多様体における標準的な熱帯コホモロジーでのポアンカレ双対性の破れに特に対処している。これは、特異複素多様体の交差ホモロジーが、基礎となる代数構造に関連する正しいコホモロジー不変量を回復するという古典的結果の熱帯 analogue を提供する。この研究は、熱帯コンパクト化を許容する多様体上のサイクルの数値同値性類を捉えるために、熱帯交差ホモロジーが正しいコホモロジー理論であることを示唆している。