[論文レビュー] A remark on the decomposition theorem for direct images of canonical sheaves tensorized with semipositive vector bundles

Taro Fujisawa|arXiv (Cornell University)|Dec 12, 2015

Algebraic Geometry and Number Theory参考文献 3被引用数 3

ひとこと要約

本稿は、ケーラー多様体上のナカノ半正則ベクトル束でねじれた正則微分形式の直像に関する分解定理を明示的に定式化し、明示的な証明を提供する。タケグチの研究を基盤とし、高次直像のシフトされた直和と全直像の間の導来カテゴリ―における同型を確立することで、コリャールの基礎的結果を半正則束の設定に拡張する。

ABSTRACT

The purpose of this short note is to give a remark on the decomposition theorem for direct images of canonical sheaves tensorized with Nakano semipositive vector bundles. Although our result is a direct consequence of Takegoshi's work, it was not stated explicitly in his article. Here we give the precise statement and the proof.

研究の動機と目的

• 正則微分形式の直像にナカノ半正則ベクトル束をねじった場合の分解定理を明示的に述べ、証明すること。
• タケグチの研究[3]に間接的に含まれていたが、明示的に定式化されていなかった結果を明確化すること。
• コリャールの分解定理をナカノ半正則ベクトル束を含む場合に拡張すること。
• 半正則束を含む複素幾何学およびホッジ理論におけるさらなる応用の基盤を提供すること。
• コhomologyにおけるスペクトル系列の退化を示す導来カテゴリ―同型を確立すること。

提案手法

• E-値C^{∞} (n,q)-形式の層とねじれた正則微分形式層ω_X ⊗ Eとの間のドルベール準同型を用いる。
• ドルベール複体(\mathcal{A}_X^{n,\bullet}(E), \bar{\partial})を用いてf_*(-)のアサイクル解体を構成する。
• R^0f_*\mathcal{H}^{n,q}(E)をf_*\mathcal{A}_X^{n,q}(E)における\bar{\partial}の核の\mathcal{O}_Y-部分層として定義し、これはR^qf_*(\omega_X \otimes E)に同型である。
• 各qに対して、\varphi^q: R^0f_*\mathcal{H}^{n,q}(E)[-q] \to f_*\mathcal{A}_X^{n,\bullet}(E)を定義し、qについての直和をとると準同型が得られる。
• R^0f_*\mathcal{H}^{n,q}(E) \simeq R^qf_*(\omega_X \otimes E)の同型と解体を組み合わせ、導来カテゴリ―における同型を導出する。
• 導来カテゴリ―同値性を用いて、コhomologyにおけるスペクトル系列の退化を導出する。

実験結果

リサーチクエスチョン

• RQ1 正則微分形式の直像がナカノ半正則ベクトル束でねじられた場合、分解定理は成立するか？
• RQ2 ナカノ半正則性のもとで、導来カテゴリ―同型\bigoplus_q R^qf_*(\omega_X \otimes E)[-q] \simeq Rf_*(\omega_X \otimes E)は成立するか？
• RQ3 この結果は、主張を仮定せず、タケグチの枠組みから明示的に導出可能か？
• RQ4 これらの条件下で、\omega_X \otimes Eのコhomologyにおけるスペクトル系列は退化するか？
• RQ5 Xのコhomologyと直接像層のハイパーコhomologyとの間の明確な関係は何か？

主な発見

• 任意の正則全射射影f: X \to Y（Xはケーラー多様体、Yは複素解析的空間）および任意のナカノ半正則ベクトル束Eに対して、導来カテゴリ―同型\bigoplus_q R^qf_*(\omega_X \otimes E)[-q] \simeq Rf_*(\omega_X \otimes E)が成り立つ。
• 同型はドルベール解体とR^0f_*\mathcal{H}^{n,q}(E)がR^qf_*(\omega_X \otimes E)に同型であるという同定により確立され、これは重要な技術的ステップである。
• この結果はタケグチの研究[3]の直接的帰結ではあるが、本稿はこの文脈における最初の明示的記述と証明を提供する。
• スペクトル系列E_1^{p,q} = R^p g_* R^q f_* (\omega_X \otimes E)はE_1で退化し、\bigoplus_{p+q=n} R^p g_* R^q f_* (\omega_X \otimes E) \simeq R^n (g \circ f)_* (\omega_X \otimes E)が成り立つ。
• 特に、Xのコhomologyは\bigoplus_{p+q=n} H^p(Y, R^q f_* (\omega_X \otimes E)) \simeq H^n(X, \omega_X \otimes E)と分解され、ハイパーコhomologyスペクトル系列の退化が確認される。
• この結果は、コンパクトなXに対してマツムラが示したコhomological分解を一般化し、非コンパクトかつ半正則束の状況にまで拡張される。