Divisor class group of a projective-space bundle with trivial vector bundle

ID: divisor-class-group-of-a-projective-space-bundle-with-trivial-vector-bundle

For a Noetherian integral scheme regular in codimension one and an integer ,
The first summand is the pullback of base Weil divisors; the second is the hyperplane divisor in the projective fibre.
Remove to obtain . The localization sequence for the divisor class group, together with invariance under adjoining affine-space coordinates, shows that the base classes and generate. Restriction to the generic fibre sends a base class to zero and to its degree-one generator, so no nonzero multiple of can be a base class. This detects the extra summand geometrically by fibre degree.
The positive-dimension hypothesis is essential: is a point and , with no hyperplane summand.

New to topics? Read the docs here!