[論文レビュー] Blowups and Resolution

H. Hauser|arXiv (Cornell University)|Apr 3, 2014

Algebraic Geometry and Number Theory参考文献 69被引用数 4

ひとこと要約

この論文は、代数幾何における blown-up と特異点の解消について、体系的で辞書的な概要を提供しており、基礎的な概念、技法、不変量に焦点を当てている。零特徴と正特徴における理想変換、最大接触、解消に関する主要な結果を提示し、正特徴における最大接触の失敗と微分作用素の役割を示す明確な例を含む。

ABSTRACT

This article shall serve as a quick reference for somebody who needs precise information on concepts and results related to resolution of singularities. As such, it is more a technical manual than a bedtime story. Topics which are covered: Singular and regular points of varieties and schemes; various definitions of blowups and their mutual relations; properties of blowups; transforms of varieties, schemes and ideals; exceptional divisors; Cartier and normal crossings divisors; transversality; hypersurfaces of maximal contact; flags; coefficient ideals; resolution invariants; order of ideals; Hilbert-Samuel function; semicontinuity; various resolution statements; characteristic zero resolution; characteristic p phenomena. The text is complemented with lots of illustrating examples.

研究の動機と目的

• 代数幾何および可換環論の研究者に対して、blown-up と特異点の解消について、迅速かつアクセスしやすい参考資料を提供すること。
• 具体的な例を通じて、理想の変換、最大接触、残余位数といった技術的概念を明確にすること。
• 正特徴における最大接触の限界と、この設定における微分作用素の挙動を調査すること。
• 詳細な例題とヒントを含むことで、大学院レベルの教育を支援すること。

提案手法

• 自己完結的なアクセスを可能にするために、コアな概念を繰り返し定義する講義形式・辞書形式を採用。
• 特異点の解析に吹き出し技法を適用し、特に理想変換と厳密変換に焦点を当てる。
• 局所不変量（位数、残余位数など）を用いて、繰り返しの吹き出しによる特異点の追跡を行う。
• 特に $\partial_{x_i^{p^k}}$ を用いて、還元下での多項式の挙動を正特徴で研究する微分作用素を活用。
• Camelia 表面や非最大接触を示す超曲面といった具体的な例を分析し、理論的結果を図示。
• 計算代数と座標変換を用いて、吹き出しチャートにおける位数と残余位数の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 正特徴において、超曲面が与えられた特異点を持つ多様体と最大接触を持つ条件は何か？
• RQ2 Camelia 表面が原点において任意の正則局所超曲面に最大接触を持つことができないのはなぜか？
• RQ3 正特徴において、$\partial_{x_i^{p^k}}$ のような微分作用素はどのように振る舞い、多項式の位数について何を明らかにするか？
• RQ4 吹き出し後の厳密変換の残余位数は何か？また、座標変換によってその値はどのように変化するか？
• RQ5 特異点多様体の上位局所は正則局所超曲面に含まれ得るか？その場合、どのような制約が生じるか？

主な発見

• $f = 27x^2y^3z^2 + (x^2 + y^3 - z^2)^3$ で定義される Camelia 表面は、特異点集合が6つの既約成分を持つ。これらにはカスプ曲線と複素共役対が含まれる。
• Camelia 表面の原点における上位局所は、$t \mapsto (t^{32}, t^7, t^{19}, t^{15})$ でパラメトライズされる既約曲線であるが、その指数が非整数であるため、原点における任意の正則局所超曲面は上位局所を含めることができない。
• $x$-チャートにおける $f$ の厳密変換の残余位数は、$3^4$ から $2 \cdot 3^4$ に増加しており、これは吹き出しによる位数の増加を示している。
• 正特徴では、微分作用素 $\partial_{x_i^p}$ はライブニッツ則を満たさない。実際、$\partial_{x_i^p}(x_i^p) = 1$ であるが、ライブニッツ項は消える。
• 特徴 3 における $f = z^{3^5} + x^{4 \cdot 3^4} y^{3^4}(x^{3^4} + y^{3^4} + x^{300})$ に対して、吹き出し後に残余位数が増加しており、非自明な特異点の持続を示している。
• $z$-軸の一般点における係数理想の位数は $p$ であるが、$f$ の残余位数は $p+1$ である。これは不変量の間で乖離が生じていることを示している。