[論文レビュー] The combinatorics and topology of proper toric maps

Mark Andrea de Cataldo, Luca Migliorini+1 more|arXiv (Cornell University)|Jul 13, 2014

Advanced Combinatorial Mathematics参考文献 11被引用数 7

ひとこと要約

本稿では、単体的トーリック多様体間の固有トーリック写像におけるファイバーのコhomologyが純粋で、ホッジ＝ターン型であることを確立する。これは相対f-ベクトルを用いたベッチ数の古典的公式の一般化である。トーリックファイブレーションにおける分解定理に対して明示的な組合せ論的公式を提示し、ファイバー構造における相対的コーン数と交差コホモロジー不変量を結びつける。正則性条件はf-ベクトルから導かれる組合せ論的不変量によって定まる。

ABSTRACT

We study the topology of toric maps. We show that if $f\colon X o Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an explicit formula for the Betti numbers of the fibers in terms of a relative version of the $f$-vector, extending the usual formula for the Betti numbers of a simplicial complete toric variety. We then describe the Decomposition Theorem for a toric fibration, giving in particular a nonnegative combinatorial invariant attached to each cone in the fan of $Y$, which is positive precisely when the corresponding closed subset of $Y$ appears as a support in the Decomposition Theorem. The description of this invariant involves the stalks of the intersection cohomology complexes on $X$ and $Y$, but in the case when both $X$ and $Y$ are simplicial, there is a simple formula in terms of the relative $f$-vector.

研究の動機と目的

• 固有トーリック準同型のファイバーの位相を理解すること、特に源多様体が単体的である場合に焦点を当てる。
• 完全単体的トーリック多様体のベッチ数の古典的公式を、相対f-ベクトルを用いて相対的設定に拡張すること。
• ターゲットファイバーのコーンに関連する非負の組合せ論的不変量を用いて、トーリックファイブレーションにおける分解定理を記述すること。
• 源とターゲットがともに単体的であるとき、これらの不変量が相対f-ベクトルから計算可能であることを示すこと。

提案手法

• 開部分集合のフィルトレーションを用い、そのストラトスが有限群によるアフィン空間の商であるようにして、コホモロジーの純粋性を証明する。
• ターゲットファイバーの各コーンτに対して、トーラス不変部分多様体を数える相対f-ベクトルdℓ(X/τ)を定義する。
• 分解定理を適用して、Rf∗(ICX) をYの軌道閉包上のシフトされた交差コホモロジーコンプレックスの直和として表現する。
• ホッジ理論的議論を用いて、ハイパコホモロジーのスペクトル系列が退化することを示し、ホッジ＝デリーニュ多項式が組合せ論的に決定されることを示す。
• 局所的ホッジ＝デリーニュ多項式Pf,σ(T)を導入し、組合せ論的R多項式との畳み込みを介して相対f-ベクトルと関係付ける。
• Pf,σ(T) が相対f-ベクトルとファイバー構造にのみ依存することを示し、不変量sτ,bとδτが組合せ論的に決定されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、固有トーリック写像のファイバーのコホモロジーは純粋でホッジ＝ターン型であるか？
• RQ2 ファイバーのベッチ数は、ファイバーのファンの組合せ論的データからどのように計算できるか？
• RQ3 交差コホモロジーの観点から、固有トーリックファイブレーションにおける分解定理の正確な形は何か？
• RQ4 ターゲット多様体のどの軌道閉包が分解定理におけるサポートとして現れるか？ そして、これはどのように組合せ論的に検出できるか？
• RQ5 源とターゲットがともに単体的であるとき、分解定理における不変量sτ,bとδτは、相対f-ベクトルを用いて明示的に表現可能か？

主な発見

• 任意の固有トーリック写像f:X→Yについて、Xが単体的であれば、すべてのy∈Yとすべてのqについて、Hq(f⁻¹(y),Q) 上の混合ホッジ構造は重みqの純粋でホッジ＝ターン型である。
• ファイバーのベッチ数は、相対f-ベクトルdℓ(X/τ)を含む公式によって与えられ、完全単体的トーリック多様体の古典的公式を一般化する。
• fの分解定理は、直和分解 Rf∗(ICX) ≅ ⨁τ∈ΔY ⨁b∈Z ICV(τ)⊕sτ,b[−b] として記述され、sτ,bは非負整数である。
• XとYがともに単体的であるとき、不変量sτ,bとδτは、組合せ論的R多項式との畳み込みと相対f-ベクトルを用いて明示的に計算可能である。
• ファイバー上のホッジ＝デリーニュ多項式Pf,σ(T)はTの有理関数であり、その係数は相対f-ベクトルとファイバーの組合せ論的構造によって決定される。
• T=1で評価すると、δτ = ∑σ⊆τ r̃σ,τ · d₀(X/σ) が得られ、これはV(τ)が分解定理における和成分のサポートを担うかどうかを組合せ論的に判定する基準を提供する。