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 relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for C a braided tensor category, we give a detailed construction of the canonical algebra in C⊠C^rev: if C is semisimple but not necessarily finite or rigid, then ⨁X∈Irr(C) X′⊠X is a commutative algebra, with X′ a representing object for Hom_C(∙⊗_C X,1_C). Conversely, let A=⨁i∈I U_i ⊠ V_i be a simple commutative algebra in U⊠V with U semisimple and rigid but not necessarily finite, and V rigid but not necessarily semisimple. If the unit objects of U and V form a commuting pair in A, we show there is a braid-reversed equivalence between subcategories of U and V sending U_i to (V_i)*. When U and V are module categories for simple vertex operator algebras U and V, we glue U and V along U⊠V via a map τ: Irr(U)→Obj(V) such that τ(U)=V to create A=⨁X∈Irr(U) X′⊗τ(X). Thus under certain conditions, τ extends to a braid-reversed equivalence between U and V if and only if A is a simple conformal vertex algebra extending U⊗V. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and W-algebras at admissible levels.

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.

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra g^, from g-module homomorphisms. When g=sl_2, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to g^, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.

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.