Even for quasi-affine variety you don't have a vanishing theorem except Grothendieck's vanishing theorem on a noetherian topological space of finite dimension.
Consider, for example, affine plane without point $\mathbf{A}^2\backslash 0.$ Then the structure sheaf is ample but the first cohomology $H^1(\mathbf{A}^2\backslash 0, \mathcal{O})$
is not trivial and even it is infinite dimensional.
1. Are there simple examples (say on a curve or surface) of line bundles that are globally generated but not ample, of ample line bundles with no sections, of ample line bundles that are globally generated but not very ample, and of very ample line bundles with higher cohomology?
On a curve of genus $g$, a general divisor of degree $d \le g-1$ has no sections. Of course, if $d>0$ then it is ample.
$K_X$ on a hyperelliptic curve is globally generated but not very ample.
Look at $L=\mathcal O(1)$ on a plane curve of genus $d$. Then from
$$ 0\to \mathcal O_{\mathbb P^2}(1-d) \to \mathcal O_{\mathbb P^2}(1) \to \mathcal O_C(1)\to 0$$
you see that $H^1(\mathcal O_C(1))=H^2(\mathcal O_{\mathbb P^2}(1-d))$ which is dual to $H^0(\mathcal O_{\mathbb P^2}(d-4))$. So that's nonzero for $\ge4$.
2. Given an ample line bundle $L$, what is the minimal number $k$ so that I can be sure $L^k$ has sections, is globally generated, is very ample? Is $k$ related to the dimension of $X$?
Again, just look at the divisor of a degree 1 on a curve of genus $g$. You need $k\ge g$, so you see that there is no bound in terms of the dimension.
It turns out that a better right question to ask is about the adjoint line bundles $\omega_X\otimes L^k$ ($K_X+kL$ written additively). Then the basic guiding conjecture is by Fujita, and which says that for $k\ge \dim X+1$ the sheaf is globally generated, and for $k\ge \dim X+2$ it is very ample. This is proved for $\dim X=2$, proved with slightly worse bounds for $\dim X=3$. For higher dimensions the best result is due to Angehrn-Siu who gave a quadratic bound on $k$ instead of linear. There are some small improvements for some special cases.
3. If $L$ is very ample, I can use it to embed $X$ into some projective space. Then by projecting from points off of $X\subset \mathbb P^N$, I can eventually get a finite morphism $X\to \mathbb{P}^d$, where $d$ is the dimension of $X$. But what if I just know that $L$ is ample and globally generated? Can I also use it to get such a finite morphism to $\mathbb P^d$?
But of course $L$ gives a morphism $f$, and it follows that $f$ is finite: $f$ contacts no curve so $f$ is quasifinite, and $f$ is projective (since $X$ was assumed to be projective). And quasifinite + proper = finite.
Best Answer
This is now Tag 0C4P with an assumption that the schemes in question are qcqs as predicted in the comments by Moret-Bailly.