[論文レビュー] Bertini and his two fundamental theorems

Steven L. Kleiman|ArXiv.org|Apr 17, 1997

Polynomial and algebraic computation参考文献 10被引用数 56

ひとこと要約

本稿は、代数幾学における2つの基礎的定理—可変特異点と可約線型系に関するEugenio Bertiniの定理—を、現代的な厳密性基準に則ったきめ細やかな再構築を提供する。完全でアクセス可能な証明を提示し、古典的特異点を超えて適用可能な、任意のr重点への新しい一般化を導入する。

ABSTRACT

After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear systems. We explain the content of the statements in a way that is accessible to a nonspecialist, and we develop versions of the old proofs that are complete and rigorous by current standards. In particular, we prove a new extension of Bertini's first theorem, which treats variable $r$-fold points for any $r$.

研究の動機と目的

• 現代の数学的厳密性基準に則って、Bertiniの2つの古典的定理を、批判的かつきめ細やかに再表現・再証明すること。
• Bertiniの定理の歴史的発展と概念的進化を明確にし、とりわけイタリア代数幾何学派におけるその役割を明らかにすること。
• Bertiniの第一定理を任意のr重点へ一般化し、任意のr ≥ 1に対して、新たな一般版（定理4.4）を提示すること。
• Bertini自身および後続者（Enriques, van der Waerden, Zariski）の元の証明を再構築・検証し、専門外の読者にも理解可能な形で提示すること。
• 古典的記述および証明が、歴史的に軽視されてきたものの、現代代数幾何学において依然として数学的に深遠で基盤的であることを示すこと。

提案手法

• Bertini自身の1882年論文およびEnriques, van der Waerden, Zariskiによるその後の発展を、批判的歴史的分析により検討する。
• 複素数体上の射影空間における可変r重点に対するBertiniの第一定理を再構築し、その後、任意の環境多様体へ拡張する。
• Chow座標と函数体の正規化を用いて、線型系の一般成員の成分をパラメトライズする線型系（pencil）を定義する。
• Bertiniの第一定理を応用し、一般成員の共通基底点が特異点集合または基底集合に含まれることを示し、パラメトリック線型系の不変性を保証する。
• Zariskiの代数的証明技法を適応し、第二定理の証明においてBertiniの第一定理に依存しないようにし、特に正の特性の場合に有効であるようにする。
• 複数の証明戦略（Chow座標、正規化、直接不変性の議論）を、異なる著者や時代にわたって体系的に比較する。

実験結果

リサーチクエスチョン

• RQ1 Bertiniの原始的な記述および証明を、現代の数学的厳密性基準に完全に適合させ、明確に再表現することは可能か？
• RQ2 Bertiniの第一定理を任意のrに対して可変r重点へ一般化する正しい方法は何か？ そして、それを厳密に証明するにはどうすればよいか？
• RQ3 これらの定理の古典的証明がなぜ放置されたのか？ 今日においてもそれらにどのような数学的洞察が残っているのか？
• RQ4 Enriques, van der Waerden, Zariskiの証明は、仮定、技法、一般性の観点からどのように比較できるか？
• RQ5 第二定理（可約線型系に関するもの）は第一定理に依存せずに証明可能か？ そして、最小限の条件は何か？

主な発見

• Bertiniの第一定理の新しい一般化が証明された：任意のr ≥ 1に対して、基底点をもたない線型系で、環境多様体が codimension 1 で滑らかであれば、一般成員は可変r重点のみをもつ。
• 拡張された第一定理の証明は、函数体の正規化とChow座標を用いて、パラメトリック線型系の不変性を確立することに依存しており、線型系が適切に定義され不変であることを保証する。
• 第二定理は、完全な一般性において再証明された：固定成分をもたない任意の可約線型系は、線型でない線型系に対しても、任意の環境多様体上で合成可能である。
• Zariskiの第二定理の代数的証明が検証され、p^e乗条件を導入することにより、任意の代数閉体（正の特性を含む）でも成立することが示された。
• 古典的証明戦略—Bertiniの第一定理を用いて、特異点集合または基底集合以外の共通基底点を除外する—は依然として有効であり、新しい枠組みにおいて形式的に正当化された。
• 本稿は、今日の基準では不完全に見える歴史的証明が、現代の道具（スキーム理論など）を用いずに、きめ細やかに補完可能であり、深い幾何的洞察を内包していることを示した。