複素射影多様体のレフシェッツ超平面定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/03/22 05:22 UTC 版)
「レフシェッツ超平面定理」の記事における「複素射影多様体のレフシェッツ超平面定理」の解説
X を CPN 内の n 次元複素射影代数多様体とし、Y を U = X ∖ Y が滑らかなであるような X の超平面切断とする。 レフシェッツの定理は、次のステートメントがどれも成り立つという定理である。 特異ホモロジーの自然な写像 Hk(Y, Z) → Hk(X, Z) は、k < n − 1 に対しては同型であり、k = n − 1 に対しては全射である。 特異コホモロジーの自然な写像 Hk(X, Z) → Hk(Y, Z) は、k < n − 1 に対しては同型であり、k = n − 1 に対しては単射である。 自然な写像 πk(Y, Z) → πk(X, Z) は、k < n − 1 に対しては同型であり、k = n − 1 に対しては全射である。 長完全系列を用い、これらのステートメントの各々がある相対不変量の消滅定理に同値であることを示すことができる。このための消滅定理は順に以下である。 相対特異ホモロジー群 Hk(X, Y, Z) は、 k ≤ n − 1 {\displaystyle k\leq n-1} に対して 0 である。 相対特異コホモロジー群 Hk(X, Y, Z) は、 k ≤ n − 1 {\displaystyle k\leq n-1} に対して 0 である。 相対ホモトピー群 πk(X, Y) は、 k ≤ n − 1 {\displaystyle k\leq n-1} に対して 0 である。
※この「複素射影多様体のレフシェッツ超平面定理」の解説は、「レフシェッツ超平面定理」の解説の一部です。
「複素射影多様体のレフシェッツ超平面定理」を含む「レフシェッツ超平面定理」の記事については、「レフシェッツ超平面定理」の概要を参照ください。
- 複素射影多様体のレフシェッツ超平面定理のページへのリンク