Isomorphism classification of abstract rational scrolls

ID: isomorphism-classification-of-abstract-rational-scrolls

Two rank- abstract rational normal scrolls are isomorphic exactly when their splitting degrees agree as multisets after a common integer shift. For , the primitive nef class of the ruling is intrinsically identified by : restriction to a projective fibre forces every other divisor class with square zero to have zero coefficient of . An isomorphism therefore preserves the ruling, and its effect on is a twist by . Pushforward gives an isomorphism of the defining bundles up to this twist; uniqueness in the Birkhoff–Grothendieck theorem recovers their splitting degrees. For surfaces the unique nef square-zero ray identifies the ruling except on , where exchanging the two rulings changes no normalized splitting type.

New to topics? Read the docs here!