[Paper Review] A characterization of quantum groups

Nicolás Andruskiewitsch, Hans Schneider|ArXiv.org|Jan 10, 2002

Algebraic structures and combinatorial models15 references4 citations

TL;DR

This paper provides a complete classification of pointed Hopf algebras over an algebraically closed field of characteristic zero that are domains of finite Gelfand-Kirillov dimension, have finitely generated abelian group-like elements, and possess positive infinitesimal braiding. Using the lifting method and Rosso’s characterization of quantized enveloping algebras via finite GK-dimension, the authors show these Hopf algebras are isomorphic to a universal construction $U( d)$ defined by a positive datum, generalizing quantized enveloping algebras with positive deformation parameters.

ABSTRACT

We classify pointed Hopf algebras with finite Gelfand-Kirillov dimension, which are domains, whose groups of group-like elements are finitely generated and abelian, and whose infinitesimal braidings are positive.

Motivation & Objective

• To provide an intrinsic, abstract characterization of quantized enveloping algebras without assuming a priori a Dynkin diagram.
• To classify pointed Hopf algebras that are domains, have finite Gelfand-Kirillov dimension, and positive infinitesimal braiding.
• To show that such Hopf algebras arise as universal algebras $U(\mathcal{D})$ defined by a positive datum $\mathcal{D}$, generalizing quantized enveloping algebras.
• To establish that the group of group-like elements must be a free abelian group of finite rank under the given conditions.
• To prove that the algebra is generated by group-like and skew-primitive elements under the finiteness and positivity constraints.

Proposed method

• Apply the lifting method for pointed Hopf algebras, using the coradical filtration to analyze the structure of the algebra.
• Use Rosso’s result that finite Gelfand-Kirillov dimension characterizes the nilpotent part of quantized enveloping algebras.
• Construct a new family of pointed Hopf algebras with generic braiding using generators and relations defined by a positive datum $\mathcal{D}$.
• Employ braided commutators and the braided adjoint action to derive quantum Serre and linking relations.
• Use the coradical filtration to show that the associated graded algebra is isomorphic to the bosonization of a Nichols algebra and a group algebra.
• Prove that the map from $U(\mathcal{D})$ to the original algebra is an isomorphism by showing it is an isomorphism on the associated graded level.

Experimental results

Research questions

• RQ1 Which pointed Hopf algebras with finite Gelfand-Kirillov dimension and positive infinitesimal braiding are domains and have finitely generated abelian group-like elements?
• RQ2 Can such Hopf algebras be characterized without assuming a pre-existing Dynkin diagram or root system?
• RQ3 What are the defining relations for the universal algebra $U(\mathcal{D})$ that captures all such Hopf algebras?
• RQ4 How do the quantum Serre relations and linking relations emerge from the structure of the algebra under the positivity and finiteness conditions?
• RQ5 Is the group of group-like elements necessarily free abelian of finite rank under these constraints?

Key findings

• A pointed Hopf algebra with finite Gelfand-Kirillov dimension, positive infinitesimal braiding, and finitely generated abelian group-like elements is isomorphic to $U(\mathcal{D})$ for some positive datum $\mathcal{D}$.
• The group of group-like elements $G(A)$ is necessarily a free abelian group of finite rank.
• The algebra $A$ is generated by group-like and skew-primitive elements, as shown by Lemma 5.1.
• The quantum Serre relations $(\text{ad}_c x_i)^{1-a_{ij}}(x_j) = 0$ hold in $A$ when $i\sim j$, and are enforced by the coradical filtration and braiding conditions.
• Linking relations of the form $a_i a_j - \chi_j(g_i) a_j a_i = \lambda_{ij}(1 - g_i g_j)$ are satisfied, with $\lambda_{ij} = 0$ or $1$, depending on the character condition.
• The associated graded algebra $\text{gr}\,A$ is isomorphic to $\mathfrak{B}(V)\#\Bbbk\Gamma$, and the isomorphism lifts to $A \cong U(\mathcal{D})$ via the lifting method.