[論文レビュー] Hyperkahler SYZ conjecture and semipositive line bundles

Misha Verbitsky|arXiv (Cornell University)|Nov 5, 2008

Geometry and complex manifolds参考文献 14被引用数 6

ひとこと要約

この論文は、コンpactな複素シンプレクティックケーラー多様体上で、半正の曲率を持つ非自明なラインバンドルが、効果的冪をもつことを証明しており、ハイパーカレルSYZ予想を支持する。乗数イデアル層と特異計量に対するハード・レフシェッツ定理を用いて、このようなラインバンドルがQ-効果的であることを確立し、ハイパーカレル幾何における幾何的正性と代数的効果性の関係を結ぶ。

ABSTRACT

Let $M$ be a compact, holomorphic symplectic Kaehler manifold, and $L$ a non-trivial line bundle admitting a metric of semi-positive curvature. We show that some power of $L$ is effective. This result is related to the hyperkaehler SYZ conjecture, which states that such a manifold admits a holomorphic Lagrangian fibration, if $L$ is not big.

研究の動機と目的

• コンパクトな複素シンプレクティックケーラー多様体上の半正のラインバンドルの効果性を確立すること。
• ホロモルフィックラグランジュ被覆の存在とラインバンドルの効果性の関係を結ぶことで、ハイパーカレルSYZ予想に証拠を提供すること。
• 乗数イデアル層を用いて、ネフラインバンドルの特異計量へのハード・レフシェッツ定理の拡張を試みること。
• L-値ホロモルフィック微分形式の文脈において、双有理ケーラー円板とザリスキ分解を分析すること。
• 曲率とコホモロジー的技法を用いて、ハイパーカレル多様体上の半正のラインバンドルがQ-効果的である条件を解明すること。

提案手法

• 半正のラインバンドルに係数をとるコホモロジーに対するハード・レフシェッツ定理を用いて、消滅結果を導出する。
• ネフラインバンドルに正のカレント曲率を持つ特異計量に、乗数イデアル層の理論を適用する。
• ラインバンドル $ L $ に特異計量 $ h = h_0 e^{-2\psi} $ を構成する。ここで $ \psi $ は擬・シュレーディンガー的で、$ \partial\bar{\partial}\psi + \theta = \Xi $ であり、$ \Xi $ は正のカレントである。
• カレントに対する $ \partial\bar{\partial} $-補題を用いて、第一チャーン類をケーラー形式の極限として表現する。
• 特異計量における $ L^2 $-可積分な切断からなる層 $ \mathcal{I}(L^m) $ を用いて、$ L $-値ホロモルフィック微分形式を分析する。
• 無限個の切断の選択による背理法を用いて、$ (\det E_\infty)^* \cong L^{\otimes I} $ が十分大きな $ I $ に対して成立しないことを示し、$ k > 0 $ に対して $ L^k $ が効果的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな複素シンプレクティックケーラー多様体上に、半正の曲率を持つ非自明なラインバンドルが、すべてある効果的冪をもつのか？
• RQ2 ホロモルフィックラグランジュ被覆の存在は、半正のラインバンドルの効果性とどのように関係するか？
• RQ3 ネフラインバンドルの特異計量に付随する乗数イデアル層に対して、ハード・レフシェッツ定理を拡張できるか？
• RQ4 L-値ホロモルフィック微分形式の文脈において、双有理ケーラー円板とザリスキ分解の役割は何か？
• RQ5 ハイパーカレル多様体上の半正のラインバンドルが $ \mathbb{Q} $-効果的であるための条件は何か？

主な発見

• コンパクトな複素シンプレクティックケーラー多様体上に、半正の曲率を持つ非自明なラインバンドル $ L $ が存在するとき、ある正の冪 $ L^k $ が効果的である。
• 証明は、正のカレント曲率を持つ特異計量を構成し、カレントに対する $ \partial\bar{\partial} $-補題を用いることに依存する。
• 乗数イデアル層 $ \mathcal{I}(L^m) $ は $ L^2 $-可積分な切断を捉え、$ H^i(\mathcal{I}(L^m)) $ が非自明であることは、$ L^m $-値ホロモルフィック微分形式の存在を示唆する。
• もし $ L $ のレロング数が消えるならば、$ \mathcal{I}(L^m) = L^m $ となり、標準的オイラー標数 $ \chi(L^m) = n+1 $ から $ L $ が $ \mathbb{Q} $-効果的であることが従う。
• 無限個の切断の選択による背理法により、$ (\det E_\infty)^* \cong L^{\otimes I} $ が十分大きな $ I $ に対して成立しないことが示され、$ k > 0 $ に対して $ L^k $ が効果的であることが証明される。
• この結果は、$ L $ が大きさを持たない場合、変形後にホロモルフィックラグランジュ被覆が存在することを示すことで、ハイパーカレルSYZ予想を支持する。