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 Starr– Jason Starr2012-05-01 12:01:48 +00:00Commented 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$Jef– Jef2012-05-01 12:08:08 +00:00Commented May 1, 2012 at 12:08
Add a comment
|