Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-27T23:54:04.434Z Has data issue: false hasContentIssue false
  • English
  • Français

Codimension growth for weak polynomial identities, and non-integrality of the PI exponent

Part of: Rings with polynomial identity Lie algebras and Lie superalgebras

Published online by Cambridge University Press:  20 July 2020

David Levi da Silva Macedo  and
Plamen Koshlukov
David Levi da Silva Macedo
Affiliation:
Department of Mathematics, State University of Campinas, 651 Sérgio Buarque de Holanda, Campinas, SP13083-859, Brazil (david.levi@ufrpe.br; plamen@unicamp.br)
Plamen Koshlukov
Affiliation:
Department of Mathematics, State University of Campinas, 651 Sérgio Buarque de Holanda, Campinas, SP13083-859, Brazil (david.levi@ufrpe.br; plamen@unicamp.br)
Get access Rights & Permissions [Opens in a new window]

Abstract

Let K be a field of characteristic zero. In this paper, we study the polynomial identities of representations of Lie algebras, also called weak identities, or identities of pairs. These identities are determined by pairs of the form (A, L) where A is an associative enveloping algebra for the Lie algebra L. Then a weak identity of (A, L) (or an identity for the representation of L associated to A) is an associative polynomial which vanishes when evaluated on elements of L⊆ A. One of the most influential results in the area of PI algebras was the theory developed by Kemer. A crucial role in it was played by the construction of the Grassmann envelope of an associative algebra and the close relation of the identities of the algebra and its Grassmann envelope. Here we consider varieties of pairs. We prove that under some restrictions one can develop a theory similar to that of Kemer's in the study of identities of representations of Lie algebras. As a consequence, we establish that in the case when K is algebraically closed, if a variety of pairs does not contain pairs corresponding to representations of sl2(K), and if the variety is generated by a pair where the associative algebra is PI then it is soluble. As another consequence of the methods used to obtain the above result, and applying ideas from papers by Giambruno and Zaicev, we were able to construct a pair (A, L) such that its PI exponent (if it exists) cannot be an integer. We recall that the PI exponent exists and is an integer whenever A is an associative (a theorem by Giambruno and Zaicev), or a finite-dimensional Lie algebra (Zaicev). Gordienko also proved that the PI exponent exists and is an integer for finite-dimensional representations of Lie algebras.

Keywords

Weak identitiesCodimensionsCodimension growthNon-integer PI exponent

MSC classification

Primary: 17B01: Identities, free Lie (super)algebras
Secondary: 17B30: Solvable, nilpotent (super)algebras 17B70: Graded Lie (super)algebras 16R10: $T$-ideals, identities, varieties of rings and algebras
Type
Research Article
Information
Proceedings of the Edinburgh Mathematical Society , Volume 63 , Issue 4 , November 2020 , pp. 929 - 949
Check for updates
Copyright
Copyright © The Author(s), 2020. Published by Cambridge University Press on Behalf of The Edinburgh Mathematical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1.Berele, A., Cocharacter sequences for algebras with Hopf algebra actions, J. Algebra 185 (1996), 869–885.CrossRefGoogle Scholar
2.Drensky, V., Free algebras and PI-algebras (Singapore, Springer-Verlag, 2000).Google Scholar
3.Giambruno, A. and Zaicev, M., On codimension growth of finitely generated associative algebras, Adv. Math. 140 (1998), 145–155.CrossRefGoogle Scholar
4.Giambruno, A. and Zaicev, M., Polynomial identities and asymptotic methods, Mathematical Surveys and Monographs, Volume, 122 (Amer. Math. Soc., Providence, RI, 2005).CrossRefGoogle Scholar
5.Giambruno, A. and Zaicev, M., On codimension growth of finite-dimensional Lie superalgebras, J. Lond. Math. Soc. 85 (2012), 534–548.CrossRefGoogle Scholar
6.Giambruno, A. and Zaicev, M., Non-integrality of the PI-exponent of special Lie algebras, Adv. Appl. Math. 51(5) (2013), 619–634.CrossRefGoogle Scholar
7.Gordienko, A. S., Codimensions of polynomial identities of representations of Lie algebras, Proc. Am. Math. Soc. 141(10) (2013), 3369–3382.CrossRefGoogle Scholar
8.Kac, V., Lie superalgebras, Adv. Math. 26 (1977), 8–96.CrossRefGoogle Scholar
9.Kemer, A., Ideals of Identities of Associative Algebras, Transl. Math. Monogr., Volume, 87 (Amer. Math. Soc., Providence RI, 1988).Google Scholar
10.Razmyslov, Yu. P., Finite basing of the identities of a matrix algebra of second order over a field of characteristic 0, (Russian), Algebra i Logika 12 (1973), 83–113. Translation: Algebra Logic 12, 43–63, (1983).Google Scholar
11.Razmyslov, Yu. P., Identities of algebras and their representations, Translations of Math. Monographs, Volume, 138 (Providence, RI,, Amer. Math. Soc., 1994).CrossRefGoogle Scholar
12.Regev, A., Existence of identities in A ⊗ B, Israel J. Math. 11 (1972), 131–152.CrossRefGoogle Scholar
13.Zaicev, M., Integrality of exponents of growth of identities of finite-dimensional Lie algebras, (Russian), Izv. Ross. Akad. Nauk, Ser. Mat. 66(3) (2002), 23–48. English translation: Izv. Math. 66, 463–478, (2002).Google Scholar