Amitsur's conjecture for associative algebras with a generalized Hopf action. (Q2376583): Difference between revisions

The paper is in the spirit of the remarkable result that the exponent of a variety \(V\) of associative algebras over a field of characteristic zero is always an integer [\textit{A. Giambruno} and \textit{M. Zaicev}, Adv. Math. 142, No. 2, 221-243 (1999; Zbl 0920.16013)]. The author proves the analog of a stronger Amitsur conjecture on asymptotic behavior for the codimensions of several generalizations of polynomial identities for finite dimensional associative algebras over a field of characteristic zero, including \(G\)-identities for any finite (not necessarily Abelian) group \(G\) and \(H\)-identities for a finite dimensional Hopf algebra \(H\). One can consider polynomial \(H\)-identities of \(H\)-module associative algebra \(A\) where \(H\) is a Hopf algebra and define the \(H\)-codimension sequence \(c_n^H(A)\), \(n\in\mathbb N\). In particular, the author proves the following result. Theorem 1. Let \(A\) be a finite dimensional non-nilpotent \(H\)-module associative algebra over a field \(F\) of characteristic 0, where \(H\) is a finite dimensional semisimple Hopf algebra. Then there exist constants \(C_1,C_2>0\), \(r_1,r_2\in\mathbb R\), \(d\in\mathbb N\) such that \[ C_1n^{r_1}d^n\leq c_n^H(A)\leq C_2n^{r_2}d^n,\quad n\in\mathbb N. \] A similar result is obtained for \(G\)-codimensions. Theorem 2. Let \(A\) be a finite dimensional non-nilpotent associative algebra over a field \(F\) of characteristic 0. Suppose that a finite not necessarily Abelian group \(G\) acts on \(A\) by automorphisms and anti-automorphisms. Then there exist constants \(C_1,C_2>0\), \(r_1,r_2\in\mathbb R\), \(d\in\mathbb N\) such that \[ C_1n^{r_1}d^n\leq c_n^G(A)\leq C_2n^{r_2}d^n,\quad n\in\mathbb N. \] In addition the authors proves that the Hopf PI-exponent of Sweedler's 4-dimensional algebra with the action of its dual equals 4.