×

Minimal varieties of PI-superalgebras with graded involution. (English) Zbl 1471.16035

Let \(A\) be an associative algebra over a field \(F\) of characteristic 0, it is well known that the polynomial identities of \(A\) are consequences of the multilinear ones. Hence in order to study the identities satisfied by \(A\) it suffices to consider only the multilinear identities of \(A\). Denote by \(P_n\) the vector space of the multilinear polynomials in the first \(n\) free variables in the free associative algebra, and let \(I=Id(A)\) be the ideal of identities of \(A\). Thus one might want to study the intersections \(P_n\cap I\) for every \(n\). It is clear that \(P_n\) is a left module over the symmetric group \(S_n\) which acts by permuting the variables. Since \(I\) is invariant under permutations of the variables it follows that \(P_n\cap I\) is a submodule of \(P_n\). Therefore one may apply the well developed theory of the representations of \(S_n\) to the study of polynomial identities in algebras.
In fact this approach is not the best one, as it has a significant drawback. Let us denote by \(P_n(A)=P_n/(P_n/\cap I)\) and by \(c_n(A)=\dim P_n(A)\) the \(n\)th codimension of \(A\). A. Regev [Isr. J. Math. 11, 131–152 (1972; Zbl 0249.16007)] proved that if \(A\) satisfies an identity of degree \(d\) then \(c_n(A)\le (d-1)^{2n}\) for every \(n\). This implies that for \(n\) large enough, the intersection \(P_n\cap I\) becomes very large. Hence studying the quotient module \(P_n(A)\) is better from computational point of view. The codimension sequence \(c_n(A)\), introduced by Regev in that paper, is one of the main numerical invariants of a T-ideal (that is an ideal of identities of an algebra). It is also one of the most studied ones. Let us mention that in very few occasions it is possible (and plausible) to compute it explicitly. Amitsur conjectured that the limit \(\lim_{n\to\infty} (c_n(A)^{1/n})\), called the PI exponent of \(A\), exists for every PI algebra \(A\), and is, moreover, a nonnegative integer. This conjecture was confirmed by A. Giambruno and M. Zaicev [Adv. Math. 140, No. 2, 145–155 (1998; Zbl 0920.16012); Adv. Math. 142, No. 2, 221–243 (1999; Zbl 0920.16013)]. This motivated an extensive research towards the classification of the PI algebras according to the growth of their codimension sequences, and their PI exponent. A variety of algebras \(V\) is minimal of PI exponent \(d\) whenever it is of PI exponent \(d\) but every proper subvariety is of exponent \(<d\). The minimal varieties were classified by A. Giambruno and M. Zaicev [Adv. Math. 174, No. 2, 310–323 (2003; Zbl 1035.16013)].
Similar notions can be defined for algebras with additional structure. These include group-graded algebras, algebras with involution, and so on. Of particular interest are the algebras graded by the group of order 2; these are often called 2-graded algebras, or superalgebras. The paper under review studies superalgebras equipped with a graded involution (that is an involution which respects the grading). These are called \(*\)-superalgebras.
The main contributions of the present paper consist in the complete classification of the minimal varieties of \(*\)-superalgebras of finite basic rank. Recall here that these varieties must be generated by finitely generated \(*\)-superalgebras that satisfy ordinary identities (that is why finite basic rank).
Let \((A_1,\ldots, A_m)\) be an \(m\)-tuple of simple \(*\)-superalgebras. The authors construct a suitable subalgebra of the upper block triangular matrix algebra, denoted by \(UT^*_2(A_1,\ldots, a_m)\). It is equipped with an appropriate involution \(*\), and with an appropriate 2-grading (which is elementary, that is the matrix units \(E_{ij}\) are all homogeneous). The involution preserves the grading. Every one of the \(A_i\) embeds into the latter subalgebra and the embedding respects the involution. The main theorem of the paper, Theorem 2.2, states that a variety of \(*\)-superalgebras of finite basic rank is minimal of PI exponent \(d\) if and only if it is generated by a \(*\)-superalgebra of the latter form satisfying \(\dim(A_1\oplus\cdots\oplus A_m)=d\).
The paper is well and skillfully written, and provides a good account on the progress in the area. It provides as well insights on the main methods employed in the solution of the above important and difficult problem.

MSC:

