Text size

Section 25

The special reduced fibre for second-kind lines

Lemma 25.1 (The special reduced fibre for a second-kind line). Suppose that ℓ\ell is of the second kind. Let y0y_0 be the exceptional point of Lemma 23.4. If f−1(y0)f^{-1}(y_0) is reduced, then δp(X)≥3635>1for every p∈f−1(y0).\delta_p(X)\ge\frac{36}{35}>1\qquad\text{for every }p\in f^{-1}(y_0).

Proof. The morphism f|Ef|_E is given by a base point free subsystem of |s+2g||s+2g| on E≅𝔽2E\cong\mathbb F_2; it contracts the negative section ss to y0y_0. Thus f−1(y0)=s+Zf^{-1}(y_0)=s+Z, where ZZ is another line. Choose a general base line through y0y_0 and let SS be its inverse image. This surface is smooth: away from the fixed fibre this is Bertini, along its smooth locus it follows from smoothness of the conic bundle, and at its node a general base direction retains the nonzero derivative supplied by smoothness of XX. The pencil induced on EE has fixed component ss and moving part a base point free pencil in |2g||2g|. A general member of that pencil is e1+e2e_1+e_2, where e1,e2e_1,e_2 are distinct ruling fibres. Put A=H|S=−KS,F=B|S=s+Z,R=e1+e2,c=E|S=s+R.A=H|_S=-K_S,\qquad F=B|_S=s+Z,\qquad R=e_1+e_2,\qquad c=E|_S=s+R. The line ss is mapped isomorphically to ℓ\ell, and ZZ is mapped to a line. Consequently As=AZ=1As=AZ=1, while Aei=0Ae_i=0. Adjunction on the smooth surface SS gives s2=Z2=−1,ei2=−2,sZ=sei=1,Zei=e1e2=0.s^2=Z^2=-1,\quad e_i^2=-2,\quad sZ=se_i=1,\quad Ze_i=e_1e_2=0. Here sZ=1sZ=1 also follows directly from the reduced nodal conic fibre, and the remaining intersections follow from the geometry of EE and the equalities Fei=1Fe_i=1. In particular, the three points s∩Z,s∩e1,s∩e2s\cap Z,s\cap e_1,s\cap e_2 are distinct. The divisors A,FA,F are nef, and A=c+F=2s+Z+RA=c+F=2s+Z+R.

The refined surface series still has moving and fixed classes given by (24.1). Its asymptotic completeness for 0<u<10<u<1 follows from ampleness of L−uBL-uB. For 1<u<21<u<2, remove the fixed multiple of EE. Restriction of H0(X,kH)H^0(X,kH) to SS is surjective for k≫0k\gg0: its obstruction is H1(X,(k−1)H+E)H^1(X,(k-1)H+E), which is H1(V,𝒪V(k−1))=0H^1(V,\mathcal O_V(k-1))=0, since π*𝒪X(E)=𝒪V\pi_*\mathcal O_X(E)=\mathcal O_V and Riπ*𝒪X(E)=0R^i\pi_*\mathcal O_X(E)=0 for i>0i>0. The latter statements follow on the blow-up fibres from 𝒪X(E)|ℙ1=𝒪ℙ1(−1)\mathcal O_X(E)|_{\mathbb P^1}=\mathcal O_{\mathbb P^1}(-1). Hence the surface flag formulas apply to this weak del Pezzo surface.

First take the flag curve ZZ. The decomposition in Lemma 24.3 applies verbatim with its second component equal to ss. Indeed, A−Z=2s+RA-Z=2s+R is nef: it is effective, has zero intersection with each component of its support, and has nonnegative intersection with every other irreducible curve. Moreover, c|Zc|_Z is the single reduced point s∩Zs\cap Z. Thus the constants are the same as in that lemma, and every point of ZZ has local threshold at least 36/3536/35.

