A question regarding etale morphisms of affine varieties Suppose that $p:Y\rightarrow X$ is a surjective etale morphism of affine varieties (both over an algebraically closed field of characteristic zero), and let $x \in X$. 
Then is there a subvariety $V$ of $Y$ containing $y \in p^{-1}(x)$, such that $V$ isomorphic to $X$?
 A: Let $C \subset \mathbb{A}^2$ be the elliptic curve $\{ y^2 = x^3 - x \}$, let $Y = C \setminus \{ (-1, 0), (0, 0), (1, 0) \}$, and let $X = \mathbb{A}^1 \setminus \{ -1, 0, 1 \}$. It is not hard to see that $X$ and $Y$ are affine varieties: in fact, $X$ corresponds to the $k$-algebra $A = k [t, (t-1)^{-1}, t^{-1}, (t+1)^{-1}]$, and $Y$ corresponds to the $k$-algebra $B = k [x, y, y^{-1}] / (y^2 - x^3 + x)$. Consider the morphism $p : Y \to X$ defined by $(x, y) \mapsto x$. This corresponds to the unique $k$-algebra homomorphism $p^* : A \to B$ where:
\begin{align}
p^* (t) & = x &
p^* ((t-1)^{-1}) & = \frac{x^2 + x}{y^2} \\
p^* (t^{-1}) & = \frac{x^2 - 1}{y^2} &
p^* ((t+1)^{-1}) & = \frac{x^2 - x}{y^2}
\end{align}
It is also easy to check that $p : Y \to X$ is surjective, so $p^* : A \to B$ is injective. By considering what is happening in the projective closure, we see that $p : Y \to X$ is a finite étale morphism. But there is no open subset of $Y$ that is isomorphic to $X$, because an elliptic curve has genus 1 and $\mathbb{P}^1$ has genus 0, and the genus of a smooth projective curve can be computed from any non-empty open subset (via the function field).
