Let $Y$ be a projective variety of $\mathbb{P}^n$. Let $U_i$ be the open set of $\mathbb{P}^n$ corresponding to $x_i \neq 0$. Define $Y_i = Y \cap U_i$. Why can we view $Y_i$ as an affine variety? We know that $U_i$ is isomorphic to $\mathbb{A}^n$, so we can view $Y_i$ as a subset of an affine variety. (i assume that variety implies irreducible, following Hartshorne). Also, $Y_i$ is open in $Y$, so it is irreducible and dense in $Y$. That makes it a quasi-projective variety. But why is it an algebraic set of $\mathbb{A}^n$?
Viewing a quasi-projective variety as an affine variety
-
0Yes, thanks, i correct! – 2012-10-09
3 Answers
For simplicity of notation, let's assume $i=0$. Write $Y$ as the homogeneous vanishing set of a homogeneous ideal $I\subset k[x_0,\ldots,x_n]$, so $Y = \{[a_0:\cdots:a_n]: f(a_0,\ldots,a_n)=0 \forall f\in I\}$. Then
$Y_0 = \{[1:a_1:\cdots:a_n]:f(1,a_1,\ldots,a_n)=0 \forall f\in I\}$ is the vanishing set in $\mathbb{A}^n$ of $I_0 := \{f(1,x_1,\ldots,x_n): f\in I\}$. Similarly for $i\neq 0$.
-
0$Y$ is the vanishing set of the homogeneous elements of $I$. – 2012-10-09
Well, if I understand well, $Y=\{{\bf x} \in k^{n+1} \mid f({\bf x})=0\}$ for a (family of) homogeneous polynomial(s) $f\in k[x_0,..,x_n]$.
Then $Y_i$ will correspond to the $f(x_0,..,\overbrace{1}^{i\text{-th}},..x_n)$ polynomial(s).
-
0Right, cause $Y_i$ is open in $Y$. To be a projective variety we need it to be closed. – 2012-10-09
Not sure if I am misunderstanding your question, but to show that $Y \cap U_i$ is homeomorphic to an affine variety, as you noted, $Y \cap U_i$ is open in the irreducible set $Y$, so $Y \cap U_i$ is itself an irreducible topological space. Also, $Y \cap U_i$ is closed in $U_i$, because $Y$ is closed in $\mathbb{P}^n$.
Now we have established $Y \cap U_i$ is an irreducible closed subset of $U_i$, so the homeomorphism $\phi: U_i \rightarrow \mathbb{A}^n$ sends $Y \cap U_i$ to an irreducible closed subset of $\mathbb{A}^n$, i.e. an affine variety.