[論文レビュー] Derivative complex, BGG correspondence, and numerical inequalities for compact Kähler manifolds

Robert Lazarsfeld, Mihnea Popa|arXiv (Cornell University)|Jul 3, 2009

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

ひとこと要約

本稿は、コンパクトなカーラー多様体のコホロロジー加群と射影空間上のベクトル束の間のBGG対応を確立し、導来複体を用いて数値的不等式と幾何的不変量を導出する。BGG複体が無限小的構造を符号化する層を分解することを示し、 canonical 系が過剰的（準canonical 系の既約成分）であるための必要十分条件として、あるセグレ数が消えることであることを証明する。この条件は、やや弱い仮定の下でホッジ数から計算可能である。

ABSTRACT

The cohomology algebra of the canonical bundle of a compact Kähler manifold is naturally viewed as a module over an exterior algebra. We use the Bernstein-Gel'fand-Gel'fand correspondence, together with Generic Vanishing theory, in order to understand the regularity properties of this module. We also relate it to the infinitesimal theory of the canonical linear series inside paracanonical space. Finally, we apply vector bundle methods on the polynomial ring side to obtain inequalities for the holomorphic Euler characteristic and the Hodge numbers of compact Kähler manifolds without irregular fibrations.

研究の動機と目的

• コンパクトなカーラー多様体のコホロロジー加群と対称代数上の線形複体の間のBGG対応を確立すること。
• 導来複体がPic⁰(X)に沿ったラインバンドでねじれたコホロロジー群の変形理論を支配することを示すこと。
• BGG複体を用いてホッジ数およびアーベリアンファイブレーションの不変量の間の数値的不等式を導出すること。
• BGG層を用いて canonical 線型系が準canonical 分岐の空間の既約成分である条件を特徴づけること。

提案手法

• H¹(X, O_X)の元をカップ積により用いて、H¹(X, O_X)のグレーディング付きS加群の線形複体L_Xを構成する。
• 複体L_Xの最終写像の余核としてBGG層F_Xを定義する。Xに不規則なファイブレーションがないとき、F_Xはベクトル束である。
• BGG対応を用いて、H^i(X, ω_X)のE加群構造をP(H¹(X, O_X))上の層F_Xと関連付ける。
• グロタンディーク双対性とスペクトル系列を用いて、RHom複体を関連付け、フーリエ＝ムカイ変換の双対を含む同型を確立する。
• F_Xの双対のセグレ数を計算し、P(F_X)から canonical 系|ω_X|への写像の像の全射性を決定する。
• codimension (p_g − χ) のセグレ数の消えることにより、canonical 系の過剰的性を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 BGG対応は、外的代数上のH^i(X, O_X)およびH^i(X, ω_X)の加群構造をどのように精緻にするか？
• RQ2 アーベリアン写像の幾何的不変量は、カーラー多様体のBGG複体からどのように回復可能か？
• RQ3 canonical 線型系|ω_X|が準canonical 分岐の空間の既約成分である条件は何か？
• RQ4 BGG層およびそのセグレ数を用いて、Xの数値的不変量をどのように評価できるか？
• RQ5 標準仮定の下で、Hodge数からcanonical 系の過剰的性を純粋に決定できるか？

主な発見

• BGG複体L_Xは、アーベリアン写像の一般ファイバーの次元をkとすると、最初のd−k項で完全である。
• Xに不規則なファイブレーションがないとき、BGG層F_XはP(H¹(X, O_X))上のランクχ(ω_X)のベクトル束である。
• canonical 系|ω_X|が過剰的であることは、P(F_X) → P(H^d(X, O_X))への自然な写像が全射でないことに同値である。
• |ω_X|の過剰的性は、F_X∨の双対のセグレ数s_{1^{×(p_g−χ)}}(γ_1,…,γ_{q−1})の消えることに同値である。
• 無理的パント（irrational pencil）を持たない曲面の場合、|ω_X|はqが偶数であるときにかつそのときに限り過剰的であり、これはセグレ数の明示的計算により確認された。
• p_g − χ ≤ q − 1の条件下では、過剰的性はホッジ数のみに依存し、具体的にはF_X∨のチャーン根におけるあるシュール関数の消えることに依存する。