Divisor line bundle

ID: divisor-line-bundle

On an integral scheme, for a Cartier divisor locally represented by , its divisor line bundle is the subsheaf of rational functions locally equal to . Unit ratios glue these free rank-one modules. Given a nonzero rational section of a line bundle , the maps identify that invertible sheaf with . Replacing by a nonzero rational multiple changes by a principal Cartier divisor.

New to topics? Read the docs here!