The order of the torsion group does only depend on the choice of the line in the complete intersection of the quadratic relations Q in ℙ11. A numerical Godeaux surface X with torsion group ℤ/4 has two special bicanonical curves: one reducible curve of the form D1+D3, where Di ∈|KX + ti| with a torsion element ti, and a double curve 2D2, where D2 ∈|KX + t2|. To construct a surface with such curves, the associated line l must intersect each of two different loci in Q in exactly one point. These loci are computed in the procedure lineConditionsTorsZ4.
i1 : kk = QQ; |
i2 : s = "22"; |
i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s); |
i4 : (randLine,subsLine) = randomLineTorsZ4(d1',relPfaf); |
i5 : transpose randLine o5 = | 0 0 2 0 0 -8 0 0 -2 0 0 -1 | | -2 0 0 -8 0 0 -12 0 0 6 0 0 | 2 12 o5 : Matrix (QQ[a , a , a , a , a , a , a , a , a , a , a , a , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , o , o , o , o , o , o , o , o , o , o , o , o , x , x , y , y , y , y ]) <--- (QQ[a , a , a , a , a , a , a , a , a , a , a , a , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , c , o , o , o , o , o , o , o , o , o , o , o , o , x , x , y , y , y , y ]) 2,1,3 2,0,3 2,2,2 3,1,3 3,0,3 3,2,2 0,1,3 0,1,2 0,0,0 1,1,3 1,1,2 1,0,0 0,0 0,2 0,4 0,6 0,7 1,0 1,2 1,4 1,6 1,7 2,0 2,1 2,2 2,3 2,5 3,0 3,1 3,2 3,3 3,5 1,0,1 2,0,1 3,1,3 3,2,3 4,0,1 4,3,3 5,0,1 5,1,1 5,1,3 5,2,1 5,3,3 5,4,3 0 1 0 1 2 3 2,1,3 2,0,3 2,2,2 3,1,3 3,0,3 3,2,2 0,1,3 0,1,2 0,0,0 1,1,3 1,1,2 1,0,0 0,0 0,2 0,4 0,6 0,7 1,0 1,2 1,4 1,6 1,7 2,0 2,1 2,2 2,3 2,5 3,0 3,1 3,2 3,3 3,5 1,0,1 2,0,1 3,1,3 3,2,3 4,0,1 4,3,3 5,0,1 5,1,1 5,1,3 5,2,1 5,3,3 5,4,3 0 1 0 1 2 3 |