[論文レビュー] The Zariski-Lefschetz principle for higher homotopy groups of nongeneric pencils

Mihai Tibăr|arXiv (Cornell University)|Jul 12, 2002

Algebraic Geometry and Number Theory参考文献 28被引用数 63

ひとこと要約

本稿は、孤立特異点をもつ特異複素空間上の非一般型のペンキルに対して、高次ホモトピー群におけるザリスキ＝レフシェッツ型定理を確立する。ザリスキ＝ヴァン・カンペンの定理を高次ホモトピー群へ一般化し、πₖ₊₁(Xc) → πₖ₊₁(X) の核を記述するためのグローバルホモトピー変動写像を導入する。連結性および深さ条件のもとで、この核がこれらの写像の像によって生成されることを示し、古典的なレフシェッツ型結果を特異的かつ非一般的状況へ拡張する。

ABSTRACT

We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.

研究の動機と目的

• 非一般型ペンキルの文脈において、ザリスキ＝ヴァン・カンペンの定理を基本群から高次ホモトピー群へ一般化すること。
• 特異な開複素空間に対して、ザリスキ＝レフシェッツ定理のホモトピー論的類似を提供すること。
• 古典的ピカール＝レフシェッツ理論を高次ホモトピー群へ拡張するため、『消えるホモトピー』の生成元をグローバル変動写像の観点から同定すること。
• 孤立特異点および非一般型ペンキルが存在する状況において、一般型ファイバーの包含写像が高次ホモトピー群に同型または全射を誘導する条件を確立すること。

提案手法

• 特異点を含む臨界ファイバーにおけるミルナー球を用いて、q ≥ 3 に対して hvara: πq(Xc, X∗a, *) → πq(Xc, *) を定義するグローバルホモトピー変動写像を導入する。
• ブレイクス＝マシーの定理（ホモトピー除去）を適用し、写像 (X∗D, Xc) の長い完全系列における境界写像と変動写像を関連付ける。
• ホルエイチスの同型を用いてホモトピー群とホモロジー群を比較し、ホモロジーからホモトピーへの結果の移行を可能にする。
• πk+1(Xc) → πk+1(X) の核を制御するため、連結性およびホモトピー深さ条件（hdX∩SingSpX ≥ k+2 または k+3）を課す。
• 軸に沿ったベース空間のナッシュの吹き上げを用いてホイットニーの区分構造を定義し、特異点を分離する。
• 標準的包含写像 Xc → X を、特定の条件下で X とホモトピー同値となる XD への包含 Xc → XD に置き換えることで、解析を単純化する。

実験結果

リサーチクエスチョン

• RQ1 非一般型ペンキルの文脈において、ザリスキ＝ヴァン・カンペンの定理を基本群から高次ホモトピー群へどのように拡張できるか。
• RQ2 孤立特異点をもつペンキルの高次ホモトピー群における『消えるホモトピー』を生成する代数的位相的機構は何か。
• RQ3 特異複素空間において、一般型ファイバーの包含写像が高次ホモトピー群に同型または全射を誘導する条件は何か。
• RQ4 軸上に特異点が存在する（非一般型ペンキルの）場合、全空間のホモトピー型および包含写像の核にどのような影響を与えるか。
• RQ5 k ≥ 2 のとき、ホモトピー変動写像が πk+1(Xc) → πk+1(X) の核を生成することを示せるか。

主な発見

• k ≥ 2 かつホモトピー深さ条件 hdX∩SingSpX ≥ k+3 が成り立つとき、πk+1(Xc) → πk+1(X) の全射の核は、ホモトピー変動写像 hvara の像によって生成される。
• k ≥ 0 に対して、(Xc, Xc ∩ A) および (Xc, X∗a) が k-連結であり、hdX∩SingSpX ≥ k+2 であるならば、すべての q ≤ k+1 に対して πq(X, Xc, *) = 0 が成り立ち、これにより包含写像 Xc → X が (k+1)-同値であることが示される。
• ホモトピー変動写像 hvara は、π1(X∗a, *) および π1(Xc, *) の作用と可換であり、自然な全射 π1(X∗a, *) ։ π1(Xc, *) および π1(Xc, X∗a, *) の自明性のもとで成り立つ。
• Pn 上の一般型ペンキルの古典的状況では、結果は既知の連結性定理を回復・強化する：dim V ≤ 2n − 5 のとき、H ∩(Y \ V) → Y \ V は (n + codim V − 2)-同値である。
• 定理は、次元 n ≥ k+2（条件 (iii) の場合）または n ≥ k+3（条件 (iii’) の場合）の局所完備交差特異点をもつ空間へも適用可能であり、広範な適用可能性を示す。
• V がペンキルの一部を含む場合を別個に取り扱い、定理5.2により、(X, X \ Σ) が (k+1)-連結であり、(Xc, X∗ai) が k-連結であるとき、包含写像 Xc → X は (k+1)-同値であることが示される。