We give the first example of a derived scheme and a line bundle on the truncation so that does not extend to the original derived scheme . In other words the pullback map , and hence also the pullback map , is not surjective. The derived schemes we construct have the further property that while their truncations are projective hypersurfaces, they fail to have any nontrivial line bundles, and therefore they are not quasiprojective.
"On line bundles in derived algebraic geometry." Ann. K-Theory 5 (2) 317 - 325, 2020. https://doi.org/10.2140/akt.2020.5.317