Quantum groups, Verma modules and $q$-oscillators: General linear case

The Verma modules over the quantum groups $\mathrm U_q(\mathfrak{gl}{l + 1})$ for arbitrary values of $l$ are analysed. The explicit expressions for the action of the generators on the elements of the natural basis are obtained. The corresponding representations of the quantum loop algebras $\mathrm U_q(\mathcal L(\mathfrak{sl}{l + 1}))$ are constructed via Jimbo’s homomorphism. This allows us to find certain representations of the positive Borel subalgebras of $\mathrm U_q(\mathcal L(\mathfrak{sl}_{l + 1}))$ as degenerations of the shifted representations. The latter are the representations used in the construction of the so-called $Q$-operators in the theory of quantum integrable systems. The interpretation of the corresponding simple quotient modules in terms of representations of the $q$-deformed oscillator algebra is given.

💡 Research Summary

The paper provides a comprehensive study of Verma modules over the quantum group U₍q₎(glₗ₊₁) for arbitrary rank l, and uses these results to construct representations of the quantum loop algebra U₍q₎(L(slₗ₊₁)). After a brief motivation linking quantum groups to the functional relations of transfer matrices and Q‑operators in integrable models, the authors recall the definition of U₍q₎(glₗ₊₁) including its Cartan subalgebra, simple roots αᵢ, and the full root system α_{ij}. The algebra is generated by Eᵢ, Fᵢ and the Cartan elements qˣ with the standard q‑commutation and Serre relations.

A central technical achievement is the explicit construction of all root vectors E_{ij} and F_{ij} via Jimbo’s recursive formulas, followed by a detailed analysis of their q‑commutation relations. The authors classify the possible index configurations into six cases (C I–C VI) and write down compact q‑commutation formulas (3.5)–(3.20). These relations guarantee that any monomial in the generators can be reordered into a Poincaré‑Birkhoff‑Witt (PBW) basis of the form F… qˣ E…, which is essential for later calculations.

The Verma module V_λ with highest weight λ is introduced, and a natural basis v_m is defined by acting with ordered products of the lowering operators F_{ij} on the highest‑weight vector. The authors derive explicit formulas for the action of the Cartan elements K_i and H_i on v_m (4.2, 4.3), as well as for the simple raising and lowering generators E_i, F_i (4.4, 4.5). These formulas involve q‑binomial coefficients and sums over the multi‑index m, reflecting the non‑commutative structure of the quantum group.

Using Jimbo’s homomorphism φ: U₍q₎(L(slₗ₊₁)) → U₍q₎(glₗ₊₁), the authors lift the Verma module to a representation of the quantum loop algebra. They then introduce “shifted” Verma modules V_{λ+μ} by adding a spectral shift μ to the highest weight. By sending the shift parameters to infinity, they obtain a degeneration of the module that no longer extends to the whole loop algebra but remains a representation of the positive Borel subalgebra U₍q₎(b₊). This degenerate representation is precisely the one used in the construction of Q‑operators: it captures the asymptotic behavior of transfer matrices while retaining a tractable algebraic structure.

The degenerate modules are generally reducible. The paper systematically identifies the invariant submodules (section 7) and constructs the corresponding simple quotient modules L(λ). These quotients are shown to be isomorphic to the Fock representations of the q‑deformed oscillator algebra 𝔄_q, generated by creation and annihilation operators a†, a with the defining relation a a† − q a† a = q^{-N}. The authors explicitly match the action of the long root vectors E_{1,l+1} and F_{1,l+1} on the basis v_m with the action of a† and a on oscillator states, reproducing the formulas previously suggested by Kojima but now derived as a limit of shifted Verma modules.

The paper concludes by emphasizing that the explicit formulas for the action of all generators on the natural basis provide a solid algebraic foundation for constructing Q‑operators for models based on U₍q₎(slₗ₊₁). The connection to q‑oscillators offers a transparent physical interpretation: the Q‑operator can be viewed as a trace over an auxiliary q‑oscillator space, and the degeneration procedure explains why such a trace reproduces the desired functional relations. An appendix supplies the detailed calculation of the action of E_{1,l+1} on the basis vectors.

Overall, the work delivers a full, explicit description of Verma modules for arbitrary rank, their degeneration to Borel representations, and a clear algebraic bridge to q‑oscillator realizations, thereby advancing the theoretical toolkit for quantum integrable systems.