[論文レビュー] Tropicalization of Del Pezzo Surfaces

Qingchun Ren, Kristin Shaw+1 more|arXiv (Cornell University)|Feb 23, 2014

Polynomial and algebraic computation参考文献 20被引用数 3

ひとこと要約

本稿は、それぞれの (-1)-曲線（27本、16本、10本）を除いた非常にアフィンなデル・ペッツォ表面—特に3次曲面（次数3）、4次曲面（次数4）、5次曲面（次数5）—のトロピカル化を研究する。3つの補完的手段—コックスイデアル、モジュライファン構造、トロピカル変形—を用いて、トロピカル化が無限遠における計量的木構造によって特徴づけられ、それらがペテルセン（次数5）、クレブシュ（次数4）、シュレーフリ（次数3）のグラフに従って接続されることを示している。3次曲面には2つの異なる一般型が存在し、有界セルの数と木の分岐度が異なる。

ABSTRACT

We determine the tropicalizations of very affine surfaces over a valued field that are obtained from del Pezzo surfaces of degree 5, 4 and 3 by removing their (-1)-curves. On these tropical surfaces, the boundary divisors are represented by trees at infinity. These trees are glued together according to the Petersen, Clebsch and Schläfli graphs, respectively. There are 27 trees on each tropical cubic surface, attached to a bounded complex with up to 73 polygons. The maximal cones in the 4-dimensional moduli fan reveal two generic types of such surfaces.

研究の動機と目的

• (-1)-曲線の補集合のトロピカル化を研究することで、非常にアフィンなデル・ペッツォ曲面のトロピカル幾何を理解すること。
• 3次曲面のモジュライ空間における内在的対象としてのトロピカル曲面を特徴づけること。
• 27本の直線（(-1)-曲線として）が、トロピカル化における無限遠の計量的木構造としてどのように現れるかを明らかにすること。
• コックスイデアル、モジュライファン構造、トロピカル変形という3つの異なる計算技法を統合的に用いるフレームワークを確立すること。
• 埋め込み型トロピカル曲面にとどまらず、開曲面の内在的トロピカル化へと理解を拡張すること。

提案手法

• 著者らは、デル・ペッツォ曲面のコックスイデアルを用いて、三項式関係の系を導出し、それをソフトウェア gfan を用いてトロピカル化する。
• 非常にアフィンな多様体のトロピカル化として、3次曲面のモジュライ空間を構成し、4次元のナルキ・ファンと一致させることを示す。
• モジュライファンはその最大コーンを介して分析され、2つの W(E6)-軌道が、2つの一般型のトロピカル3次曲面に対応することが明らかになる。
• トロピカルプロジェクト型平面へのトロピカル変形を適用し、点での古典的ブ lows-up を模倣する形で、トロピカルデル・ペッツォ曲面を組合せ的に構成する。
• 3つの手法（コックスイデアル、モジュライファン、トロピカル変形）の結果が一貫していることから、構成の妥当性を検証する。
• 得られたトロピカル曲面は、有界セル、放射線、フラップ、木構造を明示的に計算することで、組合せ的に分析される。

実験結果

リサーチクエスチョン

• RQ1 3次曲面上の27本の(-1)-曲線は、その補集合の内在的トロピカル化においてどのように現れるか？
• RQ2 2つの一般型のトロピカル3次曲面は何か。それらの有界構造と非有界構造はどのように異なるか？
• RQ3 次数3、4、5のトロピカルデル・ペッツォ曲面上の無限遠における計量的木構造は、根系やペテルセン、クレブシュ、シュレーフリのグラフといった構造とどのように関係しているか？
• RQ4 3次曲面上の27本の直線の補集合のトロピカル化は、コックスイデアル、モジュライファン、トロピカル変形という複数の手法を用いて一貫して計算可能か？
• RQ5 3次曲面のコックスイデアルに含まれる270本の三項式関係は、トロピカル基底をなすか？その結果、トロピカル化の正しさが保証されるか？

主な発見

• 2つの一般型のトロピカル3次曲面が存在し、有界セル数（73 vs. 72）、辺数（150 vs. 148）、頂点数（78 vs. 77）が異なり、2番目の型には3本の4価木が存在する。
• 1番目の型には27本の3価木が無限遠に存在するが、2番目の型には3本の4価木と24本の3価木が存在し、すべての木が10個の葉を持つ。
• 次数5のデル・ペッツォ曲面では、トロピカル化はペテルセン・グラフのコーンであり、16本の3価木、9個の有界セル、48本の放射線を持つ。
• 次数4のデル・ペッツォ曲面では、トロピカル化は収縮可能であり、16本の3価木から構成され、それぞれが5個の葉を持つ。これはクレブシュ・グラフの双対構造である。
• トロピカル3次曲面上の27本の木は同型であり、その葉はE7\E6におけるA2部分根系に直交することによって10 = 4+3+3に分割される。
• 著者らは、3次曲面のコックスイデアルに含まれる270本の三項式関係がトロピカル基底をなすと予想しており、これによりトロピカル化の正しさが裏付けられる。