The algebras considered in the paper under review are assumed to be over a fixed field of characteristic 0, and are not necessarily associative. If \(A\) is an algebra one denotes by \(Id(A)\) the ideal of all polynomial identities of \(A\) in the free (nonassociative) algebra. One of the principal numerical invariants attached to a PI algebra \(A\) is its codimension sequence \(c_n(A)\) defined as \(c_n(A)=\dim P_n/(P_n\cap Id(A))\) where \(P_n\) is the vector space of all multilinear polynomials of degree \(n\) in the variables \(x_1,\ldots,x_n\) in the free algebra. Computing the codimension sequence for a given algebra \(A\) is, as a rule, extremely difficult; the codimensions of very few algebras are known. Thus one wants to study the asymptotic behaviour of \(c_n(A)\). If \(A\) is associative and satisfies a polynomial identity, a celebrated result of A. Regev asserts that \(c_n(A)\) is exponentially bounded, that is \(c_n(A)\leq d^n\) for some constant \(d\). Later on Amitsur conjectured that again in the associative case, the limit \(\lim_{n\to\infty} (c_n(A))^{1/n}\), capped the PI exponent \(\exp(A)\) of \(A\), always exists and is an integer. The conjecture was confirmed in 1999 by the authors of the present paper. More precise asymptotics of the codimension sequence of an associative algebra were obtained as well. The best known estimates are due to the authors of the present paper who showed in 2014 that if \(A\) is associative and PI then \(C_1n^kd^n\leq c_n(A)\leq C_2 n^kd^n\) where \(d=\exp(A)\), \(C_1\), \(C_2\) and \(k\) are constants, and \(k\) is a half integer.NEWLINENEWLINE If \(A\) is associative, Lie or Jordan algebra such that its codimension sequence is polynomially bounded then it is well known that there exist an integer \(k\) and a real number \(q\) such that \(c_n(A)=qn^k+O(k-1)\) (a theorem of Drensky).NEWLINENEWLINE The codimension sequence of a non-associative algebra may behave not so nicely as in the associative case. Even for Lie and Jordan algebras the codimension sequence of a PI algebra may grow faster than any exponential function. Moreover the PI exponent may not exist. Even if it exists it may be any given real number \(d>1\). The paper under review gives more evidence of such a ``wild behaviour of the codimension sequence of a non-associative algebra.NEWLINENEWLINE The authors give in the present paper a construction of a family of algebras \(B_a\), for every real number \(a>3\) such that the codimension sequence of \(B_a\) is polynomially bounded and \(a\leq\limsup\log_n(c_n(B_a))\leq a+1\) but \(\liminf\log_n(c_n(B_a))\leq 3\). Thus the limit \(\lim_{n\to\infty}(\log_n(c_n(B_a)))\) does not exist. Furthermore the authors give an example of an algebra \(B\) such that \(\exp(B)\) exists and equals 2, and for every \(k\geq 1\) there exist infinitely many integers \(n\) with \(c_n(B)>n^k2^n\). It follows that \(\limsup\log_n (c_n(B)/\exp(B)^n))=\infty\).
- Codimensions of algebras and growth functions
- On the codimension growth of G-graded algebras.
- Algebras with intermediate growth of the codimensions.
- Finite-dimensional non-associative algebras and codimension growth
- scientific article; zbMATH DE number 5896185
- On algebras and superalgebras with linear codimension growth.
- Asymptotic growth of codimensions of identities of associative algebras.
- On algebras of polynomial codimension growth
- scientific article; zbMATH DE number 1380629
- On the codimension growth of finite-dimensional Lie algebras
- Asymptotic behaviour of codimensions of p. i. algebras satisfying Capelli identities
- Codimensions of algebras and growth functions
- Existence of identities in \(A \otimes B\)
- Exponential codimension growth of PI algebras: an exact estimate
- Growth of polynomial identities: is the sequence of codimensions eventually non-decreasing?
- scientific article; zbMATH DE number 5896185 (Why is no real title available?)
- scientific article; zbMATH DE number 125366 (Why is no real title available?)
- scientific article; zbMATH DE number 2241894 (Why is no real title available?)
- On codimension growth of finitely generated associative algebras
- On existence of PI-exponents of codimension growth
- Polynomial identities for the Jordan algebra of a symmetric bilinear form
- Properties of hook Schur functions with applications to P. I. algebras
- [[:Publication:1064394|Varieties of Lie algebras with the identity \([[x_ 1,x_ 2,x_ 3],[x_ 4,x_ 5,x_ 6]]=0\) over a field of characteristic zero]]
- Lie, Jordan and proper codimensions of associative algebras.
- Growth of codimensions of metabelian algebras
- Asymptotic growth of codimensions of identities of associative algebras.
- The theory of formal languages and identities of nonassociative algebras
- Asymptotic codimensions of \(M_k(E)\)
- Polynomial identities and algebraic combinatorics on words
- Codimension and colength sequences of algebras and growth phenomena
- Polynomial codimension growth and the Specht problem
- Codimension and colength of a five-dimensional algebra
- On the growth of the identities of algebras.
- On existence of PI-exponents of codimension growth
- \(\mathbb Z_2\)-graded codimensions of unital algebras
- Growth of central polynomials of algebras with involution
- Growth of polynomial identities: is the sequence of codimensions eventually non-decreasing?
- Exponential growth for codimensions of some p. i. algebras
- Scale for codimension growth of Poisson PI-algebras
- Overexponential codimension growth of identities with involution
- On existence of PI-exponents of unital algebras
- Codimension sequences and their asymptotic behavior
- Algebras with intermediate growth of the codimensions.
This page was built for publication: Anomalies on codimension growth of algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q302305)
