[論文レビュー] The geometry of 2-regular algebraic sets

David Eisenbud, Mark Green+2 more|arXiv (Cornell University)|Apr 28, 2004

Commutative Algebra and Its Applications参考文献 13被引用数 3

ひとこと要約

本稿は、古典的な最小次数多様体の分類を可約代数的集合へと拡張するために、2-正則性のための幾何的基準を導入する。k 上の射影空間 P^r における被約スキーム X が2-正則であるための必要十分条件は、任意の線型部分空間 Λ に対して、X ∩ Λ の幾何的次数が、Λ における X ∩ Λ の余次元より1以下に大きいことである。著者らは、このようなスキームが最小次数多様体から帰納的に得られることを示している。

ABSTRACT

A celebrated Theorem of Del Pezzo and Bertini classifies the nondegenerate irreducible varieties X ⊂ P r k of minimal degree (deg X = 1+codim X), where k is an algebraically closed field. There is also a cohomological characterization: X has minimal degree in its linear span if and only if X is 2-regular in the sense of Castelnuovo and Mumford. In this paper we extend these theorems to the reducible case. We prove that any 2-regular algebraic set ( ≡ reduced scheme) X ⊂ P r k can be constructed inductively from varieties of minimal degree in a simple way, and we give a geometric criterion similar to minimal degree: a reduced scheme X ⊂ P r k is 2-regular if and only if X is small, which means that if Λ ⊂ P r is any linear subspace, then the geometric degree of Λ ∩ X is at most 1 more than the codimension of Λ ∩ X in Λ.

研究の動機と目的

• 最小次数多様体に関するデル・ペッツォとベルティーニの古典的定理を可約な場合に一般化すること。
• 射影空間における2-正則被約スキームの幾何的特徴づけを提供すること。
• 最小次数多様体から帰納的に2-正則代数的集合を構成することを確立すること。
• 「小さな」スキームという概念を定義・分析し、可約な状況における最小次数の幾何的置き換えとすること。

提案手法

• 任意の線型部分空間 Λ に対して、deg(Λ ∩ X) ≤ codim(Λ ∩ X, Λ) + 1 を満たすという条件により「小さな」スキームの概念を導入する。
• カステルヌオーヴォとマウムフォードが提唱した2-正則性のコhomologicalな定義を拡張の基盤として用いる。
• 代数的閉体上での射影空間における2-正則性と「小さな」性質の間の対応関係を確立する。
• 任意の2-正則スキームが、既約な最小次数多様体から帰納的に構成可能であることを証明する。
• 特にカステルヌオーヴォ-マウムフォード正則性と交差理論に関連する技術を、代数的幾何の手法として用いる。
• X の線型包を用いて、問題を線型部分空間との交わりの研究に還元する。

実験結果

リサーチクエスチョン

• RQ1 最小次数多様体の分類を可約代数的集合へ拡張することは可能か？
• RQ2 射影空間における2-正則被約スキームを特徴づける幾何的条件は何か？
• RQ3 「小ささ」の概念は、カステルヌオーヴォ-マウムフォードの2-正則性とどのように関係するか？
• RQ4 任意の2-正則スキームは、最小次数多様体から帰納的に構成可能か？
• RQ5 可約な状況において、非可約な場合と同様のコホモロジー的・幾何的同値性は存在するか？

主な発見

• 被約スキーム X ⊂ P^r_k が2-正則であるための必要十分条件は、任意の線型部分空間 Λ に対して、deg(Λ ∩ X) ≤ codim(Λ ∩ X, Λ) + 1 を満たすことである。
• 2-正則スキームのクラスは、正確に既約な最小次数多様体から帰納的に構成される被約スキームの集合に一致する。
• 「小ささ」の幾何的基準は、可約な状況における2-正則性のコホモロジー的定義に対する直接的な、射影的幾何学的置き換えを提供する。
• 本結果は、線型部分空間との交わりの幾何的次数という新しい不変量を用いて、デル・ペッツォ-ベルティーニの定理を可約な状況へ一般化する。
• 構成プロセスにより、2-正則スキームは、すべての線型断面において、次数の成長が余次元に対して制御されていることが保証される。
• 2-正則性と「小ささ」の同値性は、任意の代数的閉体 k 上で成り立つ。