[論文レビュー] Logarithmic vanishing theorems on compact Kähler manifolds I

Chunle Huang, Kefeng Liu+2 more|arXiv (Cornell University)|Nov 23, 2016

Geometry and complex manifolds参考文献 23被引用数 5

ひとこと要約

本稿は、$L^2$-型ドービュール同型とヘルマンダーの$L^2$-推定を用いて、単純な正則交差を持つコンパクト・カハラー多様体上の対数微分形式の層に対して、新たな対数的消滅定理を確立する。主な貢献は、$k$-正の$\bR$-ラインバンドルに対する一般化されたアキヅキ＝コダイラ＝ナカノ型の消滅定理であり、ノリマツ、ジブロウ、ル・ポティエ、カワマタ＝ヴィエヒェグの定理を統合・拡張するものである。

ABSTRACT

In this paper, we first establish an $L^2$-type Dolbeault isomorphism for logarithmic differential forms by Hörmander's $L^2$-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new vanishing theorems for sheaves of logarithmic differential forms on compact Kähler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsu's vanishing theorem, Gibrau's vanishing theorem, Le Potier's vanishing theorem and a version of the Kawamata-Viehweg vanishing theorem.

研究の動機と目的

• 単純な正則交差を持つコンパクト・カハラー多様体上の対数微分形式の消滅定理を証明する解析的手段を開発すること。
• ノリマツ、ジブロウ、ル・ポティエ、カワマタ＝ヴィエヒェグの定理を含む古典的消滅定理を、対数的設定に一般化すること。
• $L^2$-手法と曲率の正性を用いて、コラールの単射定理の対数的版を確立すること。
• 解像と消滅条件を満たす適切な滑らかなヘリューミート計量およびポアンカレ型計量を構成すること。

提案手法

• コンパクト・カハラー多様体上でのヘルマンダーの$L^2$-推定を用いて、対数微分形式の$L^2$-型ドービュール同型を確立する。
• ベクトルバンドル上の滑らかなヘリューミート計量および除法の補集合上でのポアンカレ型計量を構成し、曲率の正性を保証する。
• 曲率の正性を持つ$k$-正の$\bR$-ラインバンドルを用いて、ドービュール複体上の$L^2$-推定により消滅定理を導出する。
• $L^2$-コホロロジーと層コホロロジーの同型を用いて、$L^2$-消滅を古典的層コホロロジーの消滅に結びつける。
• 対数形式のセール双対性および双対同型を用いて、結果を双対コホロロジー群へ拡張する。
• 曲率に基づく正性を有する$\bR$-除法および$\bR$-ラインバンドルの理論を適用し、整数除法を超えた一般化を達成する。

実験結果

リサーチクエスチョン

• RQ1 $L^2$-手法を用いて、単純な正則交差を持つコンパクト・カハラー多様体上の対数微分形式の新たな消滅定理を証明できるか？
• RQ2 $k$-正の$\bR$-ラインバンドルを用いて、対数的設定における古典的消滅定理をどのように一般化できるか？
• RQ3 $L^2$-ドービュール同型は、$L^2$-コホロロジーと対数形式の層コホロロジーをどのように結びつけるか？
• RQ4 解析的アプローチとしての$L^2$-推定を用いて、コラールの単射定理の対数的版を証明できるか？
• RQ5 対数コホロロジー群の消滅条件は、$\bR$-ラインバンドルの正性および除法の構造にどのように依存するか？

主な発見

• 本稿は、単純な正則交差を持つコンパクト・カハラー多様体上の対数微分形式に対して、新たな$L^2$-型ドービュール同型を確立した。
• 主結果である定理1.1は、$H^q(X, \nOmega^p(\text{log } D) \tensor L \tensor N) = 0$ が $p+q /geq n+k+1$ のとき成り立つことを証明している。ここで $N \tensor \nO_X([\nDelta])$ は $k$-正であり、$L$ はnefである。
• 系1.2は、$k$-正のラインバンドルを用いてジブロウの消滅定理を対数的設定に一般化した。
• 系1.3は、$L$ が非常に整数である場合のノリマツの消滅定理を回復し、$H^q = 0$ が $p+q /geq n+1$ のとき成り立つことを示した。
• 系1.4は、ランク$r$の非常に整数ベクトルバンドル$E$に対して、$H^q = 0$ が $p+q /geq n+r$ のとき成り立つ対数的ル・ポティエ消滅定理を確立した。
• 定理5.1および系5.2は、$\nOmega^p(\text{log } D) \tensor \nO_X(-\nLceil D' \nRceil)$ に対して、$[D']$ が $k$-正である場合の、新たなカワマタ＝ヴィエヒェグ型消滅定理を提供し、$p+q < n-k$ のとき消滅する。