PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Picard group (Definition)

The Picard group of a variety, scheme, or more generally locally ringed space $(X,O_X)$ is the group of locally free $O_X$ modules of rank $1$ with tensor product over $O_X$ as the operation, usually denoted by $\operatorname{Pic}(X)$ . Alternatively, the Picard group is the group of isomorphism classes of invertible sheaves on $X$ , under tensor products.

It is not difficult to see that $\operatorname{Pic}(X)$ is isomorphic to ${\rm H}^1(X, O_X^*)$ , the first sheaf cohomology group of the multiplicative sheaf $O_X^*$ which consists of the units of $O_X$ .

Finally, let $\operatorname{CaCl}(X)$ be the group of Cartier divisors on $X$ modulo linear equivalence. If $X$ is an integral scheme then the groups $\operatorname{CaCl}(X)$ and $\operatorname{Pic}(X)$ are isomorphic. Furthermote, if we let $\operatorname{Cl}(X)$ be the class group of Weil divisors (divisors modulo principal divisors) and $X$ is a noetherian, integral and separated locally factorial scheme, then there is a natural isomorphism $\operatorname{Cl}(X)\cong \operatorname{Pic}(X)$ . Thus, the Picard group is sometimes called the divisor class group of $X$ .




"Picard group" is owned by alozano. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

Other names:  divisor class group
Log in to rate this entry.
(view current ratings)

Cross-references: natural isomorphism, factorial, separated, Noetherian, principal divisors, Weil divisors, class group, integral, equivalence, Cartier divisors, units, multiplicative, sheaf cohomology, isomorphic, sheaves, invertible, classes, isomorphism, operation, tensor product, rank, modules, locally free, group, locally ringed space, scheme, variety
There are 3 references to this entry.

This is version 3 of Picard group, born on 2002-07-27, modified 2007-02-15.
Object id is 3216, canonical name is PicardGroup3.
Accessed 4532 times total.

Classification:
AMS MSC14-00 (Algebraic geometry :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)