On existence of PI-exponents of codimension growth (Q407391): Difference between revisions

Given an algebra \(A\) over a field \(F\), one can associate the sequence of non-negative integers \(c_n(A)\), \(n\geq 1\) which is an important numerical characteristic of polynomial identities of \(A\). For many classes of algebras this sequence is bounded by exponential. Thus, one defines the limits \[ \underline{\roman{exp}}(A)=\liminf_{n\to\infty}\root n\of{c_n(A)},\quad \overline{\roman{exp}}(A)=\limsup_{n\to\infty}\root n\of{c_n(A)}. \] The equality of these limits was established for associative algebras in case of the field of characteristic zero [\textit{A. Giambruno} and \textit{M. Zaicev}, Adv. Math. 142, No. 2, 221--243 (1999; Zbl 0920.16013)], for some Lie algebras and superalgebras and some other classes of algebras. The author constructs the first example of non-associative algebras such that these limits are different. { Theorem.} For any real number \(\alpha > 1\) there exists an algebra \(A\) such that \(\underline{\roman{exp}}(A) = 1\), \(\overline{\roman{exp}}(A) = \alpha\). In particular, it follows that for any such \(A\), an ordinary PI-exponent of the codimension growth does not exist.