[論文レビュー] Topics in algebraic geometry

Caucher Birkar|arXiv (Cornell University)|Apr 26, 2011

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

ひとこと要約

この論文は、スキーム上の準連接層の平坦性に関する基準を、構造環上の関連する加群の平坦性によって定式化する。f: Spec(B) → Spec(A) による準同型のもとで、Spec(B) 上の層 F = ~M が Spec(A) 上平坦であるための必要十分条件は、B-加群 M が A-加群として平坦であることであることを示しており、基底変換および局所化の技法を用いて、問題を加群論的平坦性条件に還元する。

ABSTRACT

Lecture notes of an algebraic geometry graduate course. The topics covered are as follows. Cohomology: ext sheaves and groups, cohomology with support, local cohomology, local duality. Duality: relative duality, Cohen-Macaulay schemes. Morphisms of schemes: flatness and base change and related topics. Hilbert and Quotient schemes.

研究の動機と目的

• 準連接層の平坦性を加群論的平坦性の観点から特徴づけること。
• B-加群 M に対して関連する層 F = ~M が基本スキーム Spec(A) 上平坦となるような明確な代数的条件を確立すること。
• 層の平坦性という幾何的概念と、環上の平坦加群という代数的概念を結びつけること。
• 加群論を用いた平坦準同型の研究の基盤を提供すること。

提案手法

• Spec(B) 上の層 F = ~M と関連する加群の層との間の同型を用いる。
• 層 F が Y 上平坦であるための必要十分条件として、F の茎が Y の対応する局所環上で平坦であることの基準を適用する。
• F における平坦性条件を、各点 x ∈ X における局所化 M_x における条件に還元する。
• A_{f(x)} 上の M_x の平坦性を、イデアルとのテンソル積写像の単射性に翻訳する。
• 基底変換と同型 (M ⊗_A J) ⊗_B B_x ≅ (M ⊗_A A) ⊗_B B_x を用いて、単射性条件を再表現する。
• 平坦性が底上および加群上で局所的であるという事実を用い、問題をイデアル固有の単射性条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 B-加群 M に対して、f: X = Spec(B) → Y = Spec(A) による準同型のもとで、関連する層 F = ~M が Y 上平坦であるための代数的条件は何か？
• RQ2 スキーム上の層の平坦性は、どのようにして、基底環上の加群の平坦性条件に還元できるか？
• RQ3 A 上の加群 M の平坦性と、Spec(A) 上の層 ~M の平坦性との間の正確な関係は何か？
• RQ4 基底環のイデアルとの特定のテンソル積写像の単射性を用いて、層の平坦性を特徴づけられるか？

主な発見

• 層 F = ~M が Y = Spec(A) 上平坦であるための必要十分条件は、B-加群 M が A-加群として平坦であることである。
• F の平坦性は、任意の A_{f(x)} のイデアル I および任意の x ∈ X に対して、写像 M_x ⊗_{A_{f(x)}} I → M_x ⊗_{A_{f(x)}} A_{f(x)} の単射性と同値である。
• F における平坦性条件は、任意の A のイデアル J および任意の x ∈ X に対して、写像 (M ⊗_A J) ⊗_B B_x → (M ⊗_A A) ⊗_B B_x の単射性に還元される。
• 証明により、局所化および基底変換を介して、層論的平坦性と加群論的平坦性を結ぶ一連の同値条件が確立された。