Poisson brackets and two-generated subalgebras of rings of polynomials

Authors:
Ivan P. Shestakov and Ualbai U. Umirbaev

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

Published electronically:
October 3, 2003

MathSciNet review:
2015333

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We introduce a Poisson bracket on the ring of polynomials over a field of characteristic and apply it to the investigation of subalgebras of the algebra . An analogue of the Bergman Centralizer Theorem is proved for the Poisson bracket in . The main result is a lower estimate for the degrees of elements of subalgebras of generated by so-called -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.

**1.**S. S. Abhyankar, T. -T. Moh, Embeddings of the line in the plane, J. reine angew. Math. 276 (1975), 148-166. MR**52:407****2.**H. Bass, E. H. Connell, D. 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**83k:14028****3.**G. M. Bergman, Centralizers in free associative algebras, Trans. Amer. Math. Soc. 137 (1969), 327-344. MR**38:4506****4.**P. M. Cohn, Free rings and their relations, 2nd edition, Academic Press, London, 1985. MR**87e:16006****5.**H. W. E. Jung, Über ganze birationale Transformationen der Ebene, J. reine angew. Math. 184 (1942), 161-174. MR**5:74f****6.**L. Makar-Limanov, Locally nilpotent derivations, a new ring invariant and applications, preprint.**7.**G. A. Noskov, The cancelation problem for a ring of polynomials, Sibirsk. Mat. Zh. 19 (1976), no. 6, 1413-1414. MR**81g:13005****8.**A. Nowicki, M. Nagata, Rings of constants for -derivations in , J. Math. Kyoto Univ. 28-1 (1988), 111-118. MR**89b:13009****9.**D. Shannon, M. Sweedler, Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence, J. Symbolic Comput. 6 (1988), 267-273. MR**90e:13002****10.**I. P. Shestakov, Quantization of Poisson superalgebras and speciality of Jordan Poisson superalgebras, Algebra i logika, 32 (1993), no. 5, 571-584; English translation: in Algebra and Logic, 32 (1993), no. 5, 309-317. MR**95c:17034****11.**U. U. Umirbaev, Universal derivations and subalgebras of free algebras, In Proc. 3rd Internat. Conf. in Algebra (Krasnoyarsk, 1993). Walter de Gruyter, Berlin, 1996, 255-271. MR**97c:16030****12.**J. -T. Yu, On relations between Jacobians and minimal polynomials, Linear Algebra Appl. 221 (1995), 19-29. MR**96c:14014****13.**A. Zaks, Dedekind subrings of are rings of polynomials, Israel J. Math. 9 (1971), 285-289. MR**43:6191**

Retrieve articles in *Journal of the American Mathematical Society*
with MSC (2000):
13F20,
13P10,
14R10,
14R15,
17B63

Retrieve articles in all journals with MSC (2000): 13F20, 13P10, 14R10, 14R15, 17B63

Additional 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

Email:
shestak@ime.usp.br

**Ualbai U. Umirbaev**

Affiliation:
Department of Mathematics, Eurasian National University, Astana, 473021, Kazakhstan

Email:
umirbaev@yahoo.com

DOI:
https://doi.org/10.1090/S0894-0347-03-00438-7

Keywords:
Rings of polynomials,
Poisson brackets,
subalgebras

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

Article copyright:
© Copyright 2003
American Mathematical Society