Ax-Grothendieck Theorem states that if $\mathbf K$ is an algebraically closed field, then any injective polynomial map $P:\mathbf K^n\longrightarrow \mathbf K^n$ is bijective.

<blockquote><b>Question 1.</b> What does the inverse map of $P$ look like ? What kind of map is that ?</blockquote>

$P^{-1}$ need not be polynomial, as the example $x^p$ in $\mathbf F_p^{alg}$ shows.

<blockquote><b>Question 2.</b> Are there conditions under which $P^{-1}$ is polynomial ?</blockquote>