アフィン多様体と射影多様体

多様体は、多項式方程式の幾何学的解集合であり、アフィン空間で研究され、無限遠点（points at infinity）を追加することで、より均一な射影空間の設定で研究されます。

Definition

アフィン多様体は、アフィン空間における多項式の集合の共通零点集合であり、射影多様体は、射影空間における同次多項式（homogeneous polynomials）の類似の零点集合であり、幾何学はコンパクトで交差理論（intersection theory）は適切に振る舞います。

Scope

このトピックでは、多項式の零点集合（zero loci）としてのアフィン多様体、ザリスキー位相（Zariski topology）、およびヒルベルトの零点定理（Hilbert's Nullstellensatz）によって提供される多様体と根基イデアル（radical ideals）の間の対応関係について展開します。また、座標環（coordinate ring）と関数体（function field）、正則写像（regular maps）と有理写像（rational maps）、射影空間への移行と射影多様体（projective varieties）について紹介し、ベズーの定理（Bézout's theorem）と無限遠点における例外的な振る舞いの不在が成り立つことを示します。次元（dimension）、既約性（irreducibility）、特異点（singular points）と非特異点（smooth points）は、基本的な幾何学的不変量として扱われます。

Core questions

• 零点定理は多様体とイデアルの間の対応関係をどのように精密化するのか？
• なぜ射影空間は多様体にとって自然な場所であり、無限遠点を追加することで何が解決されるのか？
• 多様体の座標環と関数体は、その代数的な影（algebraic shadows）としてどのように機能するのか？
• 非特異点と特異点は何によって区別され、次元は代数的にどのように定義されるのか？

Key concepts

• アフィン多様体とザリスキー位相
• ヒルベルトの零点定理とイデアル-多様体対応
• 座標環、関数体、および有理写像
• 射影空間と射影多様体
• 次元、既約性、および非特異点と特異点

Clinical relevance

多様体は、代数幾何学とその応用において研究される基本的な対象であり、暗号理論や数論における楕円曲線から、コンピュータビジョンで使用される射影モデル、代数統計学で分析される解集合に至るまで多岐にわたります。

History

多項式方程式による曲線や曲面の研究は19世紀に遡ります。ヒルベルトの零点定理（1893年）と、1930年代および1940年代におけるザリスキーによる厳密な位相的および代数的ツールの導入により、多様体は精密な対象として確立され、現代の主題の出発点となりました。

Key figures

• David Hilbert
• Oscar Zariski
• Robin Hartshorne

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

ヒルベルトの零点定理は何を述べているのか？

代数的に閉じた体（algebraically closed field）上では、アフィン多様体と多項式環の根基イデアルの間に全単射を確立し、幾何学的な包含関係と交差がイデアル上の代数演算と正確に対応することを示します。

アフィン空間ではなく射影空間で作業する理由は何ですか？

射影空間は、無限遠点を追加することでアフィン空間をコンパクト化し、多様体をコンパクトにし、特殊なケース（平行線が交わるなど）を排除し、ベズーの定理のような明確な交差結果をもたらします。