We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac–Moodyalgebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Heckealgebras.This yields a proof of a conjecture of Chuang–Miyachi relating the level-rank duality with the Ringel–Koszul duality of cyclotomic rational double affine Hecke algebras.

We investigate compact quantum group actions on unital $C^*$-algebras by analyzing invariant subsets and invariant states. In particular, we come up with the concept of compact quantum group orbits and use it to show that countable compact metrizable spaces with infinitely many points are not quantum homogeneous spaces.

We construct faithful actions of quantum permutation groups on connected compact metrizable spaces. This disproves a conjecture of Goswami.

We describe the generalized Casimir operators and their actions on the positive representations Pλ of the modular double of split real quantum groups Uqq (gR). We introduce the notion of virtual highest and lowest weights, and show that the central characters admit positive values for all parameters λ. We show that their image defines a semi-algebraic region bounded by real points of the discriminant variety independent of q, and we discuss explicit examples in the lower rank cases.

This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra structure of its weight one subspace. As a consequence, we completely classify all holomorphic framed vertex operator algebras of central charge 24 and show that there exist exactly 56 such vertex operator algebras, up to isomorphism.

Motivated by Kapranov's discovery of an $L_\infty$ algebra structure on the tangent complex of a K\"{a}hler manifold and Chen-Sti\'{e}non-Xu's construction of a Leibniz$_\infty[1]$ algebra associated with a Lie pair, we find a general method to construct Leibniz$_\infty[1]$ algebras ---from a DG derivation $\mathscr{A} \xrightarrow{\delta} \Omega$ of a commutative differential graded algebra $\mathscr{A}$ valued in a DG $\mathscr{A}$-module $\Omega$. We prove that for any $\delta$-connection $\nabla$ on $\mathcal{B}$, the $\A$-dual of $\Omega$, there associates a Leibniz$_\infty[1]$ $\mathscr{A}$-algebra $(\mathcal{B},\{\mathcal{R}^\nabla_k\}_{k\geq 1})$. Moreover, this construction is canonical, i.e., the isomorphism class of $(\mathcal{B},\{\mathcal{R}^\nabla_k\}_{k\geq 1})$ only depends on the homotopy class of $\delta$.

No abstract uploaded!

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.

No abstract uploaded!

We construct an integrable hierarchy in the form of Hirota quadratic equations (HQE) that governs the Gromov--Witten (GW) invariants of the Fano orbifold projective curve P^1_{a1,a2,a3}. The vertex operators in our construction are given in terms of the K-theory of P^1_{a1,a2,a3} via Iritani's Γ-class modification of the Chern character map. We also identify our HQEs with an appropriate Kac--Wakimoto hierarchy of ADE type. In particular, we obtain a generalization of the famous Toda conjecture about the GW invariants of P^1 .

No abstract uploaded!

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.

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.

We present a 3D topological picture-language for quantum information. Our approach combines charged excitations carried by strings, with topological properties that arise from embedding the strings in the interior of a 3D manifold with boundary. A quon is a composite that acts as a particle. Specifically, a quon is a hemisphere containing a neutral pair of open strings with opposite charge. We interpret multiquons and their transformations in a natural way. We obtain a type of relation, a string–genus “joint relation,” involving both a string and the 3D manifold. We use the joint relation to obtain a topological interpretation of the C* Hopf algebra relations, which are widely used in tensor networks. We obtain a 3D representation of the controlled NOT (CNOT) gate that is considerably simpler than earlier work, and a 3D topological protocol for teleportation.

In this article, we classify all standard invariants that can arise from a composed inclusion of an A3with an A4subfactor. More precisely, if N⊂P is an A3subfactor and P⊂M is an A4subfactor, then only four standard invariants can arise from the composed inclusion N⊂M. We answer a question posed by Bisch and Haagerup in 1994. The techniques of this paper also show that there are exactly four standard invariants for the composed inclusion of two A4subfactors.

For a symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$, Lusztig introduced the corresponding modified quantized enveloping algebra $\dot{\textbf{U}}$ and its canonical basis $\dot{\textbf{B}}$ in [13]. In this paper, in case $\mathfrak{g}$ is a symmetric Kac-Moody Lie algebra of finite or affine type, we define a set $\tilde{\mathcal{M}}$ which depends only on the root category $\mathcal{R}$ and prove that there is a bijection between $\tilde{\mathcal{M}}$ and $\dot{\textbf{B}}$, where $\mathcal{R}$ is the $T^2$-orbit category of the bounded derived category of corresponding Dynkin or tame quiver. Our method is based on a result of Lin, Xiao and Zhang in [10], which gives a PBW-type basis of $\textbf{U}^+$.

