Lower bounds of growth of Hopf algebras. (Q2847129)

From MaRDI portal





scientific article; zbMATH DE number 6204982
Language Label Description Also known as
English
Lower bounds of growth of Hopf algebras.
scientific article; zbMATH DE number 6204982

    Statements

    0 references
    0 references
    0 references
    4 September 2013
    0 references
    finitely generated Hopf algebras
    0 references
    growth of Hopf algebras
    0 references
    Gelfand-Kirillov dimension
    0 references
    group-like elements
    0 references
    skew primitive elements
    0 references
    Lower bounds of growth of Hopf algebras. (English)
    0 references
    A famous result of Gromov states that a finitely generated group has polynomial growth, or equivalently, the respective group algebra has finite Gelfand-Kirillov dimension if and only if it has a nilpotent subgroup a finite index. The author poses a similar question: what are necessary and sufficient conditions on a finitely generated Hopf algebra \(H\) such that its Gelfand-Kirillov dimension is finite?NEWLINENEWLINE Let \(H\) be a Hopf algebra over \(k\). A nonzero element \(y\in H\) is called \((1,g)\)-skew primitive if \(\Delta(y)=y\otimes 1+g\otimes y\), and such a \(g\) is called weight of \(y\) and denoted by \(\mu(y)\). Let \(G(H)\) denote the group of group-like elements of \(H\) and let \(C_0=kG(H)\).NEWLINENEWLINE Theorem (first lower bound theorem). Let \(D\supseteq C_0\) be a Hopf subalgebra of \(H\). Let \(\{y_i\}_{i=1}^\omega\) be a set of skew primitive elements such that a) \(\{y_i\}_{i=1}^\omega\) is linearly independent in \(H/D\), b) for all \(i\leq j\), \(y_i\mu(y_j)=\lambda_{ij}\mu(y_j)y_i\) for some \(\lambda_{ij}\in k^*\), c) for each \(i\), \(\lambda_{ii}\) is either 1 or not a root of unity. Then \(\roman{GKdim\,}H\geq\roman{GKdim\,}D+w\).NEWLINENEWLINE The author obtains more lower bounds on the Gelfand-Kirillov dimension of Hopf algebras.
    0 references

    Identifiers