[論文レビュー] On the canonical line bundle and negative holomorphic sectional curvature

Gordon Heier, Steven Lu+1 more|ArXiv.org|Sep 1, 2009

Geometry and complex manifolds参考文献 10被引用数 7

ひとこと要約

本稿では、負の正則的セクション曲率を持つケーラー計量を備えた滑らかな複素射影3次元多様体が、豊富な正則的標準線束を有することを確立する。複素微分幾何学と代数幾何学の組み合わせ——特に有理曲線や楕円曲線の非存在およびNakai-Moishezonの基準——を用いて、次元3において豊富性を証明し、追加の幾何的制約のもとで高次元においても最大のネフ次元を示す。

ABSTRACT

We prove that a smooth complex projective threefold with a Kähler metric of negative holomorphic sectional curvature has ample canonical line bundle. In dimensions greater than three, we prove that, under equal assumptions, the nef dimension of the canonical line bundle is maximal. With certain additional assumptions, ampleness is again obtained. The methods used come from both complex differential geometry and complex algebraic geometry.

研究の動機と目的

• コンパクトなケーラー多様体において、負の正則的セクション曲率をもつ場合の標準線束の正性特性を特定すること。
• 特に複素次元3において、このような多様体が必然的に豊富な標準線束をもつのかという未解決の問題を解消すること。
• アーベルジャン次元や本質的次元が高いための追加的幾何的条件を課すことにより、結果を高次元へと拡張すること。
• ファイブレーションや豊富性予想に依存せずに、2次元の場合に直接代数幾何学的証明を与えること。
• 負の正則的セクション曲率がBrody双曲性を意味し、有理曲線や楕円曲線の排除をもたらすことを確立すること。これは議論の中心的役割を果たす。

提案手法

• ガウス・コダッチの不等式を用いて、部分多様体上での正則的セクション曲率が減少することを示し、部分多様体が曲率の下界を引き継ぐことを示す。
• 一般化されたシュワーツ補題（アーフォルズ）を適用してBrody双曲性を証明し、Cからの非定値正則写像の排除をもたらし、有理曲線や楕円曲線の排除を実現する。
• リーマン・ローチの定理とセール双対性を用いて、標準線束の倍数の切断空間を分析する。特に、曲面における$2K_S$を対象とする。
• Nakai–Moishezon–Kleimanの基準を用いて、$K_S^2 > 0$を示すことで、曲面の場合の豊富性を証明する。
• ホッジ指数定理を用いて、厳密にネフ性を仮定したもとで$K_S^2 = 0$のとき矛盾を導く。
• スカラー曲率と平均正則的セクション曲率との関係を示すベルジャーの局所公式を用いて、スカラー曲率が負であることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかな複素射影的3次元多様体が負の正則的セクション曲率をもつケーラー計量を持つ場合、必然的に豊富な標準線束をもつのか？
• RQ2 豊富性予想を仮定せずに、高次元においても標準線束の豊富性を確立できるか？
• RQ3 負の正則的セクション曲率と標準線束のネフ次元との関係は何か？
• RQ4 ファイブレーション的手法を用いずに、既知の曲率不等式のみを用いて、2次元の場合を直接代数幾何学的に証明できるか？
• RQ5 負の正則的セクション曲率が、どれほどまでにBrody双曲性および有理曲線・楕円曲線の不在を示唆するのか？

主な発見

• 複素次元3において、ケーラー計量の正則的セクション曲率が負である滑らかな射影的3次元多様体は、豊富な標準線束をもつ。
• 3次元を超える次元においては、アーベルジャン次元または本質的次元が$\dim M - 4$を超えると仮定すれば、標準線束も豊富である。
• 高次元において追加の仮定がない場合、標準線束のネフ次元は最大、すなわち多様体の次元に等しい。
• 負の正則的セクション曲率をもつ曲面上、標準線束は厳密にネフであり、任意の曲線$C$に対して$K_S \cdot C > 0$が成り立つ。
• 曲面の場合、リーマン・ローチと、定符号の正則的セクション曲率をもつ多様体が正のオイラー標数をもつという事実を用いて、矛盾による$K_S^2 > 0$を確立する。
• $K_S^2 = 0$の場合、標準線束は自明であるが、これは定理2.3（スカラー曲率の正性）に矛盾するため、$K_S^2 > 0$が証明される。