The extension conjecture for projective-bundle divisors

About 17 years old · traced to

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

Extension conjecture. Then d≥b−1d\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. Y≅P1×Pn−2Y\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.

References

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.