Reference number : GC-2017-Q1-02120, amendment number : , agreement type : G, recipient legal name : Riley, David (The University of Western Ontario), recipient country : CA, recipient province : nan, recipient city : Ontario, recipient postal code : nan, program name english : Discovery Grants Program - Individual, program name french : Programme de subventions à la découverte - individuelles, program purpose english : First posed early in the 20th century, the Burnside Problem for groups asked: is every finitely generated periodic group finite? The Kurosh-Levitzki Problem is an algebraic analogue: is every finitely generated algebraic algebra finite-dimensional? Counterexamples were first constructed by Golod and Shafarevich in the 1960's. It was natural, therefore, to reformulate these problems with additional hypotheses in order to obtain positive solutions. Kaplansky more-or-less invented the field of polynomial identity algebras in order to give his best possible solution to this problem. Zelmanov won the Fields Medal in 1994 for his proof that every finitely generated residually finite group is finite, thereby solving the so-called Restricted Burnside Problem for groups. In order to do this, he gave first a positive solution to the Kurosh-Levtzki Problem for Lie algebras of a certain type. These amazing results, together with the powerful theory developed in order to prove them, have inspired my own research program for over twenty-five years. 
 
Studying problems of so-called Burnside-type has always been at the core of my research program. These sorts of problems occur naturally in all areas of algebra: group theory and associative algebra, as well as nonassociative algebra, like Lie algebra and Jordan algebra. The idea is to deduce global phenomena from what appears on the surface to be weak local conditions. For example, I investigate when global laws - namely, polynomial identities - can be deduced to hold in an algebra knowing only that a smaller, weaker, collection of relations hold among a few elements taken at a time. 
 
My current Proposal has two key themes. The first theme addresses the polynomial identities of associative and Lie algebras with a given "hypomorphic" action. Hypomorphic actions include gradings by groups, Hopf algebra actions, actions by involutions, actions by derivations and anti-derivations, and the left regular action of an algebra on itself. I seek to extend and unify a series key results from PI-theory by proving that if such algebras satisfy an identity involving the action, then it actually satisfies an ordinary polynomial identity. In fact, I conjecture that one only needs relations involving the action of bounded length in order to conclude such a result. 
 
The second theme of my Proposal addresses the verbal subspaces of an algebra. A "verbal" subspace is the subspace generated by all the values a polynomial in an algebra. Apart from a few very special polynomials, this is a completely new area of investigation in noncommutative PI-theory. One of the first problems under consideration asks: if the verbal subspace is finite-dimensional, does it follow that the verbal subalgebra and verbal ideal generated by the verbal subspace is also finite-dimensional? There is an interesting dual to every verbal subspace: the "marginal" subspace generated by the "zeros" of a polynomial., program purpose french : First posed early in the 20th century, the Burnside Problem for groups asked: is every finitely generated periodic group finite? The Kurosh-Levitzki Problem is an algebraic analogue: is every finitely generated algebraic algebra finite-dimensional? Counterexamples were first constructed by Golod and Shafarevich in the 1960's. It was natural, therefore, to reformulate these problems with additional hypotheses in order to obtain positive solutions. Kaplansky more-or-less invented the field of polynomial identity algebras in order to give his best possible solution to this problem. Zelmanov won the Fields Medal in 1994 for his proof that every finitely generated residually finite group is finite, thereby solving the so-called Restricted Burnside Problem for groups. In order to do this, he gave first a positive solution to the Kurosh-Levtzki Problem for Lie algebras of a certain type. These amazing results, together with the powerful theory developed in order to prove them, have inspired my own research program for over twenty-five years. 
 
Studying problems of so-called Burnside-type has always been at the core of my research program. These sorts of problems occur naturally in all areas of algebra: group theory and associative algebra, as well as nonassociative algebra, like Lie algebra and Jordan algebra. The idea is to deduce global phenomena from what appears on the surface to be weak local conditions. For example, I investigate when global laws - namely, polynomial identities - can be deduced to hold in an algebra knowing only that a smaller, weaker, collection of relations hold among a few elements taken at a time. 
 
My current Proposal has two key themes. The first theme addresses the polynomial identities of associative and Lie algebras with a given "hypomorphic" action. Hypomorphic actions include gradings by groups, Hopf algebra actions, actions by involutions, actions by derivations and anti-derivations, and the left regular action of an algebra on itself. I seek to extend and unify a series key results from PI-theory by proving that if such algebras satisfy an identity involving the action, then it actually satisfies an ordinary polynomial identity. In fact, I conjecture that one only needs relations involving the action of bounded length in order to conclude such a result. 
 
The second theme of my Proposal addresses the verbal subspaces of an algebra. A "verbal" subspace is the subspace generated by all the values a polynomial in an algebra. Apart from a few very special polynomials, this is a completely new area of investigation in noncommutative PI-theory. One of the first problems under consideration asks: if the verbal subspace is finite-dimensional, does it follow that the verbal subalgebra and verbal ideal generated by the verbal subspace is also finite-dimensional? There is an interesting dual to every verbal subspace: the "marginal" subspace generated by the "zeros" of a polynomial., agreement title english : Combinatorial algebra: identities, actions and gradings, agreement title french : Combinatorial algebra: identities, actions and gradings, agreement number : RGPIN, agreement value : 70000.0, agreement start date : 2017-05-10, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year. (2017-2018 to 2022-2023), additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier. (2017-2018 à 2022-2023), owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada