The extension conjecture for projective-bundle divisors

Let LL be an ample line bundle on a projective manifold XX of dimension n3n\ge 3. Assume that there is a smooth divisor YLY\in |L| such that YY is a Pd\mathbb{P}^{d}-bundle, with morphism p:YZp:Y\to Z over a manifold ZZ of dimension bb.

Extension conjecture. Then db1d\ge b-1, and (X,L)(P(E),ξP)(X,L)\cong (\mathbb{P}(\mathcal{E}),\xi_{\mathbb{P}}) for an ample vector bundle E\mathcal{E} on ZZ, with pp equal to the restriction to YY of the induced projection P(E)Z\mathbb{P}(\mathcal{E})\to Z, except in one of the following cases:

  1. (X,L)(P3,OP3(2))(X,L)\cong (\mathbb{P}^{3},\mathcal{O}_{\mathbb{P}^{3}}(2));
  2. (X,L)(Q3,OQ3(1))(X,L)\cong (\mathcal{Q}^{3},\mathcal{O}_{\mathcal{Q}^{3}}(1));
  3. YP1×Pn2Y\cong \mathbb{P}^{1}\times\mathbb{P}^{n-2}, pp is the product projection onto the second factor, and (X,L)(P(E),ξP)(X,L)\cong (\mathbb{P}(\mathcal{E}),\xi_{\mathbb{P}}) for an ample vector bundle E\mathcal{E} on P1\mathbb{P}^{1}, with the product projection of YY onto the first factor equal to the induced projection P(E)P1\mathbb{P}(\mathcal{E})\to\mathbb{P}^{1}.

This conjecture describes the known examples in the extension problem for projective-bundle structures on ample divisors. The source gives no resolution status, so its general validity remains open.

Sources & referencesView supporting material

Primary source

Mauro C. Beltrametti and Paltin Ionescu, “A view on extending morphisms from ample divisors”, arXiv:0907.2338 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.