# Representation Theory (math.RT)

• We prove a character formula for the irreducible modules from the category $\mathcal{O}$ over the simple affine vertex algebra of type $A_n$ and $C_n$ $(n \geq 2)$ of level $k=-1$. We also give a conjectured character formula for types $D_4$, $E_6$, $E_7$, $E_8$ and levels $k=-1, \cdots, -b$, where $b=2,3,4,6$ respectively.
• In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen.
• In this paper, we investigate properties of the bounded derived category of finite dimensional modules over a gentle or skew-gentle algebra. We show that the Rouquier dimension of the derived category of such an algebra is at most one. Using this result, we prove that the Rouquier dimension of an arbitrary tame projective curve is equal to one, too. Finally, we elaborate the classification of indecomposable objects of the (possibly unbounded) homotopy category of projective modules of a gentle algebra.
• A new homological dimension is introduced to measure the quality of resolutions of singular' finite dimensional algebras (of infinite global dimension) by regular' ones (of finite global dimension). Upper bounds are established in terms of extensions and of Hochschild cohomology, and finiteness in general is derived from homological conjectures. Then invariance under stable equivalences is shown to hold, with some exceptions when there are nodes in case of additive equivalences, and without exceptions in case of triangulated equivalences. Stable equivalences of Morita type and derived equivalences, both between self-injective algebras, are shown to preserve rigidity dimension as well.
• We compute the elementary divisors of the adjacency and Laplacian matrices of families of polar graphs. These graphs have as vertices the isotropic one-dimensional subspaces of finite vector spaces with respect to non-degenerate forms, with adjacency given by orthogonality.
• We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Graßmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal blocks of the corresponding logarithmic conformal field theory. The latter category in turn is conjecturally ribbon equivalent to representations of $V_{ev}$, the even part of the symplectic fermion vertex operator super algebra. Using the formalism developed in our previous paper we compute the projective $SL(2,\mathbb{Z})$-action on the centre of $Q(N)$ as obtained from Lyubashenko's general theory of mapping class group actions for factorisable finite ribbon categories. This allows us to test a conjectural non-semisimple version of the modular Verlinde formula: we verify that the $SL(2,\mathbb{Z})$-action computed from $Q(N)$ agrees projectively with that on pseudo trace functions of $V_{ev}$.
• There are important conjectures about logarithmic conformal field theories (LCFT), which are constructed as kernel of screening operators acting on the vertex algebra of the rescaled root lattice of a finite-dimensional semisimple complex Lie algebra. In particular their representation theory should be equivalent to the representation theory of an associated small quantum group. This article solves the case of the rescaled root lattice $B_n/\sqrt{2}$ as a first working example beyond $A_1/\sqrt{p}$. We discuss the kernel of short screening operators, its representations and graded characters. Our main result is that this vertex algebra is isomorphic to a well-known example: The even part of $n$ pairs of symplectic fermions. In the screening operator approach this vertex algebra appears as an extension of the vertex algebra associated to rescaled $A_1^n$, which are $n$ copies of the even part of one pair. The new long screenings give the global $C_n$-symmetry. The extension is due to a degeneracy in this particular case: Rescaled long roots still have even integer norm. The associated quantum group of divided powers has similar degeneracies [Lent16]: It contains the small quantum group of type $A_1^n$ and the Lie algebra $C_n$. Recent results [FGR17b] on symplectic fermions suggest finally the conjectured category equivalence to this quantum group. We also study the other degenerate cases of a quantum group, giving extensions of LCFT's of type $D_n,D_4,A_2$ with larger global symmetry $B_n,F_4,G_2$.
• When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with respect to the stratification by reflection hyperplanes. By using Kapranov and Schechtman's recent analysis of perverse sheaves on hyperplane arrangements, we find an equivalence of categories from ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ to a category of finite-dimensional modules over an algebra given by explicit generators and relations. We also define categories of equivariant perverse sheaves on affine buildings, e.g., $G$-equivariant perverse sheaves on the Bruhat--Tits building of a $p$-adic group $G$. In this setting, we find that a construction of Schneider and Stuhler gives equivariant perverse sheaves associated to depth zero representations.
• We call the \emph$p$-fundamental string of a complex simple Lie algebra to the sequence of irreducible representations having highest weights of the form $k\omega_1+\omega_p$ for $k\geq0$, where $\omega_j$ denotes the $j$-th fundamental weight of the associated root system. For a classical complex Lie algebra, we establish a closed explicit formula for the weight multiplicities of any representation in any $p$-fundamental string.