Problem in Rick Miranda: finding genus of a projective curve

Here's a map from the curve $X$ in $\mathbb{P}^3$ defined by $x_1 x_4 = 2 x_2 x_3$ and $x_1^2+x_2^2+x_3^2+x_4^2 = 0$, to the elliptic curve $E$ in $ \mathbb{P}^2$ given by the Weierstrass equation $$Y^2 Z = X^3 - \frac{17822265625}{62208} X Z^2 + \frac{2269744873046875}{40310784} Z^3,$$ which is topologically a torus:

$$ [x_1:x_2:x_3:x_4 ] \mapsto [y_1:y_2:y_3] \mapsto [a:b:c] \mapsto [X:Y:Z]$$ with $$ \begin{align*} y_1 &= x_2 x_3^2 - \frac{i}{2}x_2 x_3 x_4 - \frac{i}{2}x_3^2x_4 - \frac{1}{4} x_3 x_4^2 - \frac{i}{4} x_4^3 \\ y_2 &= x_2 x_3 x_4 - \frac{i}{2} x_2 x_4^2 \\ y_3 &= x_3 x_4^2 - i x_4^3 \end{align*},$$ (note that $y_2$ has a simple pole at $[1:i:0:0]$, $y_1$ has a simple pole at $[1:0:i:1]$ and $y_3$ has a simple pole at $[0:0:i:1]$), $$ \begin{align*} a &= \frac{625}{36} i y_1 - \frac{625}{72} i y_2 \\ b &= \frac{-390625}{1296} i y_1 \\ c &= \frac{-4}{5} i y_1 - \frac{8}{5} i y_2 - i y_3 \end{align*},$$ and $$ [a:b:1] \mapsto \left [\frac{1}{36}a - \frac{71875}{15552} : \frac{1}{216}b - \frac{125}{288} a + \frac{13671875}{124416} : 1 \right ].$$

The above maps then give you an explicit homeomorphism from your curve $X$ to the elliptic curve $E$ which is topologically a torus (these in fact form an algebraic isomorphism between the two curves).

(This was obtained from embedding $X$ in $\mathbb{P}^2$ through the divisor $([1:i:0:0]) + ([1:0:i:0]) + ([0:0:i:1])$ which is very ample, and then messing around to get a nice Weierstrass equation for the resulting elliptic curve.)


Not sure if the proof below is totally correct as I read this book two year ago. Write this in local coordinates $(\frac{x_{1}}{x_{3}}, \frac{x_{2}}{x_{3}})=(y_{1},y_{2})$ you should get a curve as $$y_{1}^{2}+y_{2}^{2}+4y_{1}^{2}y_{2}^{2}+1=0$$ defined on the affine chart $(x_{1},x_{2},x_{3}), x_{3}\not=0$.

Locally this surface is singular if and only if $\frac{\partial}{\partial y_{1}}$ and $\frac{\partial}{\partial y_{2}}$ are both 0. Hence all the singularity points are $( \frac{1}{2}i, \frac{1}{2}i),(-\frac{1}{2}i, -\frac{1}{2}i)$ . Further both of them are of multiplicity 1. Therefore by the formula $g=\frac{(d-1)(d-2)}{2}-\sum_{p}\delta_{p}$ we should have $g=3*2/2-2=1$. (but I am not familiar with Plucker's formula myself so I might be wrong).

Another way of looking at this is to define $\displaystyle(y_{1}^{2}+y_{2}^{2}+4y_{1}^{2}y_{2}^{2})^{1/4}=y_{3}$. Then we are essentially working with a ramified map $y_{3}^{4}-1=0$. From Riemann-Hurwtiz we should have g=1 by $2-2g=4*(2-0)-4*2$.