1
$\begingroup$

Let $f: X \rightarrow Y$ be a finite injective dominant unramified morphism, where $X$ is a normal and $Y$ is a regular scheme over a field $k$ (which I am not assuming to be algebraically closed or of characteristic 0).

Is it true that $f$ is birational?

$\endgroup$
3
  • 3
    $\begingroup$ Welcome, new contributor. The answer is no: take $\mathrm{Spec}(\mathbb{C})\to \mathrm{Spec}(\mathbb{R})$. $\endgroup$ Commented Jul 11, 2021 at 9:30
  • 3
    $\begingroup$ For varieties over $\mathbb{C}$, the birationality should be a consequence of the following result: If $f:X \to Y$ is a morphism of varieties and either $f$ is finite or $X$ and $Y$ are projective, then $f$ is an isomorphism if and only if $f$ is bijective and $\mathrm{d} f: T_x(X) \to T_{f(x)}(Y)$ is injective for all $x \in X$. $\endgroup$ Commented Jul 11, 2021 at 9:51
  • 2
    $\begingroup$ See mathoverflow.net/questions/164937/… $\endgroup$ Commented Jul 11, 2021 at 9:52

0

You must log in to answer this question.

Browse other questions tagged .