[論文レビュー] Resolution of Singularities for 3-folds in positive characteristic

Steven Dale Cutkosky|ArXiv.org|Jun 21, 2006

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

ひとこと要約

本稿は、特異点の解消に関する3次元多様体の明快で自己完結的な証明を提示する。特異点の解消は、特異点のない曲面の埋め込み解消と、点および非特異曲線に沿った吹き上げによるイデアルの主成分化を用いる。主な貢献は、Hironakaの方法の現代的簡略化に依存せず、順序に基づく不変量と弱変換に依拠した洗練されたアルゴリズムによって、特異点の解消を達成することにある。

ABSTRACT

In this paper a concise, complete proof of resolution of singularities of 3-folds in positive characteristic (>5) is given. The first proof of this theorem was given by Abhyankar in 1966. The resolution morphism in our proof is an isomorphism over the nonsingular locus.

研究の動機と目的

• 正の特徴の3次元多様体における特異点解消の完全かつ明快な証明を提供すること。特に、2, 3, 5 以外の特徴を持つ体について。
• 正の特徴における最大接触の超曲面の欠如を克服すること。これは、標準的な特徴0の手法を妨げる。
• 1967年までに利用可能だった手法のみを用いて、自己完結的な証明を確立すること。
• Abhyankarの元々の508ページに及ぶ証明を、多重度ではなく順序に基づく不変量と弱変換に焦点を当てることで簡略化すること。
• 特に4次元多様体内の3次元多様体の埋め込み解消に関する、正の特徴における未解決問題を動機づけること。

提案手法

• 証明は、特異点のない3次元多様体内の曲面特異点の埋め込み解消に依拠しており、全変換が単純正則交差除数となるように保証する。
• 特異点のない3次元多様体上のイデアル層の主成分化は、イデアルが可逆でない場所における点および非特異曲線の吹き上げによって行われる。
• アルゴリズムは、2次元超曲面の解消にLeviの方法を用い、Hironakaの不変量と例外的除数への横断性を用いて正の特徴に適応する。
• 主な技術には、厳密変換ではなく弱変換を使用することであり、これにより多重度ではなくイデアルの順序に注目することで不変量の追跡を簡素化する。
• 正規化とZariski–Abhyankar因子分解は、基本的領域の解消と吹き上げ列間の整合性を保証するために用いられる。
• 構成は点および曲線の逐次吹き上げを通じて行われ、基本的領域と例外的除数への横断性をきめ細かく制御する。

実験結果

リサーチクエスチョン

• RQ1 正の特徴における3次元多様体の特異点解消は、古典的手法のみを用いた自己完結的で明快な証明によって達成可能か？
• RQ2 正の特徴における最大接触の超曲面の欠如は、解消アルゴリズムでどのように回避可能か？
• RQ3 解消不変量を多重度ではなくイデアルの順序に基づくものにすることで、正の特徴における証明を簡略化できるか？
• RQ4 特徴0の道具に依存せずに、正の特徴における吹き上げの過程で例外的除数と横断性を達成することは可能か？
• RQ5 3次元多様体の解消に必要な、基本体に関する最小限の仮定（例えば、特徴 ≠ 2,3,5）は何か？

主な発見

• 代数的に閉じた体（特徴 ≠ 2, 3, 5）上の3次元多様体に対して、特異点の完全な解消が達成され、非特異な射影的多様体 W と双有理な写像 φ: W → V が得られる。
• 解消プロセスは、点および非特異曲線における吹き上げの系列によって構成され、特異点の集合と例外的除数の全変換が単純正則交差除数を形成する。
• 証明は、特異点のない3次元多様体内の曲面の埋め込み解消を確立し、曲面の厳密変換と除数の全変換が単純正則交差となる。
• 特異点のない3次元多様体上のイデアル層の主成分化は、イデアルが可逆でない場所における吹き上げによって達成され、局所的に主イデアルが得られる。
• この方法により、元の多様体 V の非特異部分集合上では解消写像が同型となることが保証される。
• 証明はHironakaの証明の現代的簡略化に依存せず、1967年までの技術のみでアクセス可能である。