[論文レビュー] Desingularization in Computational Applications and Experiments

Anne Frühbis-Krüger|arXiv (Cornell University)|Jan 16, 2013

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

ひとこと要約

本稿では、代数幾何学における特異点の解消の実用的計算手法を提示し、吹き上げ（blowing up）によって得られるアルゴリズム的解消データから、交差形式、双対グラフ、不変量、対数正則閾値、位相的ゼータ関数といった不変量を抽出することに焦点を当てる。Singularソフトウェアを用いた実装例を通じて、Bernstein-Sato多項式や正の特性における実験的解消への応用を示している。

ABSTRACT

After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial varieties), we shall proceed to computational applications of resolution of singularities in singularity theory and algebraic geometry, also touching on relations to algebraic statistics and machine learning. Namely, we explain how to compute the intersection form and dual graph of resolution for surfaces, how to determine discrepancies, the log-canoncial threshold and the topological Zeta-function on the basis of desingularization data. We shall also briefly see how resolution data comes into play for Bernstein-Sato polynomials, and we mention some settings in which desingularization algorithms can be used for computational experiments. The latter is simply an invitation to the readers to think themselves about experiments using existing software, whenever it seems suitable for their own work.

研究の動機と目的

• 理論的特異点解消と代数幾何学および特異点論における実用的計算応用を結びつけること。
• 吹き上げを用いて生成されるアルゴリズム的解消データが、双対グラフや交差形式といった主要な不変量を計算するのにどのように利用できるかを示すこと。
• 解消データが不変量の計算、特に不変量と対数正則閾値、位相的ゼータ関数の計算に果たす役割を調査すること。
• Hironaka型の解消法における構造的失敗をテストする文脈において、特に正の特性や Bernstein-Sato多項式解析において、解消アルゴリズムの実験的利用を提案すること。
• 再現可能な研究とツール習得を可能にするために、Singularソフトウェアシステムを用いたコード付きの具体例を提供すること。

提案手法

• 主にSingularに実装されたVillamayorのアルゴリズムの変種を用いた、吹き上げによるアルゴリズム的解消を利用する。
• 複数のチャートにわたる解消データの表現に注力し、純粋に理論的な貼り合わせではなく、共通点の特定と貼り合わせに実用的焦点を当てる。
• 埋め込み解消を用いて不変量と対数正則閾値を計算するため、例外的除因子とその重複度を詳細に追跡する必要がある。
• 例外的除因子の構造とその成分を分析することで、解消データを用いて位相的ゼータ関数を計算する。
• 主成分化後に単項式関数のBernstein-Sato多項式の既知の形を用い、例外的除因子の重複度から根を推定する。
• 特にHironaka型の解消法における構造的失敗をテストする文脈で、正の特性における解消アルゴリズムの実験的利用を提案する。

実験結果

リサーチクエスチョン

• RQ1 アルゴリズム的解消から得られる解消データをどのように体系的に使い、表面特異点の双対グラフと交差形式を計算できるか？
• RQ2 不変量と対数正則閾値を計算するために必要な解消データは何か？ そして、埋め込み解消においてそのデータはどのように構造化されるか？
• RQ3 解消データは、位相的ゼータ関数およびBernstein-Sato多項式の計算にどのような形で情報を提供できるか？
• RQ4 正の特性における解消アルゴリズムの適用から得られる実験的知見は何か？ 特に、最大接触の失敗と補助的イデアルの位数の増加に関するものである。
• RQ5 既知の解消データは、Bernstein-Sato多項式の根の分母を予測または理解するのにどのように役立つだろうか？

主な発見

• 表面特異点の双対グラフと交差形式は、例外的除因子の基本的構造とその交差関係のみを用いて、解消データから直接計算可能である。
• 不変量と対数正則閾値の計算には、埋め込み解消データ（厳密変換と例外的除因子の重複度を含む）が必要である。
• 位相的ゼータ関数は、例外的除因子の配置とその成分を分析することで、解消データから計算可能である。
• 主成分化後の単項式関数のBernstein-Sato多項式の根は、形式 $-k/r_i$ の有理数であり、$r_i$ は例外的除因子の重複度である。
• Hauserが指摘したように、正の特性における最大接触の失敗と補助的イデアルの位数の増加は、Hironaka型解消法の主要な障害である。
• 正の特性におけるアルゴリズム的解消は、特に次元2の文脈で修正された実装を用いて、反例や構造的パターンの探索に実験的に利用できる。