Complete commutative subalgebras in polynomial poisson algebras: A proof of the Mischenko-Fomenko conjecture

The Mishchenko-Fomenko conjecture says that for each real or complex finite-dimensional Lie algebra g there exists a complete set of commuting polynomials on its dual space g*. In terms of the theory of integrable Hamiltonian systems this means that the dual space g* endowed with the standard Lie-Poisson bracket admits polynomial integrable Hamiltonian systems. This conjecture was proved by S. T. Sadetov in 2003. Following his idea, we give an explicit geometric construction for commuting polynomials on g* and consider some examples. (This text is a revised version of my paper published in Russian: A. V. Bolsinov, Complete commutative families of polynomials in Poisson–Lie algebras: A proof of the Mischenko–Fomenko conjecture in book: Tensor and Vector Analysis, Vol. 26, Moscow State University, 2005, 87–109.