The hyperplane sections through are spanned by the three linear forms . Their common zero on is precisely , so away from the linear system of divisors is base-point-free and defines the projection from a point on a smooth quadricIn particular, the chart-ratio construction in part (a) makes this a morphism of schemes on , not merely a rational map there.
Write a target point as . The corresponding line through consists of pointsSubstituting in the quadric equation givesRemoving means , so set . Over the residue field of the target point, its scheme-theoretic fibre is consequentlyIf , this is one reduced point, with . If and , it is empty: the corresponding line meets the quadric only at the removed point, with intersection multiplicity two. If and , the line lies entirely on the quadric, and the scheme-theoretic fibre is , the line with removed.
The last case occurs at exactly and . Their lines are respectivelythe two rulings of a smooth quadric surface through . Thus the image consists of the complement of the line , together with those two points. The line parametrizes directions in the tangent plane at . The calculation describes the scheme-theoretic fibres over arbitrary target points and works in every characteristic.
Articles by others on the same topic
There are currently no matching articles.