Regev's conjecture for algebras with Hopf actions (Q824435)

Let \(A\) be a non-nilpotent p.i.~algebra in characteristic zero and \(\{c_{n}(A)\}_{n=0}^{\infty}\) the codimension sequence of \(A\). In a series of two papers, [Adv. Math. 140, No. 2, 145--155 (1998; Zbl 0920.16012); Adv. Math. 142, No. 2, 221--243 (1999; Zbl 0920.16013)], \textit{A. Giambruno} and \textit{M. Zaicev} proved that the limit \(e=\lim_{n\to\infty}(c_{n}(A))^{1/n}\) exists and is an integer. Moreover, there are \(\alpha_{1},\alpha_{2},t_{1},t_{2}\) with \(\alpha_{1}\) and \(\alpha_{2}\) positive such that \(\alpha_{1}n^{t_{1}}e^{n}\leq c_{n}(A)\leq\alpha_{2}n^{t_{2}}e^{n}\) for all \(n\). A stronger estimate of the codimensions (referred to as \textit{Regev's Conjecture}) states: \(c_{n}(A)\simeq\alpha n^{t}e^{n}\) for some \(e\in\mathbb{N}\), \(2t\in\mathbb{Z}\) and \(\alpha>0\). A weaker version (referred to as \textit{Regev's Weak Conjecture}) states: \(\alpha_{1}n^{t}e^{n}\leq c_{n}(A)\leq\alpha_{2}n^{t}e^{n}\) for some \(e\in\mathbb{N}\), \(2t\in\mathbb{Z}\) and \(0<\alpha_{1}\leq\alpha_{2}\). In this paper, the authors show that if there is an action on \(A\) from a finite dimensional Hopf algebra \(H\), with \(H\)-codimensions \(c_{n}^{H}(A)\), and if the codimensions are eventually nondecreasing then Regev\textquoteright s Weak Conjecture holds, and if \(1\in A\), then Regev's Conjecture holds. The proof is based on the proofs from [\textit{A. Berele}, Adv. Appl. Math. 41, No. 1, 52--75 (2008; Zbl 1145.05052)]. For the entire collection see [Zbl 1461.16003].