Text size

Section 117

The two blow-ups and the quartic pencil

Family 3.8

We work over ℂ\mathbb C. Let U=⟨f,g⟩U=\langle f,g\rangle be a two-dimensional subspace of H0(ℙ1,𝒪ℙ1(4))H^0(\mathbb P^1,\mathcal O_{\mathbb P^1}(4)) without base points. Here f=f(x,y)f=f(x,y) and g=g(x,y)g=g(x,y) are binary quartics. Put CU={uf(x,y)+vg(x,y)=0}⊂ℙu,v1×ℙx,y1.C_U=\{uf(x,y)+vg(x,y)=0\} \subset\mathbb P^1_{u,v}\times\mathbb P^1_{x,y}. The second projection identifies CUC_U with ℙ1\mathbb P^1, and its first projection is the morphism ηU:ℙ1→ℙ1,[x:y]↦[−g(x,y):f(x,y)].\eta_U\colon\mathbb P^1\longrightarrow\mathbb P^1, \qquad [x:y]\longmapsto[-g(x,y):f(x,y)]. It has degree four. We identify the second ℙ1\mathbb P^1 with the conic Q={XZ−Y2=0}⊂ℙ2Q=\{XZ-Y^2=0\}\subset\mathbb P^2 by [x:y]↦[x2:xy:y2][x:y]\mapsto[x^2:xy:y^2], and regard CUC_U as a curve in Z=ℙ1×ℙ2Z=\mathbb P^1\times\mathbb P^2. Let π:XU=BlCU(Z)→Z.\pi\colon X_U=\operatorname{Bl}_{C_U}(Z)\longrightarrow Z. 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 XUX_U is smooth, Fano, and (−KXU)3=24(-K_{X_U})^3=24. It also admits a morphism σ:XU→YU\sigma\colon X_U\to Y_U which is the blow-up of a smooth conic fibre of a smooth divisor YU⊂ℙ2×ℙ2Y_U\subset\mathbb P^2\times \mathbb P^2 of bidegree (1,2)(1,2). The exceptional divisors of σ\sigma and π\pi are isomorphic to ℙ1×ℙ1\mathbb P^1\times\mathbb P^1 and 𝔽4\mathbb F_4, respectively.

Proof. Choose quadrics F(X,Y,Z)F(X,Y,Z) and G(X,Y,Z)G(X,Y,Z) restricting to ff and gg on QQ, and write q=XZ−Y2q=XZ-Y^2. Then CUC_U is the complete intersection q=uF+vG=0.q=uF+vG=0. Since CUC_U is the graph of ηU\eta_U, it is smooth. Thus XUX_U is smooth. The quadrics q,F,Gq,F,G have no common zero: a common zero would belong to QQ and be a common zero of ff and gg.

In ℙa,b,c2×ℙX,Y,Z2\mathbb P^2_{a,b,c}\times\mathbb P^2_{X,Y,Z}, put YU={aq+bF+cG=0},O=[1:0:0].Y_U=\{aq+bF+cG=0\},\qquad O=[1:0:0]. The second projection of YUY_U is the projectivization of a rank-two vector bundle, since q,F,Gq,F,G have no common zero. In particular, YUY_U is smooth. The fibre of its first projection over OO is QQ. Let 𝔽1=BlO(ℙ2)\mathbb F_1=\operatorname{Bl}_O(\mathbb P^2), with ruling 𝔽1→ℙu,v1\mathbb F_1\to\mathbb P^1_{u,v} given by [b:c][b:c]. The proper transform of YUY_U in 𝔽1×ℙ2\mathbb F_1\times\mathbb P^2 is XUX_U. Indeed, writing b=λub=\lambda u and c=λvc=\lambda v, its equation is aq+λ(uF+vG)=0.aq+\lambda(uF+vG)=0. Over ZZ this is the usual incidence equation for the blow-up of the ideal (q,uF+vG)(q,uF+vG). Over YUY_U it is the blow-up of its smooth fibre over OO. Its exceptional divisor EE is the strict transform of ℙ1×Q\mathbb P^1\times Q, hence E≅ℙ1×ℙ1E\cong\mathbb P^1\times\mathbb P^1.

