小平消滅定理

テンプレート:要改訳 数学における小平消滅定理(Kodaira vanishing theorem)とは、複素多様体論と複素代数幾何学の基本的な結果であり、ある条件の下で、q > 0 次の層係数コホモロジー群が 0 となることを主張する定理である。この場合、0次のコホモロジー群 の次元、つまり、一次独立なテンプレート:仮リンクの数は、テンプレート:仮リンクと一致するため、リーマン・ロッホの定理を使って計算することができる。

複素解析的な場合

小平邦彦により得られた結果は次の通りである： $M$ を複素 n 次元のコンパクトなケーラー多様体、$L$ を $M$ 上の正な正則直線束、$K_M$ を標準束とする。このとき、q > 0 に対して、$H^q(M,K_M\otimes L)=0$が成立する。ここに $K_M\otimes L$ は直線束のテンソル積である。セール双対性により、q < n について、$H^q(M,L^{\otimes -1})=0$が得られる 。この一般化として、以下に記述する小平・中野の消滅定理(Kodaira-Nakano vanishing theorem)がある。記述のために、新しい記号を導入する。$L$ に値を持つ $M$ 上のテンプレート:仮リンクの層を ${\mathrm{\Omega }}^r(L)$ で表す。つまり、$K_M\otimes L\cong {\mathrm{\Omega }}^n(L)$である。このとき、q + r > nについて、$H^q(M,{\mathrm{\Omega }}^r(L))=0$となる。

代数多様体の場合

小平の消滅定理は、ケーラー計量のような 超越的な 方法を使うことなしでの代数幾何学の中で定式化することが可能である。直線束 L の正性は、対応する可逆層が豊富であることに置き換えられる。（つまり、射影埋め込みを与えるテンソル積が存在する）代数的な小平・秋月・中野の消滅定理は次のような定理である。

k を標数 0 の体とし、$X$ を次元 d のテンプレート:仮リンクなテンプレート:仮リンクk-スキームとし、$L$ を $X$ 上の豊富な可逆層とする。このとき、次が成立する。

$p+q>d$ に対し $H^q(X,L\otimes {\mathrm{\Omega }}_{X/k}^p)=0$

$p+q<d$ に対し $H^q(X,L^{\otimes -1}\otimes {\mathrm{\Omega }}_{X/k}^p)=0$

ここに ${\mathrm{\Omega }}^p$は相対的（代数的）微分形式の層とする（ケーラー微分を参照）。

テンプレート:Harvtxt は標数が p > 0 の体上では上式が必ずしも成立しないことを示した。特に、テンプレート:仮リンクに対して成立しないことを示した。

1987年まで、標数 0 の体に対して知られている唯一の証明方法は複素解析とGAGAの比較定理に基づいていた。しかし1987年にピエール・ルネ・ドリーニュ(Pierre Deligne)とテンプレート:仮リンクは消滅定理の純代数的な証明を与えた テンプレート:Harv。彼らの証明は、テンプレート:仮リンク(algebraic de Rham cohomology)のテンプレート:仮リンクが次数 1 で退化することを基礎としている。証明方法は、p > 0 の結果をある特別な結果をリフトすることで示される。特別な結果とは、正定値の性質を持つという結果で、この結果は制限なしには成立しないのであるが、全ての場合おいてリフトすることが可能である。

結果と応用

歴史的には、小平埋め込み定理は消滅定理の助けを借りて導出された。セール双対性を用いれば、様々な曲線や曲面の層係数コホモロジー群（普通は標準束に関連している）がゼロとなることは、複素多様体の分類に役に立つ（エンリケス-小平の分類）。

参照項目

• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク

参考文献

• テンプレート:Citation
• テンプレート:Citation
• Phillip Griffiths and Joseph Harris, Principles of Algebraic Geometry
• テンプレート:Citation