Lemma 31.25.4. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. In each of the following cases $\mathcal{L}$ has a regular meromorphic section:

1. $X$ is integral,

2. $X$ is reduced and any quasi-compact open has a finite number of irreducible components,

3. $X$ is locally Noetherian and has no embedded points.

Proof. In case (1) let $\eta \in X$ be the generic point. We have seen in Lemma 31.25.3 that $\mathcal{K}_ X$, resp. $\mathcal{K}_ X(\mathcal{L})$ is the constant sheaf with value $\kappa (\eta )$, resp. $\mathcal{L}_\eta$. Since $\dim _{\kappa (\eta )} \mathcal{L}_\eta = 1$ we can pick a nonzero element $s \in \mathcal{L}_\eta$. Clearly $s$ is a regular meromorphic section of $\mathcal{L}$. In case (2) pick $s_\eta \in \mathcal{L}_\eta$ nonzero for all generic points $\eta$ of $X$; this is possible as $\mathcal{L}_\eta$ is a $1$-dimensional vector space over $\kappa (\eta )$. It follows immediately from the description of $\mathcal{K}_ X$ and $\mathcal{K}_ X(\mathcal{L})$ in Lemma 31.25.1 that $s = \prod s_\eta$ is a regular meromorphic section of $\mathcal{L}$. Case (3) is Lemma 31.24.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).