[Paper Review] Some $q$-exponential formulas for finite-dimensional $\square_q$-modules

Yang Yang|arXiv (Cornell University)|Dec 8, 2016

Algebraic structures and combinatorial models17 references3 citations

TL;DR

This paper establishes $q$-exponential conjugation formulas for finite-dimensional modules of the algebra $\square_q$, a $q$-deformation of $U_q(\mathfrak{sl}_2)$ with four cyclic generators. It proves that conjugating any generator $x_j$ by $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ yields a polynomial in $\{x_k^{\pm1}\}_{k\in\mathbb{Z}_4}$, generalizing known results for $U_q(\mathfrak{sl}_2)$ to a higher-rank quantum setting.

ABSTRACT

We consider the algebra $\square_q$ which is a mild generalization of the quantum algebra $U_q(\frak{sl}_2)$. The algebra $\square_q$ is defined by generators and relations. The generators are $\{x_i\}_{i\in \mathbb{Z}_4}$, where $\mathbb{Z}_4$ is the cyclic group of order $4$. For $i\in \mathbb{Z}_4$ the generators $x_i$,$x_{i+1}$ satisfy a $q$-Weyl relation, and $x_i$,$x_{i+2}$ satisfy a cubic $q$-Serre relation. For $i\in \mathbb{Z}_4$ we show that the action of $x_i$ is invertible on each nonzero finite-dimensional $\square_q$-module. We view $x_i^{-1}$ as an operator that acts on nonzero finite-dimensional $\square_q$-modules. For $i\in \mathbb{Z}_4$, define $\mathfrak{n}_{i,i+1}=q(1-x_ix_{i+1})/(q-q^{-1})$. We show that the action of $\mathfrak{n}_{i,i+1}$ is nilpotent on each nonzero finite-dimensional $\square_q$-module. We view the $q$-exponential ${ m {exp}}_q(\mathfrak{n}_{i,i+1})$ as an operator that acts on nonzero finite-dimensional $\square_q$-modules. In our main results, for $i,j\in \mathbb{Z}_4$ we express each of of ${ m {exp}}_q(\mathfrak{n}_{i,i+1})x_j{ m {exp}}_q(\mathfrak{n}_{i,i+1})^{-1}$ and ${ m {exp}}_q(\mathfrak{n}_{i,i+1})^{-1}x_j{ m {exp}}_q(\mathfrak{n}_{i,i+1})$ as a polynomial in $\{x_k^{\pm 1}\}_{k\in \mathbb{Z}_4}$.

Motivation & Objective

• To generalize $q$-exponential conjugation formulas from $U_q(\mathfrak{sl}_2)$ to the algebra $\square_q$, a $q$-deformation with four cyclic generators.
• To establish that the $q$-exponential of the nilpotent operator $\mathfrak{n}_{i,i+1} = \frac{q(1 - x_i x_{i+1})}{q - q^{-1}}$ acts as a well-defined operator on finite-dimensional $\square_q$-modules.
• To derive explicit polynomial expressions in $\{x_k^{\pm1}\}$ for the conjugated actions $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}$ and its inverse.
• To extend the framework of Lusztig operators and rotator constructions from $U_q(\mathfrak{sl}_2)$ to $\square_q$, enabling new tools for representation theory.

Proposed method

• Define $\square_q$ via generators $\{x_i\}_{i \in \mathbb{Z}_4}$ with $q$-Weyl and cubic $q$-Serre relations.
• Prove that each $x_i$ is invertible and $\mathfrak{n}_{i,i+1}$ is nilpotent on nonzero finite-dimensional $\square_q$-modules.
• Use the $q$-exponential function $\mathrm{exp}_q(T) = \sum_{n \in \mathbb{N}} \frac{q^{n \choose 2}}{[n]_q!} T^n$ to define conjugation operators.
• Perform extensive algebraic simplifications using the defining relations, including $x_i x_i^{-1} = 1$, $x_i x_{i+1} = q^{-1} x_{i+1} x_i + (q - q^{-1})^{-1}$, and $q$-Serre identities.
• Apply a symmetry map $\phi$ from Lemma 4.3 to reduce conjugation formulas for $x_{i+2}$ to those for $x_i$, leveraging cyclic invariance.
• Verify results computationally using SageMath on low-dimensional irreducible modules.

Experimental results

Research questions

• RQ1 How can $q$-exponential conjugation formulas for $U_q(\mathfrak{sl}_2)$ be extended to the four-generator algebra $\square_q$?
• RQ2 What is the structure of $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}$ for $j \in \mathbb{Z}_4$ in $\square_q$-modules?
• RQ3 Can the infinite series expansion of $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ be simplified to a finite polynomial in $\{x_k^{\pm1}\}$ on finite-dimensional modules?
• RQ4 How do the conjugation formulas for $x_j$ under $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ relate to the $q$-Serre and $q$-Weyl relations in $\square_q$?
• RQ5 What is the role of the automorphism $\phi$ in reducing conjugation formulas across cyclically symmetric generators?

Key findings

• For $i,j \in \mathbb{Z}_4$, the conjugated operator $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}$ is a polynomial in $\{x_k^{\pm1}\}_{k \in \mathbb{Z}_4}$, with explicit expressions derived for $j = i$, $j = i+1$, and $j = i+2$.
• The conjugation of $x_i$ by $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ yields $x_i + x_{i+1}^{-1} - x_i x_{i+1}^{-1} x_i^{-1} x_{i+1}$, demonstrating nontrivial transformation under the $q$-exponential.
• The conjugation of $x_{i+2}$ by $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ results in a complex polynomial involving $x_i$, $x_{i+2}$, and their inverses, with coefficients in $\mathbb{F}(q)$, including terms like $\frac{q^3 x_{i+2} x_i^2 x_{i+1}^2}{(q - q^{-1})(q^2 - q^{-2})}$.
• The inverse conjugation $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ also yields a polynomial expression, with $x_{i+2}$ mapping to $x_i - \frac{x_{i+2}}{(q - q^{-1})^2} + \frac{q x_i x_{i+2} x_i^{-1}}{(q - q^{-1})(q^2 - q^{-2})} + \frac{q^{-1} x_i^{-1} x_{i+2} x_i}{(q - q^{-1})(q^2 - q^{-2})}$.
• The results are verified computationally via SageMath on low-dimensional irreducible $\square_q$-modules, confirming the algebraic simplifications.
• The framework generalizes the $U_q(\mathfrak{sl}_2)$ rotator and Lusztig operator constructions to $\square_q$, suggesting broader applicability in quantum group representation theory.