[论文解读] 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

一句话总结

本文为凯勒流形上关于诺卡诺半正向量丛扭曲的典范层直接像的分解定理提供了精确的表述与明确的证明。在Takegoshi工作的基础上，它在导出范畴中建立了升高的直接像的直和与总直接像之间的同构，将Kollár的奠基性结果推广至半正向量丛的情形。

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.

研究动机与目标

• 明确陈述并证明典范层与诺卡诺半正向量丛张量积的直接像的分解定理。
• 澄清Takegoshi工作[3]中隐含但未明确表述的结果。
• 将Kollár的分解定理推广至涉及诺卡诺半正向量丛的情形。
• 为复几何与Hodge理论中涉及半正向量丛的进一步应用提供基础。
• 建立一个导出范畴同构，该同构蕴含上同调中谱序列的退化。

提出的方法

• 利用$E$-值$C^{\infty}$ $(n,q)$-形式层与扭曲典范层$\omega_X \otimes E$之间的Dolbeault拟同构。
• 通过Dolbeault复形$(\mathcal{A}_X^{n,\bullet}(E), \bar{\partial})$构造$f_*$-acyclic解析。
• 将$ R^0f_*\mathcal{H}^{n,q}(E) $定义为$f_*\mathcal{A}_X^{n,q}(E)$中$\ker(\bar{\partial})$的$\mathcal{O}_Y$-子层，其与$ R^qf_*(\omega_X \otimes E) $同构。
• 构造态射$\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) $与解析，获得导出范畴同构。
• 利用导出范畴等价性，推导出上同调中谱序列的退化。

实验结果

研究问题

• RQ1 典范层直接像的分解定理是否可推广至该层被诺卡诺半正向量丛扭曲的情形？
• RQ2 在诺卡诺半正性条件下，导出范畴同构$ \bigoplus_q R^qf_*(\omega_X \otimes E)[-q] \simeq Rf_*(\omega_X \otimes E) $是否成立？
• RQ3 该结果能否在不假设结论的前提下，从Takegoshi的框架中显式推导而出？
• RQ4 在这些条件下，$\omega_X \otimes E$的上同调中谱序列是否退化？
• RQ5 在$X$的上同调与直接像层的双上同调之间，存在何种精确关系？

主要发现

• 对于任意从凯勒流形$X$到复解析空间$Y$的正规满射态射$f: X \to Y$（其中$X$满射到$Y$），以及任意诺卡诺半正向量丛$E$，导出范畴同构$ \bigoplus_q R^qf_*(\omega_X \otimes E)[-q] \simeq Rf_*(\omega_X \otimes E) $成立。
• 该同构通过Dolbeault解析与$ R^0f_*\mathcal{H}^{n,q}(E) $同构于$ R^qf_*(\omega_X \otimes E) $的识别建立，这是关键的技术步骤。
• 该结果是Takegoshi工作[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$的上同调分解为$ \bigoplus_{p+q=n} H^p(Y, R^q f_* (\omega_X \otimes E)) \simeq H^n(X, \omega_X \otimes E) $，证实了双上同调谱序列的退化。
• 该结果推广了Matsumura对紧致$X$的上同调分解，现已被扩展至非紧致情形与半正向量丛情形。