Ample vector bundles on non-proper schemes
Abstract
We solve two open problems on ample vector bundles posed by Hartshorne in 1966. We prove that tensor products of ample vector bundles on schemes of finite type over an algebraically closed field are ample in arbitrary characteristic, extending Hartshorne's characteristic-zero result and Barton's projective positive-characteristic theorem. More generally, let f: X -> S be a morphism of schemes. Then we prove that tensor products of f-ample vector bundles are f-ample. Moreover, if E is an f-ample vector bundle of rank r>0 and W is a finite locally free polynomial GL(r,S)-module of positive rank with W_0 = 0, then E(W) is f-ample. In particular, Gamma^n E is f-ample for every n>0. Finally, adapting a construction of Ejiri-Fujino-Iwai, we show that in every characteristic a smooth quasi-projective surface carries a non-ample extension of an ample line bundle by itself.
Related
BibTeX
@misc{langer2026ample,
title = {{Ample vector bundles on non-proper schemes}},
author = {Adrian Langer},
howpublished = {arXiv},
year = {2026},
month = aug,
doi = {10.48550/arxiv.2608.29320},
eprint = {2608.29320},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.29320},
}
RIS
TY - UNPB
TI - Ample vector bundles on non-proper schemes
AU - Adrian Langer
PY - 2026
DA - 2026/08/29
PB - arXiv
DO - 10.48550/arxiv.2608.29320
UR - https://arxiv.org/abs/2608.29320
AB - We solve two open problems on ample vector bundles posed by Hartshorne in 1966. We prove that tensor products of ample vector bundles on schemes of finite type over an algebraically closed field are ample in arbitrary characteristic, extending Hartshorne's characteristic-zero result and Barton's projective positive-characteristic theorem. More generally, let f: X -> S be a morphism of schemes. Then we prove that tensor products of f-ample vector bundles are f-ample. Moreover, if E is an f-ample vector bundle of rank r>0 and W is a finite locally free polynomial GL(r,S)-module of positive rank with W_0 = 0, then E(W) is f-ample. In particular, Gamma^n E is f-ample for every n>0. Finally, adapting a construction of Ejiri-Fujino-Iwai, we show that in every characteristic a smooth quasi-projective surface carries a non-ample extension of an ample line bundle by itself.
ER -