The Stacks project

Proof. Let $s \in H^0(X, \mathcal{L})$ and $t \in H^0(X, \mathcal{L}^{\otimes - 1})$ be nonzero sections. Let $x \in |X|$ be a point in the support of $s$. Choose an affine étale neighbourhood $(U, u) \to (X, x)$ such that $\mathcal{L}|_ U \cong \mathcal{O}_ U$. Then $s|_ U$ corresponds to a nonzero regular function on the reduced (because $X$ is reduced) scheme $U$ and hence is nonvanishing in a generic point of an irreducible component of $U$. By Decent Spaces, Lemma 68.20.1 we conclude that the generic point $\eta$ of $|X|$ is in the support of $s$. The same is true for $t$. Then of course $st$ must be nonzero because the local ring of $X$ at $\eta$ is a field (by aforementioned lemma the local ring has dimension zero, as $X$ is reduced the local ring is reduced, and Algebra, Lemma 10.25.1). However, we have seen that $K = H^0(X, \mathcal{O}_ X)$ is a field in Lemma 72.14.3. Thus $st$ is everywhere nonzero and we see that $s : \mathcal{O}_ X \to \mathcal{L}$ is an isomorphism. $\square$