PlanetMath (more info)
 Math for the people, by the people.
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)

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 1974 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)