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.

We give a new type of Schur-Weyl duality for the representations of a family of quantum subgroups and their centralizer algebra. We define and classify singly-generated, Yang-Baxter relation planar algebras. We present the skein theoretic construction of a new parameterized planar algebra. We construct infinitely many new subfactors and unitary fusion categories, and compute their trace formula as a closed-form expression, in terms of Young diagrams.

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 introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

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.

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)$.

No abstract uploaded!

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

We investigate a generalization of Hopf algebra $\mathfrak{sl}_{q}\left( 2\right) $ by weakening the invertibility of the generator $K$, i.e. exchanging its invertibility $KK^{-1}=1$ to the regularity $K\overline{K}K=K$. This leads to a weak Hopf algebra $w\mathfrak{sl}_{q}\left( 2\right) $ and a $J$-weak Hopf algebra $v\mathfrak{sl}_{q}\left( 2\right) $ which are studied in detail. It is shown that the monoids of group-like elements of $w\mathfrak{sl}_{q}\left( 2\right) $ and $v\mathfrak{sl}_{q}\left( 2\right) $ are regular monoids, which supports the general conjucture on the connection betweek weak Hopf algebras and regular monoids. Moreover, from $w\mathfrak{sl}_{q}\left( 2\right) $ a quasi-braided weak Hopf algebra $\overline{U}_{q}^{w}$ is constructed and it is shown that the corresponding quasi-$R$-matrix is regular $R^{w}\hat{R}^{w}R^{w}=R^{w}$.