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 ℤ/2 has a special bicanonical curve of the form 2D2, where D2 ∈|KX + t2| with a torsion element t2 of order 2. To construct a surface with such a curve, the associated line l must intersect a particular loci in Q in exactly one point.
i1 : kk = QQ; |
i2 : s = "22"; |
i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s); |
i4 : (randLine,subsLine) = randomLineTorsZ2(d1',relPfaf); |
i5 : transpose randLine
o5 = | 2 0 0 -8 0 0 -2 0 0 -1 0 0 |
| 0 1344 3072 -5 -5364 12288 4 192 -32256 -445 40 16128 |
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
|