It remains to use the flag curve ss. For 0≤u≤10\le u\le1, put a=1−ua=1-u, so the moving class is Du=A+aFD_u=A+aF. For the parameter vv of this flag, its Zariski decompositions are vPu,vNu,v[0,a]A+aF−vs0[a,1]A+aF−vs−v−a2Rv−a2R[1,2+a](2+a−v)(F+12R)v−a2R+(v−1)Z.\begin{array}{c|c|c} v&P_{u,v}&N_{u,v}\\\hline {[0,a]}&A+aF-vs&0\\ {[a,1]}&A+aF-vs-\frac{v-a}{2}R&\frac{v-a}{2}R\\ {[1,2+a]}&(2+a-v)\bigl(F+\frac12R\bigr)&\frac{v-a}{2}R+(v-1)Z. \end{array} To verify nefness, A+aZA+aZ is nef for 0≤a≤10\le a\le1: the only possible negative intersection of the effective summand aZaZ is with ZZ, where the full intersection is 1−a1-a. The first two intervals therefore interpolate between nef endpoint classes. For the other endpoint use M=F+R/2M=F+R/2, an effective rational divisor with Ms=1Ms=1, MZ=Mei=0MZ=Me_i=0, hence nef. The negative parts are supported on mutually disjoint negative curves and are orthogonal to their positive parts. Finally (A+aF−vs)M=2+a−v(A+aF-vs)M=2+a-v, so 2+a2+a is the pseudo-effective threshold.

Writing d=Pu,vsd=P_{u,v}s, the three intervals give vPu,v2d[0,a]3+4a−2v−v21+v[a,1](1+a)(3+a−2v)1+a[1,2+a](2+a−v)22+a−v.\begin{array}{c|cc} v&P_{u,v}^2&d\\\hline {[0,a]}&3+4a-2v-v^2&1+v\\ {[a,1]}&(1+a)(3+a-2v)&1+a\\ {[1,2+a]}&(2+a-v)^2&2+a-v. \end{array} The required inner integrals are I(a):=∫Pu,v2dv=2a2+4a+73,J(a):=∫d2dv=−a33+a2+3a+43,K(a):=∫dcoeffei(Nu,v)dv=(a+1)(a2−4a+7)12,M(a):=∫dcoeffZ(Nu,v)dv=(a+1)36.\begin{split} I(a):=\int P_{u,v}^2\,dv&=2a^2+4a+\frac73,\\ J(a):=\int d^2\,dv&=-\frac{a^3}{3}+a^2+3a+\frac43,\\ K(a):=\int d\operatorname{coeff}_{e_i}(N_{u,v})\,dv &=\frac{(a+1)(a^2-4a+7)}{12},\\ M(a):=\int d\operatorname{coeff}_Z(N_{u,v})\,dv &=\frac{(a+1)^3}{6}. \end{split} For 1≤u≤21\le u\le2, scale the a=0a=0 decomposition by b=2−ub=2-u; the four inner integrals are respectively b3I(0)b^3I(0), b3J(0)b^3J(0), b3K(0)b^3K(0), b3M(0)b^3M(0). The original fixed part (u−1)c=(u−1)(s+R)(u-1)c=(u-1)(s+R) shifts the order along ss by u−1u-1. After removing this coefficient of ss, the original fixed divisor that remains on the flag curve is (u−1)R|s(u-1)R|_s, not (u−1)c|s(u-1)c|_s. These terms contribute 1/241/24 to the expected order along ss and 1/241/24 at each point s∩eis\cap e_i, respectively. Consequently S(WS;s)=16(∫01I(a)da+I(0)4)+124=3536,S(WS,s;p)=4172+1136𝟏{p∈s∩R}+29𝟏{p=s∩Z}≤78.\begin{split} S(W^S;s)&=\frac16\left(\int_0^1 I(a)\,da+\frac{I(0)}4\right)+\frac1{24} =\frac{35}{36},\\ S(W^{S,s};p)&=\frac{41}{72} +\frac{11}{36}\,\mathbf 1_{\{p\in s\cap R\}} +\frac29\,\mathbf 1_{\{p=s\cap Z\}}\le\frac78. \end{split} For clarity, the first point coefficient is 13(∫01K(a)da+K(0)/4)+1/24=11/36\frac13(\int_0^1K(a)\,da+K(0)/4)+1/24=11/36, and the second is 13(∫01M(a)da+M(0)/4)=2/9\frac13(\int_0^1M(a)\,da+M(0)/4)=2/9. The point indicators cannot occur simultaneously. Abban–Zhuang adjunction now gives, for every p∈sp\in s, δp(X)≥min{7241,3635,87}=3635.\delta_p(X)\ge\min\left\{\frac{72}{41},\frac{36}{35},\frac87\right\} =\frac{36}{35}. This covers both components of the special fibre. ◻

Example 25.2 (The three types of points on the negative section). In the preceding calculation, a point of ss outside R∪ZR\cup Z has point term 41/7241/72. At either point s∩eis\cap e_i this becomes 7/87/8, while at s∩Zs\cap Z it is 19/2419/24. These points are distinct, so the two fixed contributions are never added at the same point. In all three cases the larger flag constant is the curve term 35/3635/36.