レフシェッツ超平面定理

数学では、特に代数幾何学や代数トポロジーでは、レフシェッツの超平面定理(Lefschetz hyperplane theorem)は、代数多様体の形と部分多様体の形の間のある関係についてのステートメントであり、この定理は、射影空間に埋め込まれた多様体 X と超平面切断（英語版）(hyperplane section) Y に対し、X のホモロジー、コホモロジー、ホモトピー群は、Y のそれらをも決定するという定理である。この種類の結果は、最初に複素代数多様体のホモロジー群に対し、ソロモン・レフシェッツ(Solomon Lefschetz)により言明された。同様の結果が、正の標数でも、他のホモロジー、コホモロジー理論で、ホモトピー群に対して発見されている。なお、レフシェッツ超平面定理のことを弱レフシェッツ定理(Weak Lefschetz Theorem)とも言う。 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 である。 レフシェッツ(Lefschetz) は、定理を証明するため、彼のアイデアであるレフシェッツペンシル（英語版）(Lefschetz pencil)を使った。超平面切断 Y を単独で考えるというよりむしろ、超平面切断の族 Yt の中での超平面切断は Y = Y0 として考えに入れた。元の超平面切断は滑らかであるので、有限個を除きすべての Yt は滑らかな多様体である。これらの点を t-平面から取り除き、有限個のスリットを加えることで、結果として現れる超平面切断 X は、位相的に自明となる。すなわち、元の Yt と t-平面の開集合の積となっている。従って、X はどれくらい超平面切断が特異点でスリットと同一視できるかを表していると理解することができる。特異点から離れると、同一視することができることが帰納的に示すことができる。特異点では、モースの補題（英語版）(Morse lemma)は、特別単純な形の X の座標系を選択することができることを意味している。この座標系は直接定理を証明することに使うことができる。 アンドレオッティ(Andreotti)とフランケル(Frankel) は、レフシェッツの定理がモース理論を使い再記述できることを認めた。 そこでは、パラメータ t がモース函数の役割を果たす。このアプローチでの基本的なツールは、アンドレオッティ・フランケルの定理（英語版）(Andreotti–Frankel theorem)で、この定理は複素次元 n の（従って実次元 2n）の複素アフィン多様体は、（実）次元 n のCW複体(CW-complex)のホモトピー型を持つ。このことは、X の中の Y の相対ホモロジー（英語版）(relative homology)群が、次数 n 以下で自明となることを意味する。従って、相対ホモロジーの長完全系列がこの定理を与える。 レフシェッツの証明モアンドレオッティとフランケルの証明も、ホモトピー群のレフシェッツ超平面定理を直接証明したものではない。1957年になりトムによりへっけんされたアプローチは、1959年にボットにより単純化され出版された。 トムとボットは、Y をラインバンドルの X の中での切断の軌跡と解釈する。モース理論のこのことへの応用は、X は n 次元以上の胞体(cell)を結合することで Y から構成することができる。このことから、X 内の Y の相対ホモロジー群とホモトピー群が次数 n とそれより大きな次数へ集中し、これが定理を証明することを意味する。 小平とスペンサー(Spencer)は、ある制限の下に、ホッジ群 Hp,q に対するレフシェッツ定理を証明することができることを発見した。特に、Y が滑らかでラインバンドル O X ( Y ) {\displaystyle {\mathcal {O}}_{X}(Y)} が豊富であると仮定すると、制限写像 Hp,q(X) → Hp,q(Y) は p + q < n − 1 に対し同型となり、 p + q = n − 1 に対し全射となる。 ホッジ理論により、これらのコホモロジー群は、層コホモロジー群 H q ( X , ⋀ p Ω X ) {\displaystyle H^{q}(X,\textstyle \bigwedge ^{p}\Omega _{X})} と H q ( Y , ⋀ p Ω Y ) {\displaystyle H^{q}(Y,\textstyle \bigwedge ^{p}\Omega _{Y})} に等しくなる。従って、定理は、秋月・中野の消滅定理（英語版）(Akizuki–Nakano vanishing theorem)を H q ( X , ⋀ p Ω X | Y ) {\displaystyle H^{q}(X,\textstyle \bigwedge ^{p}\Omega _{X}|_{Y})} へ適用し、長完全系列を使うことで得られる。 この証明と普遍係数定理を結合して、標数 0 の任意の体に係数を持つコホモロジーについての通常のレフシェッツの定理をほぼ得ることができる。しかしながら、Y に付け足した仮定にために、少し弱くなっている。 ミハイル・アルティン(Michael Artin)とアレクサンドル・グロタンディーク(Alexander Grothendieck)は、レフシェッツ超平面定理が、コホモロジーの係数が体ではなく、構成層（英語版）(constructible sheaf)の場合へ一般化されることを発見した。彼らは、アフィン多様体 U の上の構成層 F に対し、コホモロジー群 Hk(U, F) が k > n のときはいつも 0 となることを証明した。 アルティンとグロタンディークが構成層に対して証明したことの背後の動機は、エタールコホモロジー ℓ {\displaystyle \ell } -進コホモロジーでの設定へ適用することができるような証明を与えることであった。構成層に対してある制限を付けた上で、正の標数での構成層に対しレフシェッツの定理が成立する。 定理は交叉ホモロジー（英語版）(intersection homology)へも一般化できる。この設定では定義は、高い特異性を持つ空間にたいしても定理が成り立つ。 レフシェッツタイプの定理はピカール群に対しても成り立つ。 X を C P N {\displaystyle \mathbb {C} \mathbb {P} ^{N}} の中にある n-次元非特異複素射影多様体とすると、X のコホモロジー環の中で、超平面のコホモロジー類の k 重積は、 H n − k {\displaystyle H^{n-k}} と H n + k {\displaystyle H^{n+k}} の同型を与える。 このことを強レフシェッツ定理(hard Lefschetz theorem)と言い、グロタンディークによりフランス語でより口語的に Théorème de Lefschetz vache と命名された。 このことは直ちに、レフシェッツの超平面定理の単射性の部分を意味する。 強レフシェッツ定理は、実際、任意のコンパクトケーラー多様体に対して成り立ち、ケーラー形式のクラスのべきをかけたド・ラームコホモロジーで同型を与える。非ケーラー多様体に対しては、この定理は成立しない。例えば、ホップ曲面（英語版）(Hopf surface)は、第二コホモロジー群が消滅するので、超平面切断の第二コホモロジー類の類似は存在しない。 強レフシェッツ定理は、有限体上の滑らかな射影多様体のl-進コホモロジーに対し、ヴェイユ予想の仕事の結果として証明された。Deligne (1980) ^ Milnor 1969, Theorem 7.3 and Corollary 7.4 ^ Voisin 2003, Theorem 1.23 ^ Lefschetz 1924 ^ Griffiths, Spencer & Whitehead 1992 ^ Andreotti & Frankel 1959 ^ Milnor 1969, p. 39 ^ Bott 1959 ^ Lazarsfeld 2004, Example 3.1.24 ^ Voisin 2003, Theorem 1.29 ^ Lazarsfeld 2003, Theorem 3.1.13 ^ Lazarsfeld 2003, Example 3.1.25 ^ Beauville ^ Sabbah 2001 Andreotti, Aldo; Frankel, Theodore (1959), “The Lefschetz theorem on hyperplane sections”, Annals of Mathematics. Second Series 69: 713–717, doi:10.2307/1970034, ISSN 0003-486X, MR0177422  Beauville, The Hodge Conjecture, CiteSeerx: 10.1.1.74.2423  Bott, Raoul (1959), “On a theorem of Lefschetz”, Michigan Mathematical Journal 6 (3): 211–216, doi:10.1307/mmj/1028998225, MR0215323, http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.mmj/1028998225 2010年1月30日閲覧。  Deligne, Pierre (1980), “La conjecture de Weil. II”, Publications Mathématiques de l'IHÉS (52): 137–252, ISSN 1618-1913, MR601520, http://www.numdam.org/item?id=PMIHES_1980__52__137_0  Griffiths, Philip; Spencer, Donald; Whitehead, George (1992), “Solomon Lefschetz”, in National Academy of Sciences, Office of the Home Secretary, Biographical Memoirs, 61, The National Academies Press, ISBN 978-0-309-04746-3  Lazarsfeld, Robert (2004), Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 48, Berlin, New York: Springer-Verlag, ISBN 978-3-540-22533-1, MR2095471  Lefschetz, Solomon (1924) (French), L'Analysis situs et la géométrie algébrique, Collection de Monographies publiée sous la Direction de M. Émile Borel, Paris: Gauthier-Villars  Reprinted in Lefschetz, Solomon (1971), Selected papers, New York: Chelsea Publishing Co., ISBN 978-0-8284-0234-7, MR0299447  Milnor, John Willard (1963), Morse theory, Annals of Mathematics Studies, No. 51, Princeton University Press, MR0163331  Sabbah (2001), Theorie de Hodge et theoreme de Lefschetz "difficile", http://www.math.polytechnique.fr/cmat/sabbah/hodge-str.pdf  Voisin, Claire (2003), Hodge theory and complex algebraic geometry. II, Cambridge Studies in Advanced Mathematics, 77, Cambridge University Press, ISBN 978-0-521-80283-3, MR1997577