[論文レビュー] Multiplication maps of linear systems on smooth projective toric surfaces

Najmuddin Fakhruddin|arXiv (Cornell University)|Aug 23, 2002

Algebraic Geometry and Number Theory参考文献 2被引用数 12

ひとこと要約

この論文は、滑らかで射影的なトーリック曲面において、$ \mathcal{L} $ がアーマーで $ \mathcal{M} $ が全局的セクションによって生成されるとき、写像 $ H^0(X,\mathcal{L}) \otimes H^0(X,\mathcal{M}) \to H^0(X,\mathcal{L} \otimes \mathcal{M}) $ が全射であることを確立する。さらに、この写像の余核の次元は、非ゼロの切断を持つすべての such $ \mathcal{M} $ に対して一様に有界であり、その有界値は $ \mathcal{L} $ のみに依存する。

ABSTRACT

Let X be a smooth projective toric surface and L and M two line bundles on X. If L is ample and M is generated by global sections, then we show that the natural map from H^0(X,L) tensor H^0(X,M) to H^0(X, L tensor M) is surjective. We also consider a generalization to the case when M is an arbitrary line bundle with h^0(X,M) > 0.

研究の動機と目的

• 滑らかで射影的なトーリック曲面上のアーマー線分束 $ \mathcal{L} $ と全局的セクションによって生成される $ \mathcal{M} $ に対して、写像 $ H^0(X,\mathcal{L}) \otimes H^0(X,\mathcal{M}) \to H^0(X,\mathcal{L} \otimes \mathcal{M}) $ の全射性を証明すること。
• $ \mathcal{M} $ が $ h^0(X,\mathcal{M}) > 0 $ を満たすすべての線分束を動く際、この写像の余核次元が一様に有界であることを確立すること。その有界値は $ \mathcal{L} $ のみに依存する。
• 特に曲面の場合に、トーリック幾何におけるグローバル生成性と乗法写像の全射性に関する結果を拡張すること。
• このような結果が、高次元の代数多様体や特異的トーリック曲面へ一般化可能かどうかを検討すること。ただし、これは未解決の問題のままである。

提案手法

• 問題を、除法の凸多角形に付随する格子点に関する組合せ論的命題に還元する。
• トーリック曲面上の等化的除法と $ M_{\mathbf{R}} $ 内の格子多角形との対応関係を用いる。ここで、$ P_D \cap M $ は $ \mathcal{O}(D) $ の全局的セクションをパラメトライズする。
• 主なステップは、多角形の辺と頂点の性質を用いて、与えられた条件下で $ (P_D \cap M) + (P_E \cap M) = (P_D + P_E) \cap M $ が成り立つことを示すことである。
• 滑らかさの性質を活かして、$ P_E $ がファンの2つの隣接するレイトスに対応する辺を持つ三角形である場合に帰着する。
• 補題を用いて、特に多角形領域の辺と頂点の Minkowski 加法における振る舞いを制御する。
• 多角形の境界の有限個の配置（平行移動を除いて）に基づく有界性の議論により、余核次元が一様に有界であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的なトーリック曲面上で、$ \mathcal{L} $ がアーマーで $ \mathcal{M} $ が全局的セクションによって生成されるとき、写像 $ H^0(X,\mathcal{L}) \otimes H^0(X,\mathcal{M}) \to H^0(X,\mathcal{L} \otimes \mathcal{M}) $ は全射か？
• RQ2 すべての $ \mathcal{M} $ に対して $ h^0(X,\mathcal{M}) > 0 $ を満たす場合、この写像の余核次元は一様に有界にできるか？その有界値は $ \mathcal{L} $ のみに依存するか？
• RQ3 この全射性の結果は、特異的トーリック曲面や次元が2より大きいトーリック多様体へ一般化可能か？
• RQ4 関連する格子多角形にどのような組合せ的条件が、乗法写像の全射性を保証するか？

主な発見

• 滑らかで射影的なトーリック曲面上で、$ \mathcal{L} $ がアーマーで $ \mathcal{M} $ が全局的セクションによって生成されるとき、写像 $ H^0(X,\mathcal{L}) \otimes H^0(X,\mathcal{M}) \to H^0(X,\mathcal{L} \otimes \mathcal{M}) $ は全射である。
• 任意のアーマー線分束 $ \mathcal{L} $ に対して、定数 $ C(\mathcal{L}) $ が存在し、$ h^0(X,\mathcal{M}) > 0 $ を満たすすべての $ \mathcal{M} $ に対して $ \dim(\operatorname{coker}) \leq C(\mathcal{L}) $ が成り立ち、この有界値は $ \mathcal{L} $ のみに依存する。
• 全射性の結果は、条件を満たすときの Minkowski 和の恒等式 $ (P_D \cap M) + (P_E \cap M) = (P_D + P_E) \cap M $ に依存する。
• 余核次元が有界であるのは、$ P_{D+E} \setminus P_{D+E'} $ の連結成分の集合が格子平行移動を除いて有限個であり、それらの格子点数が一様に有界だからである。
• 証明は、$ P_E $ が2つの隣接する辺を持つ三角形である場合に帰着され、トーリック曲面の滑らかさのおかげで頂点が整数格子点になることを活用する。
• 議論は、平行移動を除いた多角形境界の組合せ的型の有限性に強く依存しており、これにより差分領域内の格子点数が一様に有界に保証される。