2
$\begingroup$

I have to find the closure, in the Zariski topology, of the curve $C = \{(x,y): y = e^x, x \in \mathbb{C}\}$. I suppose the answer is $\mathbb{C}^2$ and I guess I have to use the Taylor expansion of the function $e^x$ or the implicit function theorem to prove it, but I have no idea.

1 Answers 1

4

Suppose that a polynomial $p(x, y)$ vanishes on $C$. Then $p$ has the property that for all $a$, $p(a, e^a) = 0$. Because $e$, and hence $e^2, e^3, \ldots$ are transcendental, we have that for each natural number, $p(n, y)$ is the zero polynomial in $y$. It follows that $p$ is the zero polynomial. (You could also argue directly from the algebraic independence of $x$ and $e^x$ over $\mathbb{C}$, which is much easier to prove than the transcendence of $e$.)

  • 0
    How could not I see that? Thank you.2012-12-19