[ALGE III] The Field Of Rational Function of The Irreducible Variety

00:33:00   Algebraic Geometry

Let $X$ be an irreducible curve given by $f(x,y)=0$ in the algebraic closed field $\mathbb{F}$, then we define the set
$$\mathbb{F}(X)=\left\{\left.\frac{p(x,y)}{q(x,y)} \right\lvert p,q \in \mathbb{F}[x,y] \mbox{ and } f(x,y)\not | q(x,y) \right\}$$
 Then $\mathbb{F}(X)$ contains the rational functions of two variables $x$ and $y$. We say two elements of $\mathbb{F}(X)$, $\frac{p_1(x,y)}{q_1(x,y)}$ and $\frac{p_2(x,y)}{q_2(x,y)}$ are equal in $X$ if and only if

$$f(x,y) | (p_1(x,y)q_2(x,y)-p_2(x,y)q_1(x,y))$$

It is easy to see that, along with this equality, $\mathbb{F}(X)$ is a field. We call $\mathbb{F}(X)$ is a Field of Rational Function on $X$ (or funcion field of algebraic variety $X$).
Before we proceed, we should aware that, the denominator of the rational function $\frac{p(x,y)}{q(x,y)} \in \mathbb{F}(X)$ can be zero only for finitely many points of $X$, that is $q(x,y)=0$ in a finite subset of $X$. This can be proved easily by using the Lemma in my first post [ALGE I]. It also can happen that, a rational function can be represented in two different expression $u=\frac{p(x,y)}{q(x,y)}$ and $\frac{p_1(x,y)}{q_1(x,y)}$ where $q(x,y)=0$ but $q_1(x,y) \neq 0$.  If $u$ has the exspresion $\frac{p(x,y)}{q(x,y)}$ where $q(P) \neq 0$, then we say $u$ is regular at $P$.

Now suppose that $X$ is rational curve, then by using the parametrization of $X$, we can substitue $x=\varphi(t)$ and $y=\psi(t)$ to the rational function $u=\frac{p}{q} \in \mathbb{F}(X)$. The substitution takes any element of $\mathbb{F}(X)$ to the rational function of one variable in $t$.  Notice that, the denominator $q(\varphi(t),\psi(t))$ can only equals zero in a finitely many times, by the same reason from the previous paragraph. Suppose that $u_1=\frac{p_1}{q_1}$ and $u_2=\frac{p_2}{q_2}$ are equals on $X$, then

$$p_1(x,y)q_2(x,y)- p_2(x,y) q_1(x,y) = \lambda(x,y) f(x,y)$$

substitute $x=\varphi(t)$ and $y=\psi(t)$, since $f(\varphi(t),\psi(t)) \equiv 0$ we have

$$\frac{p_1(\varphi(t),\psi(t))}{q_1(\varphi(t),\psi(t))}=\frac{p_2(\varphi(t),\psi(t))}{q_2(\varphi(t),\psi(t))}$$

thus, the substitution exhibit the map from $\mathbb{F}(X)$ to the $\mathbb{F}[t]$ (the field of rational function in $t$). This map is also an isomophism from $\mathbb{F}(X)$ to some subfield of $\mathbb{F}[t]$.
Now we can use Lüroth's Theorem to extend this property, that is it is indeed true that $\mathbb{F}(X)$ is isomorphic to $\mathbb{F}[t]$.

ShareShare on Facebook

TweetShare on Twitter

Pin ItShare on Pinterest