Is every curve over $\mathbf{C}$ birational to a smooth affine plane curve?


Bonnie Huggins asked me this question back in 2003, but neither I nor the few people I passed it on to were able to answer it. It is true at least up to genus 5.



Is every curve birational to a smooth affine plane curve?
Yes. Here is a proof. 


It is classical that every curve is birational to a smooth one which in turn is birational to a closed curve $X$ in $\mathbb{C}^2$ with atmost double points. Now my strategy is to choose coordinates such that by an automorphism of $\mathbb{C}^2$ all the singular points lie on the $y$-axis avoiding the origin. Now the map $(x,y)\rightarrow(x,xy)$ from $\mathbb{C}^2$ to itself will do the trick of embedding the smooth part of $X$ in a closed manner. Below are the details. 


The only thing we need to show is that the smooth locus of a closed curve $X\in\mathbb{C}^2$ with only double points can again be embedded in the plane as a closed curve. 


**Step 1.** Let $S$ be the set of singular points of $X$. Choose coordinates on $\mathbb{C}^2$ such that the projection of $X$ onto both the axes gives embeddings of $S$. Call the projection of $S$ on the $y$-axis as $S'$. By sliding the $x$-axis a little bit we can make sure that $S'$ doesn't contain the origin of the plane. Now I claim that there is an automorphism of $\mathbb{C}^2$ which takes $S$ to $S'$. This is easy to construct by a Chinese remainder kind of argument: There is an isomorphism of the coordinate rings of $S$ and $S'$ and we need to lift this to an isomorphism of $\mathbb{C}[x,y]$. I will illustrate with an example where #$\{S\}=3$. Let $(a\_i,b\_i)$ be the points in $S$. Then there exists a function $h(y)$ such that $h|S'=x|S$ as functions restricted to the sets $S$ and $S'$. Here is one recipe: $h(y)=c\_1(\frac{y}{b\_2}-b\_2)(\frac{y}{b\_3}-b\_3)(y-b\_1+1)+\dots$ where $c\_1=a\_1(\frac{b\_1}{b\_2}-b\_2)^{-1}(\frac{b\_1}{b\_3}-b\_3)^{-1}$ etc.


Look at the map $\phi:(x,y)\rightarrow(x-h(y),y)$ on $\mathbb{C}^2$. It is clearly an automorphism and takes the set $S$ to $S'$. 


**Step 2.** Now consider the map $\psi:(x,y)\rightarrow(x,xy)$ from the affine plane to itself. It is an easy check that $\psi^{-1}\circ\phi:X-S\rightarrow\mathbb{C}^2$ is a closed embedding. 


