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: Very high Entry average rating: No information on entry rating
invertible sheaf (Definition)

A sheaf $\L$ of $\O_X$ modules on a ringed space $\O_X$ is called invertible if there is another sheaf of $\O_X$ -modules $\L'$ such that $\L\otimes\L'\cong\O_X$ . A sheaf is invertible if and only if it is locally free of rank 1, and its inverse is the sheaf $\L^{\vee}\cong\mathcal{H}om(\L,\O_X)$ , by the obvious map.

The set of invertible sheaves obviously form an abelian group under tensor multiplication, called the Picard group of $X$ .




"invertible sheaf" is owned by Mathprof. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: Picard group, multiplication, tensor, abelian group, map, inverse, rank, locally free, ringed space, modules, sheaf
There are 4 references to this entry.

This is version 5 of invertible sheaf, born on 2003-08-19, modified 2006-10-06.
Object id is 4619, canonical name is InvertibleSheaf.
Accessed 2505 times total.

Classification:
AMS MSC14A99 (Algebraic geometry :: Foundations :: Miscellaneous)

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

No messages.

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