16R10 \(T\)-ideals, identities, varieties of associative rings and algebras
16R50 Other kinds of identities (generalized polynomial, rational, involution)
16W10 Rings with involution; Lie, Jordan and other nonassociative structures
16W50 Graded rings and modules (associative rings and algebras)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aljadeff, E.; Giambruno, A., Multialternating graded polynomials and growth of polynomial identities, Proceedings of the American Mathematical Society, 141, 3055-3065 (2013) · Zbl 1282.16028 · doi:10.1090/S0002-9939-2013-11589-3
[2] Aljadeff, E.; Giambruno, A.; Karasik, Y., Polynomial identities with involution, superinvolutions and the Grassmann envelope, Proceedings of the American Mathematical Society, 145, 1843-1857 (2017) · Zbl 1406.16021 · doi:10.1090/proc/13546
[3] Di Vincenzo, O. M.; La Scala, R., Minimal algebras with respect to their *-exponent, Journal of Algebra, 317, 642-657 (2007) · Zbl 1138.16008 · doi:10.1016/j.jalgebra.2007.02.042
[4] Di Vincenzo, O. M.; da Silva, V. R T.; Spinelli, E., A characterization of minimal varieties of ℤ_p-graded PI algebras, Journal of Algebra, 539, 397-418 (2019) · Zbl 1451.16013 · doi:10.1016/j.jalgebra.2019.08.018
[5] Di Vincenzo, O. M.; Spinelli, E., A characterization of *-minimal algebras with involution, Israel Journal of Mathematics, 186, 381-400 (2011) · Zbl 1273.16018 · doi:10.1007/s11856-011-0144-z
[6] Di Vincenzo, O. M.; Valenti, A., *-multilinear polynomials with invertible values, Rendiconti del Seminario Matematico della Università di Padova, 86, 47-55 (1991) · Zbl 0805.16023
[7] Fonseca, L. F G.; dos Santos, R. B.; Vieira, A. C., Characterization of *-superalgebras of polynomial growth, Linear and Multilinear Algebra, 64, 1379-1389 (2016) · Zbl 1353.16044 · doi:10.1080/03081087.2015.1083530
[8] Giambruno, A.; Ioppolo, A.; La Mattina, D., Superalgebras with involution or superinvolution and almost polynomial growth of the codimensions, Algebras and Representation Theory, 22, 961-976 (2019) · Zbl 1436.16026 · doi:10.1007/s10468-018-9807-3
[9] Giambruno, A.; Polcino Milies, C.; Valenti, A., Star-polynomial identities: Computing the exponential growth of the codimensions, Journal of Algebra, 469, 302-322 (2017) · Zbl 1353.16022 · doi:10.1016/j.jalgebra.2016.07.037
[10] Giambruno, A.; dos Santos, R. B.; Vieira, A. C., Identities of *-superalgebras and almost polynomial growth, Linear and Multilinear Algebra, 64, 484-501 (2016) · Zbl 1342.16019 · doi:10.1080/03081087.2015.1049933
[11] Giambruno, A.; Zaicev, M., On codimension growth of finitely generated associative algebras, Advances in Mathematics, 140, 145-155 (1998) · Zbl 0920.16012 · doi:10.1006/aima.1998.1766
[12] Giambruno, A.; Zaicev, M., Exponential codimension growth of PI algebras: an exact estimate, Advances in Mathematics, 142, 221-243 (1999) · Zbl 0920.16013 · doi:10.1006/aima.1998.1790
[13] Giambruno, A.; Zaicev, M., Minimal varieties of algebras of exponential growth, Advances in Mathematics, 174, 310-323 (2003) · Zbl 1035.16013 · doi:10.1016/S0001-8708(02)00047-6
[14] Giambruno, A.; Zaicev, M., Codimension growth and minimal superalgebras, Transactions od the American Mathematical Society, 355, 5091-5117 (2003) · Zbl 1031.16015 · doi:10.1090/S0002-9947-03-03360-9
[15] Gordienko, A. S., Amitsur’s conjecture for associative algebras with a generalized Hopf action, Journal of Pure and Applied Algebra, 217, 1395-1411 (2013) · Zbl 1286.16023 · doi:10.1016/j.jpaa.2012.11.001
[16] Ioppolo, A.; La Mattina, D., Polynomial codimension growth of algebras with involutions and superinvolutions, Journal of Algebra, 472, 519-545 (2017) · Zbl 1400.16014 · doi:10.1016/j.jalgebra.2016.10.007
[17] Kemer, A. R., Ideals of Identities of Associative Algebras (1991), Providence, RI: American Mathematical Society, Providence, RI · Zbl 0736.16013 · doi:10.1090/mmono/087
[18] Regev, A., Existence of identities in A ⊗ B, Israel Journal of Mathematics, 11, 131-152 (1972) · Zbl 0249.16007 · doi:10.1007/BF02762615
[19] dos Santos, R. B., *-superalgebras and exponential growth, Journal of Algebra, 473, 283-306 (2017) · Zbl 1362.16030 · doi:10.1016/j.jalgebra.2016.10.029
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.