Actions of Hopf algebras on general quantum Mal'tsev power series and quantum planes. (Q2488371)

Algebras of quantum polynomials, \({\mathcal O}_{\mathbf q}=k_{\mathbf q}[X_1^{\pm 1},\dots,X_r^{\pm 1},X_{r+1},\dots,X_n]\), and two related division rings, \(F=\text{Fract\,}{\mathcal O}_{\mathbf q}\) and \({\mathcal F}=k_{\mathbf q}(\!(X_1,\dots,X_n)\!)\), are investigated. Here \(\mathbf q=(q_{ij})\) is a general multiplicatively antisymmetric matrix over a base field \(k\); the defining relations of \({\mathcal O}_{\mathbf q}\) are \(X_iX_j=q_{ij}X_jX_i\) for all \(i\) and \(j\); \(F\) is the Ore division ring of fractions of \({\mathcal O}_{\mathbf q}\); and \(\mathcal F\) is the Mal'tsev-Neumann division ring with respect to lexicographic order on monomials. Automorphisms, derivations, and Hopf algebra actions concerning these algebras are classified. A number of results are proved for the case \(n=2\) which were previously only known for \(n\geq 3\), in work of the author [Commun. Algebra 29, No. 9, 3889-3904 (2001; Zbl 1003.16009)] and the author and \textit{R. Wisbauer} [Algebr. Represent. Theory 4, No. 3, 219-247 (2001; Zbl 1019.16014)]. Samples of results from the paper follow. (1) When \(n=2\), the value group for any valuation on \(F\) is free Abelian of rank at most \(2\). (2) Any element of \(\mathcal F\) is conjugate to a power series in one variable of the form \(X_1^{s_1}X_2^{s_2}\cdots X_n^{s_n}\). (3) The automorphisms of \({\mathcal O}_{\mathbf q}\) and the finite subgroups of \(\Aut{\mathcal O}_{\mathbf q}\) are described when \(n=2\). (4) Continuous endomorphisms of \(\mathcal F\) are described when \(n=2\); all such are automorphisms. (5) Finite groups of continuous automorphisms of \(\mathcal F\) are conjugate to groups of toric automorphisms (those for which \(X_i\mapsto\gamma_iX_i\) with \(\gamma_i\in k^\times\)). (6) Continuous actions of pointed finite dimensional Hopf algebras on \(\mathcal F\) are described; they factor through actions of commutative, cocommutative, pointed Hopf algebras. (7) Any Poisson bracket on \({\mathcal O}_{\mathbf q}\) is a scalar multiple of the additive commutator bracket, as is any continuous Poisson bracket on \(\mathcal F\).