Mathematics Asked by Hetong Xu on November 9, 2020
Again I’m here to ask for clarification on some already existed posts on the Hartshorne Exercise I.4.9, which goes like this:
Exercise: Let $X$ be a projective variety of dimension $r$ in $mathbf{P}^n$ with $ngeq r+2$. Show that for suitable choice of $Pnotin X$, and a linear $mathbf{P}^{n-1}subseteq mathbf{P}^n$, the projection from $P$ to $mathbf{P}^{n-1}$ induces a birational morphism of $X$ onto its image $X’subseteq mathbf{P}^{n-1}$.
In the post Exercise 4.9, Chapter I, in Hartshorne, @Takumi Murayama provided a great answer. But by looking up in the algebraic geometry note by J. Milne (especially Chapter 6, Section 6.27) and Shafarevich’s book (especially Volume I, Chapter 1, Example 1.27), it seems that the $pi$ constructed is a projection with center "the $(n-r-1)$-plane $Z(x_1/x_0,ldots,x_r/x_0,alpha)$" and project to the plane $Z(x_{r+2}/x_0,ldots,x_{n}/x_0)$. However, this seems not the projection that the exercise demands, which should be the projection from a point $P notin X$ to a linear plane $mathbf{P}^{n-1}$.
EDIT on Aug 1st, 2020 @Takumi Murayama has updated the answers there, which is of great help.
In the post On an exercise from Hartshone's Algebraic Geometry, Ch I sect 4, there is a proof which seems been adapted from this proof:
We can assume that $X$ is affine and is contained in $mathbb{A}^n$, the set of points in $mathbb{P}^n$ with first $x_0 = 0$. The field of fractions $K(X)$ is generated by $x_1, ldots, x_n$, so we can assume that $x_1, ldots, x_r$ is a separating transcendence basis for $K(X)/k$ by 4.7A and 4.8A, and K(X) is generated by $a_{r+1} x_{r+1} + cdots + a_n x_n$ for some $a_i$‘s in $k$, by 4.6A. As $r leq n – 2$, we can find a form $b_{r+1} x_{r+1} + cdots + b_n x_n$ not proportional to
$a_{r+1} x_{r+1} + cdots + a_n x_n$. Choose any point at infinity not in this plane (denoted by $Sigma$) or in $bar{X}$. Then the projection from this point to the plane maps $K(Sigma)$ onto $K(X)$, so it is an isomorphism from the function field of the image of $X$ to $K(X)$, and therefore a birational isomorphism.
But just as the comments there, I think the coefficients $a_i$‘s should be in $k(x_1, ldots, x_r)$ instead of $k$. However, I cannot figure out what the projection is if this holds. So could someone explain how this projection is constructed?
In a word, my question is:
How to construct the demanding projection? and I hope to get an explicit expression on the projection, so as to clarify that $X$ and the image $X^prime$ are birational.
After the construction, how to show the birationality.
Thank you all in advance! 🙂
Here is a proof that we can always find a point and a hyperplane as desired in the statement of the problem. This should also make the importance of the $r+2leq n$ assumption clearer. We assume that the statement of Takumi Muramaya's theorem 4.6A$^star$ has been proven - this is a very important gap to be filled and I thank him for his proof.
Theorem 4.6A$^star$. Let $L$ be a finite separable extension field of a field $K$, and suppose that $K$ contains an infinite subset $S$. Then, there is an element $alpha in L$ which generates $L$ as an extension field of $K$. Furthermore, if $beta_1,beta_2,ldots,beta_n$ is any set of generators of $L$ over $K$, then $alpha$ can be taken to be a linnear combination $$alpha = c_1beta_1 + c_2beta_2 + cdots + c_nbeta_n$$ of the $beta_i$ with coefficients $c_i in S$.
Taking $T_i$ as coordinates on $Bbb P^n$, up to a permutation of coordinates we may assume that $Xcap D(T_0)neqemptyset$. This implies that $k(X)$ is generated by the images of $t_i=frac{T_i}{T_0}$ under $k[D(T_0)]to k[Xcap D(T_0)] to k(X)$, so by theorem I.4.8A, the extension $ksubset k(X)$ is separably generated. By an application of theorem I.4.7A, $t_1,cdots,t_n$ must contain a separating transcendence base, and up to a permutation of coordinates we may assume that this is exactly $t_1,cdots,t_r$ so that $k(t_1,cdots,t_r)subset k(X)$ is a finite separable extension. As $ksubset k(t_1,cdots,t_r)$ is an infinite subset, we may apply our upgraded theorem of the primitive element to the extension $k(t_1,cdots,t_r)subset k(X)$ to find a primitive element $alpha = sum_{r+1}^n a_it_i$ with $a_iin k$ so that $k(X)=k(t_1,cdots,t_r,alpha)$. Up to a linear automorphism of $Bbb P^n$ fixing all the coordinates $T_0$ through $T_r$, we can assume that $alpha=t_{r+1}$. Now I claim that we can find a $Pin V(T_0,T_{r+1})cap D(T_{r+2})$ which isn't in $X$, and the projection $pi$ from $P$ to $V(T_{r+2})$ induces an isomorphism of function fields $k(pi(X))to k(X)$. The reason we can find such a $Pin V(T_0,T_{r+1})$ is the combination of our assumptions that $Xcap D(T_0)neq emptyset$ and $dim X < n-1$: the first assumption means that $dim Xcap V(T_0)< n-2$, so $Xcap V(T_0,T_{r+1})$ is a proper closed subset of $V(T_0,T_{r+1})$ and thus for $Pin V(T_0,T_{r+1})$ the conditions $Pnotin X$ and $Pin D(T_{r+2})$ are both satisfied on dense open sets.
To verify that $k(pi(X))to k(X)$ is an isomorphism, we start by computing the image of a point under the projection. Given a point $[x_0:cdots:x_n]in Bbb P^n$, its projection on to $V(T_{r+2})$ from $P=[0:p_1:cdots:p_r:0:1:p_{r+3}:cdots:p_n]$ is given by $[x_0:x_1-p_1x_{r+2}:cdots:x_r-p_rx_{r+2}:x_{r+1}:0:x_{r+3}-p_{r+3}x_{r+2}:cdots]$. This means that for any $ineq r+2$ the pullback of the function $t_iin k[pi(X)]$ is given by $t_i-p_it_{r+2}$ (in particular, $t_{r+1}$ pulls back to $t_{r+1}$), so the image of the map on function fields contains $k(t_1-p_1t_{r+2},t_2-p_2t_{r+2},cdots,t_r-p_rt_{r+2},t_{r+1})$. As $k(X)=k(t_1,cdots,t_r)(t_{r+1})$ by assumption, this means that $p_it_{r+2}$ can be written as a polynomial in $t_{r+1}$ for all $i$, and therefore $k(t_1-p_1t_{r+2},t_2-p_2t_{r+2},cdots,t_r-p_rt_{r+2},t_{r+1})=k(t_1,cdots,t_r)(t_{r+1})$, which is exactly $k(X)$. This means that $pi(X)$ is birationally equivalent to $X$ by corollary I.4.5.
Answered by KReiser on November 9, 2020
1 Asked on December 29, 2020 by user1770201
1 Asked on December 29, 2020 by questions
algebraic topology general topology line bundles vector bundles
1 Asked on December 29, 2020 by fizikus
elliptic equations partial differential equations self adjoint operators sturm liouville
1 Asked on December 29, 2020 by user818748
algebra precalculus alternative proof convexity inequality inequality symmetric polynomials
1 Asked on December 29, 2020 by starry
1 Asked on December 29, 2020 by xxxxxx
1 Asked on December 29, 2020 by broly-29
1 Asked on December 29, 2020 by mamta-kumari
1 Asked on December 29, 2020 by phy_math
generating functions infinite product integer partitions number theory summation
2 Asked on December 28, 2020 by karagum
1 Asked on December 28, 2020 by a-dragon
2 Asked on December 28, 2020 by martin-van-ijcken
0 Asked on December 28, 2020
abstract algebra derived categories derived functors homological algebra limits colimits
1 Asked on December 28, 2020 by samar-imam-zaidi
1 Asked on December 28, 2020 by user856180
4 Asked on December 28, 2020 by happy-turn
1 Asked on December 28, 2020 by praveen
1 Asked on December 27, 2020
1 Asked on December 27, 2020 by sabrinapat
Get help from others!
Recent Questions
Recent Answers
© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP