An algorithm for computing the global basis of an irreducible $U_{q}(sp_{2n})$-module

Highest weight irreducible representations of the Lie superalgebra $gl(1/\infty)$

Two classes of irreducible highest weight modules of the general linear Lie superalgebra $gl(1/\infty)$ are constructed. Within each module a basis is introduced and the transformation relations of the basis under the action of the algebra generators are written down.

Irreducible highest weight representations of the quantum algebra $U_h(A_\infty)$

A class of highest weight irreducible representations of the algebra $U_h(A_\infty)$, the quantum analogue of the completion and central extension $A_\infty$ of the Lie algebra $gl_\infty$, is constructed. It is considerably larger than the class of representations known so far. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly given. The verification of the quantum algebra relations is shown to reduce to a set of nontrivial $q$-number identities. All representations are restricted in the terminolo…

A Basis for Representations of Symplectic Lie Algebras

A basis for each finite-dimensional irreducible representation of the symplectic Lie algebra sp(2n) is constructed. The basis vectors are expressed in terms of the Mickelsson lowering operators. Explicit formulas for the matrix elements of generators of sp(2n) in this basis are given. The basis is natural from the viewpoint of the representation theory of the Yangians. The key role in the construction is played by the fact that the subspace of sp(2n-2)-highest vectors in any finite-dimensional irreducible representation of sp(2n) admits a natural structure of a representation of the Yangian Y(…

Combinatorial bases for covariant representations of the Lie superalgebra gl(m|n)

Covariant tensor representations of gl(m|n) occur as irreducible components of tensor powers of the natural (m+n)-dimensional representation. We construct a basis of each covariant representation and give explicit formulas for the action of the generators of gl(m|n) in this basis. The basis has the property that the natural Lie subalgebras gl(m) and gl(n) act by the classical Gelfand-Tsetlin formulas. The main role in the construction is played by the fact that the subspace of gl(m)-highest vectors in any finite-dimensional irreducible representation of gl(m|n) carries a structure of an irredu…

Imaginary vectors in the dual canonical basis of $U_q(n)$

Let $n$ be the maximal nilpotent subalgebra of a simple complex Lie algebra $g$. We introduce the notion of imaginary vector in the dual canonical basis of $U_q(n)$, and we give examples of such vectors for types $A_n (n\ge 5)$, $B_n (n\ge 3)$, $C_n (n\ge 3)$, $D_n (n\ge 4)$, and all exceptional types. This disproves a conjecture of Berenstein and Zelevinsky about $q$-commuting products of vectors of the dual canonical basis. It also shows the existence of finite-dimensional irreducible representations of quantum affine algebras whose tensor square is not irreducible.

Classification of Finite Dimensional Irreducible Representations of Generalized Quantum Groups via Weyl Groupoids

We classify finite-dimensional irreducible highest weight modules of generalized quantum groups whose positive part is infinite dimensional and has a Kharchenko's PBW basis with an irreducible finite positive root system.

An LLT-type algorithm for computing higher-level canonical bases

We give a fast algorithm for computing the canonical basis of an irreducible highest-weight module for $U_q(\hat{\mathfrak{sl}}_e)$, generalising the LLT algorithm.

Highest weight irreducible representations of the quantum algebra $U_h(A_\infty)$

A class of highest weight irreducible representations of the algebra $U_h(A_\infty)$, the quantum analogue of the completion and central extension $A_\infty$ of the Lie algebra $gl_\infty$, is constructed. It is considerably larger than the known so far representations. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly written. The verification of the quantum algebra relations to be satisfied is shown to reduce to a set of nontrivial $q$-number identities. All our representations are restricted in …

Trace Construction of a Basis for the Solution Space of sl_N qKZ Equation

The trace of intertwining operators over the level one irreducible highest weight modules of the quantum affine algebra of type A_{N-1} is studied. It is proved that the trace function gives a basis of the solution space of the qKZ equation at a generic level. The highest-highest matrix element of the composition of intertwining operators is explicitly calculated. The integral formula for the trace is presented.

The correspondence between the canonical and semicanonical bases

Given any symmetric Cartan datum, Lusztig has provided a pair of key lemmas to construct the perverse sheaves over the corresponding quiver and the functions of irreducible components over the corresponding preprojective algebra respectively. In the present article, we prove that these two inductive algorithms of Lusztig coincide. Consequently we can define two colored graphs and prove that they are isomorhic. This result finishes the statement that Lusztig's functions of irreducible components are basis of the enveloping algebra and deduces the crystal structure (in the sense of Kashiwara-Sai…

Canonical basis and homology of local systems

Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a tensor product of irreducible finite-dimensional U_q(sl_2)-modules.

对于正交辛李超代数$\mathfrak{spo}(4|1)$的有限维表示的Verma基

Verma Bases for finite dimensional Representations of the orthosymplectic Lie superalgebra $\mathfrak{spo}(4|1)$

本文定义了正交辛李超代数$\mathfrak{spo}(4|1)$有限维不可约表示的Verma向量系统，通过Kashiwara-Nakashima表的条件，证明其线性无关性，并展示其作为该表示的基。

A weight basis for representations of even orthogonal Lie algebras

A weight basis for each finite-dimensional irreducible representation of the orthogonal Lie algebra o(2n) is constructed. The basis vectors are parametrized by the D-type Gelfand--Tsetlin patterns. Explicit formulas for the matrix elements of generators of o(2n) in this basis are given. The construction is based on the representation theory of the Yangians and extends our previous results for the symplectic Lie algebras.

Dual canonical bases for the quantum special linear group and invariant subalgebras

A string basis is constructed for each subalgebra of invariants of the function algebra on the quantum special linear group. By analyzing the string basis for a particular subalgebra of invariants, we obtain a ``canonical basis'' for every finite dimensional irreducible $U_q({\mathfrak{sl}}(n))$-module. It is also shown that the algebra of functions on any quantum homogeneous space is generated by quantum minors.

On the canonical filtration of an irreducible representation

The aim of this paper is to study the canonical filtration $L(λ)_l$ of an irreducible finite dimensional $\operatorname{SL}(V)$-module $L(λ)$ using the universal enveloping algebra $U(\mathfrak{sl}(V))$ and the annihilator ideal $ann(v)$ of a highest weight vector $v$ in $L(λ)$. We give a basis for $L(λ)_l$ and calculate the dimension of $L(λ)_l$ as a function of $l$. This is done in terms of the universal enveloping algebra of the nilpotent radical of an opposite parabolic sub algebra of the stabilizer Lie algebra of a flag $V_*$ in $V$ with respect to a choice of roots for $\mathfrak{sl}(V)$…

The positive even subalgebra of $U_q(\mathfrak{sl}_2)$ and its finite-dimensional irreducible modules

The equitable presentation of $U_q(\mathfrak{sl}_2)$ was introduced in 2006 by Ito, Terwilliger, and Weng. This presentation involves some generators $x, y, y^{-1}, z$. It is known that $\{x^r y^s z^t : r, t \in \mathbb{N}, s \in \mathbb{Z}\}$ is a basis for the $\mathbb{K}$-vector space $U_q(\mathfrak{sl}_2)$. In 2013, Bockting-Conrad and Terwilliger introduced a subalgebra $\mathcal{A}$ of $U_q(\mathfrak{sl}_2)$ spanned by the elements $\{x^r y^s z^t : r, s, t \in \mathbb{N}, r+s+t \ {\rm even}\}$. We give a presentation of $\mathcal{A}$ by generators and relations. We also classify up to is…

Highest weight representations of the quantum algebra U_h(gl_\infty)

A class of highest weight irreducible representations of the quantum algebra U_h(gl_\infty) is constructed. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly written.

A Unified and Complete Construction of All Finite Dimensional Irreducible Representations of gl(2|2)

Representations of the non-semisimple superalgebra $gl(2|2)$ in the standard basis are investigated by means of the vector coherent state method and boson-fermion realization. All finite-dimensional irreducible typical and atypical representations and lowest weight (indecomposable) Kac modules of $gl(2|2)$ are constructed explicitly through the explicit construction of all $gl(2)\oplus gl(2)$ particle states (multiplets) in terms of boson and fermion creation operators in the super-Fock space. This gives a unified and complete treatment of finite-dimensional representations of $gl(2|2)$ in exp…