Let H1H_1 be the pullback of a line from ℙa,b,c2\mathbb P^2_{a,b,c}, let H2H_2 be the pullback of a line from ℙX,Y,Z2\mathbb P^2_{X,Y,Z}, and let H3H_3 be the pullback of a point from ℙu,v1\mathbb P^1_{u,v}. Adjunction in 𝔽1×ℙ2\mathbb F_1\times\mathbb P^2 gives −KXU=H1+H2+H3.-K_{X_U}=H_1+H_2+H_3. The divisor H1+H3H_1+H_3 is ample on 𝔽1\mathbb F_1, and H2H_2 is ample on the second factor, so their sum is ample. On 𝔽1\mathbb F_1 we have H12=H1H3=1H_1^2=H_1H_3=1 and H32=0H_3^2=0. Since [XU]=H1+2H2[X_U]=H_1+2H_2, we obtain (H1+H2+H3)3(H1+2H2)=6(H1+H3)2+3H1(H1+H3)=24.(H_1+H_2+H_3)^3(H_1+2H_2) =6(H_1+H_3)^2+3H_1(H_1+H_3)=24. Finally, the two equations defining CUC_U have bidegrees (0,2)(0,2) and (1,2)(1,2). Their restrictions to CU≅ℙ1C_U\cong\mathbb P^1 have degrees 44 and 88. Thus NCU/Z≅𝒪ℙ1(4)⊕𝒪ℙ1(8),N_{C_U/Z}\cong\mathcal O_{\mathbb P^1}(4)\oplus \mathcal O_{\mathbb P^1}(8), so the exceptional divisor E′E' of π\pi is 𝔽4\mathbb F_4. ◻

Lemma 117.2. Two threefolds XUX_U and XU′X_{U'} are isomorphic if and only if the pencils UU and U′U' belong to the same PGL2\operatorname{PGL}_2-orbit.

Proof. The backward implication follows by extending an automorphism of QQ to ℙ2\mathbb P^2 and changing the basis of the pencil. For the converse, ρ(XU)=3\rho(X_U)=3, and the nef cone is generated by H1,H2,H3H_1,H_2,H_3. To see the latter assertion, these divisors are nef, and the fibres of π\pi, the fibres of σ\sigma, and the fibres of XU→𝔽1X_U\to\mathbb F_1 have intersection vectors proportional to (1,0,0)(1,0,0), (0,0,1)(0,0,1), and (0,1,0)(0,1,0), 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 𝔽4\mathbb F_4 and ℙ1×ℙ1\mathbb P^1\times\mathbb P^1 are not isomorphic. An isomorphism therefore preserves the contraction π\pi and descends to an isomorphism of the pairs (Z,CU)(Z,C_U) and (Z,CU′)(Z,C_{U'}). An automorphism of ZZ preserves its two projections and must preserve the conic which is the image of the centre in ℙ2\mathbb P^2. Its action on this conic belongs to PGL2\operatorname{PGL}_2; its action on the first factor merely changes the basis of the pencil. ◻

Lemma 117.3. Let θ:XU→ℙ1\theta\colon X_U\to\mathbb P^1 be induced by the first projection of ZZ. If the fibre of ηU\eta_U over tt has multiplicities e1,…,ere_1,\ldots,e_r, then the singularities of θ−1(t)\theta^{-1}(t) are exactly one point of type Aei−1A_{e_i-1} for each ei≥2e_i\ge2. They are disjoint from EE. In particular, the partitions 2+1+12+1+1, 2+22+2, 3+13+1, and 44 give A1A_1, 2A12A_1, A2A_2, and A3A_3, respectively.

Proof. Near a point of CUC_U, choose a coordinate zz on QQ, a normal coordinate ww to QQ, and a coordinate tt on the first factor. The centre has ideal (w,t−h(z))(w,t-h(z)). At a ramification point of index ee, analytic coordinates give h(z)=zeh(z)=z^e. In one blow-up chart the equation is t=ze+λwt=z^e+\lambda w. The fibre t=0t=0 thus has equation λw+ze=0\lambda w+z^e=0. It is smooth for e=1e=1 and has type Ae−1A_{e-1} otherwise. The other chart has coordinates (t,z,μ)(t,z,\mu) and equation w=μ(t−ze)w=\mu(t-z^e), so its fibres are smooth. The strict transform of ℙ1×Q\mathbb P^1\times Q lies in the latter chart and is given by μ=0\mu=0. Thus it contains none of these singular points. ◻