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 study the root of unity degeneration of cluster algebras and quantum dilogarithm identities. We prove identities for the cyclic dilogarithm associated with a mutation sequence of a quiver, and as a consequence new identities for the noncompact quantum dilogarithm at |$b=1$|⁠.Communicated by Michio Jimbo

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.

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.

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.

For each simple Lie algebra g, we construct an algebra embedding of the quantum group Uq(g) into certain quantum torus algebra Dg via the positive representations of split real quantum group. The quivers corresponding to Dg is obtained from an amalgamation of two basic quivers, each of which is mutation equivalent to one describing the cluster structure of the moduli space of framed G-local system on a disk with 3 marked points on its boundary when G is of classical type. We derive a factorization of the universal R-matrix into quantum dilogarithms of cluster monomials, and show that conjugation by the R-matrix corresponds to a sequence of quiver mutations which produces the half-Dehn twist rotating one puncture about the other in a twice punctured disk.

We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.

No abstract uploaded!

Some filtrations of the tensor product of a highest weight module and a lowest weight module over quantum group Uq(g)are constructed in[1]and one can use them to define a two-sided ideal of the modified quantized enveloping algebra. It is shown that the quotient algebra inherits a canonical basis from the modified quantized enveloping algebra and is dual to the quantum coordinate algebra defined by Kashiwara for a symmetrizable Kac–Moody algebra g.

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.

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

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.

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.

Let$p$be a prime integer, 1≤$s$≤$r$be integers and$F$be a field of characteristic different from$p$. We find upper and lower bounds for the essential$p$-dimension ed_{$p$}( $$ Al{{g}_{{{{p}^r},{{p}^s}}}} $$ ) of the class $$ Al{{g}_{{{{p}^r},{{p}^s}}}} $$ of central simple algebras of degree$p$^{$r$}and exponent dividing$p$^{$s$}. In particular, we show that ed($Alg$_{8,2})=ed_{2}($Alg$_{8,2})=8 and ed_{$p$}( $$ Al{{g}_{{{{p}^2},p}}} $$ )=$p$^{2}+$p$for$p$odd.

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

Based on the work of Ringel and Green, one can define the (Drinfeld) double Ringel--Hall algebra ${\mathscr D}(Q)$ of a quiver $Q$ as well as its highest weight modules. The main purpose of the present paper is to show that the basic representation $L(\Lambda_0)$ of ${\mathscr D}(\Delta_n)$ of the cyclic quiver $\Delta_n$ provides a realization of the $q$-deformed Fock space $\bigwedge^\infty$ defined by Hayashi. This is worked out by extending a construction of Varagnolo and Vasserot. By analysing the structure of nilpotent representations of $\Delta_n$, we obtain a decomposition of the basic representation $L(\Lambda_0)$ which induces the Kashiwara--Miwa--Stern decomposition of $\bigwedge^\infty$ and a construction of the canonical basis of $\bigwedge^\infty$ defined by Leclerc and Thibon in terms of certain monomial basis elements in ${\mathscr D}(\Delta_n)$.

Narain lattices are unimodular lattices {\it in} $\R^{r,s}$, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2,2}$ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2,2}$, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects -- rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice U 2 , and isomorphisms of discriminant groups of rank 2 lattices

No abstract uploaded!

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 found an explicit construction of a representation of the positive quantum group and its modular double by positive essentially self-adjoint operators. Generalizing Lusztig's parametrization, we found a Gauss type decomposition for the totally positive quantum group parametrized by the standard decomposition of the longest element . Under this parametrization, we found explicitly the relations between the standard quantum variables, the relations between the quantum cluster variables, and realizing them using non-compact generators of the q-tori by positive essentially self-adjoint operators. The modular double arises naturally from the transcendental relations, and an space in the von Neumann setting can also be defined.

Let V be an N-graded, simple, self-contragredient, C_2-cofinite vertex operator algebra. We show that if the S-transformation of the character of V is a linear combination of characters of V-modules, then the category C of grading-restricted generalized V-modules is a rigid tensor category. We further show, without any assumption on the character of V but assuming that C is rigid, that C is a factorizable finite ribbon category, that is, a not-necessarily-semisimple modular tensor category. As a consequence, we show that if the Zhu algebra of V is semisimple, then C is semisimple and thus V is rational. The proofs of these theorems use techniques and results from tensor categories together with the method of Moore-Seiberg and Huang for deriving identities of two-point genus-one correlation functions associated to V. We give two main applications. First, we prove the conjecture of Kac-Wakimoto and Arakawa that C_2-cofinite affine W-algebras obtained via quantum Drinfeld-Sokolov reduction of admissible-level affine vertex algebras are strongly rational. The proof uses the recent result of Arakawa and van Ekeren that such W-algebras have semisimple (Ramond twisted) Zhu algebras. Second, we use our rigidity results to reduce the "coset rationality problem" to the problem of C2-cofiniteness for the coset. That is, given a vertex operator algebra inclusion U⊗V↪A with A, U strongly rational and U, V a pair of mutual commutant subalgebras in A, we show that V is also strongly rational provided it is C_2-cofinite.

No abstract uploaded!

We study the tensor product decomposition of the split real quantum group Uqq~(sl(2,R)) from the perspective of finite dimensional representation theory of compact quantum groups. It is known that the class of positive representations of Uqq~(sl(2,R)) is closed under taking tensor product. In this paper, we show that one can derive the corresponding Hilbert space decomposition, given explicitly by quantum dilogarithm transformations, from the Clebsch-Gordan coefficients of the tensor product decomposition of finite dimensional representations of the compact quantum group Uq(sl2) by solving certain functional equations and using normalization arising from tensor products of canonical basis. We propose a general strategy to deal with the tensor product decomposition for the higher rank split real quantum group Uqq~(gR)

We study the positive representations Pλ of split real quantum groups Uqq (gℝ) restricted to the Borel subalgebra Uqq (bℝ). We prove that the restriction is independent of the parameter λ. Furthermore, we prove that it can be constructed from the GNS-representation of the multiplier Hopf algebra UqqC ∗ (b ℝ) defined earlier, which allows us to decompose their tensor product using the theory of the “multiplicative unitary”. In particular, the quantum mutation operator can be constructed from the multiplicity module, which will be an essential ingredient in the construction of quantum higher Teichmüller theory from the perspective of representation theory, generalizing earlier work by Frenkel-Kim.

We prove that certain parabolic Kazhdan-Lusztig polynomials calculate the graded decomposition matrices of v-Schur algebras given by the Jantzen filtration of Weyl modules, confirming a conjecture of Leclerc and Thibon.