Birational morphisms of the plane

Shpilrain, Vladimir; Yu, Jie-Tai

doi:10.1090/S0002-9939-04-07490-8

Birational morphisms of the plane
HTML articles powered by AMS MathViewer

by Vladimir Shpilrain and Jie-Tai Yu PDF

Proc. Amer. Math. Soc. 132 (2004), 2511-2515 Request permission

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 $\varphi$ of the polynomial algebra $K[x,y]$ such that for the quotient fields, one has $K(\varphi (x), \varphi (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.

References

William W. Adams and Philippe Loustaunau, An introduction to Gröbner bases, Graduate Studies in Mathematics, vol. 3, American Mathematical Society, Providence, RI, 1994. MR 1287608, DOI 10.1090/gsm/003
P. Cassou-Nogues and P. Russell, On some birational endomorphisms of the affine plane, preprint.
P. M. Cohn, Free rings and their relations, 2nd ed., London Mathematical Society Monographs, vol. 19, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London, 1985. MR 800091
D. Daigle, Birational endomorphisms of the affine plane, J. Math. Kyoto Univ. 31 (1991), no. 2, 329–358. MR 1121170, DOI 10.1215/kjm/1250519792
David Eisenbud and Walter Neumann, Three-dimensional link theory and invariants of plane curve singularities, Annals of Mathematics Studies, vol. 110, Princeton University Press, Princeton, NJ, 1985. MR 817982
Roger C. Lyndon and Paul E. Schupp, Combinatorial group theory, Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1977 edition. MR 1812024, DOI 10.1007/978-3-642-61896-3
Penelope G. Wightwick, Equivalence of polynomials under automorphisms of $\Bbb C^2$, J. Pure Appl. Algebra 157 (2001), no. 2-3, 341–367. MR 1812060, DOI 10.1016/S0022-4049(00)00014-1
Vladimir Shpilrain and Jie-Tai Yu, Embeddings of curves in the plane, J. Algebra 217 (1999), no. 2, 668–678. MR 1700520, DOI 10.1006/jabr.1998.7811
Vladimir Shpilrain and Jie-Tai Yu, Peak reduction technique in commutative algebra: a survey, Combinatorial and computational algebra (Hong Kong, 1999) Contemp. Math., vol. 264, Amer. Math. Soc., Providence, RI, 2000, pp. 237–247. MR 1800699, DOI 10.1090/conm/264/04223