Recently Terwilliger and the present author found a presentation for the three-point $\mathfrak{sl}_2$ loop algebra via generators and relations. To obtain this presentation we defined a Lie algebra $\boxtimes$ by generators and relations and displayed an isomorphism from $\boxtimes$ to the three-point $\mathfrak{sl}_2$ loop algebra. In this paper we classify the finite-dimensional irreducible $\boxtimes$-modules.
In this paper we discuss a relationship between the following two algebras: (i) the subconstituent algebra $T$ of a distance-regular graph that has $q$-Racah type; (ii) the $q$-tetrahedron algebra $\boxtimes_q$ which is a $q$-deformation of the three-point $sl_2$ loop algebra. Assuming that every irreducible $T$-module is thin, we display an algebra homomorphism from $\boxtimes_q$ into $T$ and show that $T$ is generated by the image together with the center $Z(T)$.
As part of our study of the $q$-tetrahedron algebra $\boxtimes_q$ we introduce the notion of a $q$-inverting pair. Roughly speaking, this is a pair of invertible semisimple linear transformations on a finite-dimensional vector space, each of which acts on the eigenspaces of the other according to a certain rule. Our main result is a bijection between the following two sets: (i) the isomorphism classes of finite-dimensional irreducible $\boxtimes_q$-modules of type 1; (ii) the isomorphism classes of $q$-inverting pairs.
The first goal of this note is to extend the well-known Feigin homomorphisms taking quantum groups to quantum polynomial algebras. More precisely, we define generalized Feigin homomorphisms from a quantum shuffle algebra to quantum polynomial algebras which extend the classical Feigin homomorphisms along the embedding of the quantum group into said quantum shuffle algebra. In a recent work of Berenstein and the author, analogous extensions of Feigin homomorphisms from the dual Hall-Ringel algebra of a valued quiver to quantum polynomial algebras were defined. To relate these constructions, we …
For any prime p, we construct, and simultaneously count, all of the complex Specht modules in a given p-block of the symmetric group which remain irreducible when reduced modulo p. We call the Specht modules with this property p-irreducible modules. Recently Fayers has proven a conjecture of James and Mathas that provides a characterization of the partitions that correspond to the p-irreducible modules. In this paper we present a method for decomposing the partitions corresponding to p-irreducible modules, and we use this decomposition to construct and count all of the partitions corresponding…
We give a full classification, in terms of periodic skew diagrams, of irreducible semisimple modules in category O for the degenerate double affine Hecke algebra of type A which can be realized as submodules of Verma modules.
In this paper we further develop the connection between tridiagonal pairs and the q-tetrahedron algebra $\boxtimes_q$. Let V denote a finite dimensional vector space over an algebraically closed field and let A, A^* denote a tridiagonal pair on V. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote a standard ordering of the eigenvalues of A (resp. A^*). Fix a nonzero scalar q which is not a root of unity. T. Ito and P. Terwilliger have shown that when $θ_i = q^{2i-d}$ and $θ^*_i = q^{d-2i}$ there exists an irreducible $\boxtimes_q$-module structure on V such that the $\boxtimes_q$ generato…
We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^\text{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent…
Recently Donkin defined signed Young modules as a simultaneous generalization of Young and twisted Young modules for the symmetric group. We show that in odd characteristic, if a Specht module $S^λ$ is irreducible, then $S^λ$ is a signed Young module. Thus the set of irreducible Specht modules coincides with the set of irreducible signed Young modules. This provides evidence for our conjecture that the signed Young modules are precisely the class of indecomposable self-dual modules with Specht filtrations. The theorem is false in characteristic two.
In this paper we study irreducible modules for loop of $A\rtimes DerA$ with finite dimensional weight spaces. In particular, we show that Larsson's constructed modules of tensor fields exhausted all irreducible modules.
In this paper, we obtain a class of Virasoro modules by taking tensor products of the irreducible Virasoro modules $Ω(λ,α,h)$ defined in \cite{CG}, with irreducible highest weight modules $V(θ,h)$ or with irreducible Virasoro modules Ind$_θ(N)$ defined in \cite{MZ2}. We obtain the necessary and sufficient conditions for such tensor product modules to be irreducible, and determine the necessary and sufficient conditions for two of them to be isomorphic. These modules are not isomorphic to any other known irreducible Virasoro modules.
In this paper, we obtain a class of Virasoro modules by taking tensor products of the irreducible Virasoro modules $Ω(λ,α,h)$ and $Ω(μ, b)$ with irreducible highest weight modules $V(θ,h)$ or with irreducible Virasoro modules Ind$_θ(N)$ defined in [MZ2]. We obtain the necessary and sufficient conditions for such tensor product modules to be irreducible, and determine the necessary and sufficient conditions for two of them to be isomorphic. We also compare these modules with other known non-weight Virasoro modules.
We use Block's results to classify irreducible modules over the differential operator algebra $\mathbb{C}[t,t^{-1}, \frac d{dt}]$. From this classification and using "the twisting technique" we construct a lot of new irreducible modules over the Virasoro algebra. These new irreducible Virasoro modules are generally not weight modules. We determine the necessary and sufficient conditions for two such irreducible Virasoro modules to be isomorphic. Many examples for such irreducible Virasoro modules with different features are provided at the end of the paper. In particular the class of irreducib…
We prove a conjecture for the irreducibility of singular Gelfand-Tsetlin modules. We describe explicitly the irreducible subquotients of certain classes of singular Gelfand-Tsetlin modules.
In this paper, we construct a class of non-weight modules over the affine-Virasoro algebra of type $A_1$ by taking tensor products of a finite number of irreducible modules $M(λ, α, β, γ)$ with irreducible highest weight modules $V(η, ε, θ)$. We obtain the necessary and sufficient conditions for such tensor product modules to be irreducible, and determine the necessary and sufficient conditions for such two modules to be isomorphic. We also compare these modules with other known non-weight modules, showing that these irreducible modules are new.
We call a finite-dimensional K-algebra A geometrically irreducible if for all d all connected components of the affine scheme of d-dimensional A-modules are irreducible. We prove that a geometrically irreducible algebra with exactly two simple modules has to be of a very special form, which we describe. Based on this result we prove that every minimal geometrically irreducible algebra without shortcuts in its Gabriel quiver has at most two simple modules.
This paper classifies irreducible, integrable highest weight modules for "current Kac-Moody Algebras" with finite dimensional weight spaces. We prove that these modules turn out to be modules of appropriate direct sums of finitely many copies of Kac-Moody Lie algebras.
In this paper, we realize polynomial $\H$-modules $Ω(λ,α,β)$ from irreducible twisted Heisenberg-Virasoro modules $\A_{α,β}$. It follows from $\H$-modules $Ω(λ,α,β)$ and $\mathrm{Ind}(M)$ that we obtain a class of natural non-weight tensor product modules $\big(\bigotimes_{i=1}^mΩ(λ_i,α_i,β_i)\big)\otimes \mathrm{Ind}(M)$. Then we give the necessary and sufficient conditions under which these modules are irreducible and isomorphic, and also give that the irreducible modules in this class are new.
We call a finite-dimensional K-algebra A geometrically irreducible if for all d, all connected components of the affine scheme of d-dimensional A-modules are irreducible. We show that the geometrically irreducible algebras without loops (this includes all algebras of finite global dimension) are the hereditary algebras. We also show that truncated polynomial rings are the only geometrically irreducible local algebras. Finally, we formulate a conjectural classification of all geometrically irreducible algebras.
In this paper, all irreducible weight modules with finite dimensional weight spaces over the twisted Heisenberg-Virasoro algebra are determined. There are two different classes of them. One class is formed by simple modules of intermediate series, whose weight spaces are all 1-dimensional; the other class consists of the irreducible highest weight modules and lowest weight modules.
In the present paper, we prove that any finite non-trivial irreducible module over a rank two Lie conformal algebra $\mathcal{H}$ is of rank one. We also describe the actions of $\mathcal{H}$ on its finite irreducible modules explicitly. Moreover, we show that all finite non-trivial irreducible modules of finite Lie conformal algebras whose semisimple quotient is the Virasoro Lie conformal algebra are of rank one.
We classify the irreducible integrable modules for the twisted toroidal extended affine Lie algebras with fnite diemnsional weight spaces where the fnite dimensional center acts trivially. We have proved that the entire central extension part acts trivially on the modules and our modules turn out to be highest weight modules.
We study $\mathbb Z$-graded modules of nonzero level with arbitrary weight multiplicities over Heisenberg Lie algebras and the associated generalized loop modules over affine Kac-Moody Lie algebras. We construct new families of such irreducible modules over Heisenberg Lie algebras. Our main result establishes the irreducibility of the corresponding generalized loop modules providing an explicit construction of many new examples of irreducible modules for affine Lie algebras. In particular, to any function $ϕ:\mathbb N\rightarrow \{\pm\}$ we associate a $ϕ$-highest weight module over the Heisen…
We show that all the K-finite matrix elements of irreducible Harish-Chandra modules can can be expressed in spherical functions using finite number of operations
We construct a resolution of irreducible complex representations of the symmetric group $S_n$ by restrictions of representations of $GL_n(\mathbb{C})$ (where $S_n$ is the subgroup of permutation matrices). This categorifies a recent result of Assaf and Speyer. Our construction also gives minimal resolutions of simple $\mathcal{F}$-modules (here $\mathcal{F}$ is the category of finite sets).
Let $d>1$ be an integer. In 1986, Shen defined a class of weight modules $F^α_b(V)$ over the Witt algebra $\mathcal{W}_d$ for $\a\in\C^d$, $b\in\C$, and an irreducible module $ V$ over the special linear Lie algebra $\sl_d$. In 1996, Eswara Rao determined the necessary and sufficient conditions for these modules to be irreducible when $V$ is finite dimensional. In this note, we will determine the necessary and sufficient conditions for all these modules $F^α_b(V)$ to be irreducible where $V$ is not necessarily finite dimensional. Therefore we obtain a lot of irreducible $\mathcal{W}_d$-modules…
We provide a classification and explicit bases of tableaux of all irreducible subquotients of generic Gelfand-Tsetlin modules over Uq(gl(n)) where q different 1 and -1.
For a twisted affine Lie superalgebra with nonzero odd part, we study {tight irreducible weight modules} with bounded weight multiplicities and show that if the action of nonzero real vectors of each affine component of the zero part is neither completely injective nor completely locally nilpotent, then these modules are parabolically induced.
We classify the finite irreducible modules over the conformal superalgebra $K'_{4}$ by their correspondence with finite conformal modules over the associated annihilation superalgebra $\mathcal A(K'_{4})$. This is achieved by a complete classification of singular vectors in generalized Verma modules for $\mathcal A(K'_{4})$. We also show that morphisms between generalized Verma modules can be arranged in infinitely many bilateral complexes.
In the representation theory of split reductive algebraic groups, it is well known that every Weyl module with minuscule highest weight is irreducible over every field. Also, the adjoint representation of $E_8$ is also irreducible over every field. In this paper, we prove a converse to these statements, as conjectured by Gross: if a Weyl module is irreducible over every field, it must be either one of these, or trivially constructed from one of these.
A conjecture going back to the eighties claims that there are no non-trivial self-extensions of irreducible modules over symmetric groups if the characteristic of the ground field is not equal to $2$. We obtain some partial positive results on this conjecture.
We defined the hyperelliptic Heisenberg algebra as the Heisenberg subalgebra of a hyperlliptic Krichever-Novikov algebra. Then we gave a explicit irreducibility criteria for $φ$-Verma modules for these algebras.
We provide a classification and an explicit realization of all irreducible Gelfand-Tsetlin modules of the complex Lie algebra sl(3). The realization of these modules uses regular and derivative Gelfand-Tsetlin tableaux. In particular, we list all simple Gelfand-Tsetlin sl(3)-modules with infinite-dimensional weight spaces. Also, we express all simple Gelfand-Tsetlin sl(3)-modules as subquotionets of localized Gelfand-Tsetlin E_{21}-injective modules.
In this paper, we study a class of $\Z_d$-graded modules, which are constructed using Larsson's functor from $\sl_d$-modules $V$, for the Lie algebras of divergence zero vector fields on tori and quantum tori. We determine the irreducibility of these modules for finite-dimensional or infinite-dimensional $V$ using a unified method. In particular, these modules provide new irreducible weight modules with infinite-dimensional weight spaces for the corresponding algebras.
In this paper, we present a class of non-weight Virasoro modules $\mathcal{M}\big(V,Ω(λ_0,α_0)\big)\otimes\bigotimes_{i=1}^mΩ(λ_i,α_i)$ where $Ω(λ_i,α_i)$ and $\mathcal{M}\big(V,Ω(λ_0,α_0)\big)$ are irreducible Virasoro modules defined in \cite{LZ2} and \cite{LZ} respectively. The necessary and sufficient conditions for $\mathcal{M}\big(V,Ω(λ_0,α_0)\big)\otimes\bigotimes_{i=1}^mΩ(λ_i,α_i)$ to be irreducible are obtained. Then we determine the necessary and sufficient conditions for two such irreducible Virasoro modules to be isomorphic. At last, we show that the irreducible modules in this cla…
In this paper, we construct a class of non-weight modules over the affine-Virasoro algebra of type $A_1$ by taking tensor products of irreducibles defined in [Q. Chen, J. Han, Non-weight modules over the affine-Virasoro algebra of type $A_1$, J. Math. Phys. 60, 071707 (2019)] with irreducible highest weight modules. The irreducibility and the isomorphism classes of these modules are determined. Moreover, we show that these tensor product modules are different from the known non-weight modules. Finally, we realize some tensor product modules as induced modules from modules over certain subalgeb…
In this paper, we study irreducible weight modules with infinite dimensional weight spaces over the mirror-twisted Heisenberg-Virasoro algebra $\mathcal{D}$. More precisely, the necessary and sufficient conditions for the tensor products of irreducible highest weight modules and irreducible modules of intermediates series over $\mathcal{D}$ to be irreducible are determined by using "shifting technique". This leads to a family of new irreducible weight modules over $\mathcal{D}$. Then we obtain that any two such tensor products are isomorphic if and only if the corresponding highest weight modu…
We give a classification of all irreducible completely pointed $U_q(\mathfrak{sl}_{n+1})$ modules over a characteristic zero field in which $q$ is not a root of unity. This generalizes the classification result of Benkart, Britten and Lemire in the non quantum case. We also show that any infinite-dimensional irreducible completely pointed $U_q(\mathfrak{sl}_{n+1})$ can be obtained from some irreducible completely pointed module over the quantized Weyl algebra $A_{n+1}^q$.
We completely describe the decompositions (into indecomposable submodules) of the tensor products of irreducible sl(2)-modules in characteristic 3. The answer resembles analogous decompositions for the Lie superalgebra sl(1|1).
We construct new families of U_q(gl_n)-modules by continuation from finite dimensional representations. Each such module is associated with a combinatorial object - admissible set of relations defined in \cite{FRZ}. More precisely, we prove that any admissible set of relations leads to a family of irreducible U_q(gl_n)-modules. Finite dimensional and generic modules are particular cases of this construction.
We study a family of affine varieties arising from a version of an old problem due to Birkhoff asking for the classification of embeddings of finite abelian p-groups. We show that all of these varieties are irreducible and have a dense orbit.
In this paper we construct a class of new irreducible modules over untwisted affine Kac-Moody algebras $\widetilde{\mathfrak{g}}$, generalizing and including both highest weight modules and Whittaker modules. These modules allow us to obtain a complete classification of irreducible $\widetilde{\mathfrak{g}}$-modules on which the action of each root vector in $\widetilde{\mathfrak{n}}_+$ is locally finite, where $\widetilde{\mathfrak{n}}_+$ is the locally nilpotent subalgebra (or positive part) of $\widetilde{\mathfrak{g}}$. The necessary and sufficient conditions for two such irreducible $\wid…
We study irreducible modules for Toroidal Lie-algebras with finite dimensional weight spaces. First note that Toroidal Lie-algebras have infinite dimensional center. In genaral the infinite dimensional center does not act as scalars on an irreducible module but acts as invertible central operators. We prove in this paper the study of irreducible modules for Toroidal Lie-algebras with finite dimensional weight spaces is reduced to the study of irreducible modules where the center acts as scalars.
We classify completely prime primitive ideals whose associated varieties are the closure of the minimal nilpotent orbit of $\mathfrak{g}=\mathfrak{sl}(n,\mathbb{C})$, and classify irreducible $(\mathfrak{g},\mathfrak{k})$-modules which have those ideals as annihilators. Moreover, we irreducibly decompose them as $\mathfrak{k}$-modules.
In this paper we study irreducible tensor products of representations of alternating groups in characteristics 2 and 3. In characteristic 3 we completely classify irreducible tensor products, while in characteristic 2 we completely classify irreducible tensor products where none of the modules appearing in the product is a basic spin module. In characteristic 2 we also give some necessary conditions for the tensor product of an irreducible module with a basic spin module to be irreducible.
We show that the support of an irreducible weight module over the twisted Heisenberg-Virasoro algebra, which has an infinite dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the twisted Heisenberg-Virasoro algebra, having a nontrivial finite dimensional weight space, is a Harish-Chandra module (and hence is either an irreducible highest or lowest weight module or an irreducible module from the intermediate series
We prove a bijection between finite-dimensional irreducible modules for an arbitrary quantum affine algebra $U_q(g)$ and finite-dimensional irreducible modules for its Borel subalgebra $U_q(g)^{\geq 0}$.
We consider the problem of classifying irreducible Specht modules for the Iwahori-Hecke algebra of type B with parameters Q,q. We solve this problem completely in the case where q is not a root of unity, and in the case q=-1 we reduce the problem to the corresponding problem in type A.
In this paper, we classify the finite dimensional irreducible modules for affine BMW algebra over an algebraically closed field with arbitrary characteristic.
In this paper, we study modules for the Twisted Full Toroidal Lie Algebras (TFTLA). We define a category of bounded modules for TFTLA and classify all the irreducible modules in that category. A class of irreducible bounded modules are explicitly constructed by Michael Lau and Yuly Billig using Vertex operator algebras. We show that they exhaust all the irreducible bounded modules. Our plan is to describe the top spaces of the bounded irreducible modules for TFTLA and prove they in fact coincide with the top spaces of the modules constructed by Lau and Billig. When the top spaces become isomor…
This work completes the classification of the imprimitive irreducible modules, over algebraically closed fields of characteristic 0, of the finite quasisimple groups.