For which $f,g \in k[t]$, $k[f,g]$ is integrally closed?

Solution 1:

Here is an answer in the case where $k$ is algebraically closed. The parametric plane curve $(x,y) = (f(t), g(t))$ can be given implicitly as the vanishing locus of a polynomial $F \in k[x,y]$. Then $k[f,g]$ is integrally closed if and only if the affine plane curve $C: F(x,y) = 0$ is nonsingular. This occurs iff $F$, $F_x$, and $F_y$ don't vanish simultaneously, i.e., there is no $x_0, y_0 \in k$ such that $F(x_0, y_0) = F_x(x_0, y_0) = F_y(x_0, y_0) = 0$, where $F_x$ and $F_y$ denote the partials of $F$.

$k[f,g]$ is the coordinate ring for the plane curve $C: F(x,y) = 0$, and it is a standard result that nonsingularity corresponds to being integrally closed. (Cf., Corollary $13$ of $\S16.2$ of Dummit and Foote or Theorem I.5.1 of Hartshorne.)

Addendum: As you request in the comments, let $f(t) = t^2 +1$ and $g(t) = t^3 - 4t$. We form the ideal $I = (x - f(t), y - g(t))$ in the polynomial ring $k[t,x,y]$ with the elimination ordering $t > x > y$. Computing a Gröbner basis for $I$, we find that the elimination ideal $I \cap k[x,y]$ is generated by the polynomial $$ F = x^3 - 11 x^2 + 35 x - y^2 - 25 \, . $$ To determine if the curve $C: F = 0$ has any singular points, we compute a Gröbner basis for the ideal $(F, F_x, F_y)$ of $k[x,y]$, which produces $\{x - 5, y\}$. Thus the point $(5,0)$ is a singular point of $C$, so $k[f,g]$ is not integrally closed.

I used SageMath to compute all the above using the following code.

R.<t,x,y> = PolynomialRing(QQ,3,order="lex")
I = ideal([x - (t^2+1), y - (t^3-4*t)])
G = I.groebner_basis()
show(G)
F = G[-1]
J = ideal([F, F.derivative(x), F.derivative(y)])
show(J)
J.groebner_basis()

You can try it yourself in this SageMathCell.