[論文レビュー] A converse to the Andreotti-Grauert theorem

Jean-Pierre Demailly|Nov 16, 2010

Geometry and complex manifolds参考文献 9被引用数 4

ひとこと要約

本稿は、複素射影多様体において、正則線束の体積がその1番目のチエーン類の滑らか代表元の全 Monge-Ampère 積分の下界に等しいことを示す、Andreotti-Grauert の消滅定理の逆を確立する。証明は、近似ザリスキ分解、直交性推定、曲率カレント構成を用い、正則モース不等式における体積関数への等号を、線束が擬効的でない場合でさえ示す。

ABSTRACT

The goal of this paper is to show that there are strong relations between certain Monge-Ampère integrals appearing in holomorphic Morse inequalities, and asymptotic cohomology estimates for tensor powers of holomorphic line bundles. Especially, we prove that these relations hold without restriction for projective surfaces, and in the special case of the volume, i.e. of asymptotic 0-cohomology, for all projective manifolds. These results can be seen as a partial converse to the Andreotti-Grauert vanishing theorem.

研究の動機と目的

• 漸近的コホモロジーと正則モース不等式の文脈において、Andreotti-Grauert の消滅定理の逆を確立すること。
• 漸近的コホモロジーの消滅が、特に q=0 の場合に、曲率が制御されたヘルミート計量の存在を示唆するかを調査すること。
• 複素射影多様体上での正則線束の体積関数が、その1番目のチエーン類のすべての滑らか代表元における Monge-Ampère 積分の下界に等しいことを証明すること。
• 「ビッグ」の場合を超えて、L も -L も擬効的でない場合を含め、漸近的コホモロジーと Monge-Ampère 積分の等式を拡張すること。
• 近似技術と曲率カレント解析を用いて、体積の場合の弱いおよび強いモース不等式が等号に達することを示すこと。

提案手法

• 多様体のブローモンの上でケーラー形式に対する近似ザリスキ分解を用い、カレントの引き戻しを例外的除集合とケーラー形式の和として表現する。
• 擬効的錐の特徴付けと直交性推定を適用し、ケーラー形式と例外的除集合の間の交点数を制御する。
• 例外的除集合上の線束の曲率項とケーラー形式を組み合わせることで、c_1(L) に属する滑らかな (1,1)-形式 u_ε の族を構成する。
• 極限的議論を用いて、u_ε の 0-インデックス集合の L^2 範囲が β^2 + 2β · E に収束することを示す。ここで β はケーラー形式、E はザリスキ分解からの例外的除集合である。
• L や -L が擬効的でない場合に対処するため、Serre 対称性と Riemann-Roch を用い、正負の部分を線形結合で統合する。
• u_ε^2 の弱収束を分析し、Monge-Ampère 積分の質量が 1-インデックス集合に集中することを示し、下界が達成されることを示す。

実験結果

リサーチクエスチョン

• RQ1 漸近的 0-コホモロジーの消滅は、c_1(L) に非正曲率を持つ滑らかな代表元の存在を示唆するか？
• RQ2 複素射影多様体上での正則線束の体積は、c_1(L) に属するすべての滑らかな (1,1)-形式における Monge-Ampère 積分の下界として表現可能か？
• RQ3 体積関数に対する正則モース不等式で、等号が射影的曲面および高次元射影多様体で達成されるか？
• RQ4 L も -L も擬効的でない場合、モース不等式の下界はどのように変化し、曲率カレントの近似によっても依然として等号が達成可能か？
• RQ5 近似ザリスキ分解と直交性推定は、曲率積分による漸近的コホモロジーの制御にどの程度有効か？

主な発見

• 任意の複素射影多様体 X 上の正則線束 L に対して、体積が \mathop{\rm Vol}(X,L) = \inf_{u \in c_1(L)} \int_{X(u,0)} u^n を満たし、q=0 の弱モース不等式において等号が成立する。
• L が擬効的でない場合でも、c_1(L) に属する曲率カレント u_\varepsilon の適切な極限を構成することで、0-インデックス集合が制御された状態で等号が成立する。
• Monge-Ampère 積分 \int_{X(u_\varepsilon,0)} u_\varepsilon^n の極限が β^2 + 2β · E に収束する。ここで β はケーラー形式、E はザリスキ分解からの例外的除集合である。
• 構成により、Monge-Ampère 測度の本質的質量が 1-インデックス集合に集中していることが確認され、下界が 0-インデックス集合ではなく、曲率近似によって達成されることを示す。
• この手法は、曲面に限らず、すべての複素射影多様体に拡張可能であり、曲率制御を通じて Andreotti-Grauert の消滅定理の部分的逆を示す。
• 結果として、体積関数の漸近的コホモロジー推定値が、Monge-Ampère 積分によって正確に捉えられ、下界に損失がないことが確認される。