3
$\begingroup$

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?

  • 0
    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.2012-10-20
  • 0
    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.)2012-10-20

1 Answers 1

5

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$.

  • 0
    Ow I understand. It's the embedding that changes!2012-10-20
  • 0
    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$?2012-10-20
  • 0
    Yes, it is the unique embedding that sends $t$ to $f$.2012-10-20