Divisors and Picard Group

Algebraic Geometry
Post Reply
PJPu17
Posts: 10
Joined: Mon Oct 17, 2016 9:33 pm

Divisors and Picard Group

#1

Post by PJPu17 »

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]/(xy-z^{2})$. I´m wondering if we take the projective cone $Proj(\mathbb{C}[x_{0},x,y,z]/(xy-z^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]/(xy-z^{2})\subset \mathbb{A}^{3}_{\mathbb{C}}$
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Re: Divisors and Picard Group

#2

Post by Tsakanikas Nickos »

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?
PJPu17
Posts: 10
Joined: Mon Oct 17, 2016 9:33 pm

Re: Divisors and Picard Group

#3

Post by PJPu17 »

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.
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Re: Divisors and Picard Group

#4

Post by Tsakanikas Nickos »

Hi!

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.
PJPu17
Posts: 10
Joined: Mon Oct 17, 2016 9:33 pm

Re: Divisors and Picard Group

#5

Post by PJPu17 »

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]/(xy-z^2)]\subset \mathbb{P}^{3}$$

I have just proved that $Cl(X)=\mathbb{Z}$.
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Re: Divisors and Picard Group

#6

Post by Tsakanikas Nickos »

PJPu17 wrote:I cannot see which is the Picard group of $X=Proj(\mathbb C[x,y,z]/(xy-z^2)]\subset \mathbb{P}^{3}$
I don't know either the answer.
I have just proved that $Cl(X)=\mathbb{Z}$.
Maybe you could share your computations.


You could also take a look at [Hartshorne / II / Ex. 6.3], which is related to your initial questions.
Post Reply

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

Register

Sign in

Who is online

Users browsing this forum: No registered users and 1 guest