Let $X$ be a smooth projective curve over $k$, ch$k=p>0$, dose there exist a generic etale morphism from $X$ to projective line ?
$\begingroup$
$\endgroup$
2
-
5$\begingroup$ Yes. First, smoothness implies that $k(X)$ is a separable field extension of $k$, cf. Corollary 16.17 of Eisenbud's "Commutative Algebra". Thus there exists an element $f\in k(X)$ such that $k(X)$ is a finite, separable extension of the subfield $k(f)$. Considering $f$ as a rational function on $X$, $f$ extends to a regular $k$-morphism $f:X\to \mathbb{P}^1_k$ which is generically \'etale. $\endgroup$– Jason StarrCommented May 1, 2012 at 12:01
-
$\begingroup$ I'm 3 minutes late. The only thing I can add is that, in case you don't have Eisenbud at hand, but you have Lang's "Algebra", then the reference for infinite separable extensions is Prop VIII.4.1. $\endgroup$– JefCommented May 1, 2012 at 12:08
Add a comment
|