[Paper Review] 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 Theory3 references3 citations

TL;DR

This paper provides a precise formulation and explicit proof of the decomposition theorem for direct images of canonical sheaves twisted by Nakano semipositive vector bundles on Kähler manifolds. Building on Takegoshi's work, it establishes an isomorphism in the derived category between the direct sum of shifted higher direct images and the total direct image, extending Kollár’s foundational result to the semipositive bundle setting.

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.

Motivation & Objective

• To state and prove explicitly the decomposition theorem for direct images of canonical sheaves tensorized with Nakano semipositive vector bundles.
• To clarify a result implicitly contained in Takegoshi's work [3], which had not been explicitly formulated.
• To extend Kollár’s decomposition theorem to the case involving Nakano semipositive vector bundles.
• To provide a foundation for further applications in complex geometry and Hodge theory involving semipositive bundles.
• To establish a derived category isomorphism that implies the spectral sequence degeneracy in cohomology.

Proposed method

• Use the Dolbeault quasi-isomorphism between the sheaf of $E$-valued $C^{∞}$ $(n,q)$-forms and the twisted canonical sheaf $\omega_X \otimes E$.
• Construct an $f_*$-acyclic resolution via the Dolbeault complex $ (\mathcal{A}_X^{n,\bullet}(E), \bar{\partial}) $.
• Define $ R^0f_*\mathcal{H}^{n,q}(E) $ as the $ \mathcal{O}_Y $-subsheaf of $ \ker(\bar{\partial}) $ in $ f_*\mathcal{A}_X^{n,q}(E) $, which is isomorphic to $ R^qf_*(\omega_X \otimes E) $.
• Construct morphisms $ \varphi^q: R^0f_*\mathcal{H}^{n,q}(E)[-q] \to f_*\mathcal{A}_X^{n,\bullet}(E) $, forming a quasi-isomorphism after taking direct sum over $ q $.
• Combine the isomorphism $ R^0f_*\mathcal{H}^{n,q}(E) \simeq R^qf_*(\omega_X \otimes E) $ with the resolution to obtain the derived category isomorphism.
• Use the derived category equivalence to deduce the spectral sequence degeneration in cohomology.

Experimental results

Research questions

• RQ1 Does the decomposition theorem for direct images of canonical sheaves extend to the case where the sheaf is twisted by a Nakano semipositive vector bundle?
• RQ2 Is the derived category isomorphism $ \bigoplus_q R^qf_*(\omega_X \otimes E)[-q] \simeq Rf_*(\omega_X \otimes E) $ valid under Nakano semipositivity?
• RQ3 Can the result be explicitly derived from Takegoshi’s framework without assuming the statement?
• RQ4 Does the spectral sequence degenerate in the cohomology of $ \omega_X \otimes E $ under these conditions?
• RQ5 What is the precise relationship between the cohomology of $ X $ and the hypercohomology of the direct image sheaves?

Key findings

• The derived category isomorphism $ \bigoplus_q R^qf_*(\omega_X \otimes E)[-q] \simeq Rf_*(\omega_X \otimes E) $ holds for any proper surjective morphism $ f: X \to Y $ from a Kähler manifold $ X $ to a complex analytic space $ Y $, with $ X $ mapping surjectively onto $ Y $, and for any Nakano semipositive vector bundle $ E $.
• The isomorphism is established via the Dolbeault resolution and the identification of $ R^0f_*\mathcal{H}^{n,q}(E) $ with $ R^qf_*(\omega_X \otimes E) $, which is a key technical step.
• The result is a direct consequence of Takegoshi’s work [3], but this paper provides the first explicit statement and proof in this context.
• The spectral sequence $ E_1^{p,q} = R^p g_* R^q f_* (\omega_X \otimes E) $ degenerates at $ E_1 $, yielding $ \bigoplus_{p+q=n} R^p g_* R^q f_* (\omega_X \otimes E) \simeq R^n (g \circ f)_* (\omega_X \otimes E) $.
• In particular, the cohomology of $ X $ decomposes as $ \bigoplus_{p+q=n} H^p(Y, R^q f_* (\omega_X \otimes E)) \simeq H^n(X, \omega_X \otimes E) $, confirming the degeneration of the hypercohomology spectral sequence.
• The result generalizes Matsumura’s cohomological decomposition for compact $ X $, now extended to the non-compact and semipositive bundle case.