[論文レビュー] Generalized Divisors and Biliaison

Robin Hartshorne|ArXiv.org|Jan 15, 2003

Algebraic Geometry and Number Theory参考文献 6被引用数 8

ひとこと要約

この論文は、セールの$S_2$条件を満たすスキームに一般化された除法の理論を拡張し、ゴレーンシュタイン二分岐の新しい概念を導入することで、ギャエータの定理を強化する。$ \mathbb{P}^n$ における標準的行列式的スキームは、線形空間のゴレーンシュタイン二分岐類に属する。さらに、codimension 3の部分スキームに対して、ゴレーンシュタイン二分岐は偶数の厳密ゴレーンシュタインリンクに等価であることを証明する。

ABSTRACT

We extend the theory of generalized divisors so as to work on any scheme $X$ satisfying the condition $S_2$ of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof in a stronger form of the theorem of Gaeta, that standard determinantal schemes are in the Gorenstein biliaison class of a complete intersection. We also show, for schemes of codimension three in ${\mathbb P}^n$, that the relation of Gorenstein biliaison is equivalent to the relation of even strict Gorenstein liaison.

研究の動機と目的

• Gorensteinスキームを超えて、反復性の代わりに$S_2$条件を用いることで、一般化された除法の理論を拡張すること。
• S_2スキームを用いてゴレーンシュタイン二分岐の新しい概念を定義し、リンク理論におけるより強い結果を得ること。
• この一般化された二分岐枠組みを用いて、標準的行列式的スキームに関するギャエータの定理を再証明し、強化すること。
• ゴレーンシュタイン二分岐と厳密ゴレーンシュタインリンクの関係、特にcodimension 3における関係を調査すること。
• アリトメティック的にゴレーンシュタインなスキーム、特にACMスキーム上での$M + mH$の形のものにおける役割を明確にすること。

提案手法

• 自然な写像$\mathcal{F} \to \operatorname{Hom}(\operatorname{Hom}(\mathcal{F}, \omega), \omega)$が同型であるような$\omega$-反射的モジュールを定義する。
• $S_1$スキームに対して、標準的層$\omega$は$S_2$を満たし、$\omega$-反射的モジュールは$S_2$モジュールと一致することを確立する。
• $\mathbb{P}^n$における$S_2$スキーム$X$を用いた一般化された二分岐を導入し、$D' \sim D + mH$が基本的二分岐を定義する。
• $G$-二分岐（$G_0$を満たすACMスキームを用いて）は、すべてのリンクが$X$上での$M + mH$の形である偶数の厳密ゴレーンシュタインリンクを意味することを証明する。
• コホホロジー的技法とセクションの持ち上げを用いて、Raoモジュールをシフトまで保存するように、スキームをつなぐ二分岐の系列を構成する。
• この理論を応用して、codimension 3において、ゴレーンシュタイン二分岐が偶数の厳密ゴレーンシュタインリンクに等価であることを、AGスキームによる幾何的リンクの構成によって示す。

実験結果

リサーチクエスチョン

• RQ1 一般化された除法の理論を、Gorensteinまたは反復性条件を課さずに$S_2$を満たすスキームに拡張することは可能か？
• RQ2 すべての$G$-二分岐は、特にcodimension 3において、偶数の厳密ゴレーンシュタインリンクに同値か？
• RQ3 一般化された二分岐枠組みを用いて、ギャエータの定理（標準的行列式的スキームに関するもの）をより強い形で再証明できるか？
• RQ4 $M + mH$の形のスキームは、$G$-二分岐および厳密ゴレーンシュタインリンクにおいて果たす役割は何か？
• RQ5 形式$M + mH$とは限らないAGスキームは、$G$-二分岐を達成するために使用可能か？これはglicci問題に何を意味するか？

主な発見

• 一般化された除法の理論は、$\omega$-反射的モジュールを鍵的技術的道具として用いることで、すべての$S_2$を満たすスキームに成功裏に拡張された。
• すべての$G$-二分岐（$G_0$を満たすACMスキームを用いて定義される）は、偶数の厳密ゴレーンシュタインリンクである。つまり、すべてのリンクは、あるACMスキーム上での$M + mH$の形をしている。
• codimension 3の$\mathbb{P}^n$の部分スキームに対して、ゴレーンシュタイン二分岐の関係は偶数の厳密ゴレーンシュタインリンクに等価である。
• ギャエータの定理に対する、より強い証明が与えられた：すべての標準的行列式的スキームは、線形空間のゴレーンシュタイン二分岐類に属する。
• 一般化された二分岐においてRaoモジュールはシフトまで保存され、重要なコホホロジー的不変量の不変性が確認された。
• 結果から、$M + mH$スキームを用いた厳密ゴレーンシュタインリンクはglicci問題を理解する上で中心的役割を果たすと考えられ、非特殊なAGスキームも二分岐理論において依然として役立つ可能性がある。