The purpose of this paper is to generalize Zhu's theorem about characters of modules over a vertex operator algebra graded by integer conformal weights, to the setting of a vertex operator superalgebra graded by rational conformal weights. To recover SL_2(Z)-invariance of the characters it turns out to be necessary to consider twisted modules alongside ordinary ones. It also turns out to be necessary, in describing the space of conformal blocks in the supersymmetric case, to include certain `odd traces' on modules alongside traces and supertraces. We prove that the set of supertrace functions, thus supplemented, spans a finite dimensional SL_2(Z)-invariant space. We close the paper with several examples.
A Vogan diagram is a Dynkin diagram with a Cartan involution of twisted affine superlagebras based on maximally compact Cartan subalgebras. This article construct the Vogan diagrams of twisted affine superalgebras. It is a part of completion of classification of vogan diagrams to superalgebras cases.
The study of denominator identities for Lie superalgebras was recently developed by M. Gorelik, V.G. Kac, P.Moseneder Frajria, I. Musson, P. Papi, M. Wakimoto and the author. In this paper we generalize these identities to the twisted affine case, completing the result to all affine Lie superalgebras.
For a twisted affine Lie superalgebra with nonzero odd part, we study {tight irreducible weight modules} with bounded weight multiplicities and show that if the action of nonzero real vectors of each affine component of the zero part is neither completely injective nor completely locally nilpotent, then these modules are parabolically induced.
This work provides the first step toward the classification of irreducible finite weight modules over twisted affine Lie superalgebras. We study all such modules whether the canonical central element acts as a nonzero multiple of the identity map or not. Moreover, we reduce the classification of some subclasses of irreducible finite weight modules to the classification of cuspidal modules of finite dimensional cuspidal superalgebras which is known by a work of Dimitrov, Mathieu and Penkov.
In this paper, we characterize quasi-integrable modules, of nonzero level, over twisted affine Lie superalgebras. We show that quasi-integrable modules are not necessarily highest weight modules. We prove that each quasi-integrable module is parabolically induced from a cuspidal module, over a finite dimensional Lie superalgebra having a Cartan subalgebra whose corresponding root system just contain real roots; in particular, the classification of quasi-integrable modules is reduced to the known classification of cuspidal modules over such Lie superalgebras.
Let A_k denote the twisted group algebra of the symmetric group S_k, whose representations correspond to the nonlinear projective representations of S_k. We establish a duality relation between A_k and a Lie superalgebra q(n), sometimes called the ``queer'' Lie superalgebra. This duality clarifies Schur's formula, in the sense that the Schur-Weyl duality clarifies Frobenius' formula.
This paper gives an analogue of A_g(V) theory for a vertex operator superalgebra V and an automorphism g of finite order. The relation between the g-twisted V-modules and A_g(V)-modules is established. It is proved that if V is g-rational, then A_g(V) is finite dimensional semisimple associative algebra and there are only finitely many irreducible g-twisted V-modules.
We show that the Grothendieck groups of the categories of finitely-generated graded supermodules and finitely-generated projective graded supermodules over a tower of graded superalgebras satisfying certain natural conditions give rise to twisted Hopf algebras that are twisted dual. Then, using induction and restriction functors coming from such towers, we obtain a categorification of the twisted Heisenberg double and its Fock space representation. We show that towers of wreath product algebras (in particular, the tower of Sergeev superalgebras) and the tower of nilcoxeter graded superalgebras…
We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers by a much cheaper arithmetic of a modular field and use the inequality between the dimensions of cohomology H over any modular field F_p = Z/pZ and over Q: dim H(F_p) >= dim H(Q). With this inequality we can, by computing over arbitrary F_p, quickly find the (usually, rare) subcomplexes for which dim H(F_p) > 0 and then carry out the full computation over Q…
Irreducible nonzero level modules with finite-dimensional weight spaces are studied for non-twisted affine Lie superalgebras. A complete classification is obtained for superalgebras A(m,n)^ and C(n)^. In other cases the classification problem is reduced to the classification of cuspidal modules over finite-dimensional cuspidal Lie superalgebras described by Dimitrov, Mathieu and Penkov. It is also shown that any irreducible weakly integrable (in the sense of Kac and Wakimoto) module is highest weight.
Two new simple modular Lie superalgebras are obtained in characteristics 3 and 5, which share the property that their even parts are orthogonal Lie algebras and the odd parts their spin modules. The characteristic 5 case is shown to be related, by means of a construction of Tits, to the exceptional ten dimensional Jordan superalgebra of Kac.
In this paper, we introduce super Weyl groups, their distinguished elements and properties for basic classical Lie superalgebras. Then we formulate Jantzen filtration for baby Verma modules in graded restricted module categories of basic classical Lie superalgebras over an algebraically closed field of odd characteristic, and prove a sum formula in the corresponding Grothendieck groups. We finally obtain a strong linkage principle in such categories.
Let $\mathfrak{g}=\mathfrak{g}_{\bar 0}+\mathfrak{g}_{\bar 1}$ be a basic Lie superalgebra over $\mathbb{C}$, and $e$ a minimal nilpotent element in $\mathfrak{g}_{\bar 0}$. Set $W_χ'$ to be the refined $W$-superalgebra associated with the pair $(\mathfrak{g},e)$, which is called a minimal $W$-superalgebra. In this paper we present a set of explicit generators of minimal $W$-superalgebras and the commutators between them. In virtue of this, we show that over an algebraically closed field $\mathds{k}$ of characteristic $p\gg0$, the lower bounds of dimensions in the modular representations of ba…
Over algebraically closed fields of characteristic p>2, prolongations of the simple finite dimensional Lie algebras and Lie superalgebras with Cartan matrix are studied for certain simplest gradings of these algebras. Several new simple Lie superalgebras are discovered, serial and exceptional, including superBrown and superMelikyan superalgebras. Simple Lie superalgebras with Cartan matrix of rank 2 are classified.
This paper is primarily concerned with generalized reduced Verma modules over $\mathbb{Z}$-graded modular Lie superalgebras. Some properties of the generalized reduced Verma modules and the coinduced modules are obtained. Moreover, the invariant forms on the generalized reduced Verma modules are considered. In particular, we prove that the generalized reduced Verma module is isomorphic to the mixed product for modules of $\mathbb{Z}$-graded modular Lie superalgebras of Cartan type.
Finite dimensional modular Lie superalgebras over algebraically closed fields with indecomposable Cartan matrices are classified under some technical, most probably inessential, hypotheses. If the Cartan matrix is invertible, the corresponding Lie superalgebra is simple otherwise the quotient of the derived Lie superalgebra modulo center is simple (if its rank is greater than 1). Eleven new exceptional simple modular Lie superalgebras are discovered. Several features of classic notions, or notions themselves, are clarified or introduced, e.g., Cartan matrix, several versions of restrictedness …
Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the …
This paper is about the orbifold theory for vertex operator superalgebras. Given a vertex operator superalgebra V and a finite automorphism group G of V, we show that the trace functions associated to the twisted sectors are holomorphic in the upper half plane for any commuting pairs in G under the C_2-cofinite condition. We also establish that these functions afford a representation of the full modular group if V is C_2-cofinite and g-rational for any g in G.
We classify irreducible $σ$-twisted modules for the N=1 super triplet vertex operator superalgebra $\mathcal{SW}(m)$ introduced recently [Adamovic D., Milas A., Comm. Math. Phys., to appear, arXiv:0712.0379]. Irreducible graded dimensions of $σ$-twisted modules are also determined. These results, combined with our previous work in the untwisted case, show that the $SL(2,\mathbb{Z})$-closure of the space spanned by irreducible characters, irreducible supercharacters and $σ$-twisted irreducible characters is $(9m+3)$-dimensional. We present strong evidence that this is also the (full) space of g…
We study the trace functions in orbiford theory for Z-graded vertex operator superalgebras and obtain a modular invariance result. More precisely, let V be a C_2-cofinite Z-graded vertex operator superalgebra and G a finite automorphism group of V. Then for any commuting pairs (g,h) in G, the hσ-trace functions associated to the simple g-twisted V-modules are holomorphic in the upper half plane where σis the canonical involution on V coming from the superspace structure of V. If V is further g-rational for every g n G, the trace unctions afford a representation for the full modular group SL(2,…
A way to construct (conjecturally all) simple finite dimensional modular Lie (super)algebras over algebraically closed fields of characteristic not 2 is offered. In characteristic 2, the method is supposed to give only simple Lie (super)algebras graded by integers and only some of the non-graded ones). The conjecture is backed up with the latest results computationally most difficult of which are obtained with the help of Grozman's software package SuperLie.
We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite-dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of Bøgvad, showing that if a finite-dimensiona…
For the exceptional finite-dimensional modular Lie superalgebras $\mathfrak{g}(A)$ with indecomposable Cartan matrix $A$, and their simple subquotients, we computed non-isomorphic Lie superalgebras constituting the homologies of the odd elements with zero square. These homologies are~key ingredients in the Duflo--Serganova approach to the representation theory. There were two definitions of defect of Lie superalgebras in the literature with different ranges of application. We suggest a third definition and an easy-to-use way to find its value. In positive characteristic, we found out one more …
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients …
We study the Z_5-orbifolding of the CHL string theory by explicitly constructing the modular form tilde{Phi}_2 generating the degeneracies of the 1/4-BPS states in the theory. Since the additive seed for the sum form is a weak Jacobi form in this case, a mismatch is found between the modular forms generated from the additive lift and the product form derived from threshold corrections. We also construct the BKM Lie superalgebra, tilde{G}_5, corresponding to the modular form tilde{Delta}_1 (Z) = tilde{Phi}_2 (Z)^{1/2} which happens to be a hyperbolic algebra. This is the first occurrence of a h…
Quantum hamiltonian reduction of affine superalgebras is studied in the twisted case. The Ramond sector of "minimal" superconformal W-algebras is described in detail, the determinant formula is obtained. Extensive list of examples includes all the simple Lie superalgebras of rank up to 2. The paper generalizes the results of Kac and Wakimoto (math-ph/0304011) to the twisted case.
For modular Lie superalgebras, new notions are introduced: Divided power homology and divided power cohomology. For illustration, we give presentations (in terms of analogs of Chevalley generators) of finite dimensional Lie (super)algebras with indecomposable Cartan matrix in characteristic 2 (and in other characteristics for completeness of the picture). We correct the currently available in the literature notions of Chevalley generators and Cartan matrix in the modular and super cases, and an auxiliary notion of the Dynkin diagram. In characteristic 2, the defining relations of simple classi…
We establish a duality relation between one of the twisted group algebras of the hyperoctahedral groupf H_k and a Lie superalgebra q(n_0) \oplus q(n_1) for any integers k and n_0, n_1, where q(n_0) and q(n_1) denote the ``queer'' Liesuperalgebras. Note that this twisted group algebra \B'_k belongs to a different cocycle from the one \B_k used by A. N. Sergeev in [8] and by the present author in [11]. We will use the supertensor product \C_k \otimes \B'_k of the 2^k-dimensional Clifford algebra \C_k and \B'_k, as an intermediary for establishing our duality. We show that the algebra \C_k \otime…
In this paper we formulate a conjecture about the minimal dimensional representations of the finite $W$-superalgebra $U(\mathfrak{g}_\bbc,e)$ over the field of complex numbers and demonstrate it with examples including all the cases of type $A$. Under the assumption of this conjecture, we show that the lower bounds of dimensions in the modular representations of basic Lie superalgebras are attainable. Such lower bounds, as a super-version of Kac-Weisfeiler conjecture, were formulated by Wang-Zhao in \cite{WZ} for the modular representations of a basic Lie superalgebra ${\ggg}_{\bbk}$ over an a…
We construct a family of twisted generalized Weyl algebras which includes Weyl-Clifford superalgebras and quotients of the enveloping algebras of $\mathfrak{gl}(m|n)$ and $\mathfrak{osp}(m|2n)$. We give a condition for when a canonical representation by differential operators is faithful. Lastly, we give a description of the graded support of these algebras in terms of pattern-avoiding vector compositions.
The purpose of this paper is to study Hom-Lie superalgebras, that is a superspace with a bracket for which the superJacobi identity is twisted by a homomorphism. This class is a particular case of $Γ$-graded quasi-Lie algebras introduced by Larsson and Silvestrov. In this paper, we characterize Hom-Lie admissible superalgebras and provide a construction theorem from which we derive a one parameter family of Hom-Lie superalgebras deforming the orthosymplectic Lie superalgebra. Also, we prove a $\mathbb{Z}_2$-graded version of a Hartwig-Larsson-Silvestrov Theorem which leads us to a construction…
We prove an explicit condition on the level $k$ for the irreducibility of a vacuum module $V^{k}$ over a (non-twisted) affine Lie superalgebra, which was conjectured by M. Gorelik and V.G. Kac. An immediate consequence of this work is the simplicity conditions for the corresponding minimal W-algebras obtained via quantum reduction, in all cases except when the level $k$ is a non-negative integer.
The square-root of Siegel modular forms of CHL Z_N orbifolds of type II compactifications are denominator formulae for some Borcherds-Kac-Moody Lie superalgebras for N=1,2,3,4. We study the decomposition of these Siegel modular forms in terms of characters of two sub-algebras: one is a $\widehat{sl(2)}$ and the second is a Borcherds extension of the $\widehat{sl(2)}$. This is a continuation of our previous work where we studied the case of Siegel modular forms appearing in the context of Umbral moonshine. This situation is more intricate and provides us with a new example (for N=5) that did no…
Ian Grojnowski has developed a purely algebraic way to connect the representation theory of affine Hecke algebras at an (l+1)-th root of unity to the highest weight theory of the affine Kac-Moody algebra of type A_l^(1). The present article is devoted to extending Grojnowski's machinery to the twisted case: we replace the affine Hecke algebras with the affine Hecke-Clifford superalgebras of Jones and Nazarov, and the Kac-Moody algebra A_l^(1) with the twisted algebra A_2l^(2). In particular, we obtain an algebraic construction purely in terms of the representation theory of Hecke-Clifford supe…
We define twisted Frobenius extensions of graded superrings. We develop equivalent definitions in terms of bimodule isomorphisms, trace maps, bilinear forms, and dual sets of generators. The motivation for our study comes from categorification, where one is often interested in the adjointness properties of induction and restriction functors. We show that $A$ is a twisted Frobenius extension of $B$ if and only if induction of $B$-modules to $A$-modules is twisted shifted right adjoint to restriction of $A$-modules to $B$-modules. A large (non-exhaustive) class of examples is given by the fact t…
A counterpart of the modular double for quantum superalgebra $\cU_q(\osp(1|2))$ is constructed by means of supersymmetric quantum mechanics. We also construct the $R$-matrix operator acting in the corresponding representations, which is expressed via quantum dilogarithm.
We show that the normalized supercharacters of principal admissible modules over the affine Lie superalgebra $\hat{s\ell}_{2|1}$ (resp. $\hat{ps\ell}_{2|2}$) can be modified, using Zwegers' real analytic corrections, to form a modular (resp. $S$-) invariant family of functions. Applying the quantum Hamiltonian reduction, this leads to a new family of positive energy modules over the N=2 (resp. N=4) superconformal algebras with central charge $3(1-\frac{2m+2}{M})$, where $m \in \mathbb{Z}_{\geq 0}$, $M\in \mathbb{Z}_{\geq 2}$, $\gcd(2m+2,M)=1$ if $m>0$ (resp. $6(\frac{m}{M}-1)$, where $m \in \m…
In the present paper, a class of new simple modules over the $N=1$ Ramond algebra are constructed, which are induced from simple modules over some finite dimensional solvable Lie superalgebras. These new modules are simple restricted modules over the $N=1$ Ramond algebra. Combined with the result in \cite{L1}, a classification of simple weak $ψ$-twisted $\bar W(0,c)$-modules under certain conditions is also given. At last, some examples of simple restricted $N=1$ Ramond modules as various versions of Whittaker modules are presented (classical Whittaker modules were studied in \cite{LPX}).
We study modular invariance of normalized supercharacters of tame integrable modules over an affine Lie superalgebra, associated to an arbitrary basic Lie superalgebra $ \mathfrak{g}. $ For this we develop a several step modification process of multivariable mock theta functions, where at each step a Zwegers' type "modifier" is used. We show that the span of the resulting modified normalized supercharacters is $ SL_2(\mathbb{Z}) $-invariant, with the transformation matrix equal, in the case the Killing form on $\mathfrak{g}$ is non-degenerate, to that for the subalgebra $ \mathfrak{g}^! $ of $…
We consider the finite W-superalgebras for a basic classical Lie superalgebra g associated with an even nilpotent element in g both over the field of complex numbers field and and over a filed of positive characteristic. We present the PBW theorem for these finite W-superalgebrfas. Then we formulate a conjecture about the minimal dimensional representations of of complex finite W-superalgebras, and demonstrate it with some examples. Under the assumption that the conjecture holds, we finally show that the lower bound of dimensions predicted in the super version of Kac-Weisfeiler conjecture form…
We begin by reviewing Zhu's theorem on modular invariance of trace functions associated to a vertex operator algebra, as well as a generalisation by the author to vertex operator superalgebras. This generalisation involves objects that we call `odd trace functions'. We examine the case of the N=1 superconformal algebra. In particular we compute an odd trace function in two different ways, and thereby obtain a new representation theoretic interpretation of a well known classical identity due to Jacobi concerning the Dedekind eta function.
In this paper, we give a Verlinde formula for computing the ranks of the bundles of twisted conformal blocks associated with a simple Lie algebra equipped with an action of a finite group $Γ$ and a positive integral level $\ell$ under the assumption that "$Γ$ preserves a Borel". As a motivation for this Verlinde formula, we prove a categorical Verlinde formula which computes the fusion coefficients for any $Γ$-crossed modular fusion category as defined by Turaev. To relate these two versions of the Verlinde formula, we formulate the notion of a $Γ$-crossed modular functor and show that it is v…
We consider the finite $W$-superalgebra $U(\mathfrak{g_\bbf},e)$ for a basic Lie superalgebra ${\ggg}_\bbf=(\ggg_\bbf)_\bz+(\ggg_\bbf)_\bo$ associated with a nilpotent element $e\in (\ggg_\bbf)_{\bar0}$ both over the field of complex numbers $\bbf=\mathbb{C}$ and over $\bbf={\bbk}$ an algebraically closed field of positive characteristic. In this paper, we mainly present the PBW theorem for $U({\ggg}_\bbf,e)$. Then the construction of $U({\ggg}_\bbf,e)$ can be understood well, which in contrast with finite $W$-algebras, is divided into two cases in virtue of the parity of $\text{dim}\,\mathfra…
