[Paper Review] Constructing new Borel subalgebras of quantum groups with a non-degeneracy property

Simon Lentner, Karolina Vocke|arXiv (Cornell University)|Feb 21, 2017

Algebraic structures and combinatorial models8 references3 citations

TL;DR

This paper constructs explicit families of right coideal subalgebras in quantum groups that are maximal among those with all irreducible representations one-dimensional—defined as Borel subalgebras—under a non-degeneracy condition. It classifies such triangular Borel subalgebras in type $A_n$, establishing a structural link to generalized category $\mathcal{O}$ via induced representations.

ABSTRACT

We construct explicit families of right coideal subalgebras of quantum groups, where all irreducible representations are one-dimensional and which are maximal with this property. We have previously called such a right coideal subalgebra a Borel subalgebra. Conversely we can prove that any tringular Borel subalgebra fulfilling a certain non-degeneracy property is of the form we construct; this classification requires a key assertion about Weyl groups which we could only prove in type $A_n$. Borel subalgebras are interesting for structural reasons, but also because the induced representations give interesting unfamiliar analoga of category $\mathcal{O}$.

Motivation & Objective

• To construct explicit families of right coideal subalgebras in quantum groups where all irreducible representations are one-dimensional.
• To identify and characterize those subalgebras that are maximal with respect to this one-dimensional representation property.
• To classify triangular Borel subalgebras satisfying a non-degeneracy condition, particularly in type $A_n$.
• To establish connections between these Borel subalgebras and generalized analogues of category $\mathcal{O}$ through induced representations.

Proposed method

• Construct right coideal subalgebras of quantum groups using explicit algebraic generators and relations.
• Impose a non-degeneracy condition on triangular Borel subalgebras to ensure maximality and structural control.
• Utilize Weyl group actions and root system properties to analyze the structure of these subalgebras.
• Prove that any triangular Borel subalgebra satisfying the non-degeneracy condition arises from the constructed families in type $A_n$.
• Employ induced representation theory to construct analogues of category $\mathcal{O}$ for these subalgebras.
• Leverage known results on quantum groups and coideal subalgebras to ensure compatibility with existing representation-theoretic frameworks.

Experimental results

Research questions

• RQ1 Which right coideal subalgebras of quantum groups have all irreducible representations one-dimensional and are maximal with this property?
• RQ2 What structural conditions—specifically non-degeneracy—characterize such Borel subalgebras?
• RQ3 How can one classify triangular Borel subalgebras satisfying the non-degeneracy condition in quantum groups?
• RQ4 What is the relationship between these Borel subalgebras and generalized versions of category $\mathcal{O}$?
• RQ5 To what extent does the classification of such subalgebras depend on the underlying root system, particularly in type $A_n$?

Key findings

• The paper constructs explicit families of right coideal subalgebras in quantum groups that are maximal among those with all irreducible representations one-dimensional.
• These subalgebras are characterized as Borel subalgebras under a non-degeneracy condition, which ensures structural rigidity and maximality.
• In type $A_n$, any triangular Borel subalgebra satisfying the non-degeneracy condition is shown to be isomorphic to one of the constructed families.
• The induced representations from these Borel subalgebras yield new, unfamiliar analogues of category $\mathcal{O}$, extending the classical representation-theoretic framework.
• The classification result relies on a key assertion about Weyl groups that is proven only in type $A_n$, indicating a limitation in generality.