[論文レビュー] On a connectedness theorem of Debarre

Lucian Bădescu|ArXiv.org|Dec 15, 2008

Advanced Topics in Algebra参考文献 7被引用数 3

ひとこと要約

この論文は、デバールの射影空間の積に関する接続定理を、わずかに強い次元条件の下で、完全かつ既約な代数多様体からの準同型写像における対角線の逆像がG3である、すなわちすべての形式的有理関数が有理関数に拡張可能であることを示すことで強化する。主な結果は、グローテンディーク＝ファルティングスの接続定理および拡張定理を、グローバルな幾何的技法と形式的関数論を用いて、射影空間の積へ一般化する。

ABSTRACT

Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)

研究の動機と目的

• 射影空間の積に対するデバールの接続定理を、形式的有理関数のG3条件というより強い拡張的性質へ拡張すること。
• 超平面切断がG3であるというグローテンディーク＝ファルティングスの結果を、射影空間の積内の部分多様体へ一般化すること。
• デバールの元々の定理における次元仮定が、G3性質を保証するために十分であるか、あるいは弱めることが可能かどうかを検討すること。
• 射影空間の積内の部分多様体の対角線が、その積空間内でG3であるような条件を確立すること。
• 射影空間の積内の部分多様体の文脈において、グローテンディーク＝レフシェッツ条件とその有効版を調査すること。

提案手法

• ジョイン構成と形式的関数論を用いて、部分多様体に沿った形式的有理関数の拡張を分析する。
• グローテンディーク＝ファルティングスの元来のアプローチとは異なり、局所コホロジー的技法ではなく、グローバルな幾何的技法を適用する。
• 第2節の形式関数に関する結果を活用し、ボナチーニ、デル・パドラノ、ネスチによるベルティーニ型定理のグローバルな証明を適応する。
• G3条件の証明の基礎として、デバールの接続定理を根拠とする。
• k代数の同型を用いてG3性質を定義・分析するため、標準写像 α_{X,Y}: K(X) → K(X_{/Y}) を用いる。
• 部分多様体の射影空間の積におけるコドメインの境界の下で、グローテンディーク＝レフシェッツ条件およびその有効版を適用する。

実験結果

リサーチクエスチョン

• RQ1 射影空間の積に対するデバールの接続定理は、対角線の逆像がG3であるように強化可能か？
• RQ2 デバールの定理における次元仮定は、G3条件を保証するために十分か、あるいは緩めることができるか？
• RQ3 古典的グローテンディーク＝ファルティングス定理におけるものと類似したコドメイン境界の下で、射影空間の積内の部分多様体のG3性質は成立するか？
• RQ4 射影空間の積内の部分多様体の対角線に対して、グローテンディーク＝レフシェッツ条件 Lef(X,Y) またはその有効版 Leff(X,Y) が成り立つ条件は何か？
• RQ5 アンビエント空間のコアmplenessに従って、部分多様体の対角線に対してG3性質を保証する、一様なコドメインの上限が存在するか？

主な発見

• すべての空でない J に対して |J| = p であるとき、dim((p_J × p_J)(f(X))) > ∑_{i∈J} n_i + p - 1 が成り立つ仮定の下で、f⁻¹(Δ) は X においてG3である。
• ℙ^{n₁} × ℙ^{n₂} 内の閉かつ既約な部分多様体 Z に対して、codim_P Z < ½ min{n₁, n₂} ならば、Z × Z 内の対角線 Δ_Z は Z × Z においてG3である。
• n₁ ≥ n₂ ≥ 1 を仮定すると、codim_P Z < ½ n₂ ならば、(Z × Z, Δ_Z) はグローテンディーク＝レフシェッツ条件 Lef(Z × Z, Δ_Z) を満たす。
• コロナリー4.7の仮定の下では、有効グローテンディーク＝レフシェッツ条件 Leff(Z × Z, Δ_Z) は決して満たされない。
• ℙ^{n₁} × ℙ^{n₂} のコアmpleness は n₂ であり、codim_P Z < ½ ca(P) ならば、対角線のG3性質が成り立つ。これは、ℙ^n に対する既知の結果を一般化する。
• 論文は、定理1.3における次元仮定を、デバールの元々の条件に一致させるように弱める可能性が残されており、今後の研究の方向性を示唆している。