English

Pseudo-effective cones of projective bundles and weak Zariski decomposition

Algebraic Geometry 2021-02-19 v6

Abstract

In this article, we consider the projective bundle PX(E)\mathbb{P}_X(E) over a smooth complex projective variety XX, where EE is a semistable bundle on XX with c2(End(E))=0c_2(End(E)) =0. We give a necessary and sufficient condition to get the equality Nef1(PX(E))=Eff1(PX(E)) Nef^1\bigl(\mathbb{P}_X(E)\bigr) = \overline{Eff}^1\bigl(\mathbb{P}_X(E)\bigr) of nef cone and pseudoeffective cone of divisors in PX(E)\mathbb{P}_X(E). As an application of our result, we show the equality of nef and pseudoeffective cones of divisors of projective bundles over some special varieties. In particular, we show that weak Zariski decomposition exists on these projective bundles. We also show that a semistable bundle EE of rank r2r \geq 2 with c2(End(E))=0c_2\bigl(End(E)\bigr) = 0 on a smooth complex projective variety of Picard number 1 is kk-homogeneous i.e. Effk(PX(E))=Nefk(PX(E))\overline{Eff}^k\bigl(\mathbb{P}_X(E)\bigr) = Nef^k\bigl(\mathbb{P}_{X}(E)\bigr) for all 1k<r1 \leq k < r. Finally, we show that weak Zariski decomposition exists for a fibre product PC(E)×CP(E)\mathbb{P}_C(E)\times_C\mathbb{P}(E') over a smooth projective curve CC.

Keywords

Cite

@article{arxiv.2005.08901,
  title  = {Pseudo-effective cones of projective bundles and weak Zariski decomposition},
  author = {Snehajit Misra},
  journal= {arXiv preprint arXiv:2005.08901},
  year   = {2021}
}

Comments

Final Version. To appear in European Journal of Mathematics