|
|
|
|
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)
| Other names: |
divisor class group |
|
|
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 MSC: | 14-00 (Algebraic geometry :: General reference works ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|