[Paper Review] Nichols algebras of unidentified diagonal type

Iván Angiono|Conicet|Aug 25, 2011

Algebraic structures and combinatorial models10 references4 citations

TL;DR

This paper provides a complete explicit presentation of defining relations for Nichols algebras of unidentified diagonal type—those not falling into standard or super types—by leveraging prior results on PBW bases and root systems. It gives a uniform, systematic list of relations based on braiding matrix entries and root system data, enabling full classification and dimension computation for these finite-dimensional Nichols algebras.

ABSTRACT

The Nichols algebras of diagonal type with finite root system are either of standard, super or (yet) unidentified type. A concrete description of the defining relations of all those Nichols algebras was given in \cite{A-exp presentation}. In the present paper we use this result to give an explicit presentation of all Nichols algebras of unidentified type.

Motivation & Objective

• To provide a complete and explicit presentation of the defining ideal for Nichols algebras of unidentified diagonal type, which are not covered by standard or super type classifications.
• To extend the known presentations of Nichols algebras by resolving the remaining open cases in Heckenberger’s classification of diagonal braidings with finite root systems.
• To unify and systematize the relations generating the defining ideal across all unidentified braidings, particularly those with small rank and roots of unity of order 2, 3, or 6.
• To compute the dimensions of these Nichols algebras explicitly using the derived presentations, enabling further study of their liftings and representation theory.

Proposed method

• Utilizes the PBW basis theory for braided Hopf algebras of diagonal type, relying on Lyndon words and Shirshov decomposition to construct a basis for the Nichols algebra.
• Applies the framework of generalized Cartan matrices and Weyl groupoids to classify and analyze the root systems associated with each unidentified braiding.
• Employs the results from [A3] on defining relations for Nichols algebras, adapting them to the unidentified cases by analyzing the braiding matrix entries $ q_{ij} $ and their associated quantum Serre relations.
• Classifies the unidentified braidings into families based on similarities in their generalized Dynkin diagrams and associated root systems, particularly focusing on cases with $ q_{ii} = -1 $, $ q_{ii} eq -1 $, and roots of unity of order 3 or 6.
• Derives explicit relations such as $ ( ext{ad}_c x_i)^{N} x_j = 0 $, $ [x_{ijk}, x_j]_c = 0 $, and cubic relations involving $ x_{ijk} $, depending on the values of $ ilde{q}_{ij} $ and $ q_{ii} $, using the braided commutator structure.
• Computes the dimension of each Nichols algebra via the PBW basis, using the formula $ ext{dim} hinspace ext{B}(V) = ext{product of } N_eta^{ ext{dim} hinspace eta} $ over positive roots $ eta $, with $ N_eta $ the order of the root.

Experimental results

Research questions

• RQ1 What is the complete set of defining relations for Nichols algebras of diagonal type that are neither standard nor super, but belong to the finite list of unidentified braidings?
• RQ2 How can the defining ideal of such Nichols algebras be uniformly presented using the braiding matrix entries and root system data?
• RQ3 What are the dimensions of these Nichols algebras, and how do they depend on the orders of the roots of unity in the braiding matrix?
• RQ4 Can the relations for these algebras be grouped into families based on structural similarities in their generalized Dynkin diagrams and Cartan matrices?
• RQ5 What is the role of quantum Serre relations and higher-order braided commutators in characterizing the defining relations of these algebras?

Key findings

• The paper provides a complete and explicit presentation of the defining ideal for all Nichols algebras of unidentified diagonal type, using generators and relations derived from the braiding matrix entries.
• For the family with $ N_eta = 6 $, the dimension of the Nichols algebra is $ 2^7 imes 3^6 $ when $ heta = 3 $, and $ 2^{19} imes 3^{15} $ when $ heta = 4 $, as in rows 16 and 17 of [H2, Table 2 and 3].
• For the subfamily with $ N_eta = 3 $ or $ 6 $, the dimension is $ 2^{13} imes 3^{10} $ (row 20) and $ 2^{20} imes 3^{16 ext{ }} $ (row 21), respectively.
• The defining relations include $ x_eta^{N_eta} = 0 $ for roots $ eta $, $ ( ext{ad}_c x_i)^{N} x_j = 0 $ for $ N = 2, 3 $, and cubic relations involving $ x_{ijk} $, depending on the values of $ ilde{q}_{ij} $ and $ q_{ii} $.
• The paper identifies a new family of relations involving $ x_{ijk} $, such as $ [x_{ijk}, x_j]_c = 0 $ and $ [x_{ij}, x_{ijk}]_c, x_j]_c = 0 $, under specific conditions on $ ilde{q}_{ij}, ilde{q}_{jk}, ilde{q}_{ik} $.
• The results confirm that the defining ideal is generated by quantum Serre-type relations and root vector powers, with the structure fully determined by the braiding matrix and the associated root system.