8
$\begingroup$

Let $Y \subset \mathbb{P}^n$ be a projective variety and let $U_i$ be the open set $x_i \neq 0$. Let $\phi_i : U_i \rightarrow \mathbb{A}^n$ be the isomorphism of varieties, defined e.g. in Hartshorne p. 10, that takes a point $P=(a_0,\cdots,a_n) \in \mathbb{P}^n$ to $(a_0/a_i,\cdots,a_n/a_i) \in \mathbb{A}^n$. Define $Y_i$ to be the image of the closed set $U_i \cap Y$ under $\phi_i$. Then $Y_i$ is an affine variety of $\mathbb{A}^n$.

Question: Hartshorne in the proof of Theorem 3.4(c), p. 18, says that $K(Y)=K(Y_i)$, where $K(\cdot)$ means field of rational functions (function field). Why is this true?

$\endgroup$

1 Answer 1

6
$\begingroup$

A rational function on $Y$ is by definition a regular function defined on an open (dense) subvariety of $Y$ (up to the equivalence relation of being equal to another locally defined regular function on the intersection of the open sets where they are defined). Since the intersection of two open dense subsets is open and dense, a rational function on $Y$ defines a rational function on $Y_i$ and vice-versa.

$\endgroup$
7
  • $\begingroup$ Dear Andrew, i would like some clarification on your last sentence. I can see that a rational function of $Y$, say a pair $(V,f)$ gives a rational function of $Y_i$ by $(\phi_i(V),\alpha(f))$, where $a$ is the "dehomogenization" morphism. Where i have trouble is the converse. If $(W,g)$ is a rational function of $Y_i$, this is mapped to $(\phi_i^{-1}(W),\beta(g))$, where $\beta$ is the "homogenization" morphism. However, $\phi_i^{-1}(W) \subset U_i$, so it seems that i can not reach all rational functions of $Y$ from $K(Y_i)$. Thanks! $\endgroup$
    – Manos
    Jul 31, 2013 at 19:24
  • $\begingroup$ Dear @Manos, remember that the open sets in the Zariski topology are very big, and intersect nontrivially on (irreducible) varieties! So $\phi_i^{-1}(W)$ is open and thus dense in $Y$ -- it is clearly open in $Y\cap U_i\cong Y_i$ by isomorphism, thus there exists open $\widetilde W\subseteq Y$ such that $\widetilde W\cap U_i =\phi_i^{-1}(W)$ by definition of the subspace topology on $Y\cap U_i$. This implies that $\beta(g)$ is defined on an open set of $Y$, which must be dense. $\endgroup$
    – Andrew
    Jul 31, 2013 at 19:44
  • $\begingroup$ In other words, $g$ is defined on a nontrivial open subset $W$ of $Y_i$, and $Y_i$ is open in $Y$, thus $W$ is open and nontrivial in $Y$. $\endgroup$
    – Andrew
    Jul 31, 2013 at 19:49
  • $\begingroup$ Ah! This is the point of rational functions -- they are not meant to be defined everywhere! They are generally only regular on an open subset. For example, $K(\mathbb P^1) = K(\mathbb A^1)\cong K(t)$ but $K[\mathbb P^1] = K$. There are many more rational functions than regular functions, namely those that can be extended to all of $\mathbb P^1$ (the constants). $\endgroup$
    – Andrew
    Jul 31, 2013 at 20:03
  • $\begingroup$ One final question and i am covered: what is the significance of the fact that $\beta(g)$ is defined on a dense set? $\endgroup$
    – Manos
    Jul 31, 2013 at 20:04

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .