2-categorical affine symmetries of quantum enveloping algebras
Sam Qunell
备注：
v4: Some arguments are simplified by relating our functor E_0 to the standard module for the highest root. A few expositional simplifications. References added. Minor spelling/style changes. 41 pages with tikz figures. Final version, to appear in Journal of Algebra
We produce 2-representations of the positive part of affine quantum enveloping algebras on their finite-dimensional counterparts in type $A_n$. These 2-representations naturally extend the right-multiplication 2-representation of $U_q^+(\mathfrak{sl}_{n+1})$ on itself and are closely related to evaluation morphisms of quantum groups. We expect that our 2-representation exists in all simple types and show that the corresponding 1-representation exists in types $D_4$ and $C_2$. We also show that a certain quotient of our 1-representation in type $A_n$ is isomorphic to a prefundamental representation. We use this to provide a new proof of the prefundamental representation character formulas in these cases.
Let $\mathfrak{g}$ be an affine Kac-Moody algebra with symmetric Cartan datum, $\mathfrak{n^{+}}$ be the maximal nilpotent subalgebra of $\mathfrak{g}$. By the Hall algebra approach, we construct integral bases of the $\mathbb{Z}$-form of the enveloping algebra $U(\mathfrak{n^{+}})$. In particular, the representation theory of tame quivers is essentially used in this paper.
For symmetrizable Kac-Moody Lie algebra $\textbf{g}$, Lusztig introduced the modified quantized enveloping algebra $\dot{\textbf{U}}(\textbf{g})$ and its canonical basis in [12]. In this paper, for finite and affine type symmetric Lie algebra $\textbf{g}$ we define a set which depend only on the root category and prove that there is a bijection between the set and the canonical basis of $\dot{\textbf{U}}(\textbf{g})$, where the root category is the $T^2$-orbit category of the derived category of Dynkin or tame quiver. Our method bases on one theorem of Lin, Xiao and Zhang in [9], which gave th…
In this paper, we give defining relations of the affine Lie superalgebras an and defining relations of a super-version of the Drinfeld[D]-Jimbo[J] affine quantized universal enveloping algebras. As a result, we can exactly define the affine quantized universal enveloping superalgebras with generators and relations. Moreover we give a Drinfeld's realizations of $U_h({\hat {sl}}(m|n)^{(1)})$.
Inspired by the work of Rostam, we establish an explicit categorical equivalence between affine Yokonuma-Hecke algebras and quiver Hecke algebras associated to disjoint copies of quivers of (affine) type $A,$ generalizing Rouquier's categorical equivalence theorem.
A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we prove that the set of the isomorphism classes of simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ has an extended crystal structure isomorphic to the extended crystal $\widehat{B}_{\mathfrak{g}}(\inft…
We give (conjectural) analogs of Berenstein-Zelevinsky data for affine type $A$. Moreover, by using these affine analogs of Berenstein-Zelevinsky data, we realize the crystal basis of the negative part of the quantized universal enveloping algebra of the (Langlands dual) Lie algebra of affine type $A$.
We use the fusion construction in the twisted quantum affine algebras to obtain a unified method to deform the wedge product for classical Lie algebras. As a byproduct we uniformly realize all non-spin fundamental modules for quantized enveloping algebras of classical types, and show that they admit natural crystal bases as modules for the (derived) twisted quantum affine algebra. These crystal bases are parametrized in terms of the $q$-wedge products.
Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we identify the trigraded dimensions of the space of morphisms of this category with intersection numbers coming from the topological origin of the group.
We obtain a presentation of certain affine q-Schur algebras in terms of generators and relations. The presentation is obtained by adding more relations to the usual presentation of the quantized enveloping algebra of type affine gl_n. Our results extend and rely on the corresponding result for the q-Schur algebra of the symmetric group, which were proved by the first author and Giaquinto.
We classify all total orders having a certain convex property on the positive root system of an arbitrary untwisted affine Lie algebra ${\frak g}$. Such total orders are called convex orders and are used to construct convex bases of Poincaré-Birkhoff-Witt type of the upper triangular subalgebra $U_q^+$ of the quantized enveloping algebra $U_q({\frak g})$.
We prove that the Grothendieck rings of category $\mathcal{C}^{(t)}_Q$ over quantum affine algebras $U_q'(\g^{(t)})$ $(t=1,2)$ associated to each Dynkin quiver $Q$ of finite type $A_{2n-1}$ (resp. $D_{n+1}$) is isomorphic to one of category $\mathcal{C}_{\mQ}$ over the Langlands dual $U_q'({^L}\g^{(2)})$ of $U_q'(\g^{(2)})$ associated to any twisted adapted class $[\mQ]$ of $A_{2n-1}$ (resp. $D_{n+1}$). This results provide partial answers of conjectures of Frenkel-Hernandez on Langlands duality for finite-dimensional representation of quantum affine algebras.
Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules.
For every element w in the Weyl group of a simple Lie algebra g, De Concini, Kac, and Procesi defined a subalgebra U_q^w of the quantized universal enveloping algebra U_q(g). The algebra U_q^w is a deformation of the universal enveloping algebra U(n_+\cap w.n_-). We construct smash products of certain finite-type De Concini-Kac-Procesi algebras to obtain ones of affine type; we have analogous constructions in types A_n and D_n. We show that the multiplication in the affine type De Concini-Kac-Procesi algebras arising from this smash product construction can be twisted by a cocycle to produce c…
We introduce two subalgebras in the type A quantum affine algebra which are coideals with respect to the Hopf algebra structure. In the classical limit q -> 1 each subalgebra specializes to the enveloping algebra U(k), where k is a fixed point subalgebra of the loop algebra over gl_N with respect to a natural involution corresponding to the embedding of the orthogonal or symplectic Lie algebra into gl_N. We also give an equivalent presentation of these coideal subalgebras in terms of generators and defining relations which have the form of reflection-type equations. We provide evaluation homom…
We give complete proofs of the K-theoretic construction of the quantized enveloping algebra of affine gl(n) sketched with V. Ginzburg in Internat. Math. Res. Notices, 3 (1993).
We show that the finite-dimensional fundamental module over a quantized affine algebra is isomorphic to a Demazure module of a higest weight module of level one as a module over a quantized classical universal enveloping algebra.
Let $\g$ be an affine Kac-Moody Lie algebra. Let $\U^+$ be the positive part of the Drinfeld-Jimbo quantum enveloping algebra associated to $\g$. We construct a basis of $\U^+$ which is related to the Kashiwara-Lusztig global crystal basis (or canonical basis) by an upper triangular matrix (with respect to an explicitly defined ordering) with 1's on the diagonal and with above diagonal entries in $q_s^{-1} \Z[q_s^{-1}]$. Using this construction we study the global crystal basis $\B(\Um)$ of the modified quantum enveloping algebra defined by Lusztig. We obtain a Peter-Weyl like decomposition of…
We define the twisted affine Yangian of type $C$ and construct surjective homomorphisms from twisted affine Yangians of type $C$ to the universal enveloping algebra of the rectangular $W$-algebra associated with $\mathfrak{so}(ln)$ and a nilpotent element whose Jordan form corresponds to the partition $(l^n)$ in the case when $l$ and $n$ are even.
Notes on a homomorphism from the affine Yangian associated with $\hat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$
Kashiwara and Saito have defined a crystal structure on the set of irreducible components of Lusztig's quiver varieties. This gives a geometric realization of the crystal graph of the lower half of the quantum group associated to a simply-laced Kac-Moody algebra. Using an enumeration of the irreducible components of Lusztig's quiver varieties in finite and affine type A by combinatorial data, we compute the geometrically defined crystal structure in terms of this combinatorics. We conclude by comparing the combinatorial realization of the crystal graph thus obtained with other combinatorial mo…
We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver $\overr{Q}$ and of the category of coherent sheaves on ${\mathbb P}^1$. Using this approach, we show that the Drinfeld--Beck isomorphism for the quantized enveloping algebra $U_v(\hat{\mathfrak{sl}}_2)$ is a corollary of an equivalence between the derived categories $D^b\bigl(\Rep(\overr{Q})\bigr)$ and $D^b\bigl(\Coh({\mathbb P}^1)\bigr)$. This technique also allows to reprove several technical results on the integral form of $U_v(\hat{\mathfrak{sl}}_2)$.
Let ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the double Ringel--Hall algebra of the cyclic quiver $\triangle(n)$ and let $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the modified quantum affine algebra of ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$. We will construct an integral form $\dot{{\mathfrak D}_{\vartriangle}}(n)$ for $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ such that the natural algebra homomorphism from $\dot{{\mathfrak D}_{\vartriangle}}(n)$ to the integral affine quantum Schur algebra is surjective. Furthermore, we will use Hall algebras to construct…
We describe a categorical g action, called a (g,theta) action, which is easier to check in practice. Most categorical g actions can be shown to be of this form. The main result is that a (g,theta) action carries actions of quiver Hecke algebras (KLR algebras). We discuss applications of this fact to categorical vertex operators, affine Grassmannians (or Nakajima quiver varieties) and to homological knot invariants.
Aspects of the algebraic structure and representation theory of the quantum affine superalgebras with symmetrizable Cartan matrices are studied. The irreducible integrable highest weight representations are classified, and shown to be deformations of their classical counterparts. It is also shown that Jimbo type quantum affine superalgebras can be obtained by deforming universal enveloping algebras of ordinary (i.e., non-graded) affine algebras supplemented by certain parity operators.
We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions as appear in recent advances in the Geometric Langlands program. The key technical tools in o…
There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories.
The affine and degenerate affine Birman-Murakami-Wenzl (BMW) algebras arise naturally in the context of Schur-Weyl duality for orthogonal and symplectic quantum groups and Lie algebras, respectively. Cyclotomic BMW algebras, affine and cyclotomic Hecke algebras, and their degenerate versions are quotients. In this paper we explain how the affine and degenerate affine BMW algebras are tantalizers (tensor power centralizer algebras) by defining actions of the affine braid group and the degenerate affine braid algebra on tensor space and showing that, in important cases, these actions induce acti…
Let $C$ be a symmetrizable generalized Cartan Matrix, and $q$ an indeterminate. ${\fg}(C)$ is the Kac-Moody Lie algebra and $U=U_q({\fg}(C))$ the associated quantum enveloping algebra over $ k={\Bbb Q}(q)$. The quantum function algebra ${\Bbb C}_{q}[G]$ is defined as a suitable $U$-bisubalgebra of the dual space $\hom_{k}(U,k)$ which can be described using matrix elements of integrable $U$-modules. For $\fg$ affine, the highest weight modules of $C_q[G]$ are constructed and, assuming a minimality condition, their (unitarizable) irreducible quotients are shown to be in a 1-1 correspondence with…
Using Lakshmibai-Seshadri paths, we give a combinatorial realization of the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$, $C_{\infty}$, or $D_{\infty}$. Moreover, via this realization, we obtain an explicit description (in terms of Littlewood-Richardson coefficients) of how tensor products of these crystal bases decompose into connected components when their extremal weights are of nonnegative levels. These results, in types $B_{\infty}$, $C_{\infty}…
A combinatorial formula for Pfaffian for the universal enveloping algebra of the affine Kac - Moody algebra of even orthogonal Lie algebra is proved. It allows easily to compute the image of this Segal-Sugawara vector under the Harish-Chandra homomorphism and to deduce formulas for classical Pfaffian of universal enveloping algebra of the even orthogonal Lie algebra.
Suppose that we have a semisimple, connected, simply connected algebraic group $G$ with corresponding Lie algebra $\mathfrak{g}$. There is a Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ and the coordinate ring $O(G)$. By introducing a parameter $q$, we can consider quantum deformations $U_q(\mathfrak{g})$ and $O_q(G)$ respectively, between which there again exists a Hopf pairing. We show that the category of crystals associated with $U_q(\mathfrak{g})$ is a monoidal category. We define subgroups of $U_q(\mathfrak{g})$ to be right coideal subalgebras, and subgroups of…
We investigate in detail relationships between the set ${\mathfrak B}^\infty$ of all infinite ``biconvex'' sets in the positive root system $Δ_+$ of an arbitrary untwisted affine Lie algebra ${\mathfrak g}$ and the set ${\mathcal W}^\infty$ of all infinite ``reduced word'' of the Weyl group of ${\mathfrak g}$. The study is applied to the classification of ``convex orders'' on $Δ_+$ (cf. \cite{kI}), which are indispensable to construct ``convex bases'' of Poincaré-Birkhoff-Witt type of the upper triangular subalgebra $U_q^+$ of the quantized universal enveloping algebra $U_q({\mathfrak g})$. We…
In this article, we deal with properties of the reduced Drinfeld double of the composition subalgebra of the Hall algebra of the category of coherent sheaves on a weighted projective line. This study is motivated by applications in the theory of quantized enveloping algebras of some Lie algebras. We obtain a new realization of quantized enveloping algebras of affine Lie algebras of simply-laced type and get new embeddings between such algebras. Moreover, our approach allows to derive new results on the structure of the quantized enveloping algebras of the toroidal algebras of types $D_4^{(1,1)…
We construct a four-parameter family of affine Yangian algebras by gluing two copies of the affine Yangian of $\mathfrak{gl}_1$. Our construction allows for gluing operators with arbitrary (integer or half integer) conformal dimension and arbitrary (bosonic or fermionic) statistics, which is related to the relative framing. The resulting family of algebras is a two-parameter generalization of the $\mathcal{N}=2$ affine Yangian, which is isomorphic to the universal enveloping algebra of $\mathfrak{u}(1)\oplus \mathcal{W}^{\mathcal{N}=2}_{\infty}[λ]$. All algebras that we construct have natural …
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.
Dixmier and Moeglin gave an algebraic condition and a topological condition for recognising the primitive ideals among the prime ideals of the universal enveloping algebra of a finite-dimensional complex Lie algebra; they showed that the primitive, rational, and locally closed ideals coincide. In modern terminology, they showed that the universal enveloping algebra of a finite-dimensional complex Lie algebra satisfies the Dixmier-Moeglin equivalence. We define quantities which measure how "close" an arbitrary prime ideal of a noetherian algebra is to being primitive, rational, and locally clos…
This note has two purposes. First we establish that the map defined in [L, $§40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincaré--Birkhoff--Witt (PBW) type for $\bup$, an affine untwisted quantized enveloping algebra of Drinfel$'$d and Jimbo. The computations in this paper are made possible by extending the usual braid group action by certain outer automorphisms of the algebra.
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…
We construct spectral parameter dependent R-matrices for the quantized enveloping algebras of twisted affine Lie algebras. These give new solutions to the spectral parameter dependent quantum Yang-Baxter equation.
We establish an explicit embedding of a quantum affine $\mathfrak{sl}_n$ into a quantum affine $\mathfrak{sl}_{n+1}$. This embedding serves as a common generalization of two natural, but seemingly unrelated, embeddings, one on the quantum affine Schur algebra level and the other on the non-quantum level. The embedding on the quantum affine Schur algebras is used extensively in the analysis of canonical bases of quantum affine $\mathfrak{sl}_n$ and $\mathfrak{gl}_n$. The embedding on the non-quantum level is used crucially in a work of Riche and Williamson on the study of modular representation…
The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a lattice over $\bz[q^{-1}]$. This allows the algebraic characterization of the canonical basis as a certain bar-invariant basis of $\cl$. Here we present a similar algebraic characterization of the affine canonical basis. Our construction is complicated by the need to introduce basis elements to span the ``imaginary'' subalgebra which is fixed by the affine brai…
Drinfeld Zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of the affine Lie algebra $\hat{sl}_n$. We introduce an affine, reduced, irreducible, normal quiver variety $Z$ which maps to the Zastava space bijectively at the level of complex points. The natural Poisson structure on the Zastava space can be described on $Z$ in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra…
Let Q be an affine quiver of type A. Let C be the associated generalized Cartan matrix. Let U^- be the negative part of the quantized enveloping algebra attached to C. In terms of perverse sheaves on the moduli space of representations of a quiver, Lusztig constructed U geometrically and gave a canonical basis B of U^- at the same time. The simple perverse sheaves which enter B are defined abstractly in general. In Lusztig's paper [L2], by using McKay's correspondence, he gave a description of these canonical basis elements in affine cases, i.e. specifying the corresponding supports and local …
The ordinary (or classical) Birman-Wenzl-Murakami algebras were initially conceived as an algebraic framework for the Kauffman link invariant. They also appear as centralizer algebras for representations of quantum universal enveloping algebras of orthogonal or symplectic types. It was shown by Morton and Wassermann that the BMW algebras are isomorphic to algebras of tangles in (disc $\times$ interval), modulo Kauffman skein relations. This isomorphism allows one to see very clearly certain properties of the BMW algebras -- for example existence of Markov traces and conditional expectations an…
Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $σ$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained from $σ$, and $\widetilde{\mathbf B}$ (resp. $\widetilde{\underline{\mathbf B}}$) the canonical signed basis of ${\mathbf U}_q^-$ (resp. $\underline{\mathbf U}_q^-$). Assume that ${\mathbf U}_q^-$ is simply-laced of finite or affine type. In our previous papers [SZ1, 2], we have proved by an elementary method, that there exists a natural bijection $\widetilde{\math…
We use category theory to propose a unified approach to the Schur-Weyl dualities involving the general linear Lie algebras, their polynomial extensions and associated quantum deformations. We define multiplicative sequences of algebras exemplified by the sequence of group algebras of the symmetric groups and use them to introduce associated monoidal categories. Universal properties of these categories lead to uniform constructions of the Drinfeld functor connecting representation theories of the degenerate affine Hecke algebras and the Yangians and of its q-analogue. Moreover, we construct act…
We study the restricted form of the qaunatized enveloping algebra of an untwisted affine Lie algebra and prove a triangular decomposition for it. In proving the decomposition we prove several new identities in the quantized algebra, one of these show a connection between the quantized algebra and Young diagrams. These identities are all invisible in the non-quantum case of the problem which was considered by Garland in 1978. We then study the finite-dimensional irreducible representations and prove a factorization theorem for such representations.
De Concini, Kac, and Procesi defined a family of subalgebras Uq[w] of the quantized enveloping algebra Uq(g) associated to elements w in the Weyl group of a simple Lie algebra g. These algebras are called quantum Schubert cell algebras. We show that, up to a mild cocycle twist, quotients of certain quantum Schubert cell algebras of types E_6 and E_6^{(1)} map isomorphically onto distinguished subalgebras of the Faddeev-Reshetikhin-Takhtajan universal bialgebra associated to the braiding on the quantum half-spin representation of Uq(so_{10}). We identify the quotients as those obtained by facto…
Let $ \mathfrak{g} $ be an untwisted affine Kac-Moody algebra over the field $ K \, $, and let $ U_q(\mathfrak{g}) $ be the associated quantum enveloping algebra; let $ \mathfrak{U}_q(g) $ be the Lusztig's integer form of $ U_q(\mathfrak{g}) \, $, generated by $ q $-divided powers of Chevalley generators over a suitable subring $ R $ of $ K(q) \, $. We prove a Poincaré-Birkhoff-Witt like theorem for $ \mathfrak{U}_q(\mathfrak{g}) \, $, yielding a basis over $ R $ made of ordered products of $ q $-divided powers of suitable quantum root vectors.
We use the Hecke algebras of affine symmetric groups and their associated Schur algebras to construct a new algebra through a basis, and a set of generators and explicit multiplication formulas of basis elements by generators. We prove that this algebra is isomorphic to the quantum enveloping algebra of the loop algebra of $\mathfrak {gl}_n$. Though this construction is motivated by the work \cite{BLM} by Beilinson--Lusztig--MacPherson for quantum $\frak{gl}_n$, our approach is purely algebraic and combinatorial, independent of the geometric method which seems to work only for quantum $\mathfr…
We observe that all classical Hamiltonian systems coming from the invariant polynomials on a reductive Lie algebra g can be integrated in a universal way. This is a consequence of Ngô's action of the group scheme J of regular centralizers in G on all centralizers: the Hamiltonian flows associated to invariant polynomials integrate to an action of J as commutative symplectic groupoid. We quantize the Ngô action, providing a universal integration for all quantum Hamiltonian systems coming from the center Z=Z(Ug) of the enveloping algebra. Namely we extend Kostant's Whittaker description of Z to …
