On polynomial automorphisms of spheres (Q1001431)

The authors study \(\Aut(S^n(K))\), the automorphism group of the \(n\)-sphere over \(K\), an infinite field of characteristic different from two. In particular, they study the relation of \(\Aut(S^n(K))\) and \(\Aut(K^{n+1},S^n(K))\), the latter being the automorphisms of \(K^n\) preserving \(S^n(K)\). Some results of the article: -- If \(K\) is infinite and not of characteristic 2, then \(\Aut(K^{n+1},S^n(K))\) equals \[ \{\varphi \in \Aut(K^{n+1})~|~\varphi(x_0^2+\ldots+x_n^2)=x_0^2+\ldots+x_n^2\}. \] -- If \(K\) is a real field (that is, \(x_1^2+\ldots+x_n^2=-1\) has no solutions) then \(\Aut(K^{n+1},S^n(K))=O(n+1,K)\), the set of orthogonal linear maps. -- \(\Aut(K^2,S^1(K))\) is isomorphic to \(\Aut(S^1(K))\). -- \(\Aut(K^3,S^2(K))\longrightarrow \Aut(S^2(K))\) is a surjection for any algebraically closed field \(K\) with characteristic different from two.