[論文レビュー] Classifying singularities up to analytic extensions of scalars

Hans Schoutens|arXiv (Cornell University)|Aug 13, 2005

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

ひとこと要約

本稿では、代数幾何における特異点の位相的分類を、スカラー体の解析的拡張に関して、環の局所環の同値類として定義することで行い、ジャンプの一致に基づくポーランド空間構造を用いる。主な結果は、この分類が記述的集合論の意味で滑らかであるということであり、複素数体上での解析的局所環および極化的なスキームの分類問題が、すべてボレル可測問題として解けることを示している。

ABSTRACT

The singularity space consists of all germs $(X,x)$, with $X$ a Noetherian scheme and $x$ a point, where we identify two such germs if they become the same after an analytic extension of scalars. This is a Polish space for the metric given by the order to which infinitesimal neighborhoods, or jets, agree after base change. In other words, the classification of singularities up to analytic extensions of scalars is a smooth problem in the sense of descriptive set-theory. Over $\mathbb C$, the following two classification problems up to isomorphism are now smooth: (i) analytic germs; and (ii) polarized schemes.

研究の動機と目的

• 代数幾何における特異点の分類を、スカラー体の解析的拡張に関して不変であるような位相的枠組みとして開発すること。
• 基底体の拡張後のジャンプの一致に基づく距離による位相を導入した上で、この分類空間がポーランド空間（完備かつ分離可能）であることを確立すること。
• 解析的局所環および複素数体上での極化的なスキームの同型関係による分類が、記述的集合論の意味で滑らかであることを示すこと。
• 可換代数および代数幾何における既存の分類問題を、共通の位相的かつ論理的枠組みで統一・一般化すること。

提案手法

• 任意のネーター的スキーム X とその点 x に対して、局所環 (X,x) の同値類として特異点空間を定義し、スカラー体の解析的拡張に関して同値とみなす。
• 任意の基底体の拡張への基底変換後のジャンプの一致の次数を測る距離を、特異点空間に導入する。
• 得られた位相を用いて、特異点空間がポーランド空間（完備かつ分離可能）であることを示す。
• 記述的集合論の道具を用いて、分類関係の複雑さを分析する。
• この位相において、解析的局所環および極化的なスキームの同型関係がボレル可測であることを証明する。
• ポーランド空間構造を活用して、分類問題が滑らかである、すなわち標準ボレル空間へのボレル還元可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 特異点は、スカラー体の解析的拡張に関して不変な方法で分類可能か？ もし可能であれば、その分類空間にどのような位相的構造が備わるか？
• RQ2 解析的局所環の同型関係による分類は、記述的集合論の意味で滑らかか？
• RQ3 同様の滑らかさの結果は、複素数体上での極的なスキームの同型関係に対しても成立するか？
• RQ4 基底体の拡張後のジャンプの一致に基づく距離は、特異点の幾何的類似性をどのように捉えているか？
• RQ5 解析的拡張に制限した特異点上の同型関係の論理的複雑さは何か？

主な発見

• ジャンプに基づく距離を備えた特異点空間はポーランド空間であり、完備性および分離可能性を満たす。
• 解析的局所環の同型関係による分類は滑らかである。すなわち、標準ボレル空間へのボレル還元可能である。
• 複素数体上での極的なスキームの同型関係による分類も、同様の枠組みで滑らかである。
• 距離は、任意の基底体の拡張後のジャンプの一致の次数を測ることで、局所環の幾何的類似性を捉えている。
• 解析的スカラー拡張の使用により、異なる基底体にわたる特異点の均一な取り扱いが可能になる。
• 本研究の結果は、記述的集合論を代数幾何、特に特異点の分類に応用する基盤を確立する。