Diophantine $4x^3-y^2=3$ I am interested in how to tackle this Diophantine equation:
$$4x^3-y^2=3$$
The solutions I have found so far are $(1,1)$ and $(7,37)$. Are there any more?
I have looked up various material on cubic Diophantines but most of what I’ve found is on equations where the coefficients of $x^3$ and $y^2$ are the same. In this particular problem, if both coefficients were equal to $1$, it would just be a nice Mordell’s equation. But the coefficient of the cubic variable is not $1$ – which is why it’s so frustrating. Still, would I be right in saying that if the solutions were to lie on an elliptic curve, there would only be finitely many of them? What if they don’t lie on an elliptic curve? Will the number of solutions still be finite?

Let $x$ and $y$ be integers such that $4x^3-y^2=3$. Reducing mod $2$ shows that $y$ is odd, so $y=2z+1$ for some integer $z$. Then in the Eisenstein integers $\Bbb{Z}[\omega]$, where $\omega^2+\omega+1=0$, we have
\begin{eqnarray*}
x^3&=&\frac{y^2+3}{4}
=\left(\frac{y+\sqrt{-3}}{2}\right)\left(\frac{y-\sqrt{-3}}{2}\right)\\
&=&\left(\frac{y+1+2\omega}{2}\right)\left(\frac{y-1-2\omega}{2}\right)\\
&=&(z+1+\omega)(z-\omega).
\end{eqnarray*}
The greatest common divisor of the two factors on the right hand side also divides their sum and difference, which are $y$ and $1+2\omega$, respectively. Note that $1+2\omega$ is prime in $\Bbb{Z}[\omega]$ with $\mathcal{N}(1+2\omega)=3$, and that $y$ is coprime to $3$ as otherwise
$$4x^3=y^2+3\equiv3\pmod{9},$$
which is clearly impossible. This shows that the two factors are coprime, and hence that both are perfect cubes in $\Bbb{Z}[\omega]$, up to units. That is to say, there exist $a,b\in\Bbb{Z}$ such that
$$z-\omega=\omega^k(a+b\omega)^3,$$
for some $k\in\{0,1,2\}$. Expanding the right hand side then yields
\begin{eqnarray*}
z-\omega&=&a^3-3ab^2+b^3+(3a^2b-3ab^2)\omega,\\
z-\omega&=&(3ab^2-3a^2b)+(a^3-3a^2b+b^3)\omega,\\
z-\omega&=&-(a^3-3a^2b+b^3)-(a^3-3ab^2+b^3)\omega,
\end{eqnarray*}
for $k=0,1,2$ respectively. In particular, comparing the coefficients of $\omega$, we get the equations
\begin{eqnarray*}
-1&=&3a^2b-3ab^2=3ab(a-b),\\
-1&=&a^3-3a^2b+b^2,\\
-1&=&-(a^3-3ab^2+b^3).
\end{eqnarray*}
The first clearly has no integral solutions, and solutions to the second and third equations are in bijection by $(a,b)\ \leftrightarrow\ (-b,-a)$. So it suffices to find all integers $a$ and $b$ such that
$$a^3-3a^2b+b^3=-1.$$
This is a Thue equation, for which there exist effective methods to find all integral solutions. PARI/GP tells me that they are
$$(-3,-1),\quad(-1,0),\quad(0,-1),\quad(1,-2),\quad(1,1),\quad(2,3).$$
Then the integral solutions to the third equation are
$$(1,3),\quad(0,1),\quad(1,0),\quad(2,-1),\quad(-1,-1),\quad(-3,-2).$$
The corresponding values of $z$ for the second equation are
$$0,\quad0,\quad0,\quad18,\quad0,\quad18,$$
corresponding to $y=1,37$. For the third equation they are
$$-1,\quad-1,\quad-1,\quad-19,\quad-1,\quad-19,$$
unsurprisingly corresponding to $y=-1,-37$. This shows that you have found all solutions.
