A prolongation of the question composition-of-polynomial-functions-which-gives-the-identity: Let $f_1,\ldots,f_n, g_1,\ldots, g_n$ be polynomials in $\mathbb{Q}[X_1,\ldots,X_n]$ such that if $g=(g_1,\ldots,g_n)$ then $f_i(g(x_1,\ldots,x_n))=x_i$ for all $i=1,\ldots,n$. Does it follow that SOME $f_i$ or $g_j$ has degree 1?
-
$\begingroup$ @ Mahdi Majidi-Zolbanin - Of course, $n>1$. $\endgroup$– Boris NovikovDec 18, 2011 at 15:39
-
$\begingroup$ @Boris: Sorry I deleted my comment, because even though the answer to your question is yes for $n=1$, your question still makes sense without saying $n>1$. $\endgroup$– Mahdi Majidi-ZolbaninDec 18, 2011 at 15:42
2 Answers
Of course not. For example, consider the automorphism of $\mathbb Q[x, y]$ given by $(x, y) \mapsto (x+y^2, y + (x+y^2)^2)$.
-
3$\begingroup$ Is it really necessary to start an answer with an "of course"? $\endgroup$ Dec 18, 2011 at 17:40
-
1
-
2$\begingroup$ Of course it is not necessary; but when you start playing around with automorphisms of polynomial rings you discover these examples very quickly. $\endgroup$– AngeloDec 18, 2011 at 17:49
-
-
$\begingroup$ @Boris: no. The inverse map is given by $(x-(y-x^2)^2,y-x^2)$. $\endgroup$ Dec 19, 2011 at 11:37
Here is another way to say what Angelo said. Pick any set of polynomials $\left(g_1,\ldots,g_n\right)$ such that it has Groebner basis $\left[x_1,\ldots,x_n\right]$ under lexicographical order $\left[x_n,\ldots,x_1\right]$. Then you can get the $f_j$'s from the cofactors (pdf).
[This is merely a more constructive way of phrasing the answer, so that you may construct more examples for yourself easily, which is not as easy to do given Angelo's answer.]
-
$\begingroup$ Is it true then, that every $f_i$ and every $g_i$ must have a degree $1$ term? $\endgroup$ Dec 18, 2011 at 16:12
-
1$\begingroup$ @Mahdi: yes on both counts. Easy proof by contradiction and combinatorics -- just look at the (total) degrees of each term in the result. $\endgroup$ Dec 18, 2011 at 16:29
-
1$\begingroup$ To Mahdi: or, more geometrically, notice that if some $f_i$ had no term of degree, the differential of the polynomial map given by the $f_i$ would would vanish at some point. $\endgroup$– AngeloDec 18, 2011 at 16:39
-
$\begingroup$ @ Jacques Carette - Your answer is too laconic for me $\endgroup$ Dec 19, 2011 at 0:22
-
$\begingroup$ @Boris: added links for all the important parts. If you don't already know about Groebner bases, you're better off reading the Wikipedia entry than having me try to expand my answer into a tutorial on the topic. $\endgroup$ Dec 19, 2011 at 1:14