I'm confused.

Let $X$ be a curve over a field $k$. Let $K= K(X)$ be its function field. Then, $K(X)$ is a field. Each non-constant morphism $f:X\to \mathbf{P}^1_k$ gives a field extension $K(\mathbf{P}^1_k) = k(t) \subset K(X)$ of degree $\deg f$.

How is it possible that $\deg f$ can take infinitely many values? Aren't both fields fixed?

Maybe I'm not understanding the situation fully. A rational function $f$ on $X$ gives a field extension $k(t) \subset k(t,f)$ of degree $\deg f$. Maybe $k(t,f) \not= K(X)$? No...

Can somebody explain?

  • $\begingroup$ If you fix $f$, then just because you can DEFINE a number $\textrm{deg}\,f$, it means that you have only one such number. It's likely that I'm missing something in your question, can you please clarify it to me? Where did you read the sentence "$\textrm{deg}\,f$ can take infinitely many values"? The only phrase I can think about, containing both "$\textrm{deg}\,f$" and - in some sense - "infinitely many" is this one: $\textrm{deg}\,f$ is the number of preimages of a general point. Perhaps completely off the track. $\endgroup$ – Brenin Oct 20 '12 at 12:45
  • $\begingroup$ I meant that there are infinitely many $f$. (I didn't mean to say that $\deg f$ can take infinitely many values. I just meant to say that the value $\deg f$ takes infinitely many values as $f$ varies.) $\endgroup$ – Harry Oct 20 '12 at 13:20

Each choice of $f$ produces a different embedding of $k(t) = K(\mathbb{P}^1_k)$ into $K(X)$, so it's no surprise that $\deg f$ depends on $f$. In other words, writing $[K(X) : K(\mathbb{P}^1_k)]$ is an abuse of notation because $K(\mathbb{P}^1_k)$ is not literally a subfield of $K(X)$.

Here's a simple example: I can embed $k(t)$ into $k(t)$ by the identity morphism, giving a field extension of degree $1$, or I can embed $k(t)$ into $k(t)$ by mapping any rational function $f(t)$ to the rational function $f(t^2)$, thus producing a field extension of degree $2$.

  • $\begingroup$ Ow I understand. It's the embedding that changes! $\endgroup$ – Harry Oct 20 '12 at 13:19
  • $\begingroup$ Just a quick question, because I still don't understand actually. Let $\mathbf{A}^2$ be the affine plane with coordinates $(x,y)$. Let $X$ be a curve in $\mathbf{A}^2$. Let $f$ be a rational function on $X$. This sends $(a,b)$ on $X$ to $f(a,b)$. Let $t$ be the coordinate on $\mathbf{P}^1 = \mathbf{A}^1 \cup \{\infty\}$. Then, the field extension corresponding to $f$ is the embedding $k(t) \subset K(X)$ sending $t$ to .........? Does it simply send $t$ to $f$? So $t^2+1$ maps to $f^2+1$? $\endgroup$ – Harry Oct 20 '12 at 13:26
  • $\begingroup$ Yes, it is the unique embedding that sends $t$ to $f$. $\endgroup$ – Zhen Lin Oct 20 '12 at 13:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.