Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ be an integral domain, let $\mathbb{P}^n_A=\operatorname{Proj}A[x_0,x_1,...,x_n]$, in this case, the Weil, Cartier divisor, and invertible sheaves can be used interchangeably. I have seen some heuristic argument that $\mathcal{O}(1)$ corresponding to Weil divisor $[\mathbb{P}^{n-1}_A]$, but unfortunately, I cannot prove this rigorously. Does anyone know a rigorous way to see this? That will be very helpful for me!

share|cite|improve this question
up vote 8 down vote accepted

Well, I'm not an expert in Algebraic Geometry, so I don't know whether this works for abritrary $A$, but maybe the case $A = \mathbb{C}$ could help you.

If D is a Cartier divisor on $\mathbb{P}^n$, given by meromorphic (=rational) functions $f_i \in K^*(U_i)$ such that $f_i f_j^{-1} \in \mathcal{O}^*(U_i \cap U_j)$ then $\mathcal{O}(D)$ is the line bundle (=invertible sheaf) given by the cocycles $f_i f_j^{-1}$ on $U_i \cap U_j$.

Now, take $H \simeq \mathbb{P}^{n-1}$ given by the equation $z_0 = 0$. Let $U_i = \lbrace z_i \neq 0 \rbrace$ the standard open covering. Then, on $U_0$, $H$ is given by the zero set of $1 \in \mathcal{O}^*(U_0)$ and, on $U_j, j>0$, $H$ is given by the zero set of $z_0/z_j \in \mathcal{O}(U_j)$. So the line bundle $\mathcal{O}(H)$ is given by the cocycles $z_j/z_i$ on $U_i \cap U_j$, which are the cocycles for $\mathcal{O}(1)$.

share|cite|improve this answer
The last paragraph works mutatis mutandis for any commutative ring $A$. – user18119 Oct 26 '11 at 19:36
@Lucas Kaufmann Yes, it helps, thank you! – Li Zhan Oct 27 '11 at 19:26

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.