Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
    
@ Mahdi Majidi-Zolbanin - Of course, $n>1$. –  Boris Novikov Dec 18 '11 at 15:39
    
@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$. –  Mahdi Majidi-Zolbanin Dec 18 '11 at 15:42
add comment

2 Answers 2

up vote 7 down vote accepted

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)$.

share|improve this answer
3  
Is it really necessary to start an answer with an "of course"? –  Ramiro de la Vega Dec 18 '11 at 17:40
1  
Of course not, is it? –  Ramiro de la Vega Dec 18 '11 at 17:41
2  
Of course it is not necessary; but when you start playing around with automorphisms of polynomial rings you discover these examples very quickly. –  Angelo Dec 18 '11 at 17:49
    
@ Angelo - in your example $g_2=y$? –  Boris Novikov Dec 19 '11 at 0:11
    
@Boris: no. The inverse map is given by $(x-(y-x^2)^2,y-x^2)$. –  Vladimir Dotsenko Dec 19 '11 at 11:37
show 1 more comment

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.]

share|improve this answer
    
Is it true then, that every $f_i$ and every $g_i$ must have a degree $1$ term? –  Mahdi Majidi-Zolbanin Dec 18 '11 at 16:12
1  
@Mahdi: yes on both counts. Easy proof by contradiction and combinatorics -- just look at the (total) degrees of each term in the result. –  Jacques Carette Dec 18 '11 at 16:29
1  
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. –  Angelo Dec 18 '11 at 16:39
    
@ Jacques Carette - Your answer is too laconic for me –  Boris Novikov Dec 19 '11 at 0:22
    
@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. –  Jacques Carette Dec 19 '11 at 1:14
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.