[論文レビュー] Classifying terminal weighted projective space

Alexander Kasprzyk|arXiv (Cornell University)|Apr 10, 2013

Algebraic Geometry and Number Theory参考文献 17被引用数 11

ひとこと要約

本稿は、重みに関する組合せ的条件を用いて、至るところが終状態または正則特異点をもつ4次元重み付き射影空間を分類し、次元10までに至る終状態Gorenstein重み付き射影空間への分類を拡張する。Lattice simplex解析を用いて、このような空間の完全なリストを確立し、最大次数および最大h不変量を達成する重みの明示的表を提供する。その結果、このような空間の数の増加は予想に反し緩やかであることが明らかになった。

ABSTRACT

We present a classification of all weighted projective spaces with at worst terminal or canonical singularities in dimension four. As a corollary we also classify all four-dimensional one-point lattice simplices up to equivalence. Finally, we classify the terminal Gorenstein weighted projective spaces up to dimension ten.

研究の動機と目的

• 4次元の重み付き射影空間で、至るところが終状態または正則特異点をもつものすべてを分類すること。
• GL_n(Z)-同値類の観点で、4次元の1点を持つlattice simplexをすべて分類すること。
• 次元10までに至る終状態Gorenstein重み付き射影空間への分類を拡張すること。
• 次元10までに至る各次元で、最大次数 (−K_X)^n を達成する重みを特定すること。
• 次元10までに至る各次元で、最大h値を達成する重みを特定すること。

提案手法

• 重み付き射影空間と1つの内部格子点をもつlattice simplexとの対応関係を用い、幾何的特異点条件を重みに関する組合せ的制約に翻訳する。
• 終状態特異点が、内部および境界に頂点と原点のみを格子点としてもつ単体に対応することを適用する。
• Gorenstein条件（重みが互いに素であり、標準類がCartierであること）を用いて探索空間を制限する。
• k_i列とh不変量を用いた再帰的上限を適用し、高次元における探索空間を制限する。
• 疑似コードを用いた計算的探索により、k_iの上限を精緻化し、命題2.3および4.5との整合性を検証する。
• 命題4.5を用いて候補となる重みを検証し、それが終状態Gorenstein特異点をもたらすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 どの4次元重み付き射影空間が、至るところが終状態または正則特異点をもつのか？
• RQ2 GL_n(Z)-同値類の観点で、すべての4次元1点を持つlattice simplexは何か？
• RQ3 次元10までに至る終状態Gorenstein重み付き射影空間は何か？
• RQ4 各次元（10まで）で、最大次数 (−K_X)^n を達成する終状態Gorenstein重み付き射影空間の重みは何か？
• RQ5 各次元（10まで）で、最大h値を達成する重みは何か？

主な発見

• 表4にリストされるように、次元6における終状態Gorenstein重み付き射影空間はちょうど18個存在する。
• 次元10における終状態Gorenstein重み付き射影空間の最大次数 (−K_X)^n は、23,029,100,604,532,998,144に達する。
• 次元10における終状態Gorenstein重み付き射影空間の最大h値は427,812であり、重み列 (1,2,462,924,9723,15279,19446,61116,71302,106953,142604) によって達成される。
• 次元4では、最大次数は重み (1,1,1,1,2) によって648に達し、最大h値は6である。
• 終状態Gorenstein重み付き射影空間の数は次元とともに緩やかに増加し、次元6では18個、それ以下の次元ではそれより少ない。
• 最大次数を達成する重みは表5に、最大h値を達成する重みは表6に明示的にリストされている。