pith. sign in

arxiv: math/0309125 · v1 · pith:SDWA23UQnew · submitted 2003-09-07 · 🧮 math.AG · math.AC

Birational morphisms of the plane

classification 🧮 math.AG math.AC
keywords birationalpolynomialgivenmappingsautomorphismsmorphismmorphismsobvious
0
0 comments X
read the original abstract

Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings \phi of the polynomial algebra K[x,y] such that for the quotient fields, one has K(\phi(x), \phi(y)) = K(x,y). Polynomial automorphisms are obvious examples of such mappings. Another obvious example is the mapping \tau_x given by x \to x, y \to xy. For a while, it was an open question whether every birational morphism is a product of polynomial automorphisms and copies of \tau_x. This question was answered in the negative by P. Russell (in an informal communication). In this paper, we give a simple combinatorial solution of the same problem. More importantly, our method yields an algorithm for deciding whether a given birational morphism can be factored that way.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.