Ampleness descends to a finite level
Improve a lemma from qs to s
Ample on reduction is ample; Noetherian case
Ample on reduction is ample
Creating ample line bundles -- almost there
Existence ample on separated Noetherian integral dim 1 scheme