Lower bounds of growth of Hopf algebras. (Q2847129)

From MaRDI portal





scientific article; zbMATH DE number 6204982
Language Label Description Also known as
default for all languages
No label defined
    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