[論文レビュー] Jumping Number Contribution on Algebraic Surfaces with an Isolated Rational Singularity

Kevin Tucker|arXiv (Cornell University)|Jan 4, 2008

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

ひとこと要約

本稿では、有理的表面特異点における理想のジャンピング数に、対数解体上の例外的 divisor の集合が臨界的に寄与するときの数値的基準を導入する。この寄与が数値的不変量として特徴付けられることにより、著者らは与えられた理想のすべてのジャンピング数を計算するアルゴリズム的手法を提供し、孤立型 Du Val 特異点およびトーリック表面特異点における最大イデアルのジャンピング数を同定する応用を行う。

ABSTRACT

Given an ideal in the local ring at a rational surface singularity, we define what it means for a collection of exceptional divisors on a fixed log resolution to critically contribute a jumping number. This is shown to be a numerical property of the collection, and can be used to give an explicit algorithm for finding all of the jumping numbers of the ideal. In addition, the jumping numbers of the maximal ideal at the singular point in an isolated Du Val or toric surface singularity are computed, and applications to the smooth case are explored.

研究の動機と目的

• 有理的表面特異点の文脈において、例外的 divisor の集合がジャンピング数に臨界的に寄与する条件を定義し、特徴づけること。
• この寄与が解体の選択に依存しない数値的不変量であることを確立すること。
• 与えられたイデアルのすべてのジャンピング数を計算するアルゴリズム的手順を開発すること。
• 孤立型 Du Val 特異点およびトーリック表面特異点における最大イデアルのジャンピング数を同定すること。
• 結果の滑らかさの状況における意味、特に乗数イデアルおよび特異点との関係を検討すること。

提案手法

• 対数解体上で、例外的 divisor の集合が特定の整数性条件を満たす場合に、そのジャンピング数に臨界的に寄与すると定義する。
• 寄与条件の数値的不変性を用いて、問題を解体グラフ上の格子計算に還元する。
• 乗数イデアルおよび接続理論を用いて、ジャンピング数と不変量、および divisor 級数値の関係を確立する。
• Du Val 特異点およびトーリック特異点の構造を活用し、解体グラフを単純化し、ジャンピング数を明示的に計算する。
• ジャンピング数が解体の数値的データによって決定されることを活用し、アルゴリズム的実装を可能にする。
• アルゴリズムを特異点における最大イデアルに適用し、Du Val 型およびトーリック型のジャンピング数の明示的集合を導出する。

実験結果

リサーチクエスチョン

• RQ1 例外的 divisor の集合がジャンピング数に臨界的に寄与するための条件は何か？
• RQ2 divisor の臨界的寄与がどのように数値的不変量として特徴づけられるか？
• RQ3 孤立型 Du Val 表面特異点における最大イデアルのジャンピング数の完全な集合は何か？
• RQ4 トーリック表面特異点における最大イデアルのジャンピング数は何か？
• RQ5 特異点上の結果は滑らかさの状況においてどのように関連するか、特に乗数イデアルの観点から。

主な発見

• ジャンピング数への divisor の集合の臨界的寄与は、その自己自己交叉数および交差数にのみ依存する数値的性質である。
• 任意のイデアルのすべてのジャンピング数を、解体からの数値的データのみを用いて計算するアルゴリズムが構築された。
• 孤立型 Du Val 表面特異点における最大イデアルのジャンピング数は明示的に計算され、特異点の型（A_n, D_n, E_6, E_7, E_8）に依存することが示された。
• トーリック表面特異点では、特異点の連分数データの連分数展開によって最大イデアルのジャンピング数が決定される。
• 結果は、特異点設定における最大イデアルのジャンピング数が滑らかさ設定における乗数イデアルの振る舞いを反映することを示すことにより、滑らかさの状況へと拡張される。
• 本手法により、解体の明示的構成を超えて、数値的データのみを用いたジャンピング数の体系的計算が可能になる。