Formal curves are set theoretic complete intersections (1707.07982v2)

Abstract: Let $k$ be any field. Let $R=k[[X_1,\ldots,X_d]]$ and $\frak p$ a $1$-dimensional prime ideal. In this note we present $d-1$ elements such as $f_1,\ldots,f_{d-1}$ in $\frak p$ such that $\mathfrak{p}=\text{rad}(f_1,\ldots,f_{d-1})$.