Let $X$ be an integer curve of (arithmetic) genus $g=0$. (the arithmetic genus $g$ is defined by $g:= 1 -\chi\_k(\mathcal{O}\_X)$ where $\mathcal{O}\_X$ is the structure sheaf of $X$ and $\chi\_k(\mathcal{O}\_X) := \sum \_{i \ge 0} (-1)^i dim\_k H^i(X, \mathcal{O}\_X)$ the Euler-Poincare characteristic of $\mathcal{O}\_X$.


Let assump that there exist a $k$-valued point $a \in X(k)$. I wan't to show that the induced Cartier Divisor $\mathcal{O}\_X(a)$ is globally generated, therefore for every $x \in X$ there exist a global section $s \in \Gamma(X, \mathcal{O}\_X(a)= H^0(X,\mathcal{O}\_X(a)) $ such that the stalk $s\_x$ at $x$ is not zero:


My attempts: 


I firstly considered the exact sequence


$0 \to \mathcal{O}\_X \to \mathcal{O}\_X(a) \to \mathcal{F} \to 0$ 


where $\mathcal{F}$ is cokernel of the sequence.


This provides a long exact sequence of $\mathcal{O}\_X(X)=H^0(X, \mathcal{O}\_X)$-modules


$0 \to H^0(X, \mathcal{O}\_X) \to H^0(X, \mathcal{O}\_X(a)) \to H^0(X, \mathcal{F}) \to H^1(X, \mathcal{O}\_X) \to ...$


Because $g=0$ and $H^i(X, \mathcal{O}\_X)=0$ for $i \ge 2$ we conclude $H^1(X, \mathcal{O}\_X)=0$.


Futhermore I suppose that $H^0(X, \mathcal{O}\_X) =k$ (why?)


So I can simplify my sequence to 


$0 \to k \to H^0(X, \mathcal{O}\_X(a)) \to \to H^0(X, \mathcal{F}) \to 0$


My goal will be to show that $1$ is mapped in the left module morphism to an invertible element in $H^0(X, \mathcal{O}\_X(a))$, but I don't know how to conclude it.



Cartier Divisor generated by Global Sections
First of all, you definitely need to assume that your curve is proper to make sense of $\chi\_k(\mathcal O\_X)$. If it is not, then $H^i(X,\mathcal O\_X)$ is not finite dimensional over $k$, so $\chi\_X(\mathcal O\_X)$ is not well-defined. Actually, it is true that any proper curve is projective (Hartshorne, exercise III.5.8). Thus it is harmless to assume that $X$ is projective. 


Let me now deal with your first question:



> 
> **Proposition 1**: Let X be a proper integral scheme with a $k$-rational point $a\in X(k)$, then $H^0(X,\mathcal O\_X)=k$.
> 
> 
> 


**Proof**: Properness of $X$ over $k$ guarantees that $A:=H^0(X,\mathcal O\_X)$ is a finite dimensional algebra over $k$. Any finite dimensional commutative algebra over $k$ is equal to a product of local finite dimensional $k$-algebras. In other words, $A=\prod\_i A\_i$ where each $A\_i$ is a local finite dimensional $k$-algebra. Since $X$ is connected we conclude that $i=1$, otherwise we will have idempotents inside $H^0(X,\mathcal O\_{X})=A$. Therefore, $A$ is actually a local finite dimensional $k$-algebra. Reducedness of $X$ implies that $A$ should also be reduced. Any finite-dimensional reduced algebra over a field is a field $k'$ and an extension $k \subset k'$ should be finite. Observe that there is a natural morphism $f:X \to \operatorname{Spec} H^0(X,\mathcal O\_X)=\operatorname{Spec} k'.$ And a composition of $f$ with a section $a:\operatorname{Spec} k \to X$ defines a section $a':\operatorname{Spec} k \to \operatorname{Spec} k'$. Now it is easy to conclude that $k=k'$.


Finally, it is not true without any regularity hypothesis that $\mathcal O\_X(a)$ is invertible for an arbitrary $a\in X(k)$. In order to have this property you need to assume that $a$ is a regular point of $X$. However, I will not assume this and will prove a little bit more general result. Namely, I am going to prove the following statement:



> 
> **Propostion 2**: Let $X$ be an integral curve of arithmetic genus $0$ over a field $k$. Assume that $H^0(X,\mathcal O\_X)=k$ and let $\mathcal L$ be an invertible sheaf with a non-zero section $s\in H^0(X,\mathcal L)$, then $\mathcal L$ is globally generated.
> 
> 
> 


**Proof**: Choose any section $s\in H^0(X,\mathcal L)$ and let $D:=V(s)$ be a corresponding Cartier divisor. Basically by definition we have $\mathcal L=\mathcal O\_X(D)$. Note that for any $x\notin D$ we know that $s|\_{x}\neq 0$. Thus $s$ generates $\mathcal L$ outside of $D$. 


Now let us show that for any $x\in D$ there is a section $t\in H^0(X, \mathcal L)$ such that $t|\_{x}\neq 0$. Recall that we have a short exact sequence


$$
0 \to \mathcal O\_X \to \mathcal O\_X(D) \to \mathcal O\_D \to 0 (\*).
$$


Since $D$ is a zero-dimensional scheme over a field, we see that $\mathcal O\_D$ is globally generated. In particular, there is a section $t'\in H^0(X, \mathcal O\_D)$ such that $t'|\_{x}\neq 0$. Hence, the only thing we are left to show is that the natural morphism
$$
\phi:H^0 (X, \mathcal O\_X(D)) \to H^0(X, \mathcal O\_D)
$$
is surjective. It suffices to show that $H^1(X, \mathcal O\_X)=0$ (because of the long exact sequence associated to $(\*)$). However, by the very definition of arithmetic genus we know that
$$
0=p\_a(X)=1-\chi\_X(\mathcal O\_X)=1-H^0(X,\mathcal O\_X)+H^1(X,\mathcal O\_X)=H^1(X, \mathcal O\_X).
$$


Therefore, the map $\phi$ is indeed surjective. Thus there is $t\in H^0(X,\mathcal O\_X(D))$ such that $\phi(t)=t'$. Hence $t|\_{x}=t'|\_{x} \neq 0$. So, $\mathcal L = \mathcal O\_X(D)$ is generated by global sections at $x$. Since $x$ was an arbitrary point of $D$, we conclude that $\mathcal L$ is generated by global sections at any point of $D$. As a result, it is globally generated. 


