7
$\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$
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$
  • $\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 '13 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 '13 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 '13 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 '13 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 '13 at 20:04

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.