On branched coverings of some homogeneous spaces (Q1296316)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On branched coverings of some homogeneous spaces
scientific article

    Statements

    On branched coverings of some homogeneous spaces (English)
    0 references
    0 references
    0 references
    0 references
    4 May 2000
    0 references
    Let \(X\), \(Y\) be smooth connected complex varieties of dimension \(n\), and let \(f\colon X\to Y\) be a finite morphism of degree \(d\), namely a branched covering of \(Y\); the sheaf \(f_*{\mathcal O}_X\) is locally free of rank \(d\) and the trace map \(f_*{\mathcal O}_X\to {\mathcal O}_Y\) is surjective. Denote by \({\mathcal E}^*\) the kernel of the trace map: \({\mathcal E}^*\) is a vector bundle of rank \(d-1\) on \(Y\). \textit{R. Lazarsfeld} [Math. Ann. 249, 153-162 (1980; Zbl 0434.32013)], proved that if \(Y={\mathbb P}^n\) then the dual bundle \({\mathcal E}\) of \({\mathcal E}^*\) is ample. As a consequence of this result, Lazarsfeld obtains the following Barth-Lefschetz type theorem: The morphism \(f_*: H^i({\mathbb P}^n, {\mathbb C})\to H^i(X,{\mathbb C})\) is an isomorphism for \(i\leq n-d+1\). Recently \textit{O. Debarre} [Manuscr. Math. 89, No. 4, 407-425 (1996; Zbl 0922.14033)] has conjectured that \({\mathcal E}\) is ample when \(Y\) is a homogeneous space with Picard number \(1\). In the paper under consideration the authors prove that \({\mathcal E}\) is ample when \(Y=LG_n\), where \(LG_n\) is the Lagrangian Grassmannian of maximal isotropic subspaces of a symplectic space of dimension \(2n\), and also when \(Y\) is a quadric of dimension \(3\leq n\leq 6\). In analogy with the case \(Y={\mathbb P}^n\), they obtain the following Barth-Lefschetz type statement: If \(f: X\to LG_n\) is a branched covering of degree \(d\), then \(f_*: H^i(LG_n,{\mathbb C})\to H^i(X,{\mathbb C})\) is an isomorphism for \(i\leq n-d+1\). In addition, they show that if \(Y\) is a homogeneous space not necessarily with Picard number \(1\), then \({\mathcal E}\) is generated by global sections. This gives evidence for a more general conjecture, stating that in this case \({\mathcal E}\) should be \(k\)-ample for a suitable \(k\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    branched covering
    0 references
    homogeneous space
    0 references
    cohomology group
    0 references
    Lagrangian Grassmannian
    0 references
    0 references
    0 references