原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳 があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。
数学 における小平消滅定理 (Kodaira vanishing theorem)とは、複素多様体 論と複素代数幾何学 の基本的な結果であり、ある条件の下で、q > 0 次の層係数コホモロジー 群が 0 となることを主張する定理である。この場合、0次のコホモロジー群 の次元、つまり、一次独立な大域切断 の数は、正則オイラー標数 (英語版 ) と一致するため、リーマン・ロッホの定理 を使って計算することができる。
複素解析的な場合
小平邦彦 により得られた結果は次の通りである:
M
{\displaystyle M}
を複素 n 次元のコンパクトなケーラー多様体 、
L
{\displaystyle L}
を
M
{\displaystyle M}
上の正な正則直線束 、
K
M
{\displaystyle K_{M}}
を標準束 とする。このとき、q > 0 に対して、
H
q
(
M
,
K
M
⊗ ⊗ -->
L
)
=
0
{\displaystyle H^{q}(M,K_{M}\otimes L)=0}
が成立する。ここに
K
M
⊗ ⊗ -->
L
{\displaystyle K_{M}\otimes L}
は直線束 のテンソル積 である。セール双対性 により、q < n について、
H
q
(
M
,
L
⊗ ⊗ -->
− − -->
1
)
=
0
{\displaystyle H^{q}(M,L^{\otimes -1})=0}
が得られる 。この一般化として、以下に記述する小平・中野の消滅定理 (Kodaira-Nakano vanishing theorem)がある。記述のために、新しい記号を導入する。
L
{\displaystyle L}
に値を持つ
M
{\displaystyle M}
上の正則 (r,0)-形式 (英語版 ) の層を
Ω Ω -->
r
(
L
)
{\displaystyle \Omega ^{r}(L)}
で表す。つまり、
K
M
⊗ ⊗ -->
L
≅ ≅ -->
Ω Ω -->
n
(
L
)
{\displaystyle K_{M}\otimes L\cong \Omega ^{n}(L)}
である。このとき、q + r > nについて、
H
q
(
M
,
Ω Ω -->
r
(
L
)
)
=
0
{\displaystyle H^{q}(M,\Omega ^{r}(L))=0}
となる。
代数多様体の場合
小平の消滅定理は、ケーラー計量 のような 超越的な 方法を使うことなしでの代数幾何学の中で定式化することが可能である。直線束 L の正性は、対応する可逆層 が豊富 である ことに置き換えられる。(つまり、射影埋め込みを与えるテンソル積が存在する)代数的な小平・秋月・中野の消滅定理は次のような定理である。
k を標数 0 の体 とし、
X
{\displaystyle X}
を次元 d の滑らか (英語版 ) な射影的 (英語版 ) k-スキーム とし、
L
{\displaystyle L}
を
X
{\displaystyle X}
上の豊富な可逆層とする。このとき、次が成立する。
p
+
q
>
d
{\displaystyle p+q>d}
に対し
H
q
(
X
,
L
⊗ ⊗ -->
Ω Ω -->
X
/
k
p
)
=
0
{\displaystyle H^{q}(X,L\otimes \Omega _{X/k}^{p})=0}
p
+
q
<
d
{\displaystyle p+q<d}
に対し
H
q
(
X
,
L
⊗ ⊗ -->
− − -->
1
⊗ ⊗ -->
Ω Ω -->
X
/
k
p
)
=
0
{\displaystyle H^{q}(X,L^{\otimes -1}\otimes \Omega _{X/k}^{p})=0}
ここに
Ω Ω -->
p
{\displaystyle \Omega ^{p}}
は相対的(代数的)微分形式 の層 とする(ケーラー微分 を参照)。
Raynaud (1978) は標数が p > 0 の体上では上式が必ずしも成立しないことを示した。特に、レノー曲面 (英語版 ) に対して成立しないことを示した。
1987年まで、標数 0 の体に対して知られている唯一の証明方法は複素解析とGAGA の比較定理に基づいていた。しかし1987年にピエール・ルネ・ドリーニュ (Pierre Deligne)とリュック・イリュージー (英語版 ) は消滅定理の純代数的な証明を与えた (Deligne & Illusie 1987 )。彼らの証明は、代数的ド・ラムコホモロジー (英語版 ) (algebraic de Rham cohomology)のホッジ・ド・ラムのスペクトル系列 (英語版 ) が次数 1 で退化することを基礎としている。証明方法は、p > 0 の結果をある特別な結果をリフトすることで示される。特別な結果とは、正定値の性質を持つという結果で、この結果は制限なしには成立しないのであるが、全ての場合おいてリフトすることが可能である。
結果と応用
歴史的には、小平埋め込み定理 は消滅定理の助けを借りて導出された。セール双対性 を用いれば、様々な曲線や曲面の層係数コホモロジー群(普通は標準束に関連している)がゼロとなることは、複素多様体の分類に役に立つ(エンリケス-小平の分類 )。
参照項目
参考文献
Deligne, Pierre; Illusie, Luc (1987), “Relèvements modulo p2 et décomposition du complexe de de Rham”, Inventiones Mathematicae 89 (2): 247–270, doi :10.1007/BF01389078
Esnault, Hélène; Viehweg, Eckart (1992), Lectures on vanishing theorems , DMV Seminar, 20 , Birkhäuser Verlag, ISBN 978-3-7643-2822-1 , MR 1193913 , http://www.uni-due.de/%7Emat903/books/esvibuch.pdf
Phillip Griffiths and Joseph Harris , Principles of Algebraic Geometry
Raynaud, Michel (1978), “Contre-exemple au vanishing theorem en caractéristique p>0”, C. P. Ramanujam---a tribute , Tata Inst. Fund. Res. Studies in Math., 8 , Berlin, New York: Springer-Verlag , pp. 273–278, MR 541027