Take the hyperplane divisor . On its local equation is , a non-zero-divisor; on it is the unit one. Thus it is an effective Cartier divisor. On overlaps, is a unit.
The divisor line bundle is locally generated by . Map this generator to the local generator of the twisting sheaf on projective space . On overlaps both generators transform by , so the maps glue and giveFor the hyperplane is empty and this is the zero Cartier divisor; the conclusion still holds.
Articles by others on the same topic
There are currently no matching articles.