Strict and nonstrict positivity of direct image bundles (Q658329)

From MaRDI portal
Revision as of 23:13, 20 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Strict and nonstrict positivity of direct image bundles
scientific article

    Statements

    Strict and nonstrict positivity of direct image bundles (English)
    0 references
    0 references
    12 January 2012
    0 references
    Let \(p:X\to Y\) be a smooth proper holomorphic fibration of complex manifolds of relative dimension \(n\) and let \(L\) be a holomorphic line bundle on \(X\) equipped with a smooth metric whose curvature is semipositive in the sense of Nakano. Denote by \(K_{X/Y}\) the relative canonical bundle. The direct image sheaf \(p_*(L\otimes K_{X/Y})\) is associated to a vector bundle \(E\) on \(Y\). In a previous paper [Ann. Math. (2) 169, No. 2, 531--560 (2009; Zbl 1195.32012)], the author showed that, if \(X\) is Kähler, the natural \(L^2\)-metric \(h\) on \(E\) has semipositive curvature in the sense of Nakano. The present paper includes more explicit formulae for the curvature in two special cases, which enable the author to obtain conditions for the strict positivity of the curvature. The first special case is when \(L\) is trivial (Theorem 1.1). One expects then that the positivity will depend on how far the fibration is from being trivial. This is measured by the Kodaira-Spencer class. If this vanishes at a point, then certainly \((E,h)\) is not strictly positive at that point. The converse, however, is not true and the author gives examples to illustrate this. The second case is when \(L\) is relatively ample in the sense that it admits a metric with strictly positive curvature along the fibres of \(p\); note that the curvature is not required to be strictly positive on the total space \(X\) (Theorem 1.2). In this case, if the curvature is not strictly positive, then the Kodaira-Spencer class vanishes and the fibration is infinitesimally trivial.
    0 references
    holomorphic line bundle
    0 references
    semipositive curvature
    0 references
    fibration
    0 references
    direct image
    0 references

    Identifiers