Operator identities on Lie algebras, rewriting systems and Gröbner-Shirshov bases

Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's Program on Algebraic Operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Gröbner-Shirshov bases. These developments also suggest that Rota's insight can be applied to determine operator identities on Lie algebras, and thus to put the various linear operators on Lie algebras in a uniform perspective. This paper carries out this approach, utilizing operated polynomial Lie algebras spanned by nonassociative Lyndon-Shirshov bracketed words. The Lie algebra analog of Rota's program is formulated in terms convergent rewriting systems and equivalently in terms of Gröbner-Shirshov bases. The relation of this Lie algebra analog of Rota's program with Rota's program for associative algebras is established. Applications are given to modified Rota-Baxter operators, differential type operators and Rota-Baxter type operators.