On the Complexity Functions for $T$-Ideals of Associative Algebras

V. M. Petrogradsky

Matematičeskie zametki, Tome 68 (2000) no. 6, pp. 887-897.

Résumé

Let $c_n(\mathbf V)$ be the sequence of codimension growth for a variety $\mathbf V$ of associative algebras. We study the complexity function $\mathscr C(\mathbf V,z)=\sum_{n=0}^\infty c_n(\mathbf V)z^n/n!$, which is the exponential generating function for the sequence of codimensions. Earlier, the complexity functions were used to study varieties of Lie algebras. The objective of the note is to start the systematic investigation of complexity functions in the associative case. These functions turn out to be a useful tool to study the growth of varieties over a field of arbitrary characteristic. In the present note, the Schreier formula for the complexity functions of one-sided ideals of a free associative algebra is found. This formula is applied to the study of products of $T$-ideals. An exact formula is obtained for the complexity function of the variety $\mathbf U_c$ of associative algebras generated by the algebra of upper triangular matrices, and it is proved that the function $c_n(\mathbf U_c)$ is a quasi-polynomial. The complexity functions for proper identities are investigated. The results for the complexity functions are applied to study the asymptotics of codimension growth. Analogies between the complexity functions of varieties and the Hilbert–Poincaré series of finitely generated algebras are traced.

Bibliographie

[1] Regev A., “Existence of identities in $A\otimes B$”, Israel J. Math., 11 (1972), 131–152 | DOI | MR | Zbl

[2] Razmyslov Yu. P., Tozhdestva algebr i ikh predstavlenii, Nauka, M., 1989 | Zbl

[3] Volichenko I. B., “O mnogoobrazii algebr Li $\mathbf A\mathbb N_2$ nad polem kharakteristiki nul”, Dokl. AN BSSR, 25:12 (1981), 1063–1066 | MR | Zbl

[4] Petrogradskii V. M., “O tipakh sverkheksponentsialnogo rosta tozhdestv v PI-algebrakh Li”, Fundament. i prikl. matem., 1:4 (1995), 989–1007 | MR | Zbl

[5] Petrogradskii V. M., “Rost polinilpotentnykh mnogoobrazii algebr Li i bystro rastuschie tselye funktsii”, Matem. sb., 188:6 (1997), 119–138 | MR | Zbl

[6] Regev A., “Asymptotics of codimensions of some P.I.-algebras”, Trends in Ring Theory (Miskolc, 1996), CMS Conf. Proc., 22, Amer. Math. Soc., Providence, R.I., 1998, 159–172 | MR | Zbl

[7] Gulden Ya., Dzhekson D., Perechislitelnaya kombinatorika, Nauka, M., 1990

[8] Leontev A. F., Tselye funktsii. Ryady eksponent, Nauka, M., 1983

[9] Kon P., Svobodnye koltsa i ikh svyazi, Mir, M., 1975

[10] Lewin J., “Free modules over free algebras and free group algebras: Thev Schreier technique”, Trans. Amer. Math. Soc., 145 (1969), 455–465 | DOI | MR | Zbl

[11] Berele A., Regev A., “Codimensions of products and of intersections of verbally prime $T$-ideals”, Israel J. Math., 103 (1998), 17–28 | DOI | MR | Zbl

[12] Halpin P., “Some Poincaré series related to identities of $(2\times 2)$ matrices”, Pacific J. Math., 107:1 (1983), 107–115 | MR | Zbl

[13] Maltsev Yu. N., “Bazis tozhdestv algebry verkhnetreugolnykh matrits”, Algebra i logika, 10:4 (1971), 393–400 | MR | Zbl

[14] Siderov P. N., “Bazis tozhdestv algebry treugolnykh matrits nad proizvolnym polem”, Pliska. B'lgarski Matematicheski Studii, 2 (1981), 143–152 | MR | Zbl

[15] Riordan Dzh., Vvedenie v kombinatornyi analiz, IL, M., 1963

[16] Fikhtengolts G. M., Kurs differentsialnogo i integralnogo ischisleniya, T. 1–3, Nauka, M., 1969

[17] Drensky V., “On the Hilbert series of relatively free algebras”, Comm. Algebra, 12:19 (1984), 2335–2347 | DOI | MR | Zbl

[18] Drensky V., “Codimensions of $T$-ideals and Hilbert series of relatively free algebras”, J. Algebra, 91:1 (1984), 1–17 | DOI | MR | Zbl

[19] Drensky V., Regev A., “Exact asymptotic behaviour of the codimensions of some P.I.-algebras”, Israel J. Math., 96. part A (1996), 231–242 | DOI | MR | Zbl

[20] Bahturin Yu., Mishchenko S., Regev A., “On the Lie and associative codimension growth”, Comm. Algebra (to appear)