[論文レビュー] Cohomology of line bundles on a toric variety and constructible sheaves on its polytope

Nathan Broomhead|ArXiv.org|Nov 15, 2006

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

この論文は、射影的トーリック多様体上の線分束のコホモロジーと、それに対応する多面体上の可解層のコホモロジーの間の新しい同型写像を確立する。各コホモロジーの重み空間を、多面体の局所的閉部分集合への定数層の押し出しのコホモロジーとして表現することにより、閉じた部分集合のコホモロジーを含む長完全系列を介して効果的な計算が可能となり、トーリック多様体上の層コホモロジーを計算するための幾何学的かつ組合せ論的道具が得られる。

ABSTRACT

We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.

研究の動機と目的

• トーリック多様体上の線分束のコホモロジーを、それに対応する多面体上の可解層を用いて計算する新しい手法を確立すること。
• 代数的コホモロジー計算を多面体上の位相的データに翻訳する幾何学的かつ組合せ論的枠組みを提供すること。
• 非ファノおよび準射影的トーリック多様体を含む明示的な例を通じて、この手法の有効性を示すこと。
• ボンダルの収束が強く例外的でない理由を分析し、この手法が例外的収束のテストにどのように有用であるかを示すこと。

提案手法

• 論文は、$ H^p(X, \nabla(D))_m \to H^p(P_X, j_! \mathbb{R}_W) $ という標準的同型写像を用いる。ここで $ W = W(m,D) $ は多面体 $ P_X $ の最大次元の閉じた面の和集合の補集合であり、$ j: W \to P_X $ は包含写像である。
• 可解層の短完全系列 $ 0 \to j_! j^* \mathbb{R}_{P_X} \to \mathbb{R}_{P_X} \to i_* i^* \mathbb{R}_{P_X} \to 0 $ を構成し、これによりコホモロジーの長完全系列を導出する。
• コホモロジー $ H^p(P_X, j_! \mathbb{R}_W) $ は、この長完全系列を用いて計算され、$ H^{p-1}(Z(m,D), \mathbb{C}) $ および $ H^p(P_X, \mathbb{C}) $ と関連づけられる。ここで $ Z(m,D) $ は多面体の閉じた部分集合である。
• 固定された正則特異点を持つ多面体 $ P_X $ を用いて、射影的トーリック多様体にこの手法を適用し、開部分集合を用いることで準射影的ケースへ拡張する。
• 多面体 $ P_X $ の各コン大学 $ \sigma \in \Delta $ によってインデックスづけられる局所的閉集合 $ T_\sigma $ による分割に依存する。$ T_\sigma $ は線形関数 $ \psi_D $ に関する等式および厳密不等式条件によって定義される。
• 主な技術的道具は、$ H^p(X, \mathcal{O}(D)) $ の重み空間を、多面体上の可解層のコホモロジーと同一視することであり、これはデマールの局所コホモロジーの記述を活用する。

実験結果

リサーチクエスチョン

• RQ1 トーリック多様体上の線分束のコホモロジーは、その多面体上の可解層を用いて効果的に計算可能か？
• RQ2 線分束のコホモロジーは重み空間にどのように分解され、この分解は多面体上で位相的に実現可能か？
• RQ3 多面体上の可解層のコホモロジーと、トーリック多様体上の線分束間の Ext 群の関係は何か？
• RQ4 非ファノのトーリック多様体上でのボンダルの線分束の候補収束は、強く例外的か？もし非そうであれば、その理由は何か？
• RQ5 この手法は、多面体の開部分集合を用いることで、準射影的トーリック多様体へ拡張可能か？

主な発見

• 論文は、$ H^p(X, \mathcal{O}(D))_m \cong H^p(P_X, j_! \mathbb{R}_W) $ という標準的同型写像を確立する。ここで $ W = W(m,D) $ は多面体 $ P_X $ の最大次元の閉じた面の和集合の補集合であり、多面体上の位相的データを用いたコホモロジー計算が可能になる。
• コホモロジー $ H^p(P_X, j_! \mathbb{R}_W) $ は、可解層の短完全系列から導かれる長完全系列を用いて計算され、$ Z(m,D) $ および $ P_X $ のコホモロジーと関連づけられ、これにより効果的な計算が可能になる。
• 非ファノのトーリック多様体の例において、この手法によりボンダルの収束に属する特定の線分束間の Ext^1 群が非自明であることが示され、収束が強く例外的でないことが証明された。
• 12個の線分束からなる完全な強く例外的収束が存在し、この手法によって計算可能であることが示された。また、ボンダルの収束から10個以上の線分束を含む部分収束は、いずれも強く例外的でないことが判明した。
• 多面体の開部分集合に制限することにより、この手法が準射影的トーリック多様体に対しても有効であることが示された。これにより、射影的ケースが一般化された。
• この構成により、多面体 $ P_X $ とその $ T_\sigma $ による分割が、正則特異点の選択に依存せず、ファン $ \Delta $ のみに依存することが確認された。これにより、$ P_X $ はトーリック多様体に自然に付随する標準的対象であることが判明した。