[論文レビュー] GEOMETRIC AUSLANDER CRITERION FOR FLATNESS OF AN ANALYTIC MAPPING

Janusz Adamus, Edward Bierstone+1 more|arXiv (Cornell University)|Jan 18, 2009

Algebraic Geometry and Number Theory参考文献 16被引用数 2

ひとこと要約

この論文は、複素解析的空間上の連接層の平坦性に関する幾何的基準を確立する。層 F が点 ξ ∈ X においてベース環 R = O_{Y,ϕ(ξ)} に対して平坦であるための必要十分条件は、その n 重解析的テンソル積（n = dim R）に垂直な元が含まれないことである。この結果は、滑らかなベース上の有限生成でないモジュールへとオースランドの古典的自由性基準を一般化し、平坦性のテストとして n 重テンソル積における torsionfreeness 条件を提供する。

ABSTRACT

Abstract. We prove that, if F is a coherent sheaf of OX-modules over a morphism ϕ: X → Y of complex-analytic spaces, where Y is smooth, then the stalk Fξ at a point ξ ∈ X is flat over R: = O Y,ϕ(ξ) if and only if the n-fold analytic tensor power of Fξ over R (where n = dimR) has no vertical elements. The result implies that if F is a finite module over a morphism ϕ: X → Y of complex algebraic varieties, where Y is smooth and dimY = n, then Fξ is R-flat if and only if its n-fold tensor power is a torsionfree R-module. The latter generalizes a classical freeness criterion of Auslander to modules that are not necessarily finitely generated over the base ring. Contents

研究の動機と目的

• 滑らかなベースを持つ複素解析的空間上の連接層への古典的平坦性基準の拡張。
• ホモロジー的条件の代わりに、層のテンソル積を用いた平坦性の幾何的特徴づけの提供。
• 有限生成でないモジュールに対しても、オースランドの自由性基準を滑らかなベース上に一般化すること。
• 層 Fξ の平坦性に関する必要十分条件を、その n 重テンソル積に垂直な元が存在しないこととして確立すること。

提案手法

• 複素解析的空間上の連接層の解析的テンソル積を用いて平坦性を検出する。
• R = O_{Y,ϕ(ξ)} における層 Fξ の n 重テンソル積における垂直元の分析（n = dim R）。
• 複素解析的幾何における連接層および平坦性の理論の応用。
• Y の滑らかさを活用して、平坦性をテンソル積における torsion の有無に関する条件に還元する。
• 次元論および局所環の構造を用いて、平坦性とテンソル積の挙動を関連付ける。
• テンソル積解析を通じて、オースランドの代数的自由性基準を解析的設定に適応する。

実験結果

リサーチクエスチョン

• RQ1 Y が滑らかで、ϕ: X → Y が複素解析的空間の間の準同型であるとき、点 ξ ∈ X において連接層 F が局所環 R = O_{Y,ϕ(ξ)} に対して平坦である条件は何か？
• RQ2 Fξ の平坦性は、n = dim R におけるその n 重解析的テンソル積に関する条件によって特徴づけられるか？
• RQ3 Fξ の n 重テンソル積に垂直な元が存在しないことと、Fξ の R への平坦性とはどのように関係するか？
• RQ4 オースランドの有限生成モジュールに対する自由性基準は、滑らかなベース上の有限生成でないモジュールへどの程度一般化可能か？
• RQ5 平坦性を保証するテンソル積に関する正確な幾何的条件は何か？

主な発見

• 連接層 F が点 ξ において R = O_{Y,ϕ(ξ)} に対して平坦であるための必要十分条件は、その n 重解析的テンソル積（n = dim R）に垂直な元が含まれないことである。
• Fξ の平坦性は、R-加群としてのその n 重テンソル積の torsionfreeness と同値である。
• この基準は、有限生成でないモジュールに対しても、オースランドの古典的自由性基準を一般化する。
• この結果は複素解析的カテゴリに成立し、代数的結果を解析的設定に拡張する。
• テンソル積に関する条件は、ホモロジー的計算を要せず、幾何的かつモジュール論的平坦性基準を提供する。
• この特徴づけは、層およびベース空間の局所構造に内在的であり、次元およびテンソル積の挙動にのみ依存する。