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

Published electronically:
October 3, 2003

MathSciNet review:
2015333

Full-text PDF Free Access

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.**Shreeram S. Abhyankar and Tzuong Tsieng Moh,*Embeddings of the line in the plane*, J. Reine Angew. Math.**276**(1975), 148–166. MR**0379502****2.**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**, 10.1090/S0273-0979-1982-15032-7**3.**George M. Bergman,*Centralizers in free associative algebras*, Trans. Amer. Math. Soc.**137**(1969), 327–344. MR**0236208**, 10.1090/S0002-9947-1969-0236208-5**4.**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****5.**Heinrich W. E. Jung,*Über ganze birationale Transformationen der Ebene*, J. Reine Angew. Math.**184**(1942), 161–174 (German). MR**0008915****6.**L. Makar-Limanov, Locally nilpotent derivations, a new ring invariant and applications, preprint.**7.**G. A. Noskov,*The cancellation problem for a ring of polynomials*, Sibirsk. Mat. Zh.**19**(1978), no. 6, 1413–1414, 1440 (Russian). MR**515197****8.**Andrzej Nowicki and Masayoshi Nagata,*Rings of constants for 𝑘-derivations in 𝑘[𝑥₁,\cdots,𝑥_{𝑛}]*, J. Math. Kyoto Univ.**28**(1988), no. 1, 111–118. MR**929212****9.**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**, 10.1016/S0747-7171(88)80047-6**10.**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**, 10.1007/BF02261711**11.**Ualbaĭ U. Umirbaev,*Universal derivations and subalgebras of free algebras*, Algebra (Krasnoyarsk, 1993) de Gruyter, Berlin, 1996, pp. 255–271. MR**1399590****12.**Jie Tai Yu,*On relations between Jacobians and minimal polynomials*, Linear Algebra Appl.**221**(1995), 19–29. MR**1331786**, 10.1016/0024-3795(93)00220-T**13.**Abraham Zaks,*Dedekind subrings of 𝑘[𝑥₁,\cdots,𝑥_{𝑛}] are rings of polynomials*, Israel J. Math.**9**(1971), 285–289. MR**0280471**

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:
http://dx.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