Skip to main content
Post Undeleted by Antoine Labelle
added 246 characters in body
Source Link
Antoine Labelle
  • 3.4k
  • 1
  • 8
  • 24

Here is a counterexample for surjectivity: $$B=k[x,y], A=B[X,Y]/(xX+yY-1)$$ It is easy to see that the image of the induced morphism is the plane minus the origin.

It is not hard neither to see that the extensionNow suppose $a\in A$ is algebraically closed: Ifa root of a nonzero polynomial with coefficients in $a\in \text{Frac}(A)=k(x,y,X)$$B$. As $\text{Frac}(A)=k(x,y,X)$ is algebraic overa purely transcendental extension of $\text{Frac}(B)=k(x,y)$, then it$a$ must be in $k(x,y)$ as this$\text{Frac}(B)$. Write $a=\frac{p}{q}$ for $p,q\in B$ relatively prime. If $a\not\in B$ then $q$ is not a purely transcendental field extensionunit, so its zero locus has dimension $1$, so it contains a point $(x_0,y_0)$ other than the origin. AsThen we can choose $k[x,y]$ is integrally closed$X_0,Y_0$ so that $x_0X_0+y_0Y_0=1$, and then $a$ must actually be inhas a pole at $k[x,y]$$(x_0,y_0,X_0,Y_0)$, which is a contradiction as $a\in A$.

Here is a counterexample for surjectivity: $$B=k[x,y], A=B[X,Y]/(xX+yY-1)$$ It is easy to see that the image of the induced morphism is the plane minus the origin.

It is not hard neither to see that the extension is algebraically closed: If $a\in \text{Frac}(A)=k(x,y,X)$ is algebraic over $\text{Frac}(B)=k(x,y)$, then it must be in $k(x,y)$ as this is a purely transcendental field extension. As $k[x,y]$ is integrally closed, $a$ must actually be in $k[x,y]$.

Here is a counterexample for surjectivity: $$B=k[x,y], A=B[X,Y]/(xX+yY-1)$$ It is easy to see that the image of the induced morphism is the plane minus the origin.

Now suppose $a\in A$ is a root of a nonzero polynomial with coefficients in $B$. As $\text{Frac}(A)=k(x,y,X)$ is a purely transcendental extension of $\text{Frac}(B)=k(x,y)$, then $a$ must be in $\text{Frac}(B)$. Write $a=\frac{p}{q}$ for $p,q\in B$ relatively prime. If $a\not\in B$ then $q$ is not a unit, so its zero locus has dimension $1$, so it contains a point $(x_0,y_0)$ other than the origin. Then we can choose $X_0,Y_0$ so that $x_0X_0+y_0Y_0=1$, and then $a$ has a pole at $(x_0,y_0,X_0,Y_0)$, which is a contradiction as $a\in A$.

Post Deleted by Antoine Labelle
Source Link
Antoine Labelle
  • 3.4k
  • 1
  • 8
  • 24

Here is a counterexample for surjectivity: $$B=k[x,y], A=B[X,Y]/(xX+yY-1)$$ It is easy to see that the image of the induced morphism is the plane minus the origin.

It is not hard neither to see that the extension is algebraically closed: If $a\in \text{Frac}(A)=k(x,y,X)$ is algebraic over $\text{Frac}(B)=k(x,y)$, then it must be in $k(x,y)$ as this is a purely transcendental field extension. As $k[x,y]$ is integrally closed, $a$ must actually be in $k[x,y]$.