An irreducible module for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$ is said to be of $σ$-type if an automorphism of the fusion algebra of $K(\mathfrak{sl}_2,k)$ of order $k$ is trivial on it. For any integer $k \ge 3$, we show that there exists an automorphism of order $2$ of the subalgebra of the fusion algebra of $K(\mathfrak{sl}_2,k)^{\langle θ\rangle}$ spanned by the irreducible direct summands of $σ$-type irreducible $K(\mathfrak{sl}_2,k)$-modules, where $θ$ is an involution of $K(\mathfrak{sl}_2,k)$. We discuss some examples of such an automorphism as well.
This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra $K(sl_2,k)$ associated to the integrable highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ is the building block of the general parafermion vertex operator $K(\mathfrak{g},k)$ for any finite dimensional simple Lie algebra $\mathfrak{g}$ and any positive integer $k$. We first classify the irreducible modules of $\mathbb{Z}_{2}$-orbifold of the simple affine vertex operator algebra of type $A_1^{(1)}$ and determine their fusion rul…
There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter quotient of the universal two-parameter $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,3,\dots)$. In this paper, we consider an analogous structure of orthogonal type, namely $\mathcal{D}^k(n) …
In this article, we introduce a completion $\widehat{U}^+_v(\mathcal{L}\mathfrak{g})$ of the positive half of the quantum affinization $U^+_v(\mathcal{L}\mathfrak{g})$ of a symmetrizable Kac-Moody algebra $\mathfrak{g}$. On $\widehat{U}^+_v(\mathcal{L}(\mathfrak{g}))$, we define a new "bar-involution" and construct the analogue Kashiwara's operators. We conjecture that the resulting pair $(\widehat{\mathcal{L}},\widehat{\mathcal{B}})$ is a crystal basis which provides the existence of the "canonical basis" on the (completion of the) of the positive half of the quamtum affinization.
In this paper we construct combinatorial bases of parafermionic spaces associated with the standard modules of the rectangular highest weights for the untwisted affine Lie algebras. Our construction is a modification of G. Georgiev's construction for the affine Lie algebra $\widehat{\mathfrak sl}(n+1,\mathbb C)$---the constructed parafermionic bases are projections of the quasi-particle bases of the principal subspaces, obtained previously in a series of papers by the first two authors. As a consequence we prove the character formula of A. Kuniba, T. Nakanishi and J. Suzuki for all non-simply-…
The parafermionic cosets $C_k = \mathrm{Com} (H, L_k(\mathfrak{sl}_2) )$ are studied for negative admissible levels $k$, as are certain infinite-order simple current extensions $B_k$ of $C_k$. Under the assumption that the tensor theory considerations of Huang, Lepowsky and Zhang apply to $C_k$, all irreducible $C_k$- and $B_k$-modules are obtained from those of $L_k(\mathfrak{sl}_2)$, as are the Grothendieck fusion rules of these irreducible modules. Notably, there are only finitely many irreducible $B_k$-modules. The irreducible $C_k$- and $B_k$-characters are computed and the latter are sho…
Let $\tilde{\mathfrak{g}}$ be the affine Lie algebra of type $A_{2l}^{(2)}$. The integrable highest weight $\tilde{\mathfrak{g}}$-module $L(kΛ_0)$ called the standard $\tilde{\mathfrak{g}}$-module is realized by a tensor product of the twisted module $V_L^T$ for the lattice vertex operator algebra $V_L$. By using such vertex algebraic construction, we construct bases of the standard module, its principal subspace and the parafermionic space. As a consequence, we obtain their character formulas and settle the conjecture for vacuum modules stated in arXiv:math/0102113.
Let $L_{l}=L(\mathfrak{sl}_{2l+1},-l-\frac{1}{2})$ be the simple vertex operator algebra based on the affine Lie algebra $\widehat{\mathfrak{sl}}_{2l+1}$ at boundary admissible level $-l-\frac{1}{2}$. We consider a lift $ν$ of the Dynkin diagram involution of $A_{2l}=\mathfrak{sl}_{2l+1}$ to an involution of $L_{l}$. The $ν$-twisted $L_l$-modules are $A_{2l}^{(2)}$-modules of level $-l-\frac{1}{2}$ with an anti-homogeneous realization. We classify simple $ν$-twisted highest-weight (weak) $L_l$-modules using twisted Zhu algebras and singular vectors for $\widehat{\mathfrak{sl}}_{2l+1}$ at level…
Let $\mathfrak{g}$ be a finite-dimensional semisimple complex Lie algebra and $θ$ an involutive automorphism of $\mathfrak{g}$. According to G. Letzter, S. Kolb and M. Balagović the fixed-point subalgebra $\mathfrak{k} = \mathfrak{g}^θ$ has a quantum counterpart $B$, a coideal subalgebra of the Drinfeld-Jimbo quantum group $U_q(\mathfrak{g})$ possessing a universal K-matrix $\mathcal{K}$. The objects $θ$, $\mathfrak{k}$, $B$ and $\mathcal{K}$ can all be described in terms of Satake diagrams. In the present work we extend this construction to generalized Satake diagrams, combinatorial data firs…
The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking. This work details and tests such a conjecture for $L_{-\frac{3}{2}}(\mathfrak{sl}_3)$ via a logarithmic Kazhdan-Lusztig correspondence. We first investigate the representation theory of $\overline{U}^H_i(\mathfrak{sl}_3)$, the unrolled restricted quantum group of $\mathfrak{sl}_3$ at fourth root of unity. In particular, we analyse its finite-dimensional weigh…
The crystals for a finite-dimensional complex reductive Lie algebra $\mathfrak{g}$ encode the structure of its representations, yet can also reveal surprising new structure of their own. We study the cactus group $C_{\mathfrak{g}}$, constructed using the Dynkin diagram of $\mathfrak{g}$, and its combinatorial action on any $\mathfrak{g}$-crystal via Schützenberger involutions. We compare this action with that of the Berenstein-Kirillov group on Gelfand-Tsetlin patterns. Henriques and Kamnitzer define an action of $C_n=C_{\mathfrak{gl}_n}$ on $n$-tensor products of $\mathfrak{g}$-crystals, for …
We present a rigid cluster model to realize the quantum group ${\bf U}_q(\mathfrak{g})$ for $\mathfrak{g}$ of type ADE. That is, we prove that there is a natural Hopf algebra isomorphism from the quantum group ${\bf U}_q(\mathfrak{g})$ to a quotient algebra of the Weyl group invariants of the Fock-Goncharov quantum cluster algebra $\mathcal{O}_q(\mathscr{P}_{{\rm G},\odot})$. By applying the quantum duality of cluster algebras, we show that ${\bf U}_q(\mathfrak{g})$ admits a natural basis $\bar{\bf Θ}$ whose structural coefficients are in $\mathbb{N}[q^{\frac{1}{2}}, q^{-\frac{1}{2}}]$. The ba…
In this paper we calculate both the periodic and non-periodic Hopf-cyclic cohomology of Drinfeld-Jimbo quantum enveloping algebra $U_q(\mathfrak{g})$ for an arbitrary semi-simple Lie algebra $\mathfrak{g}$ with coefficients in a modular pair in involution. We show that its Hochschild cohomology is concentrated in a single degree determined by the rank of the Lie algebra $\mathfrak{g}$.
The purpose of this work is to illustrate in a family of interesting examples how to study the representation theory of vertex operator superalgebras by combining the theory of vertex algebra extensions and modular forms. Let $L_k\left(\mathfrak{osp}(1 | 2)\right)$ be the simple affine vertex operator superalgebra of $\mathfrak{osp}(1|2)$ at an admissible level $k$. We use a Jacobi form decomposition to see that this is a vertex operator superalgebra extension of $L_k(\mathfrak{sl}_2)\otimes \text{Vir}(p, (p+p')/2)$ where $k+3/2=p/(2p')$ and $\text{Vir}(u, v)$ denotes the regular Virasoro vert…
We introduce a subalgebra $\overline F$ of the Clifford vertex superalgebra ($bc$ system) which is completely reducible as a $L^{Vir} (-2,0)$-module, $C_2$-cofinite, but it is not conformal and it is not isomorphic to the symplectic fermion algebra $\mathcal{SF}(1)$. We show that $\mathcal{SF}(1)$ and $\overline{F}$ are in an interesting duality, since $\overline{F}$ can be equipped with the structure of a $\mathcal{SF}(1)$-module and vice versa. Using the decomposition of $\overline F$ and a free-field realization from arXiv:1711.11342, we decompose $L_k(\mathfrak{osp}(1\vert 2))$ at the crit…
Let $\mathfrak u$ be a compact semisimple Lie algebra, and $σ$ be a Lie algebra involution of $\mathfrak u$. Let Rep$_q(\mathfrak u)$ be the ribbon braided tensor C*-category of $U_q(\mathfrak u)$-representations for $0<q<1$. We introduce three module C*-categories over Rep$_q(\mathfrak u)$ starting from the input data $(\mathfrak u,σ)$. The first construction is based on the theory of cyclotomic KZ-equations. The second construction uses the notion of quantum symmetric pair as developed by G. Letzter. The third construction uses a variation of Drinfeld twisting. In all three cases the module …
Let $U$ be a connected, simply connected compact Lie group with complexification $G$. Let $\mathfrak{u}$ and $\mathfrak{g}$ be the associated Lie algebras. Let $Γ$ be the Dynkin diagram of $\mathfrak{g}$ with underlying set $I$, and let $U_q(\mathfrak{u})$ be the associated quantized universal enveloping $*$-algebra of $\mathfrak{u}$ for some $0<q$ distinct from $1$. Let $\mathcal{O}_q(U)$ be the coquasitriangular quantized function Hopf $*$-algebra of $U$, whose Drinfeld double $\mathcal{O}_q(G_{\mathbb{R}})$ we view as the quantized function $*$-algebra of $G$ considered as a real algebraic …
We construct a new class of finite-dimensional C^*-quantum groupoids at roots of unity q=e^{iπ/\ell}, with limit the discrete dual of the classical SU(N) for large orders. The representation category of our groupoid turns out to be tensor equivalent to the well known quotient C^*-category of the category of tilting modules of the non-semisimple quantum group U_q({\mathfrak sl}_N) of Drinfeld, Jimbo and Lusztig. As an algebra, the C^*-groupoid is a quotient of U_q({\mathfrak sl}_N). As a coalgebra, it naturally reflects the categorical quotient construction. In particular, it is not coassociati…
