[論文レビュー] Filtered geometric lattices and Lefschetz Section Theorems over the tropical semiring

Karim Adiprasito, Anders Björner|arXiv (Cornell University)|Jan 28, 2014

Polynomial and algebraic computation参考文献 64被引用数 12

ひとこと要約

この論文は、滑らかなトロピカル多様体のトロピカル半体上で、フィルター付き幾何的ラティスと区分的モース理論を用いて、古典的Lefschetz断面定理のトロピカル版を確立する。フィルター付き幾何的ラティスのホモトピー型に関する予想を解決し、非実現可能マトロイドに対してもLefschetz定理が成り立つことを証明することで、$(p,q)$-ホモロジーおよび整数ホッジ群への応用を含む、トロピカル設定へのホッジ理論の拡張を達成する。

ABSTRACT

The purpose of this paper is to establish analogues of the classical Lefschetz Section Theorem for smooth tropical varieties. More precisely, we prove tropical analogues of the section theorems of Lefschetz, Andreotti-Frankel, Bott-Milnor-Thom, Hamm-Lê and Kodaira-Spencer, and the vanishing theorems of Andreotti-Frankel and Akizuki-Kodaira-Nakano. We start the paper by resolving a conjecture of Mikhalkin and Ziegler (2008) concerning the homotopy types of certain filtrations of geometric lattices, generalizing several known properties of full geometric lattices. This translates to a crucial index estimate for the stratified Morse data at critical points of the tropical variety; it can also by itself be interpreted as a Lefschetz-type theorem for matroids.

研究の動機と目的

• トロピカル半体上のトロピカル幾何学の文脈において、消滅定理およびLefschetz型同型写像を含む、古典的Lefschetz断面定理のトロピカル版を確立すること。
• ミハルキンとツィーグラーによる、幾何的ラティスのフィルトレーションのホモトピー型に関する予想を解明し、完全幾何的ラティスの性質を一般化すること。
• イテンベルグ＝ミハルキン＝カツァルク＝ゾルカールトのトロピカルホッジ理論へのLefschetz定理の拡張を図り、$(p,q)$-ホモロジーおよび整数ホッジ群を含むこと。
• 定理が非実現可能マトロイドにも適用可能であることを示し、古典的代数幾何学から生じない組合せ的構造を捉えること。
• トロピカルホッジ理論における整数版プッシュィング補題の不成立を調査し、整数$(p,q)$-ホモロジーにおける制限を強調すること。

提案手法

• トロピカル多様体の臨界点における区分的モースデータをモデル化するための、フィルター付き幾何的ラティスを組合せ的フレームワークとして用いる。
• ポセット位相の技術、特にクイレンのファイバー定理とロータの幾何的ラティス理論を用いて、フィルター構造のホモトピー型を分析する。
• 多面体複体における区分的モース理論を適用し、特に超平面断面の文脈で滑らかなトロピカル多様体のLefschetz定理を導出する。
• 整数格子上のトロピカル$(p,q)$-ホモロジー理論を導入・分析し、オリック＝ショロム代数およびベルグマンファンを用いて整数$p$-群および$(p,q)$-群を定義する。
• プッシュィング補題とその整数版での不成立を用いて、整数$(p,q)$-群に対して一般にKodaira–Spencer Lefschetz定理が成り立たないことを示す。
• ファンオ平面マトロイドを用いた具体的な反例を構成し、$(\textbf{F}_1(\frak{B} \bigcap H^+))_{|\bf{0}}$ が $(\textbf{F}_1\frak{B})_{|\bf{0}}$ の指数2の真部分群であることを示し、整数プッシュィングの不成立を証明する。

実験結果

リサーチクエスチョン

• RQ1 ミハルキンとツィーグラーが予想したように、幾何的ラティスのフィルトレーションのホモトピー型は、完全幾何的ラティスの既知の性質を一般化するか？
• RQ2 アンドレオッティ＝フランケル、ボット＝ミルナー＝トム、アーム＝レの定理を含む、古典的Lefschetz定理のトロピカル版が、滑らかなトロピカル多様体に対して確立可能か？
• RQ3 トロピカル幾何学におけるLefschetz定理が、特にホッジ理論の文脈で非実現可能マトロイドへどの程度拡張可能か？
• RQ4 プッシュィング補題の整数版が不成立であることを踏まえ、整数$(p,q)$-ホモロジー群に対してトロピカルKodaira–Spencer Lefschetz断面定理が成り立つか？
• RQ5 オリック＝ショロム代数と、トロピカルホッジ理論におけるベルグマンファンの整数$(p,q)$-群との正確な関係は何か？

主な発見

• 論文はミハルキン＝ツィーグラー予想を解決し、幾何的ラティスのフィルトレーションが球のワジアンのホモトピー型をとることを証明し、完全幾何的ラティスに関する古典的結果を一般化する。
• 臨界点における区分的モースデータのための重要なインデックス推定が得られ、トロピカル設定におけるLefschetz定理の証明を可能にする。
• 滑らかなトロピカル多様体に対して、アンドレオッティ＝フランケル、ボット＝ミルナー＝トム、アーム＝レ、アキヅキ＝コデイラ＝ナカノ、Kodaira–Spencer定理のトロピカル版が確立される。
• 非実現可能マトロイド（例えばファンオ平面）に対してもLefschetz定理が成り立つことが示され、トロピカル幾何学が古典的代数幾何学を越えた位相的現象を捉えていることを示す。
• 整数版プッシュィング補題は不成立である：ファンオ平面に対して、$(\textbf{F}_1(\frak{B} \bigcap H^+))_{|\bf{0}}$ は $(\textbf{F}_1\frak{B})_{|\bf{0}}$ の指数2の真部分群である。これは、整数Kodaira–Spencer定理が一般には成り立たないことを示す。
• ファンオ平面マトロイドと重みベクトル $\theta = (0,0,0,1,1,1,1)$ を用いた具体的な反例を構成し、半空間内すべてのフラットで $\theta \neq 0$ モジュロ2であることを示し、整数プッシュィングの不成立を証明する。