Amitsur's conjecture for associative algebras with a generalized Hopf action. (Q2376583): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 19:35, 2 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Amitsur's conjecture for associative algebras with a generalized Hopf action. |
scientific article |
Statements
Amitsur's conjecture for associative algebras with a generalized Hopf action. (English)
0 references
24 June 2013
0 references
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.
0 references
PI-algebras
0 references
Hopf algebras
0 references
\(H\)-identities
0 references
codimension sequences
0 references
graded polynomial identities
0 references
graded codimensions
0 references
Amitsur conjecture
0 references
\(H\)-module algebras
0 references
generalized Hopf actions
0 references
exponents of varieties
0 references