Belov-Kanel and Kontsevich conjectured that the group of automorphisms of the n'th Weyl algebra and the group of polynomial symplectomorphisms of C^2 are canonically isomorphic. We discuss how this conjecture can be approached by means of (second) quantized Weyl algebras at roots of unity.
We show that endomorphisms of Weyl algebras over fields of characteristic zero are flat and that birational endomorphisms are automorphisms by reducing to positive characteristic. We also give examples showing that endomorphisms of Weyl algebras are not in general flat over fields of positive characteristic.
We prove that every endomorphism of a simple quantum generalized Weyl algebra $A$ over a commutative Laurent polynomial ring in one variable is an automorphism. This is achieved by obtaining an explicit classification of all endomorphisms of $A$. Our main result applies to minimal primitive factors of the quantized enveloping algebra of $U_q(\mathfrak{sl}_2)$ and certain minimal primitive quotients of the positive part of $U_q(\mathfrak{so}_5)$.
We present an independent short proof of the main result of arXiv:0706.3725 that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight of the Weyl module. We derive this from the results of arXiv:0712.1183 about the shift of argument subalgebras.
Endomorphisms of Weyl algebras are studied using bimodules. Initially, for a Weyl algebra over a field of characteristic zero, Bernstein's inequality implies that holonomic bimodules finitely generated from the right or left form a monoidal category. The most important bimodule in this paper is the graph of an endomorphism. We prove that the graph of an endomorphism of a Weyl algebra over a field of characteristic zero is a simple bimodule. The simplicity of the tensor product of the dual graph and the graph is equivalent to the Dixmier conjecture. It is also shown how the graph construction l…
We give a unified construction of quantum groups, q-Boson algebras and quantized Weyl algebras and an action of quantum groups on quantized Weyl algebras. This enables us to give a conceptual proof of the semi-simplicity of the category $\mathcal{O}(B_q)$ introduced by T.Nakashima and the classification of all simple objects in it.
In this paper, we extend the Drinfeld current realization of quantum affine algebras $U_q(\hat {\gg})$ and of the Yangians in several directions: we construct current operators for non-simple roots of ${\gg}$, define a new braid group action in terms of the current operators and describe the universal R-matrix for the corresponding ``Drinfeld'' comultiplication in the form of infinite product and in the form of certain integrals over current operators.
In this note we solve the isomorphism problem for the multiparameter quantized Weyl algebras, in the case when none of the deformation parameters q_i is a root of unity, over an arbitrary field.
We prove an analogue of Weyl's law for quantized irreducible generalized flag manifolds. By this we mean defining a zeta function, similarly to the classical setting, and showing that it satisfies the following two properties: as a functional on the quantized algebra it is proportional to the Haar state; its first singularity coincides with the classical dimension. The relevant formulae are given for the more general case of compact quantum groups.
We prove an integral version of the Schur--Weyl duality between the specialized Birman--Murakami--Wenzl algebra $B_n(-q^{2m+1},q)$ and the quantum algebra associated to the symplectic Lie algebra sp_{2m}. In particular, we deduce that this Schur--Weyl duality holds over arbitrary (commutative) ground rings, which answers a question of Lehrer and Zhang [Strongly multiplicity free modules for Lie algebras and quantum groups, J. Algebra (1) 306 (2006), 138--174] in the symplectic case. As a byproduct, we show that, as $Z[q,q^{-1}]$-algebra, the quantized coordinate algebra defined by Kashiwara is…
For a quantized enveloping algebra of a complex semisimple Lie algebra with deformation parameter not a root of unity, we classify all homogeneous right coideal subalgebras. Any such right coideal subalgebra is determined uniquely by a triple consisting of two elements of the Weyl group and a subset of the set of simple roots satisfying some natural conditions. The essential ingredients of the proof are the Lusztig automorphisms and the classification of homogeneous right coideal subalgebras of the Borel Hopf subalgebras of quantized enveloping algebras obtained previously by H.-J. Schneider a…
In this paper, we study the algebra automorphisms and isomorphisms for a family of "symmetric" multiparameter quantized Weyl algebras $\A$ and some related algebras in the generic case. First, we compute the Nakayama automorphism for $\A$ and give a necessary and sufficient condition for $\A$ to be Calabi-Yau. We also prove that $\A$ is cancellative. Then we determine the automorphism group for $\A$ and its polynomial extension $\E$. As an application, we solve the isomorphism problem for $\{\A\}$ and $\{\E\}$. Similar results will be established for the Maltisiniotis multiparameter quantized …
We classify the centers of the quantized Weyl algebras that are PI and derive explicit formulas for the discriminants of these algebras over a general class of polynomial central subalgebras. Two different approaches to these formulas are given: one based on Poisson geometry and deformation theory, and the other using techniques from quantum cluster algebras. Furthermore, we classify the PI quantized Weyl algebras that are free over their centers and prove that their discriminants are locally dominating and effective. This is applied to solve the automorphism and isomorphism problems for this …
In this paper we investigate a multi-parameter deformation $\mathfrak{B}_{r,s}^n(a,λ,δ)$ of the walled Brauer algebra which was previously introduced by Leduc (\cite{leduc}). We construct an integral basis of $\mathfrak{B}_{r,s}^n(a,λ,δ)$ consisting of oriented tangles which is in bijection with walled Brauer diagrams. Moreover, we study a natural action of $\mathfrak{B}_{r,s}^n(q)= \mathfrak{B}_{r,s}^n(q^{-1}-q,q^n,[n]_q)$ on mixed tensor space and prove that the kernel is free over the ground ring $R$ of rank independent of $R$. As an application, we prove one side of Schur--Weyl duality for…
Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analogue of the Weyl group for Lie algebras and of the quantum Weyl group for quantized enveloping algebras. We give some applications of this new structure.
Let R be a Noetherian domain and let (σ, δ) be a quasi-derivation of R such that σ is an automorphism. There is an induced quasi-derivation on the classical quotient ring Q of R. Suppose F = t^2 - v is normal in the Ore extension R[t; σ, δ] where v ε R. We show F is prime in R[t; σ, δ] if and only if F is irreducible in Q[t; σ, δ] if and only if there does not exist w ε Q such that v = σ (w)w - δ (w). We apply this result to classify prime quadratic forms in quantum planes and quantized Weyl algebras.
We shall construct the quantized q-analogues of the birational Weyl group actions arising from nilpotent Poisson algebras, which are conceptual generalizations, proposed by Noumi and Yamada, of the Bäcklund transformations for Painlevé equations. Consider a quotient Ore domain of the lower nilpotent part of a quantized universal enveloping algebra of arbitrary symmetrizable Kac-Moody type. Then non-integral powers of the image of the Chevalley generators generate the quantized q-analogue of the birational Weyl group action. Using the same method, we shall reconstruct the quantized Bäcklund tra…
Bell and Zhang have shown that if $A$ and $B$ are two connected graded algebras finitely generated in degree one that are isomorphic as ungraded algebras, then they are isomorphic as graded algebras. We exploit this result to solve the isomorphism problem in the cases of quantum affine spaces, quantum matrix algebras, and homogenized multiparameter quantized Weyl algebras. Our result involves determining the degree one normal elements, factoring out, and then repeating. This creates an iterative process that allows one to determine relationships between relative parameters.
For an algebraically closed field $K$, we investigate a class of noncommutative $K$-algebras called connected quantized Weyl algebras. Such an algebra has a PBW basis for a set of generators $\{x_1,\dots,x_n\}$ such that each pair satisfies a relation of the form $x_ix_j=q_{ij}x_jx_i+r_{ij}$, where $q_{ij}\in K^*$ and $r_{ij}\in K$, with, in some sense, sufficiently many pairs for which $r_{ij}\neq 0$. We classify connected quantized Weyl algebras, showing that there are two types, linear and cyclic, each depending on a single parameter $q$. When $q$ is not a root of unity we determine the pri…
We show that the Schur-Weyl type duality between $gl(1|1)$ and $GL_n$ gives a natural representation-theoretic setting for the relation between reduced and non-reduced Burau representations.
We prove that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight of the Weyl module. This result may be used to test the local geometric Langlands correspondence proposed in our earlier work arXiv:math/0508382.
We compute the center and Azumaya locus in the simplest non-abelian examples of quantized multiplicative quiver varieties at a root of unity: quantum Weyl algebras of rank $N$, and quantum differential operators on the quantum group $\mathrm{GL}_2$. These examples illustrate in elementary terms much more general phenomena explored further in [Ganev-Jordan-Safronov 2019].
We give a formula for the universal R-matrix of the quantized universal enveloping algebra $U_q(\g).$ This is similar to a previous formula due to Kirillov-Reshetikhin and Levendorskii-Soibelman, except that where they use the action of the braid group element $T_{w_0}$ on each representation, we show that one can instead use a system of weight preserving endomorphisms. One advantage of our construction is that it is well defined for all symmetrizable Kac-Moody algebras. However we have only established that the result in equal to the universal R-matrix in finite type.
For the Borel part of a quantized enveloping algebra we classify all right coideal subalgebras for which the intersection with the coradical is a Hopf algebra. The result is expressed in terms of characters of the subalgebras $U^+[w]$ of the quantized enveloping algebra, introduced by de Concini, Kac, and Procesi for any Weyl group element $w$. We explicitly determine all characters of $U^+[w]$ building on recent work by Yakimov on prime ideals of $U^+[w]$ which are invariant under a torus action. Key words: Quantum groups, coideal subalgebras
All Lie bialgebra structures on the Heisenberg--Weyl algebra $[A_+,A_-]=M$ are classified and explicitly quantized. The complete list of quantum Heisenberg--Weyl algebras so obtained includes new multiparameter deformations, most of them being of the non-coboundary type.
Let $R$ be a commutative ring with one and $q$ an invertible element of $R$. The (specialized) quantum group ${\mathbf U} = U_q(\mathfrak{gl}_n)$ over $R$ of the general linear group acts on mixed tensor space $V^{\otimes r}\otimes {V^*}^{\otimes s}$ where $V$ denotes the natural $\mathbf U$-module $R^n$, $r,s$ are nonnegative integers and $V^*$ is the dual $\mathbf U$-module to $V$. The image of $\mathbf U$ in $\mathrm{End}_R(V^{\otimes r}\otimes {V^*}^{\otimes s})$ is called the rational $q$-Schur algebra $S_{q}(n;r,s)$. We construct a bideterminant basis of $S_{q}(n;r,s)$. There is an actio…
We derive a family of solutions to the tetrahedron equation using the RTT presentation of a two parametric quantized algebra of regular functions on an upper triangular subgroup of GL(n). The key ingredients of the construction are the longest element of the Weyl group, the quantum dilogarithm function, and central elements of the quantized division algebra of rational functions on the subgroup in question.
A Hecke endomorphism algebra is a natural generalisation of the $q$-Schur algebra associated with the symmetric group to a Coxeter group. For Weyl groups, B. Parshall, L. Scott and the first author \cite{DPS,DPS4} investigated the stratification structure of these algebras in order to seek applications to representations of finite groups of Lie type. In this paper we investigate the presentation problem for Hecke endomorphism algebras associated with arbitrary Coxeter groups. Our approach is to present such algebras by quivers with relations. If $R$ is the localisation of $\mathbb Z[q]$ at the…
Let $U$ be the quantum group with divided powers in $p-$th root of unity for prime $p$. For any two-sided cell $A$ in the corresponding affine Weyl group one associates tensor ideal in the category of tilting modules over $U$. In this note we show that for any cell $A$ there exists tilting module $T$ from the corresponding tensor ideal such that biggest power of $p$ which divides $dim T$ is $p^{a(A)}$ where $a(A)$ is Lusztig's $a-$function. In new version some typos are corrected and exposition is improved following suggestions of the referee.
Let $A_1=K < X, Y | [Y,X]=1>$ be the (first) Weyl algebra over a field $K$ of characteristic zero. It is known that the set of eigenvalues of the inner derivation $\ad (YX)$ of $A_1$ is $\Z$. Let $ A_1\ra A_1$, $X\mapsto x$, $Y\mapsto y$, be a $K$-algebra homomorphism, i.e. $[y,x]=1$. It is proved that the set of eigenvalues of the inner derivation $\ad (yx)$ of the Weyl algebra $A_1$ is $\Z$ and the eigenvector algebra of $\ad (yx)$ is $K< x,y> $ (this would be an easy corollary of the Problem/Conjecture of Dixmier of 1968 [still open]: {\em is an algebra endomorphism of $A_1$ an automorphism…
We show that some factors of the universal R-matrix generate a family of twistings for the standard Hopf structure of any quantized contragredient Lie (super)algebra of finite growth. As an application we prove that any two isomorphic superalgebras with different Cartan matrices have isomorphic q-deformations (as associative superalgebras) and their standard comultiplications are connected by such twisting. We present also an explicit relation between the generators of the second Drinfeld's realization and Cartan-Weyl generators of quantized affine nontwisted Kac-Moody algebras. Further develo…
Let U_q be the quantum group associated to a Lie algebra g of rank n. The negative part U^- of U has a canonical basis B with favourable properties, introduced by Kashiwara and Lusztig. The approaches of Kashiwara and Lusztig lead to a set of alternative parametrizations of the canonical basis, one for each reduced expression for the longest word in the Weyl group of g. We show that if g is of type A_4 there are close relationships between the Lusztig cones, canonical basis elements and the regions of linearity of reparametrization functions arising from the above parametrizations. A graph can…
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a polyhedral realization of the crystal basis for the extremal weight module of extremal weight $λ$, where $λ$ is an integral weight whose Weyl group orbit has neither a dominant integral weight nor an antidominant integral weight.
We present methods and explicit formulas for describing simple weight modules over twisted generalized Weyl algebras. When a certain commutative subalgebra is finitely generated over an algebraically closed field we obtain a classification of a class of locally finite simple weight modules as those induced from simple modules over a subalgebra isomorphic to a tensor product of noncommutative tori. As an application we describe simple weight modules over the quantized Weyl algebra.
We show that for each reduced expression for the longest word in the Weyl group of type A_n, the corresponding cone arising in Lusztig's description of the canonical basis in terms of tight monomials is simplicial, and construct explicit spanning vectors.
In this paper, we establish explicit relationship between decomposition numbers of quantized walled Brauer algebras and those for either Hecke algebras associated to certain symmetric groups or (rational) $q$-Schur algebras over a field $κ$. This enables us to use Ariki's result \cite{Ar} and Varagnolo-Vasserot's result \cite{VV} to compute such decomposition numbers via inverse Kazhdan-Lusztig polynomials associated with affine Weyl groups of type $A$ if the ground field is $\mathbb C$.
We introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's q-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus, we also describe all Whittaker pairs up to isomorphism over a class of twisted generalized Weyl algebras which includes the multiparameter …
We analyze the BGG Category $\mathcal{O}$ over a large class of generalized Weyl algebras (henceforth termed GWAs). Given such a "triangular" GWA for which Category $\mathcal{O}$ decomposes into a direct sum of subcategories, we study in detail the homological properties of blocks with finitely many simples. As consequences, we show that the endomorphism algebra of a projective generator of such a block is quasi-hereditary, finite-dimensional, and graded Koszul. We also classify all tilting modules in the block, as well as all submodules of all projective and tilting modules. Finally, we prese…
We study the properties of level zero modules over quantized affine algebras. The proof of the conjecture on the cyclicity of tensor products by Akasaka and the present author is given. Several properties of modules generated by extremal vectors are proved. The weights of a module generated by an extremal vector are contained in the convex hull of the Weyl group orbit of the extremalweight. The universal extremal weight module with level zero fundamental weight as an extremal weight is irreducible, and isomorphic to the affinization of an irreducible finite-dimensional module.
We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the a…
We prove that any twisted generalized Weyl algebra satisfying certain consistency conditions can be embedded into a crossed product. We also introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's $q$-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus,…
Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such that [X,Y]+I has rank 1. Following a suggestion of L. Le Bruyn, we define a map $θ: R \to C$ by appropriately extending an ideal of A to a sheaf over a quantum projective plane, and then using standard methods of homological algebra. We prove that $θ$ is inverse to a bijection $ω: C \to R$ constructed in \cite{BW} by a completely different method. The main s…
We investigate a class of algebras that provides multiparameter versions of both quantum symplectic space and quantum Euclidean $2n$-space. These algebras encompass the graded quantized Weyl algebras, the quantized Heisenberg space, and a class of algebras introduced by Oh. We describe the structure of the prime and primitive ideals of these algebras. Other structural results include normal separation and catenarity.
We study finite dimensional representations of current algebras, loop algebras and their quantized versions. For the current algebra of a simple Lie algebra of type {\tt ADE}, we show that Kirillov-Reshetikhin modules and Weyl modules are in fact all Demazure modules. As a consequence one obtains an elementary proof of the dimension formula for Weyl modules for the current and the loop algebra. Further, we show that the crystals of the Weyl and the Demazure module are the same up to some additional label zero arrows for the Weyl module. For the current algebra $\Lgc$ of an arbitrary simple Lie…
The Shapovalov determinant for a class of pointed Hopf algebras is calculated, including quantized enveloping algebras, Lusztig's small quantum groups, and quantized Lie superalgebras. Our main tools are root systems, Weyl groupoids, and Lusztig type isomorphisms. We elaborate powerful novel techniques for the algebras at roots of unity, and pass to the general case using a density argument. Key words: Hopf algebra, Nichols algebra, quantum group, representation
Motives of Brauer-Severi schemes of Cayley-smooth algebras associated to homogeneous superpotentials are used to compute inductively the motivic Donaldson-Thomas invariants of the corresponding Jacobian algebras. This approach can be used to test the conjectural exponential expressions for these invariants, proposed in arXiv:1510.08116. As an example we confirm the second term of the conjectured expression for the motivic series of the homogenised Weyl algebra.
We construct homomorphic images of $su(n,n)^{\mathbb C}$ in Weyl Algebras ${\mathcal H}_{2nr}$. More precisely, and using the Bernstein filtration of ${\mathcal H}_{2nr}$, $su(n,n)^{\mathbb C}$ is mapped into degree $2$ elements with the negative non-compact root spaces being mapped into second order creation operators. Using the Fock representation of ${\mathcal H}_{2nr}$, these homomorphisms give all unitary highest weight representations of $su(n,n)^{\mathbb C}$ thus reconstructing the Kashiwara--Vergne List for the Segal--Shale--Weil representation. Just as in the derivation of the their l…
For a finite-dimensional simple Lie algebra $\mathfrak{g}$, let $U^+_q(\mathfrak{g})$ be the positive part of the quantized universal enveloping algebra, and $A_q(\mathfrak{g})$ be the quantized algebra of functions. We show that the transition matrix of the PBW bases of $U^+_q(\mathfrak{g})$ coincides with the intertwiner between the irreducible $A_q(\mathfrak{g})$-modules labeled by two different reduced expressions of the longest element of the Weyl group of $\mathfrak{g}$. This generalizes the earlier result by Sergeev on $A_2$ related to the tetrahedron equation and endows a new represent…