Ample line bundles, global generation and $K_0$ on quasi-projective derived schemes

Abstract

The purpose of this note is to extend some classical results on quasi-projective schemes to the setting of derived algebraic geometry. Namely, we want to show that any vector bundle on a derived scheme admitting an ample line bundle can be twisted to be globally generated. Moreover, we provide a presentation of $K^0(X)$ as the Grothendieck group of vector bundles modulo exact sequences on any quasi-projective derived scheme $X$.

Section 4 contains some (minor) errors. Please consult Section 2 of "Base independent algebraic cobordism" instead, where quasi-projectivity, ample line bundles, global generation etc are treated more carefully and in greater generality

References in corpus (1)

• Higher Topos Theory