Section 117
The two blow-ups and the quartic pencil
Family 3.8
We work over . Let be a two-dimensional subspace of without base points. Here and are binary quartics. Put The second projection identifies with , and its first projection is the morphism It has degree four. We identify the second with the conic by , and regard as a curve in . Let These are precisely the smooth members of Family 3.8 [3, Sections 5.16 and 7.6]. We give the geometry that we use below.
Lemma 117.1. The threefold is smooth, Fano, and . It also admits a morphism which is the blow-up of a smooth conic fibre of a smooth divisor of bidegree . The exceptional divisors of and are isomorphic to and , respectively.
Proof. Choose quadrics and restricting to and on , and write . Then is the complete intersection Since is the graph of , it is smooth. Thus is smooth. The quadrics have no common zero: a common zero would belong to and be a common zero of and .
In , put The second projection of is the projectivization of a rank-two vector bundle, since have no common zero. In particular, is smooth. The fibre of its first projection over is . Let , with ruling given by . The proper transform of in is . Indeed, writing and , its equation is Over this is the usual incidence equation for the blow-up of the ideal . Over it is the blow-up of its smooth fibre over . Its exceptional divisor is the strict transform of , hence .
Let be the pullback of a line from , let be the pullback of a line from , and let be the pullback of a point from . Adjunction in gives The divisor is ample on , and is ample on the second factor, so their sum is ample. On we have and . Since , we obtain Finally, the two equations defining have bidegrees and . Their restrictions to have degrees and . Thus so the exceptional divisor of is . ◻
Lemma 117.2. Two threefolds and are isomorphic if and only if the pencils and belong to the same -orbit.
Proof. The backward implication follows by extending an automorphism of to and changing the basis of the pencil. For the converse, , and the nef cone is generated by . To see the latter assertion, these divisors are nef, and the fibres of , the fibres of , and the fibres of have intersection vectors proportional to , , and , respectively. Consequently these are the three extremal rays of the cone of curves. The first two contractions are divisorial and the third is a conic bundle. Their exceptional divisors and are not isomorphic. An isomorphism therefore preserves the contraction and descends to an isomorphism of the pairs and . An automorphism of preserves its two projections and must preserve the conic which is the image of the centre in . Its action on this conic belongs to ; its action on the first factor merely changes the basis of the pencil. ◻
Lemma 117.3. Let be induced by the first projection of . If the fibre of over has multiplicities , then the singularities of are exactly one point of type for each . They are disjoint from . In particular, the partitions , , , and give , , , and , respectively.
Proof. Near a point of , choose a coordinate on , a normal coordinate to , and a coordinate on the first factor. The centre has ideal . At a ramification point of index , analytic coordinates give . In one blow-up chart the equation is . The fibre thus has equation . It is smooth for and has type otherwise. The other chart has coordinates and equation , so its fibres are smooth. The strict transform of lies in the latter chart and is given by . Thus it contains none of these singular points. ◻