## Poisson brackets and two-generated subalgebras of rings of polynomials

HTML articles powered by AMS MathViewer

- by Ivan P. Shestakov and Ualbai U. Umirbaev;
- J. Amer. Math. Soc.
**17**(2004), 181-196 - DOI: https://doi.org/10.1090/S0894-0347-03-00438-7
- Published electronically: October 3, 2003
- PDF | Request permission

## Abstract:

We introduce a Poisson bracket on the ring of polynomials $A=F[x_1,x_2, \ldots ,x_n]$ over a field $F$ of characteristic $0$ and apply it to the investigation of subalgebras of the algebra $A$. An analogue of the Bergman Centralizer Theorem is proved for the Poisson bracket in $A$. The main result is a lower estimate for the degrees of elements of subalgebras of $A$ generated by so-called $\ast$-reduced pairs of polynomials. The estimate involves a certain invariant of the pair which depends on the degrees of the generators and of their Poisson bracket. It yields, in particular, a new proof of the Jung theorem on the automorphisms of polynomials in two variables. Some relevant examples of two-generated subalgebras are given and some open problems are formulated.## References

- Shreeram S. Abhyankar and Tzuong Tsieng Moh,
*Embeddings of the line in the plane*, J. Reine Angew. Math.**276**(1975), 148–166. MR**379502** - Hyman Bass, Edwin H. Connell, and David Wright,
*The Jacobian conjecture: reduction of degree and formal expansion of the inverse*, Bull. Amer. Math. Soc. (N.S.)**7**(1982), no. 2, 287–330. MR**663785**, DOI 10.1090/S0273-0979-1982-15032-7 - George M. Bergman,
*Centralizers in free associative algebras*, Trans. Amer. Math. Soc.**137**(1969), 327–344. MR**236208**, DOI 10.1090/S0002-9947-1969-0236208-5 - 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** - Albert Eagle,
*Series for all the roots of a trinomial equation*, Amer. Math. Monthly**46**(1939), 422–425. MR**5**, DOI 10.2307/2303036
Makar L. Makar-Limanov, Locally nilpotent derivations, a new ring invariant and applications, preprint.
- G. A. Noskov,
*The cancellation problem for a ring of polynomials*, Sibirsk. Mat. Zh.**19**(1978), no. 6, 1413–1414, 1440 (Russian). MR**515197** - Andrzej Nowicki and Masayoshi Nagata,
*Rings of constants for $k$-derivations in $k[x_1,\cdots ,x_n]$*, J. Math. Kyoto Univ.**28**(1988), no. 1, 111–118. MR**929212**, DOI 10.1215/kjm/1250520561 - David Shannon and Moss Sweedler,
*Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence*, J. Symbolic Comput.**6**(1988), no. 2-3, 267–273. Computational aspects of commutative algebra. MR**988417**, DOI 10.1016/S0747-7171(88)80047-6 - I. P. Shestakov,
*Quantization of Poisson superalgebras and the specialty of Jordan superalgebras of Poisson type*, Algebra i Logika**32**(1993), no. 5, 571–584, 587 (1994) (Russian, with Russian summary); English transl., Algebra and Logic**32**(1993), no. 5, 309–317 (1994). MR**1287006**, DOI 10.1007/BF02261711 - Ualbaĭ U. Umirbaev,
*Universal derivations and subalgebras of free algebras*, Algebra (Krasnoyarsk, 1993) de Gruyter, Berlin, 1996, pp. 255–271. MR**1399590** - Jie Tai Yu,
*On relations between Jacobians and minimal polynomials*, Linear Algebra Appl.**221**(1995), 19–29. MR**1331786**, DOI 10.1016/0024-3795(93)00220-T - Abraham Zaks,
*Dedekind subrings of $k[x_{1},\cdots ,x_{n}]$ are rings of polynomials*, Israel J. Math.**9**(1971), 285–289. MR**280471**, DOI 10.1007/BF02771678

## Bibliographic Information

**Ivan P. Shestakov**- Affiliation: Instituto de Matemática e Estatística, Universidade de São Paulo, Caixa Postal 66281, São Paulo - SP, 05311–970, Brazil; Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia
- MR Author ID: 289548
- Email: shestak@ime.usp.br
**Ualbai U. Umirbaev**- Affiliation: Department of Mathematics, Eurasian National University, Astana, 473021, Kazakhstan
- Email: umirbaev@yahoo.com
- Received by editor(s): January 8, 2003
- Published electronically: October 3, 2003
- Additional Notes: The first author was supported by CNPq

The second author was supported by the FAPESP Proc. 00/06832-8 - © Copyright 2003 American Mathematical Society
- Journal: J. Amer. Math. Soc.
**17**(2004), 181-196 - MSC (2000): Primary 13F20, 13P10; Secondary 14R10, 14R15, 17B63
- DOI: https://doi.org/10.1090/S0894-0347-03-00438-7
- MathSciNet review: 2015333