Equations in simple Lie algebras
Tatiana Bandman, Nikolai Gordeev, Boris Kunyavskii, Eugene Plotkin

TL;DR
This paper investigates polynomial maps induced by equations in simple Lie algebras, proving dominance and surjectivity properties, and explores implications for matrix algebra polynomial maps, extending classical theorems to Lie algebra contexts.
Contribution
It establishes dominance and surjectivity of polynomial maps in simple Lie algebras, generalizing Borel's theorem and analyzing specific monomials' images.
Findings
Polynomial maps are dominant in simple Lie algebras if not identities in sl(2,K).
Engel monomials map onto noncentral elements under certain conditions.
Large degree monomials have images excluding nonzero central elements.
Abstract
Given an element of the finitely generated free Lie algebra, for any Lie algebra we can consider the induced polynomial map . Assuming that is an arbitrary field of characteristic , we prove that if is not an identity in , then this map is dominant for any Chevalley algebra . This result can be viewed as a weak infinitesimal counterpart of Borel's theorem on the dominancy of the word map on connected semisimple algebraic groups. We prove that for the Engel monomials and, more generally, for their linear combinations, this map is, moreover, surjective onto the set of noncentral elements of provided that the ground field is big enough, and show that for monomials of large degree the image of this map contains no nonzero central elements. We also discuss consequences of these results for polynomial…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
