Global and local Weyl modules for the untwisted multiloop Lie algebras were defined by Chari, the first and the second author via homological properties. In this paper we extended the ideas to give a categorical definition of the Weyl modules for twisted multiloop algebras. Our methods led us to describe an identification of the finite--dimensional highest weight modules for twisted multiloop algebras with suitably chosen finite--dimensional highest weight modules for untwisted multiloop algebras.
In this article we construct a new class of finite dimensional irreducible modules genaralizing evaluation modules for multiloop superalgebra of type A(m,n) and C(m). We prove that these are the only such modules. In all other cases it is known that such modules are evaluation modules.
We investigate the categories of finite-dimensional representations of multicurrent and multiloop hyperalgebras in positive characteristic, i.e., the hyperalgebras associated to the multicurrent algebras $\mathfrak g\otimes\mathbb{C}[t_1,\ldots,t_n]$ and to the multiloop algebras $\mathfrak g\otimes\mathbb{C}[t_1^{\pm1},\ldots,t_n^{\pm 1}]$, where $\mathfrak g$ is any finite-dimensional complex simple Lie algebra. The main results are the construction of the universal finite-dimensional highest-weight modules and a classification of irreducible modules in each category. In the characteristic z…
Thin coverings are a method of constructing graded-simple modules from simple (ungraded) modules. After a general discussion, we classify the thin coverings of (quasifinite) simple modules over associative algebras graded by finite abelian groups. The classification uses the representation theory of cyclotomic quantum tori. We close with an application to representations of multiloop Lie algebras.
We use evaluation representations to give a complete classification of the finite-dimensional simple modules of twisted current algebras. This generalizes and unifies recent work on multiloop algebras, current algebras, equivariant map algebras, and twisted forms.
The paper is to classify irreducible integrable modules for the twisted full toroidal Lie algebra with some technical conditions. The twisted full toroidal Lie algebra are extensions of multiloop algebra twisted by sevaral finite order automorphisms. The result genaralizes a result by Fu Jiayuan and Cuipo Jiang, where they consider only one automorphism.
We calculate the cohomology of $\mathfrak{sl}_3(k)$ over an algebraically closed field $k$ of characteristic $p>3$ with coefficients in simple modules and Weyl modules. We also give descriptions of the corresponding cohomology of $\mathfrak{gl}_3(k)$.
We construct explicit resolutions of Weyl modules by divided powers and of co-Specht modules by permutational modules. We also prove a conjecture of Boltje-Hartmann on resolutions of co-Specht modules.
Suppose a finite group acts on a scheme X and a finite-dimensional Lie algebra g. The associated equivariant map algebra is the Lie algebra of equivariant regular maps from X to g. Examples include generalized current algebras and (twisted) multiloop algebras. Local Weyl modules play an important role in the theory of finite-dimensional representations of loop algebras and quantum affine algebras. In the current paper, we extend the definition of local Weyl modules (previously defined only for generalized current algebras and twisted loop algebras) to the setting of equivariant map algebras wh…
Given an algebraically closed field $\Bbbk$ of characteristic zero, a Lie superalgebra $\mathfrak{g}$ over $\Bbbk$ and an associative, commutative $\Bbbk$-algebra $A$ with unit, a Lie superalgebra of the form $\mathfrak{g} \otimes_\Bbbk A$ is known as a map superalgebra. Map superalgebras generalize important classes of Lie superalgebras, such as, loop superalgebras (where $A=\Bbbk[t, t^{-1}]$), and current superalgebras (where $A=\Bbbk[t]$). In this paper, we define Weyl functors, global and local Weyl modules for all map superalgebras where $\mathfrak{g}$ is either $\mathfrak{sl} (n,n)$ with…
We define global and local Weyl modules for Lie superalgebras of the form $\mathfrak{g} \otimes A$, where $A$ is an associative commutative unital $\mathbb{C}$-algebra and $\mathfrak{g}$ is a basic Lie superalgebra or $\mathfrak{sl}(n,n)$, $n \ge 2$. Under some mild assumptions, we prove universality, finite-dimensionality, and tensor product decomposition properties for these modules. These properties are analogues of those of Weyl modules in the non-super setting. We also point out some features that are new in the super case.
Global and local Weyl Modules were introduced via generators and relations in the context of affine Lie algebras in a work by the first author and Pressley and were motivated by representations of quantum affine algebras. A more general case was considered by Feigin and Loktev by replacing the polynomial ring with the coordinate ring of an algebraic variety. We show that there is a natural definition of the local and global modules via homological properties. This characterization allows us to define the Weyl functor from the category of left modules of a commutative algebra to the category of…
We define a notion of pseudo-unitarizability for weight modules over a generalized Weyl algebra (of rank one, with commutative coeffiecient ring $R$), which is assumed to carry an involution of the form $X^*=Y$, $R^*\subseteq R$. We prove that a weight module $V$ is pseudo-unitarizable iff it is isomorphic to its finitistic dual $V^\sharp$. Using the classification of weight modules by Drozd, Guzner and Ovsienko, we obtain necessary and sufficient conditions for an indecomposable weight module to be isomorphic to its finitistic dual, and thus to be pseudo-unitarizable. Some examples are given,…
We study finite-dimensional respresentations of twisted current algebras and show that any graded twisted Weyl module is isomorphic to level one Demazure module for the twisted affine Kac-Moody algebra. Using the tensor product property of Demazure modules, we obtain, by analyzing the fundamental Weyl modules, dimension and character formulas. Moreover we prove that graded twisted Weyl modules can be obtained by taking the associated graded modules of Weyl modules for the loop algebra, which implies that its dimension and classical character are independent of the support and depend only on it…
Twisted generalized Weyl algebras (TGWAs) $A(R,σ,t)$ are defined over a base ring $R$ by parameters $σ$ and $t$, where $σ$ is an $n$-tuple of automorphisms, and $t$ is an $n$-tuple of elements in the center of $R$. We show that, for fixed $R$ and $σ$, there is a natural algebra map $A(R,σ,tt')\to A(R,σ,t)\otimes_R A(R,σ,t')$. This gives a tensor product operation on modules, inducing a ring structure on the direct sum (over all $t$) of the Grothendieck groups of the categories of weight modules for $A(R,σ,t)$. We give presentations of these Grothendieck rings for $n=1,2$, when $R=\mathbb{C}[z]…
In this paper, we first construct the twisted full toroidal Lie algebra by an extension of a centreless Lie torus $LT$ which is a multiloop algebra twisted by several automorphisms of finite order and equipped with a particular grading. We then provide a complete classification of all the irreducible integrable modules with finite dimensional weight spaces for this twisted full toroidal Lie algebra having a non-trivial $LT$-action and where the centre of the underlying Lie algebra acts trivially.
An Ore extension over a polynomial algebra F[x] is either a quantum plane, a quantum Weyl algebra, or an infinite-dimensional unital associative algebra A_h generated by elements x,y, which satisfy yx-xy = h, where h is in F[x]. When h is nonzero, these algebras are subalgebras of the Weyl algebra A_1 and can be viewed as differential operators with polynomial coefficients. In previous work, we studied the structure of A_h and determined its automorphism group and the subalgebra of invariants under the automorphism group. Here we determine the irreducible A_h-modules. In a sequel to this paper…
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
We give a family of pairs of Weyl modules for which the corresponding homomorphism space is at least 2-dimensional. Using this result we show that for fixed parameters $e>0$ and $p\geq 0$ there exist arbitrarily large homomorphism spaces between pairs of Weyl modules.
We define global Weyl modules for twisted loop algebras and analyze their high- est weight spaces, which are in fact isomorphic to Laurent polynomial rings in finitely many variables. We are able to show that the global Weyl module is a free module of finite rank over these rings. Furthermore we prove, that there exist injective maps from the global Weyl modules for twisted loop algebras into a direct sum of global Weyl modules for untwisted loop algebras. Relations between local Weyl modules for twisted and untwisted generalized current algebras are known; we provide for the first time a rela…
In this paper, we study local graded Weyl modules and Demazure modules for twisted hypercurrent algebras. We prove that local graded Weyl modules for a twisted hypercurrent algebra are isomorphic to the corresponding level 1 Demazure modules, and moreover, that they are restrictions of corresponding local graded Weyl modules for the untwisted hypercurrent algebra.
For an irreducible module $P$ over the Weyl algebra $\mathcal{K}_n^+$ (resp. $\mathcal{K}_n$) and an irreducible module $M$ over the general liner Lie algebra $\mathfrak{gl}_n$, using Shen's monomorphism, we make $P\otimes M$ into a module over the Witt algebra $W_n^+$ (resp. over $W_n$). We obtain the necessary and sufficient conditions for $P\otimes M$ to be an irreducible module over $W_n^+$ (resp. $W_n$), and determine all submodules of $P\otimes M$ when it is reducible. Thus we have constructed a large family of irreducible weight modules with many different weight supports and many irred…
We study étale descent of derivations of algebras with values in a module. The algebras under consideration are twisted forms of algebras over rings, and apply to all classes of algebras, notably associative and Lie algebras, such as the multiloop algebras that appear in the construction of extended affine Lie algebras.
The purpose of this paper is to prove necessary and sufficient criteria for a $GL(m|n)$-supermodule to have a good or Weryl filtration. We also introduce the notion of a Steinberg supermodule analogous to the classical notion of Steinberg module. We prove that the Steinberg supermodule inherits some properties of the Steinberg module. Some new series of finite-dimensional tilting supermodules are found.
We develop the theory of global and local Weyl modules for the hyperspecial maximal parabolic subalgebra of type $A_{2n}^{(2)}$. We prove that the dimension of a local Weyl module depends only on its highest weight, thus establishing a freeness result for global Weyl modules. Furthermore, we show that the graded local Weyl modules are level one Demazure modules for the corresponding affine Lie algebra. In the last section we derive the same results for the special maximal parabolic subalgebras of the twisted affine Lie algebras not of type $A_{2n}^{(2)}$.
We investigate the representations of the hyperalgebras associated to the map algebras $\mathfrak g\otimes \mathcal A$, where $\mathfrak g$ is any finite-dimensional complex simple Lie algebra and $\mathcal A$ is any associative commutative unitary algebra with a multiplicatively closed basis. We consider the natural definition of the local and global Weyl modules, and the Weyl functor for these algebras. Under certain conditions, we prove that these modules satisfy certain universal properties, and we also give conditions for the local or global Weyl modules to be finite-dimensional or finite…
We define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups. Thus we obtain a compact analogue of Schur-Weyl duality. We study functors $F_{μ,k}$ from the category of admissible $O(p,q)$ or $Sp_{2n}(\mathbb{R})$ modules to representations of the type B/C affine Brauer algebra $\mathfrak{B}_k^θ$. Thus providing a Akawaka-Suzuki-esque link between $O(p,q)$ (or $Sp_{2n}(\mathbb{R})$) and $\mathfrak{B}_k^θ$. Furthermore thes…
We define global and local Weyl modules for $q \otimes A$, where $q$ is the queer Lie superalgebra and $A$ is an associative commutative unital $\mathbb{C}-$algebra. We prove that global Weyl modules are universal highest weight objects in certain category upto parity reversing functor $Π$. Then with the assumption that $A$ is finitely generated and with a special technical condition which simple root system of $q$ satisfy it is shown that the local Weyl modules are finite dimensional. Further they are universal highest map-weight objects in certain category upto $Π$. Finally we prove a tensor…
In this paper we study Weyl modules for a toroidal Lie algebra $\CT$ with arbitrary $n$ variables. Using the work of Rao \cite{1995}, we prove that the level one global Weyl modules of $\CT$ are isomorphic to suitable submodules of a Fock space representation of $\CT$ upto a twist. As an application, we compute the graded character of the level one local Weyl module of $\CT$, thereby generalising the work of Kodera \cite{ko}.
We study structural properties of truncated Weyl modules. A truncated Weyl module $W_N(λ)$ is a local Weyl module for $\mathfrak g[t]_N = \mathfrak g \otimes \frac{\mathbb C[t]}{t^N\mathbb C[t]}$, where $\mathfrak g$ is a finite-dimensional simple Lie algebra. It has been conjectured that, if $N$ is sufficiently small with respect to $λ$, the truncated Weyl module is isomorphic to a fusion product of certain irreducible modules. Our main result proves this conjecture when $λ$ is a multiple of certain fundamental weights, including all minuscule ones for simply laced $\mathfrak g$. We also take…
This paper studies extension groups between certain Weyl modules for the algebraic group GL_n over the integers. Main results include: (1) A complete determination of Ext groups between Weyl modules whose highest weights differ by a single root and (2) Determination of Ext^1 between an exterior power of the defining representation and any Weyl module. The significance of these results for modular representation theory of GL_n is discussed in several Remarks. Notably the first result leads to a calculation of Ext groups between neighboring Weyl modules for GL_n and also recovers the GL_n case o…
In this paper we prove Schur-Weyl duality between the symplectic group and Brauer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer algebra $B_n(-2m)$ to the endomorphism algebra of tensor space $(K^{2m})^{\otimes n}$ as a module over the symplectic similitude group $GSp_{2m}(K)$ (or equivalently, as a module over the symplectic group $Sp_{2m}(K)$) is always surjective. Another surjectivity, that of the natural homomorphism from the group algebra for $GSp_{2m}(K)$ to the endomorphism algebra of $(K^{2m})^{\otimes n}$ as a module over $B_n(-2m)$…
Let $A$ be a commutative, associative algebra with unity over $\mathbb{C}$. Using the definition of global Weyl modules for the map superalgebras given by Calixto, Lemay, and Savage we explicitly describe the structure of certain quotients of the global Weyl modules for the map superalgebra $\mathfrak{sl}(2,1)\otimes A$. We also give a nice basis for these modules. This work is an extension of a Theorem of Feigin and Loktev describing the structure of the Weyl module for the map algebra $\mathfrak{sl}_2\otimes A$. This work can naturally be extended to similar quotients of the global Weyl modu…
We survey some important results concerning the finite--dimensional representations of the loop algebra of a simple complex Lie algebra, and their twisted loop subalgebras. In particular, we review the parametrization and description of the Weyl modules and of the irreducible finite--dimensional representations of such algebras, describe a block decomposition of the (non--semisimple) category of their finite--dimensional representations, and conclude with recent developments in the representation theory of multiloop algebras.
We classify simple weight modules over infinite dimensional Weyl algebras and realize them using the action on certain localizations of the polynomial ring. We describe indecomposable projective and injective weight modules and deduce from this a description of blocks of the category of weight modules by quivers and relations. As a corollary we establish Koszulity for all blocks.
Let $G$ be a semisimple algebraic group over a field of characteristic $p > 0$. We prove that the dual Weyl modules for $G$ all have $p$-filtrations when $p$ is not too small. Moreover, we give applications of this theorem to $p^n$-filtrations for $n > 1$, to modules containing the Steinberg module as a tensor factor, and to the Donkin conjecture on modules having $p$-filtrations.
We study the structural and homological properties of graded Artinian modules over generalized Weyl algebras (GWAs), and this leads to a decomposition result for the category of graded Artinian modules. Then we define and examine a category of graded modules analogous to the BGG category O. We discover a condition on the data defining the GWA that ensures O has a system of projective generators. Under this condition, O has nice representation-theoretic properties. There is also a decomposition result for O. Next, we give a necessary condition for there to be a strongly graded Morita equivalenc…
Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in \cite{CP}. In this paper we extend the notion of Weyl modules for a Lie algebra $\mathfrak{g} \otimes A$, where $\mathfrak{g}$ is any Kac-Moody algebra and A is any finitely generated commutative associative algebra with unit over $\mathbb{C}$, and prove a tensor product decomposition theorem generalizing \cite{CP}.
The construction of all irreducible modules of the symmetric groups over an arbitrary field which reduce to Specht modules in the case of fields of characteristic zero is given by G.D.James. Halıcıoğlu and Morris describe a possible extension of James' work for Weyl groups in general, where Young tableaux are interpreted in terms of root systems. In this paper we show how to construct submodules of Specht modules for Weyl groups.
This paper concerns representations of the integral general linear group. The extension groups $Ext^2$ between any pair of hook Weyl modules are determined via a detailed study of cyclic generators and relations associated to certain extensions. As a corollary, the modular extension groups $Ext^1$ between such modules are determined.
Polynomial representations of general linear groups and modules over Schur algebras are compared. We work over an arbitrary commutative ring and show that Schur-Weyl duality is the key for an equivalence between both categories.
Let $k$ be an infinite field of positive characteristic. We determine all homomorphisms between Weyl modules for $GLn(k)$, where one of the partitions is a hook. As a consequence we obtain a nonvanishing result concerning homomorphisms between Weyl modules for algebraic groups of type B, C and D when one of the partitions is a hook.
In this paper we address the problem of classification of simple weight modules over weak generalized Weyl algebras of rank one. The principal difference between weak generalized Weyl algebras and generalized weight algebras is that weak generalized Weyl algebras are defined using an endomorphism rather than an automorphism of a commutative ring $R$. We reduce classification of simple weight modules over weak generalized Weyl algebras to description of the dynamics of the action of the above mentioned endomorphism on the set of maximal ideals. We also describe applications of our results to th…
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.
Let X be the group of weights of a maximal torus of a simply connected semisimple group over C and let W be the Weyl group. The semidirect product W(Q\otimes X/X) is called the extended Weyl group. There is a natural C(v)-algebra H called the extended Hecke algebra with basis indexed by the extended Weyl group which contains the usual Hecke algebra as a subalgebra. We construct an H-module with basis indexed by the involutions in the extended Weyl group. This generalizes a construction of the author and D.Vogan.
We develop a general framework for studying relative weight representations for certain pairs consisting of an associative algebra and a commutative subalgebra. Using these tools we describe projective and simple weight modules for quantum Weyl algebras for generic values of deformation parameters. We consider two quantum versions: one by Maltsiniotis and the other one by Akhavizadegan and Jordan.
We establish the existence of Demazure flags for graded local Weyl modules for hyper current algebras in positive characteristic. If the underlying simple Lie algebra is simply laced, the flag has length one, i.e., the graded local Weyl modules are isomorphic to Demazure modules. This extends to the positive characteristic setting results of Fourier-Littelmann and Naoi for current algebras in characteristic zero. Using this result, we prove that the character of local Weyl modules for hyper loop algebras depend only on the highest weight, but not on the (algebraically closed) ground field, and…
The authors proved that a Weyl module for a simple algebraic group is irreducible over every field if and only if the module is isomorphic to the adjoint representation for $E_{8}$ or its highest weight is minuscule. In this paper, we prove an analogous criteria for irreducibility of Weyl modules over the quantum group $U_ζ({\mathfrak g})$ where ${\mathfrak g}$ is a complex simple Lie algebra and $ζ$ ranges over roots of unity.
Global Weyl modules for generalized loop algebras $\lie g\tensor A$, where $\lie g$ is a simple finite dimensional Lie algebra and A is a commutative associative algebra were defined, for any dominant integral weight $λ$, by generators and relations. They are expected to play the role similar to that of Verma modules in the study of categories of representations of these algebras. One of the fundamental properties of Verma modules is that the space of morphisms between two Verma modules is either zero or one--dimensional and also that any non--zero morphism is injective. The aim of this paper …
Let $\mathfrak{g}$ be the exceptional complex simple Lie algebra of type $G_2$. We provide a concrete cyclicity condition for the tensor product of fundamental representations of the Yangian $Y(\mathfrak{g})$. Using this condition, we show that every local Weyl module is isomorphic to an ordered tensor product of fundamental representations of $Y(\mathfrak{g})$.
