Skip to main content
2 of 2
If map is not regular, one should use \dashrightarrow .

Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$

Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?

  1. There is a purely inseparable $k$-rational dominant map $\varphi\!: X \dashrightarrow \mathbb{P}^2$.

  2. There is a purely inseparable $k$-rational dominant map $\psi\!: \mathbb{P}^2 \dashrightarrow X$, i.e., $X$ is a generalized Zariski surface.

Are degrees of $\varphi$ and $\psi$ equal?