代数幾何学において、1943 年にオスカー サリスキによって証明されたサリスキの主定理は、双有理写像の構造を明らかにします。この定理は、多様性の通常の点では分岐が 1 つしかないことを示しており、多様性間の対応と接続性についての理解がより具体的かつ明確になります。
サリスキの主定理は、サリスキの接続性定理の特殊なケースと言えます。この定理は、正規多重度のすべての正規点において、対応する変換が連結されていることを表現しており、特に多重度構造と関連する特性の研究にとって、広範囲にわたる数学的意義を持っています。
双有理写像は、そのファイバーが有限である場合、正規重複度の開部分集合への同型です。
この定理の提案は、代数幾何学における多次元体のいくつかの性質をさらに決定しただけでなく、現代の代数幾何学の発展の基礎を築きました。ここで言う「通常の点」とは、幾何学においては、特異点やその他の不規則性がないなど、優れた特性を持つ点のことです。
双有理マッピングの場合、2 つの多重度間の関係を調べると、SRS の主定理により、正規多重度では、そのマッピングの全変換が接続されている必要があることがわかります。このような接続性は、多くの代数構造の分析に強力なツールを提供します。
通常の局所環は単一分岐構造であり、その変換は良好な連続性を持つことを意味します。
数学の発展に伴い、多くの数学者によって拡張され、サリスキの主定理のさまざまな変種が提案されてきました。たとえば、グロタンディークはこの定理を拡張し、多様性の特性をより包括的に理解できる一般的なマッピング構造の研究を提案しました。
いくつかの具体的な例として、例えば、次元が 1 より大きい滑らかな多重度 V があり、V 上のいくつかの点を拡張することによって別の多重度 V' を得ることができるとします。このような構成は、サリスキの主定理から導かれます。これらの具体的な例は、定理の適用可能性を示すだけでなく、より豊かな幾何学的直感も提供します。
通常の複素多変量の閉じた点 x の周囲には、U 内の非特異点の集合が連結されていることを保証する任意の小さな近傍 U を見つけることができます。
さらに、サリスキの主定理は代数環の文脈で再定式化され、多重度の代数的性質をより体系的に理解できるようになりました。これらの定理は数学の理論的枠組みであるだけでなく、多くの幾何学的構造や特性を説明する中核原理でもあります。
代数幾何学の徹底的な研究により、これらの理論は絶えず提案され、検証されており、さまざまな物体をその表面の幾何学的特性だけでなく、より抽象的なレベルでの構造の観点からも理解できるようになりました。サリスキの主要定理の影響は、それが引き起こした果てしない思考と議論から生じています。
最後に、よりマクロ的な観点から、次のような疑問を抱かずにはいられません。各通常点における一意の分岐の理論には、より深い数学的な意味と応用があるのでしょうか。