We investigate a general theory of the Z_2-twisted representations of vertex operator superalgebras. Certain one-to-one correspondence theorems are established. We also give an explicit realization of the Ising model SVOA and its Z_2-twisted modules. As an application, we obtain the Gerald Hoehn's Babymonster SVOA VB and its Z_2-twisted module VB_{tw} from the moonshine VOA V^\nat by cutting off the Ising models. It is also shown in this paper that Aut (VB) is finite.
Let $L_c$ be simple vertex operator superalgebra(SVOA) associated to the vacuum representation of N=2 superconformal algebra with the central charge $c$. Let $c_m = {3m}/{m+2}$. We classify all irreducible modules for the SVOA $L_{c_m}$. When $m$ is an integer we prove that the set of all unitary representations of N=2 superconformal algebra with the central charge $c_m$ provides all irreducible $L_{c_m}$-modules. When $m \notin {\N} $ and $m$ is an admissible rational number we show that irreducible $L_{c_m}$-modules are parameterized with the union of one finite set and union of finitely man…
We derive from the super RS algebra the Drinfeld basis of the twisted quantum affine superalgebra $U_q[osp(2|2)^{(2)}]$ by means of the Gauss decomposition technique. We explicitly construct a nonclassical level-one representation of $U_q[osp(2|2)^{(2)}]$ in terms of two $q$-deformed free boson fields.
Twisted modules for N=2 supersymmetric vertex operator superalgebras are classified for the vertex operator superalgebra automorphisms which are lifts of a finite automorphism of the N=2 Neveu-Schwarz Lie superalgebra representation. These include the Ramond-twisted sectors and mirror-twisted sectors for N=2 vertex operator superalgebras, as well as twisted modules related to more general "spectral flow" representations of the N=2 Neveu-Schwarz algebra. We present the construct of twisted modules for free N=2 vertex operator superalgebras for all of the N=2 Neveu-Schwarz Lie superalgebra autom…
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 calculate twisted denominator identities of the fake monster superalgebra and use them to construct new examples of supersymmetric generalized Kac-Moody superalgebras. Their denominator identities give new infinite product identities.
We construct and classify $(1 \; 2\; \cdots \; k)$-twisted $V^{\otimes k}$-modules for $k$ odd and for $V$ a vertex operator superalgebra. This extends previous results of the author, along with Dong and Mason, classifying all permutation-twisted modules for tensor product vertex operator algebras, to the setting of vertex operator superalgebras for odd order permutations. We show why this construction does not extend to the case of permutations of even order in the superalgebra case and how the construction and classification in the even order case is fundamentally different than that for the…
We introduce the notion of ``local system of $\Bbb{Z}_{T}$-twisted vertex operators'' on a $\Bbb{Z}_{2}$-graded vector space $M$, generalizing the notion of local system of vertex operators [Li]. First, we prove that any local system of $\Bbb{Z}_{T}$-twisted vertex operators on $M$ has a vertex superalgebra structure with an automorphism $σ$ of order $T$ with $M$ as a $σ$-twisted module. Then we prove that for a vertex (operator) superalgebra $V$ with an automorphism $σ$ of order $T$, giving a $σ$-twisted $V$-module $M$ is equivalent to giving a vertex (operator) superalgebra homomorphism from…
Using recent results of the author along with Vander Werf, we present the classification and construction of mirror-twisted modules for N=2 supersymmetric vertex operator superalgebras of the form $V \otimes V$ for the signed transposition mirror map automorphism. In particular, we show that the category of such mirror-twisted sectors for $V\otimes V$ is isomorphic to the category of N=1 Ramond sectors for $V$.
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 construct and classify $(1 \; 2 \; \cdots \; k)$-twisted $V^{\otimes k}$-modules for $k$ even and $V$ a vertex operator superalgebra. In particular, we show that the category of weak $(1 \; 2 \; \cdots \; k)$-twisted $V^{\otimes k}$-modules for $k$ even is isomorphic to the category of weak parity-twisted $V$-modules. This result shows that in the case of a cyclic permutation of even order, the construction and classification of permutation-twisted modules for tensor product vertex operator superalgebras is fundamentally different than in the case of a cyclic permutation of odd order, as pr…
We conjecture that the category of permutation-twisted modules for a multi-fold tensor product vertex operator superalgebra and a cyclic permutation of even order is isomorphic to the category of parity-twisted modules for the underlying vertex operator superalgebra. This conjecture is based on our observations of the cyclic permutation-twisted modules for free fermions as we discuss in this work, as well as previous work of the first author constructing and classifying permutation-twisted modules for tensor product vertex operator superalgebras and a permutation of odd order. In addition, we …
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…
It is proved that g-rationality of a vertex operator superalgebra V=V_{\bar0}+V_{\bar1} for all g in G imply rationality of V^G, and also imply that each irreducible V^G-module is a submodule of an irreducible g-twisted V-module for some g in G, where G is any finite abelian subgroup of Aut(V). We also prove that for any finite solvable G, rationality of V^G implies g-rationality of V for any g in G.
The minimal irreducible representations of $U_q[gl(m|n)]$, i.e. those irreducible representations that are also irreducible under $U_q[osp(m|n)]$ are investigated and shown to be affinizable to give irreducible representations of the twisted quantum affine superalgebra $U_q[gl(m|n)^{(2)}]$. The $U_q[osp(m|n)]$ invariant R-matrices corresponding to the tensor product of any two minimal representations are constructed, thus extending our twisted tensor product graph method to the supersymmetric case. These give new solutions to the spectral-dependent graded Yang-Baxter equation arising from $U_q…
We describe the twisted affine superalgebra $sl(2|2)^{(2)}$ and its quantized version $U_q[sl(2|2)^{(2)}]$. We investigate the tensor product representation of the 4-dimensional grade star representation for the fixed point subsuperalgebra $U_q[osp(2|2)]$. We work out the tensor product decomposition explicitly and find the decomposition is not completely reducible. Associated with this 4-dimensional grade star representation we derive two $U_q[osp(2|2)]$ invariant R-matrices: one of them corresponds to $U_q[sl(2|2)^{(2)}]$ and the other to $U_q[osp(2|2)^{(1)}]$. Using the R-matrix for $U_q[sl…
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 consider genus one n-point functions for a vertex operator superalgebra with a real grading. We compute all n-point functions for rank one and rank two fermion vertex operator superalgebras. In the rank two fermion case, we obtain all orbifold n-point functions for a twisted module associated with a continuous automorphism generated by a Heisenberg bosonic state. The modular properties of these orbifold n-point functions are given and we describe a generalization of Fay's trisecant identity for elliptic functions.
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 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,…
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…
Let $V$ be a simple vertex operator superalgebra and $G$ a finite automorphism group of $V$ containing the canonical automorphism $σ$ such that $V^G$ is regular. It is proved that every irreducible $V^G$-module occurs in an irreducible $g$-twisted $V$-module for some $g\in G$ and the irreducible $V^G$-modules are classified. Moreover, the quantum dimensions of irreducible $V^G$-modules are determined, a global dimension formula for $V$ in terms of twisted modules is obtained and a super quantum Galois theory is established. In addition, the $S$-matrix of $V^G$ is computed
In this paper we develop a formalism for working with twisted realizations of vertex and conformal algebras. As an example, we study realizations of conformal algebras by twisted formal power series. The main application of our technique is the construction of a very large family of representations for the vertex superalgebra $\goth V_Λ$ corresponding to an integer lattice $Λ$. For an automorphism $\^σ:\goth V_Λ\to\goth V_Λ$ coming from a finite order automorphism $σ:Λ\to Λ$ we define a category $\cal O_{\^σ}$ of twisted representations of $\goth V_Λ$ and show that this category is semisimple …
We describe a natural structure of an abelian intertwining algebra (in the sense of Dong and Lepowsky) on the direct sum of the untwisted vertex operator algebra constructed {}from the Leech lattice and its (unique) irreducible twisted module. When restricting ourselves to the moonshine module, we obtain a new and conceptual proof that the moonshine module has a natural structure of a vertex operator algebra. This abelian intertwining algebra also contains an irreducible twisted module for the moonshine module with respect to the obvious involution. In addition, it contains a vertex operator s…
For a grading-restricted vertex superalgebra $V$ and an automorphism $g$ of $V$, we give a linearly independent set of generators of the universal lower-bounded generalized $g$-twisted $V$-module $\widehat{M}^{[g]}_{B}$ constructed by the author in \cite{H-const-twisted-mod}. We prove that there exist irreducible lower-bounded generalized $g$-twisted $V$-modules by showing that there exists a maximal proper submodule of $\widehat{M}^{[g]}_{B}$ for a one-dimensional space $M$. We then give several spanning sets of $\widehat{M}^{[g]}_{B}$ and discuss the relations among elements of the spanning …
In this paper we construct Bernstein--Gelfand--Gelfand type resolution of simple highest weight modules over the simple $\mathcal{N}=2$ vertex operator superalgebra of central charge $c_{p,p'}=3\left(1-\frac{2p'}{p}\right)$ by means of the Kazama--Suzuki coset construction. As an application, we compute the twisted Zhu algebras of the simple $\mathcal{N}=2$ vertex operator superalgebra. We also compute the Frenkel--Zhu bimodule structure associated with a certain simple highest weight module of central charge $c_{3,2}=-1$.
Vertex Superalgebras for Hypertoric Varieties and 3d Abelian Gauge Theories
Research Institute for Mathematical Sciences, Kyoto University（京都大学数学科学研究所）；Okinawa Institute of Science and Technology（冲绳科学技术大学院大学）；Deutsches Elektronen-Synchrotron DESY（德国电子同步加速器）；School of Mathematics, University of Edinburgh（爱丁堡大学数学学院）；DAMTP, University of Cambridge（剑桥大学应用数学与理论物理系）；Fachbereich Mathematik, Universität Hamburg（汉堡大学数学系）；Department of Mathematics and Statistics, Maynooth University（梅努斯大学数学与统计系）
The construction of the Q-operator for twisted affine superalgebra $C^{(2)}_q(2)$ is given. It is shown that the corresponding prefundamental representations give rise to evaluation modules some of which do not have a classical limit, which nevertheless appear to be a necessary part of fusion relations.
In this paper, we study the perturbative aspects of a "B-twisted" two-dimensional $(0,2)$ heterotic sigma model on a holomorphic gauge bundle $\mathcal E$ over a complex, hermitian manifold $X$. We show that the model can be naturally described in terms of the mathematical theory of ``Chiral Differential Operators". In particular, the physical anomalies of the sigma model can be reinterpreted as an obstruction to a global definition of the associated sheaf of vertex superalgebras derived from the free conformal field theory describing the model locally on $X$. In addition, one can also obtain …
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…
The quantum SUSY N=1 hierarchy based on $sl(2|1)^{(2)}$ twisted affine superalgebra is considered. The construction of the corresponding Baxter's Q-operators and fusion relations is outlined. The relation with the superconformal field theory is discussed.
In this paper, we study the perturbative aspects of a twisted version of the two-dimensional $(0,2)$ heterotic sigma model on a holomorphic gauge bundle $\mathcal E$ over a complex, hermitian manifold $X$. We show that the model can be naturally described in terms of the mathematical theory of ``Chiral Differential Operators". In particular, the physical anomalies of the sigma model can be reinterpreted in terms of an obstruction to a global definition of the associated sheaf of vertex superalgebras derived from the free conformal field theory describing the model locally on $X$. One can also …
The usual spinor construction from one fermion yields four irreducible representations of the Virasoro algebra with central charge $c = 1/2$. The Neveu-Schwarz (NS) sector is the direct sum of an $h = 0$ and an $h = 1/2$ module, and the Ramond (R) sector is the direct sum of two copies of an $h = 1/16$ module. In addition to the fundamental fermions, which represent a Clifford algebra, and the Virasoro operators, there are infinitely many other vertex operators, in one-to-one correspondence with the vectors (states) in the NS sector. These give the NS sector the structure of a Vertex Operator …
