Varagnolo and Vasserot conjectured an equivalence between the category O for CRDAHA’s and a subcategory of an affine parabolic category O of type A. We prove this conjecture. As applications, we prove a conjecture of Rouquier on the dimension of simple modules of CRDAHA’s and a conjecture of Chuang–Miyachi on the Koszul duality for the category O of CRDAHA’s.

No abstract uploaded!

In this paper, we generalize the categorifical construction of a quantum group and its canonical basis by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.

We present the third in the series of papers describing Poisson properties of planar directed networks in the disk or in the annulus. In this paper we concentrate on special networks$N$_{$u,v$}in the disk that correspond to the choice of a pair ($u, v$) of Coxeter elements in the symmetric group$S$_{$n$}and the corresponding networks $N_{u,v}^\circ$ in the annulus. Boundary measurements for$N$_{$u,v$}represent elements of the Coxeter double Bruhat cell$G$^{$u,v$}⊂GL_{$n$}. The Cartan subgroup$H$acts on$G$^{$u,v$}by conjugation. The standard Poisson structure on the space of weights of$N$_{$u,v$}induces a Poisson structure on$G$^{$u,v$}, and hence on the quotient$G$^{$u,v$}/$H$, which makes the latter into the phase space for an appropriate Coxeter–Toda lattice. The boundary measurement for $N_{u,v}^\circ$ is a rational function that coincides up to a non-zero factor with the Weyl function for the boundary measurement for$N$_{$u,v$}. The corresponding Poisson bracket on the space of weights of $N_{u,v}^\circ$ induces a Poisson bracket on the certain space $ {\mathcal{R}_n} $ of rational functions, which appeared previously in the context of Toda flows.

In this paper, we introduce a motivic version of To¨en’s derived Hall algebra. Then we point out that the two kinds of Hall algebras in the sense of To¨en and Kontsevich–Soibelman, respectively, are Drinfeld dual pairs, not only in the classical case (by counting over finite fields) but also in the motivic version. Consequently they are canonically isomorphic. All proofs, including that for the most important associative property, are deduced in a self-contained way by analyzing the symmetry properties around the octahedral axiom, a method we used previously

No abstract uploaded!

Let $\U_q(\fg)$ be the quantum supergroup of $\gl_{m|n}$ or the modified quantum supergroup of $\osp_{m|2n}$ over the field of rational functions in $q$, and let $V_q$ be the natural module for $\U_q(\fg)$. There exists a unique tensor functor, associated with $V_q$, from the category of ribbon graphs to the category of finite dimensional representations of $\U_q(\fg)$, which preserves ribbon category structures. We show that this functor is full in the cases $\fg=\gl_{m|n}$ or $\osp_{2\ell+1|2n}$. For $\fg=\osp_{2\ell|2n}$, we show that the space $\Hom_{\U_q(\fg)}(V_q^{\otimes r}, V_q^{\otimes s})$ is spanned by images of ribbon graphs if $r+s< 2\ell(2n+1)$. The proofs involve an equivalence of module categories for two versions of the quantisation of $\U(\fg)$.

We develop a general theory of canonical bases for quantum symmetric pairs (U, U^i) with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable U-modules and their tensor products regarded as U^i-modules. We also construct a canonical basis for the modified form of the i-quantum group U^i. To that end, we establish several new structural results on quantum symmetric pairs, such as bilinear forms, braid group actions, integral forms, Levi subalgebras (of real rank one), and integrality of the intertwiners.

The subject for investigation in this note is concerned with strongly homotopy (SH) Lie algebras, also known as $L_\infty$-algebras, or $L_\infty[1]$-algebras. We extract an intrinsic character, the Atiyah class, when a smaller $L_\infty[1]$-algebra $A$ is extended to a bigger one $L$. In fact, we establish that given such an SH Lie pair $(L,A)$, and any $A$-module $E$, there associates a canonical cohomology class, the Atiyah class $[\alpha^E]$, living in $H^2_{\mathrm{CE}}(A, A^\perp\otimes End(E))$, which generalizes earlier known Atiyah classes out of Lie algebra pairs. In particular, the quotient space $L/A$ is a canonical $A$-module and there associates the Atiyah class $[\alpha^{L/A}]\in H^2_{\mathrm{CE}}(A, Hom(L/A\otimes L/A,L/A))$. The nature of such classes is that they induce on $H^\bullet_{\mathrm{CE}}(A,L/A[-2])$ a Lie algebra structure, and on $H^\bullet_{\mathrm{CE}}(A,E[-2])$ a Lie algebra module structure. An alternative point of view is that the process of taking Atiyah classes defines a functor from the category of $A$-modules to the category of $H^\bullet_{\mathrm{CE}}(A,L/A[-2])$-modules. Moreover, Atiyah classes are invariant under gauge equivalent $A$-compatible infinitesimal deformations of $L$.

In this paper, we associate quantum vertex algebras to a certain family of associative algebras $\widetilde{\A}(g)$ which are essentially Ding-Iohara algebras. To do this, we introduce another closely related family of associative algebras $\A(h)$. The associated quantum vertex algebras are based on the vacuum modules for $\A(h)$, whereas $\phi$-coordinated modules for these quantum vertex algebras are associated to $\widetilde{A}(g)$-modules. Furthermore, we classify their irreducible $\phi$-coordinated modules.