[論文レビュー] Sagbi Bases of Cox-Nagata Rings

Bernd Sturmfels, Zhiqiang Xu|ArXiv.org|Mar 6, 2008

Commutative Algebra and Its Applications参考文献 15被引用数 12

ひとこと要約

本稿は、線形形式の双対点における射影空間の吹き上げに関連するコクス＝ナガタ環を、sagbi基底を用いてトーリック代数へ退化させることで、ヒルベルト関数の明示的計算を可能にする。これは、デル・ペッツォ表面におけるバチレフ＝ポポフ予想を二次生成の理想を用いて証明し、ヴェルリンデの公式と系統的代数幾何学との間に関係を確立する。また、D’Cruz-IarobbinoとBuczyńska-Wiśniewskiの未解決問題を解消する。

ABSTRACT

We degenerate Cox-Nagata rings to toric algebras by means of sagbi bases induced by configurations over the rational function field. For del Pezzo surfaces, this degeneration implies the Batyrev-Popov conjecture that these rings are presented by ideals of quadrics. For the blow-up of projective n-space at n+3 points, sagbi bases of Cox-Nagata rings establish a link between the Verlinde formula and phylogenetic algebraic geometry, and we use this to answer questions due to D'Cruz-Iarobbino and Buczynska-Wisniewski. Inspired by the zonotopal algebras of Holtz and Ron, our study emphasizes explicit computations, and offers a new approach to Hilbert functions of fat points.

研究の動機と目的

• 射影空間の点（線形形式の双対）における吹き上げに関連するコクス＝ナガタ環のヒルベルト関数を研究すること。
• デル・ペッツォ表面におけるコクス＝ナガタ環の理想の二次生成に関するバチレフ＝ポポフ予想を解決すること。
• sagbi退化を介してヴェルリンデの公式と系統的代数幾何学との間に関係を確立すること。
• D’Cruz-Iarobbinoの脂肪点に関するヒルベルト関数に関する未解決問題と、Buczyńska-Wiśniewskiの系統的多様体に関する未解決問題に答えること。
• 定数係数の偏微分方程式系の多項式解の個数に対するEhrhart型の明示的公式を提供すること。

提案手法

• 有理関数体上での配置から誘導されるsagbi基底を用いて、コクス＝ナガタ環をトーリック代数へ退化させること。
• $ K = \mathbb{Q}(t) $ 上で定義された線形形式を用いた平坦な族の構成により、退化の組合せ論的解析を可能にすること。
• 単調多面体 $ \Gamma $ に由来する線形不等式系の整数解の個数として、多重次数付きヒルベルト関数 $ \psi(r,u) $ を計算すること。
• polymake を用いて $ f $-ベクトルと、$ \psi(r,u) $ を $ (r,u,x,y,z) \cdot M \geq 0 $ で符号化する $ 14 \times 56 $ 行列 $ M $ を計算すること。
• ジェニア・テベレフの提案に従い、ヴェルリンデの公式を系統的幾何学の文脈で解釈すること。
• 凸多角形および多面体内の格子点の明示的列挙により、$ \psi(r,u) $ の分岐多項式公式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 デル・ペッツォ表面のコクス＝ナガタ環は、バチレフとポポフが予想したように、二次式によって生成される理想によって提示されるか？
• RQ2 系統的代数幾何学の文脈において、ヴェルリンデの公式はコクス＝ナガタ環のヒルベルト関数として解釈可能か？
• RQ3 $ \mathbb{P}^{d-1} $ を $ n = d+2 $ 個の点で吹き上げた場合のコクス＝ナガタ環の構造は何か。特に、系統的多様体との関係において。
• RQ4 sagbi基底とトーリック退化を用いて、固定された台を持つ脂肪点のヒルベルト関数を明示的に計算できるか？
• RQ5 定数係数の偏微分方程式系の解空間と、射影空間の吹き上げの幾何学的構造との間の明確な関係は何か？

主な発見

• バチレフ＝ポポフ予想が証明された：デル・ペッツォ表面のコクス＝ナガタ環は、二次式によって生成される理想によって提示される。
• $ d=3, n=5 $ の場合、ヒルベルト関数 $ \psi(r,u) $ は4つの不等式で定義される凸多角形内の格子点の個数として数えられ、分岐二次式の公式が得られる。
• ヴェルリンデの公式は $ n = d+2 $ の場合、コクス＝ナガタ環のヒルベルト関数と関連づけられ、D’CruzとIarobbinoの脂肪点に関する予想が解消される。
• $ \mathbb{P}^3 $ を10点（5枚の平面から）で吹き上げた場合のコクス＝ナガタ環のトーリック退化は、25生成元と55最小関係を持つトーリック代数になる。
• $ \mathbb{Z}^{11} $-次数付きヒルベルト関数は、$ 14 \times 56 $ 行列 $ M $ を用いて計算され、$ \psi(r,u) $ は $ (r,u,x,y,z) \cdot M \geq 0 $ を満たす整数解の個数として数えられる。$ f(\Gamma) = (25, 261, 1536, \dots, 56) $。
• 4点を含む $ \mathbb{P}^3 $ の場合、$ \psi(r,u) $ に対する明示的Ehrhart型公式が提供され、$ (v_1+1)(v_2+1)(v_3+1)(v_4+1) - v_1v_2v_3v_4 $ として立方多項式に合計される。