Welcome to mathimatikoi.org forum; Enjoy your visit here.
Divisors and Picard Group
Divisors and Picard Group
Hi, I´m studying Hartshorne´s book and I´m stuck with the example II. 6.5.2. This example compute the divisor class group of affine quadric cone $Spec(\mathbb{C}[x,y,z]/(xyz^{2})$. I´m wondering if we take the projective cone $Proj(\mathbb{C}[x_{0},x,y,z]/(xyz^2))\subset\mathbb{P}^{3}_{\mathbb{C}}$ how can obtain the divisor class group and the Picard group, and, once we´ve obteined the last two groups how can we deduce the divisor class group and the Picard group of $Spec(\mathbb{C}[x,y,z]/(xyz^{2})\subset \mathbb{A}^{3}_{\mathbb{C}}$

 Community Team
 Posts: 314
 Joined: Tue Nov 10, 2015 8:25 pm
Re: Divisors and Picard Group
Hi!
How is your question related to [Hartshorne / II / 6.5.2]? Could you please explain exactly at which point of this particular example you are stuck?
How is your question related to [Hartshorne / II / 6.5.2]? Could you please explain exactly at which point of this particular example you are stuck?
Re: Divisors and Picard Group
Hi !
The example shows that de divisor class group of the affine cone is $\mathbb{Z}/2\mathbb{Z}$. My question is how to compute te Picard group of the cone ,and further, if we know the divisor class group /Picard group of an affine variety (over k algebraically closed) what is the relation between these groups and the divisor class group/Picard group of the proyective closure of the variety? In particular, if we know the divisor class group/Picard group of one of them what we can say about the respective groups in the affine (or projective ) variety.
The example shows that de divisor class group of the affine cone is $\mathbb{Z}/2\mathbb{Z}$. My question is how to compute te Picard group of the cone ,and further, if we know the divisor class group /Picard group of an affine variety (over k algebraically closed) what is the relation between these groups and the divisor class group/Picard group of the proyective closure of the variety? In particular, if we know the divisor class group/Picard group of one of them what we can say about the respective groups in the affine (or projective ) variety.

 Community Team
 Posts: 314
 Joined: Tue Nov 10, 2015 8:25 pm
Re: Divisors and Picard Group
Hi!
Let me mention the following, which you may find helpful.
Let me mention the following, which you may find helpful.
 Recall the following general facts: On a variety \( X \), say, over \( \mathbb{C} \), it holds that \( \text{CaCl}(X) \cong \text{Pic}(X) \). Moreover, if \( X \) is normal, then Cartier divisors on \( X \) correspond to (are identified with) locally principal Weil divisors on \( X \). Finally, if \( X \) is locally factorial (in particular if \( X \) is smooth), then we have isomorphisms \( \text{Cl}(X) \cong \text{CaCl}(X) \cong \text{Pic}(X) \).
 Consider also the following example: On the one hand, since \( \mathbb{C}[x_{1}, \dots, x_{n}] \) is a UFD, the (Weil) divisor class group of the affine \( n \)space \( \mathbb{A}^{n}_{\mathbb{C}} \) over \( \mathbb{C} \) is trivial, i.e.
\[ \text{Cl} \big[ \text{Spec} \big( \mathbb{C}[x_{1}, \dots, x_{n}] \big) \big] = 0. \] On the other hand, the (Weil) divisor class group of the projective \( n \)space \( \mathbb{P}^{n}_{\mathbb{C}} \) over \( \mathbb{C} \) is isomorphic to \( \mathbb{Z} \), i.e.
\[ \text{Cl} \big[ \text{Proj} \big( \mathbb{C}[x_{0}, x_{1}, \dots, x_{n}] \big) \big] = \mathbb{Z}. \] Finally, by the previous comment, we have also determined the corresponding Picard groups.
Re: Divisors and Picard Group
I appreciate your response, but after thinking a lot, i can not see which is the Picard group of
$$X=Proj(\mathbb C[x,y,z]/(xyz^2)]\subset \mathbb{P}^{3}$$
I have just proved that $Cl(X)=\mathbb{Z}$.
$$X=Proj(\mathbb C[x,y,z]/(xyz^2)]\subset \mathbb{P}^{3}$$
I have just proved that $Cl(X)=\mathbb{Z}$.

 Community Team
 Posts: 314
 Joined: Tue Nov 10, 2015 8:25 pm
Re: Divisors and Picard Group
I don't know either the answer.PJPu17 wrote:I cannot see which is the Picard group of $X=Proj(\mathbb C[x,y,z]/(xyz^2)]\subset \mathbb{P}^{3}$
Maybe you could share your computations.I have just proved that $Cl(X)=\mathbb{Z}$.
You could also take a look at [Hartshorne / II / Ex. 6.3], which is related to your initial questions.
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 1 guest