数学 › 複素幾何 › Kodaira の消滅定理と埋め込み定理

基点・切断が定める写像・非常に豊富・豊富・射影的

定義 6.1(「Kodaira の消滅定理と埋め込み定理」§6)

  1. すべての s∈H0(X,L)s\in H^0(X,L) が xx で消えるとき(Hx=H0(X,L)H_x=H^0(X,L) のとき)、xx を LL の基点という。
  2. LL が基点をもたないとき、H0(X,L)H^0(X,L) の基底 s0,…,sNs_0,\dots,s_N を取り、xx の近傍の正則枠 ee について si=fies_i=f_ie と書いて
φL ⁣:X→PN,φL(x)=[f0(x):⋯:fN(x)]\varphi_L\colon X\to\mathbb{P}^N,\qquad\varphi_L(x)=[f_0(x):\dots:f_N(x)]

と定める。 3. LL が基点をもたず、φL\varphi_L が単射で、すべての点で微分が単射であるとき、LL は非常に豊富であるという。ある k≥1k\ge1 について LkL^k が非常に豊富なとき、LL は豊富であるという。 4. コンパクト複素多様体 XX が、ある PN\mathbb{P}^N の閉な複素部分多様体と双正則であるとき、XX は射影的であるという。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。