Given a numerical Godeaux surface $X$, the bi- and tricanonical map induce a birational map to a $\mathbb{P}^1 \times \mathbb{P}^3$. The procedure computes the birational image of the surface $Y \subset \mathbb{P}(2^2,3^4)$ (and hence of the surface $X$) under this map. The image of the tricanonical map in $\mathbb{P}^3$ is a hypersurface of degree $(3K_X)^2 -$ number of base points of $3K_X$. Hence, for a surface with a torsion group of order 5, the ideal $J$ must contain an element of bidegree $(0,7)$, for order 3 and 4 an element of bidegree $(0,8)$ and for order 1 and 2 an element of bidegree $(0,9)$.
|
|
|
|
|
|
|
|
|
|
The object bihomogeneousModel is a method function.