Simple Modules and PI Structure of the Two-Parameter Quantized Algebra $U^+_{r,s}(B_2)$

TL;DR

This paper analyzes the structure and representations of the two-parameter quantized algebra $U^+_{r,s}(B_2)$ at roots of unity, revealing its PI properties and classifying all simple modules.

Contribution

It provides the first complete classification of simple modules for $U^+_{r,s}(B_2)$ at roots of unity, including explicit PI degree computation and module categorization.

Findings

$U^+_{r,s}(B_2)$ is a PI algebra at roots of unity

Complete classification of simple modules into torsion-free and torsion types

Explicit construction of all simple modules in both categories

Abstract

We study the two-parameter quantized enveloping algebra $U^+_{r,s}(B_2)$ at roots of unity and investigate its structure and representations. We first show that when $r$ and $s$ are roots of unity, the algebra becomes a PI algebra, and we compute its PI degree explicitly using De Concini-Procesi method. We construct and classify finite-dimensional simple modules for $U^+_{r,s}(B_2)$ by analyzing a subalgebra $B\subset U^+_{r,s}(B_2)$. Simple modules are categorized into torsion-free and torsion types with respect to a distinguished normal element. We classify all torsion-free simple $B$-modules and lift them to $U^+_{r,s}(B_2)$. The remaining simple modules are constructed in the nilpotent case. This work provides a complete classification of simple $U^+_{r,s}(B_2)$-modules at roots of unity and contributes to the understanding of two-parameter quantum groups in type $B_2$.