2
$\begingroup$

I am using the software "Singular" for computing the geometric genus of a space curve, but something is going wrong. Let me consider the following 3-dimensional curve:

$$\begin{array}{c}x_3 D(x_1,x_2)=N(x_1,x_2), \\ P(x_1,x_2,x_3)=0, \end{array} $$ where $D(x_1,x_2)$, $N(x_1,x_2)$ and $P(x_1,x_2,x_3)$ are certain polynomials. For a choice of them, The package “Singular” gives genus equal to 3. Then, I try something different. I use the first equation for eliminating the variable $x_3$. In this way, I get a plane curve. I compute the genus and I get 4. But, if I am not wrong, the plane curve and the original space curve are birationally equivalent. Thus, their genus should be equal. What is wrong?

P.S: Example. If I take the curve

$2842 \text{x1}^3+\text{x1}^2 (647 \text{x2}-22778 \text{x3}-777)-2 \text{x1} (\text{x2} (69 \text{x2}+10163 \text{x3}+34)+980 \text{x3})+\text{x2} (\text{x2} (2093 \text{x2}+601)-4 (527 \text{x2}+490) \text{x3})=0,$

$37828 \text{x1}^3+7 \text{x1}^2 (4488 \text{x2}-26516 \text{x3}-749)+\text{x1} \left(15239 \text{x2}^2+3 \text{x2} (889-53285 \text{x3})+2520 (\text{x3}-6) \text{x3}\right)+\text{x2} \left(21987 \text{x2}^2+\text{x2} (6482-11419 \text{x3})+2520 (\text{x3}-6) \text{x3}\right)=0,$

“Singular” says that the genus is 3. If I project away the third variable by using the first equation, the genus turns out to be equal to 4.

$\endgroup$
7
  • $\begingroup$ Did you compute the degree of the projection on the plane? Are you sure it is birational? What are the singularities of the plane curve you get? $\endgroup$ Feb 7, 2019 at 19:34
  • $\begingroup$ The degree is 5 and there is one (regular) singularity. Thus, g=4*3/2-1=5. $\endgroup$
    – Alm
    Feb 7, 2019 at 19:38
  • $\begingroup$ Sorry, the singularity is not a regular node. It is given by two tangent lines. This should give genus 4, doesn’t it? In any case, Singular seems to give a wrong result. $\endgroup$
    – Alm
    Feb 7, 2019 at 19:43
  • 1
    $\begingroup$ It is difficult to guess, without knowing the explicit form of your polynomials $\endgroup$ Feb 8, 2019 at 10:25
  • 1
    $\begingroup$ The equations of your example don't define a reduced irreducible curve. According to Macaulay2 $(x_1+x_2,x_2^2)$ is a component. $\endgroup$
    – Tom Ducat
    Feb 9, 2019 at 10:19

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.