Let $\mathbf{U}$ be the quantized enveloping algebra and $\dot{\mathbf{U}}$ its modified form. Lusztig gives some symmetries on $\mathbf{U}$ and $\dot{\mathbf{U}}$. Since the realization of $\mathbf{U}$ by the reduced Drinfeld double of the Ringel-Hall algebra, one can apply the BGP-reflection functors to the double Ringel-Hall algebra to obtain Lusztig's symmetries on $\mathbf{U}$ and their important properties, for instance, the braid relations. In this paper, we define a modified form $\dot{\mathcal{H}}$ of the Ringel-Hall algebra and realize the Lusztig's symmetries on $\dot{\mathbf{U}}$ by applying the BGP-reflection functors to $\dot{\mathcal{H}}$.

Let $\mathbf{U}$ be the quantum group and $\mathbf{f}$ be the Lusztig's algebra associated with a symmetrizable generalized Cartan matrix. The algebra $\mathbf{f}$ can be viewed as the positive part of $\mathbf{U}$. Lusztig introduced some symmetries $T_i$ on $\mathbf{U}$ for all $i\in I$. Since $T_i(\mathbf{f})$ is not contained in $\mathbf{f}$, Lusztig considered two subalgebras ${_i\mathbf{f}}$ and ${^i\mathbf{f}}$ of $\mathbf{f}$ for any $i\in I$, where ${_i\mathbf{f}}=\{x\in\mathbf{f}\,\,|\,\,T_i(x)\in\mathbf{f}\}$ and ${^i\mathbf{f}}=\{x\in\mathbf{f}\,\,|\,\,T^{-1}_i(x)\in\mathbf{f}\}$. The restriction of $T_i$ on ${_i\mathbf{f}}$ is also denoted by $T_i:{_i\mathbf{f}}\rightarrow{^i\mathbf{f}}$. The geometric realization of $\mathbf{f}$ and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig's symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of ${_i\mathbf{f}}$, ${^i\mathbf{f}}$ and $T_i:{_i\mathbf{f}}\rightarrow{^i\mathbf{f}}$ by using the language 'quiver with automorphism' introduced by Lusztig.

In this paper, we give geometric realizations of Lusztig's symmetries. We also give projective resolutions of a kind of standard modules. By using the geometric realizations and the projective resolutions, we obtain the categorification of the formulas of Lusztig's symmetries.

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

No abstract uploaded!

No abstract uploaded!

Nous montrons que le morphisme de Frobenius quantique construit par Lusztig dans le cadre des algèbres enveloppantes quantiques $U_{\mathcal{B}}$ spécialisées en une racine de l’unité admet un scindage multiplicatif (non unitaire). Nous utilisons pour ce faire une base de la partie torique de la petite algèbre quantique constituée d’idempotents orthogonaux deux à deux et de somme 1 et faisons de même dans le cas «modulaire» pour l’algèbre des distributions d’un groupe algébrique semi-simple.

In these notes we collect some results about finite-dimensional representations of $U_{q}(\mathfrak {gl}(1\mid1))$ and related invariants of framed tangles, which are well-known to experts but difficult to find in the literature. In particular, we give an explicit description of the ribbon structure on the category of finite-dimensional $U_{q}(\mathfrak {gl}(1\mid1))$ -representations and we use it to construct the corresponding quantum invariant of framed tangles. We explain in detail why this invariant vanishes on closed links and how one can modify the construction to get a non-zero invariant of framed closed links. Finally we show how to obtain the Alexander polynomial by considering the vector representation of $U_{q}(\mathfrak {gl}(1\mid1))$ .

For any unital separable simple infinite-dimensional nuclear$C$^{∗}-algebra with finitely many extremal traces, we prove that $$ \mathcal{Z} $$ -absorption, strict comparison and property (SI) are equivalent. We also show that any unital separable simple nuclear$C$^{∗}-algebra with tracial rank zero is approximately divisible, and hence is $$ \mathcal{Z} $$ -absorbing.