[論文レビュー] Asymptotic cohomological functions of toric divisors

Milena Hering, Alex Küronya+1 more|ArXiv.org|Jan 7, 2005

Algebraic Geometry and Number Theory参考文献 4被引用数 5

ひとこと要約

この論文は、多面体的部屋分解によって分割される実Néron-Severi群の上での、トーリック除数の漸近的コホロロジー関数—除数の倍数のコホロロジー群の成長率を測る—が連続的かつパラメトリック多項式的であることを確立する。主な貢献は、$T$-Cartier除数の自己交差数を、超平面配置における有界領域の体積を用いて表す公式であり、トーリック設定において、Serreの消滅の漸近的逆が証明されている。

ABSTRACT

We study functions on the class group of a toric variety measuring the rates of growth of the cohomology groups of multiples of divisors. We show that these functions are piecewise polynomial with respect to finite polyhedral chamber decompositions. As applications, we express the self-intersection number of a T-Cartier divisor as a linear combination of the volumes of the bounded regions in the corresponding hyperplane arrangement and prove an asymptotic converse to Serre vanishing.

研究の動機と目的

• トーリック除数 $D$ に対して、$m \to \infty$ のときのコホロロジー群 $H^i(X, \mathcal{O}(mD))$ の漸近的挙動を研究すること。
• 高次の漸近的コホロロジー関数 $\widehat{h}^i(D)$ が、実Néron-Severi空間 $A_{n-1}(X)_{\mathbb{R}}$ 上で連続的かつパラメトリック多項式的であることを確立すること。
• 除数 $D$ によって定義される超平面配置における有界領域の体積を用いて、$T$-Cartier除数の自己交差数 $(D^n)$ の組合せ的公式を提供すること。
• トーリック設定において、Serreの消滅の漸近的逆を証明し、十分大きな $m$ に対してすべての $i > 0$ で $H^i(X, \mathcal{O}(mD)) = 0$ ならば、$D$ が数的に正であることを示すこと。

提案手法

• Eisenbud, Mustaţǎ, および Stillman の局所コホロロジー計算を用い、部分集合 $I \subset \Delta(1)$ でインデックス付けられる $M_{\mathbb{R}}$ 内の多面体的領域上で、$H^i(X, \mathcal{O}(D))_u$ の次元が一定であることを示す。
• 領域 $P_{D,I} = \{ u \in M_{\mathbb{R}} : \langle u, v_\rho \rangle \geq -d_\rho \text{ iff } \rho \in I \}$ を定義し、これは $mD$ に対してスケーリングされる。
• これらの領域における $h^i(mD)$ のパラメトリック定数性を用いて、極限 $\widehat{h}^i(D) = \lim_{m \to \infty} \frac{h^i(mD)}{m^n / n!}$ の存在を証明する。
• Gelfand-Kapranov-Zelevinsky (GKZ) 分解を用い、多面体的部屋に分けられる有効なコーンの有限分割を導出し、その中で多面体 $P_D$ の組合せ的型が一定である。
• オイラー特性と格子点数の関係を示す公式 $\chi(\mathcal{O}(D)) = (-1)^n \sum_{P_{D,I} \text{ 有界}} \chi(\Delta_I) \cdot (\# P_{D,I} \cap M)$ を導出する。
• 自己交差数 $(D^n)$ が、有界な $P_{D,I}$ についての $\chi(\Delta_I) \cdot \mathrm{vol}(P_{D,I})$ の和に等しいことを確立する。ここで $\chi(\Delta_I)$ はファン $\Delta_I$ のオイラー特性である。

実験結果

リサーチクエスチョン

• RQ1 トーリック多様体のNéron-Severi空間上での高次の漸近的コホロロジー関数 $\widehat{h}^i(D)$ は連続的かつパラメトリック多項式的か？
• RQ2 有界領域の超平面配置における組合せ的不変量の和として、$T$-Cartier除数の自己交差数 $(D^n)$ を表現できるか？
• RQ3 すべての $i > 0$ および十分大きな $m$ に対して $H^i(X, \mathcal{O}(mD)) = 0$ ならば、$D$ は数的に正であると結論づけられるか？
• RQ4 有効なコーンのGKZ分解は、体積関数およびコホロロジー関数の部屋構造とどのように関係するか？

主な発見

• 漸近的コホロロジー関数 $\widehat{h}^i(D)$ は極限として存在し、$A_{n-1}(X)_{\mathbb{R}}$ の有限多面体的部屋分解に関して連続的かつパラメトリック多項式的である。
• 体積関数 $\mathrm{vol}(D) = \widehat{h}^0(D)$ は、GKZ部屋ごとに異なる多項式表現を持ち、異なる部屋では $n$ 次の微分係数が異なる。
• $T$-Cartier除数の自己交差数 $(D^n)$ は、$\sum_{P_{D,I} \text{ 有界}} \chi(\Delta_I) \cdot \mathrm{vol}(P_{D,I})$ に等しい。ここで $\chi(\Delta_I)$ はファン $\Delta_I$ のオイラー特性である。
• オイラー特性 $\chi(\mathcal{O}(D))$ は、$(-1)^n \sum_{P_{D,I} \text{ 有界}} \chi(\Delta_I) \cdot (\# P_{D,I} \cap M)$ として計算され、位相的および組合せ的不変量を結びつける。
• 体積関数は各GKZ部屋で多項式的であり、分解は有限かつ有理係数多面体的であり、部屋はMori部屋およびGIT部屋に対応する。
• Serreの消滅の漸近的逆が成り立つ：すべての $i > 0$ および十分大きな $m$ に対して $H^i(X, \mathcal{O}(mD)) = 0$ ならば、$D$ は数的に正であり、$\widehat{h}^0(D) = (D^n)$ である。