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
Let $S_0\subset P^3$ be a quartic surface with a node and let $\pi:S\to S_0$ be the minimal desingularization. Then, since $\pi$ is crepant, $S$ is a K3 surface, $L=\pi^*(O_{P^3}(1))$ is globally generated and big, but not ample since the corresponding morphism contracts a $(-2)$-curve. In particular, when $S$ is a Kummer surface (and $S_0$ has sixteen nodes), you will find examples. I think the presence of such $(-2)$-curves is essentially the only obstruction for a nef and big line bundle to be ample.