[論文レビュー] On curves on sandwiched surface singularities

Jesús Fernández-Sánchez|ArXiv.org|Jan 23, 2007

Commutative Algebra and Its Applications参考文献 18被引用数 5

ひとこと要約

本稿では、完全な mO-主理想の無限に近い基点との関係を通じて、サンドイッチ型表面特異点上の曲線を研究する。クラスター理論と部分アンローディングを活用し、曲線の主性に関する基準を提示し、多重度および特異点不変量を計算し、特異点を通る分岐のモノイドを特定する。本稿は、これらの表面における除法論のための有効な公式と構成的技法を提供する。

ABSTRACT

Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these curves are obtained. New formulas for their multiplicity, intersection numbers and order of singularity at the singularities of X are given. The semigroup of branches going through a sandwiched singularity is effectively determined, too.

研究の動機と目的

• サンドイッチ型表面 X = BlI(S) 上の有効なウェイリ・除法（曲線）を、理想 I の基点との関連を通じて分析すること。
• このような曲線が X 上で主（カルティエ除法）であるための基準を構築すること。
• 曲線の多重度、交差数、特異点の位数といった主要な不変量を、理想の基点の観点から X 上で計算すること。
• クラスターに基づく手法を用いて、サンドイッチ型特異点を通る分岐のモノイドを特定すること。
• 部分アンローディングを導入し、所望の性質を有するカルティエ除法を構成するための洗練されたツールとして応用すること。

提案手法

• 完全な mO-主理想 I を表すために、無限に近い点の重み付きクラスターを用い、基点 BP(I) が一貫性のあるクラスター K を形成すること。
• 各双曲的点 p ∈ K+ における過剰量 ρp を用いて、I のザルスキー分解を単純理想 Iρp p に展開すること。
• 部分アンローディングを、K の部分集合 K0 ⊂ K に対して相対的に適用することで、仮想多重度を制御し、過剰量が非負となるように保証し、一貫性のあるクラスターの構成を可能にすること。
• クラスター内の仮想多重度および近接関係を用いて、X 上の曲線の多重度および交差数の公式を導出すること。
• 与えられた曲線 C を含むカルティエ除法を体系的に構成するための、修正されたアンローディング手順（部分アンローディング）を導入すること。
• 理想 I と曲線 C から導かれるクラスターのフラグを用いて、特異点における曲線の特異点位数および分岐のモノイドを計算すること。

実験結果

リサーチクエスチョン

• RQ1 サンドイッチ型表面 X 上の基点クラスターを通る一般の曲線の厳密変形がカルティエ除法であるための条件は何か？
• RQ2 曲線 X 上の多重度および交差数は、元の表面 S へのその射影と理想 I の基点との相対的位置関係からどのように計算できるか？
• RQ3 サンドイッチ型特異点を通る分岐のモノイドを効果的に計算する方法は何か？
• RQ4 与えられたウェイリ・除法を含み、所望の幾何的性質を持つカルティエ除法をどのように構成できるか？
• RQ5 部分アンローディングは、クラスターの仮想多重度および過剰量を制御し、一貫性および主性を保証するために果たす役割は何か？

主な発見

• 本稿では、理想 I の基点を用いて、X = BlI(S) 上の曲線の多重度を表す公式を提示し、既存の文献における結果を一般化している。
• 仮想多重度およびクラスター BP(I) 内の過剰量に基づいた、X 上のウェイリ・除法の主性に関する基準を確立しており、厳密変形がすべての点で非負の過剰量を持つという条件を用いている。
• 曲線の特異点位数は、曲線と理想 I から導かれるクラスターのフラグを用いて計算され、命題 6.1 に明示的な公式が提示されている。
• 分岐のモノイドは、クラスター構造および部分アンローディングプロセスを用いて効果的に特定され、命題 6.5 で示されている。
• 部分アンローディングの手法により、与えられた曲線を含むカルティエ除法を仮想多重度および過剰量の制御のもとで体系的に構成可能である。
• 主要な恒等式 I = ∏p∈K+ Iρp p は、理想 I のザルスキー分解を示しており、ρp は各双曲的点 p における過剰量を表し、理想構造とクラスター幾何の関連を示している。