The Stacks project

Effective Cartier divisors on a scheme are the same as invertible sheaves with fixed regular global section.

Lemma 31.14.10. Let $X$ be a scheme.

  1. If $D \subset X$ is an effective Cartier divisor, then the canonical section $1_ D$ of $\mathcal{O}_ X(D)$ is regular.

  2. Conversely, if $s$ is a regular section of the invertible sheaf $\mathcal{L}$, then there exists a unique effective Cartier divisor $D = Z(s) \subset X$ and a unique isomorphism $\mathcal{O}_ X(D) \to \mathcal{L}$ which maps $1_ D$ to $s$.

The constructions $D \mapsto (\mathcal{O}_ X(D), 1_ D)$ and $(\mathcal{L}, s) \mapsto Z(s)$ give mutually inverse maps

\[ \left\{ \begin{matrix} \text{effective Cartier divisors on }X \end{matrix} \right\} \leftrightarrow \left\{ \begin{matrix} \text{isomorphism classes of pairs }(\mathcal{L}, s) \\ \text{consisting of an invertible } \mathcal{O}_ X\text{-module} \\ \mathcal{L}\text{ and a regular global section }s \end{matrix} \right\} \]

Proof. Omitted. $\square$


Comments (3)

Comment #877 by on

Suggested slogan: Effective Cartier divisors on a scheme are the same as invertible sheaves with fixed regular global section.

Comment #3582 by Laurent Moret-Bailly on

The right-hand side of the correspondence is to be understood as isomorphism classes (even though "isomorphisms are unique").

Comment #3706 by on

Yes of course you are right. Thanks very much. This is fixed here.

There are also:

  • 2 comment(s) on Section 31.14: Effective Cartier divisors and invertible sheaves

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 01X0. Beware of the difference between the letter 'O' and the digit '0'.