my question regards the definition of ample Cartier divisors.
An invertible sheaf $\mathcal{L}$ on a noetherian scheme $X$ is said to be ample if for every coherent sheaf $\mathcal{F}$ on $X$, there exists an integer $n_{0}> 0$ such that for every integer $n\geq n_{0}$, the sheaf $\mathcal{F} \otimes \mathcal{L}^{\otimes n}$ is generated by its global sections. We say that a Cartier divisor $D$ is ample if the corresponding invertible sheaf $\mathcal{L}(D)$ is ample.
In my paper I only work with schemes that correspond to projective varieties over an algebraically closed field $k$. I would like to formulate the definitons of ample invertible sheaves and ample Cartier divisors without using coherent sheaves. Is that possible? If so, another question arises. Consider the following theorem due to Serre:
Let X be a projective scheme over a notherian Ring $A$, let $\mathcal{O}_{X}(1)$ be a very ample invertible sheaf on $X$, and let $\mathcal{F}$ be a coherent $\mathcal{O}_{X}$-module. Then there is an integer $n_{0}$ such that for all $n\geq n_{0}$, the sheaf $\mathcal{F}(n):= \mathcal{F}\otimes \mathcal{O}_{X}(n)$ can be generated by a finite number of global sections.
If $X$ is a scheme corresponding to a projective variety over an algebraically closed field $k$, can we rewrite Serre's theorem in a way that we'll be able to show that very ample sheaves are ample, but without using coherent sheaves? Bibliographical references are also welcome.
Thank you.