$Z(y^2-x^3-ax-b)$ is smooth if and only if $4a^3+27b^2\neq 0$ I want to show that $Z(y^2-x^3-ax-b)\subset \mathbb A^2$ is smooth if and only if $4a^3+27b^2\neq 0$. Let $f=y^2-x^3-ax-b$.
I know the following theorem:

If we show that $f$ is irreducible then $I(X)=(f)$.Then the Jacobi matrix is $(-3x^2-a,2y)$. If we know that $X$ is irreducible, then $X$ is smooth exactly when this matrix has rank $1$. The matrix has rank $1$ whenever both terms are not zero. I don't see how this is true only when $4a^3+27b^2= 0$.
Things I am confused about:

*

*Why is $f$ irreducible?

*Why is $X$ irreducible?

*Why does the Jacobi have rank zero exactly when $4a^3+27b^2= 0$?

 A: Let $f = x^3 + ax + b$, let $F = y^2 - f(x) = y^2-x^3-ax-b$, and let $X = Z(F)$. (Sorry for changing your notation, but I'll just confuse myself if I don't have $X$ given by $y^2 = f(x)$.)

*

*Irreducibility of $F$ basically follows from the fact $F$ is degree $2$ in $y$ and $x^3 + ax + b$ is not a square. If $F$ factors, then we can write it as a product of two monic, degree $1$ polynomials in $y$. Writing
$$
(y + g(x))(y + h(x)) = y^2 - x^3 - ax - b
$$
we find $h(x) = -g(x)$, so $y^2 - g(x)^2 = y^2 - x^3 - ax - b$ and hence $x^3 + ax + b = g(x)^2$. But $x^3 + ax + b$ is not a square in $k[x]$ (it has odd degree, for one thing), so this is impossible. (See here for more details.)


*As mentioned in the comments, since $F$ is irreducible and $k[x,y]$ is a UFD, then the ideal $(F)$ is prime. Since prime ideals correspond to irreducible varieties (see here, for example), then $X = Z(F)$ is irreducible.


*Note that $F_x = -f'(x)$ and $F_y = 2y$. Suppose that $(u,v)$ is a singular point of $X$, so $F(u,v) = F_x(u,v) = F_y(u,v) = 0$ by the Jacobian criterion. Then $0 = F_y(u,v) = 2v$, so $v = 0$. Thus $(u,v) = (u,0)$, and $u$ is a root of both $f'(x)$ and $F(x,0) = f(x)$. This implies that $u$ is a multiple root of $f$, hence the discriminant of $f$ is zero. The discriminant of the cubic $f(x) = x^3 + ax + b$ is $-(4a^3 + 27b^2)$, so the claim follows. Moreover, all the implications in this argument are reversible, so we get the iff statement.
