In this article, we study module categries of simple current extensions of vertex operator algebras. Under certain assumptions, we show that every module for a rational vertex operator algebra be lifted to a twisted module for an extended algebra with an abelian symmetry.
For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and some extra data. We also give a 2-categorical interpretation of the process of equivariantization of module categories.
Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories over C (and in particular the dual categories of C). We use this in order to classify module categories over the Tambara Yamagami fusion categories, and their duals.
We develop a theory of toroidal vertex algebras and their modules, and we give a conceptual construction of toroidal vertex algebras and their modules. As an application, we associate toroidal vertex algebras and their modules to toroidal Lie algebras.
We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module categories.
We develop a categorical analogue of Clifford theory for strongly graded rings over graded fusion categories. We describe module categories over a fusion category graded by a group $G$ as induced from module categories over fusion subcategories associated with the subgroups of $G$. We define invariant $\C_e$-module categories and extensions of $\C_e$-module categories. The construction of module categories over $\C$ is reduced to determine invariant module categories for subgroups of $G$ and the indecomposable extensions of this modules categories. We associate a $G$-crossed product fusion cat…
We study twisted modules for (weak) quantum vertex algebras and we give a conceptual construction of (weak) quantum vertex algebras and their twisted modules. As an application we construct and classify irreducible twisted modules for a certain family of quantum vertex algebras.
In this paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and ${\mathcal{C}}$ of $\hat{\g}$-modules using generating functions, where ${\mathcal{E}}$ includes evaluation modules and ${\mathcal{C}}$ unifies highest weight modules, evaluation modules and their tensor product modules, and we classify integrable irreducible $\hat{\g}$-modules in categories ${\mathcal{E}}$ and ${\mathcal{C}}$.
We study the family of vertex algebras associated with vertex algebroids, constructed by Gorbounov, Malikov, and Schechtman. As the main result, we classify all the (graded) simple modules for such vertex algebras and we show that the equivalence classes of graded simple modules one-to-one correspond to the equivalence classes of simple modules for the Lie algebroids associated with the vertex algebroids. To achieve our goal, we construct and exploit a Lie algebra from a given vertex algebroid.
We continue with [LY] to construct and classify graded simple twisted modules for the $\N$-graded vertex algebras constructed by Gorbounov, Malikov and Schechtman from vertex algebroids. Meanwhile we determine the full automorphism groups of those $\N$-graded vertex algebras in terms of the automorphism groups of the corresponding vertex algebroids.
We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same category.
This is a paper in a series systematically to study toroidal vertex algebras. Previously, a theory of toroidal vertex algebras and modules was developed and toroidal vertex algebras were explicitly associated to toroidal Lie algebras. In this paper, we study twisted modules for toroidal vertex algebras. More specifically, we introduce a notion of twisted module for a general toroidal vertex algebra with a finite order automorphism and we give a general construction of toroidal vertex algebras and twisted modules. We then use this construction to establish a natural association of toroidal vert…
We use a result of Barron, Dong and Mason to give a natural isomorphism between the category of twisted modules and the category of quasi-modules of a certain type for a general vertex operator algebra.
A general procedure is presented which associates to a finite crossed module a premodular category, generalizing the representation categories of a finite group and of its double, and the extent to which the resulting category fails to be modular is explained.
We consider a class of weak modules for vertex operator algebras that we call logarithmic modules. We also construct nontrivial examples of intertwining operators between certain logarithmic modules for the Virasoro vertex operator algebra. At the end we speculate about some possible logarithmic intertwiners at the level $c=0$.
We develop the theory of diagrammatic Temperley-Lieb categories in order to construct examples of spherical fusion categories, which we then use to construct Turaev-Viro skein modules for n-holed disks. This is a thesis submitted for the degree of Bachelor of Science with Honours at the Australian National University.
We give a survey on the developments in a certain theory of quantum vertex algebras, including a conceptual construction of quantum vertex algebras and their modules and a connection of double Yangians and Zamolodchikov-Faddeev algebras with quantum vertex algebras.
In this paper, we study $(G,χ_ϕ)$-equivariant $ϕ$-coordinated quasi modules for nonlocal vertex algebras. Among the main results, we establish several conceptual results, including a generalized commutator formula and a general construction of weak quantum vertex algebras and their $(G,χ_ϕ)$-equivariant $ϕ$-coordinated quasi modules. As an application, we also construct (equivariant) $ϕ$-coordinated quasi modules for lattice vertex algebras by using Lepowsky's work on twisted vertex operators.
In this paper, for every one-dimensional formal group $F$ we formulate and study a notion of vertex $F$-algebra and a notion of $ϕ$-coordinated module for a vertex $F$-algebra where $ϕ$ is what we call an associate of $F$. In the case that $F$ is the additive formal group, vertex $F$-algebras are exactly ordinary vertex algebras. We give a canonical isomorphism between the category of vertex $F$-algebras and the category of ordinary vertex algebras. Meanwhile, for every formal group we completely determine its associates. We also study $ϕ$-coordinated modules for a general vertex $\Z$-graded a…
We develop a theory of $ϕ$-coordinated (quasi) modules for a nonlocal vertex algebra and we establish a conceptual construction of nonlocal vertex algebras and their $ϕ$-coordinated (quasi) modules, where $ϕ$ is what we call an associate of the one-dimensional additive formal group. By specializing $ϕ$ to a particular associate, we obtain a new construction of weak quantum vertex algebras in the sense of \cite{li-qva1}. As an application, we associate weak quantum vertex algebras to quantum affine algebras, and we also associate quantum vertex algebras and $ϕ$-coordinated modules to a certain …
The vertex operator algebra M(1)^+ is the fixed point set of free bosonic vertex operator algebra M(1) under the -1 automorphism. All irreducible modules for M(1)^+ are classified in this paper for all ranks.
A theory of quasi modules at infinity for (weak) quantum vertex algebras including vertex algebras was previously developed in \cite{li-infinity}. In this current paper, quasi modules at infinity for vertex algebras are revisited. Among the main results, we extend some technical results, to fill in a gap in the proof of a theorem therein, and we obtain a commutator formula for general quasi modules at infinity and establish a version of the converse of the aforementioned theorem.
We study strongly graded vertex algebras and their strongly graded modules, which are conformal vertex algebras and their modules with a second, compatible grading by an abelian group satisfying certain grading restriction conditions. We consider a tensor product of strongly graded vertex algebras and its tensor product strongly graded modules. We prove that a tensor product of strongly graded irreducible modules for a tensor product of strongly graded vertex algebras is irreducible, and that such irreducible modules, up to equivalence, exhaust certain naturally defined strongly graded irreduc…
The irreducible modules for the fixed point vertex operator subalgebra V_L^+ of the vertex operator algebra V_L associated to an arbitrary positive definite even lattice L under the automorphism lifted from the -1 isometry of L are classified.
We study $ϕ_ε$-coordinated modules for vertex algebras, where $ϕ_ε$ with $ε$ an integer parameter is a family of associates of the one-dimensional additive formal group. As the main results, we obtain a Jacobi type identity and a commutator formula for $ϕ_ε$-coordinated modules. We then use these results to study $ϕ_ε$-coordinated modules for vertex algebras associated to Novikov algebras by Primc.
This paper is about $ϕ$-coordinated modules for weak quantum vertex algebras. Among the main results, several canonical connections among $ϕ$-coordinated modules for different $ϕ$ are established. For vertex operator algebras, a reinterpretation of Frenkel-Huang-Lepowsky's theorem on contragredient module is given in terms of $ϕ$-coordinated modules.
A commutative associative algebra $A$ over ${\mathbb C}$ with a derivation is one of the simplest examples of a vertex algebra. However, the differences between the modules for $A$ as a vertex algebra and the modules for $A$ as an associative algebra are not well understood. In this paper, I give the classification of finite-dimensional indecomposable untwisted or twisted modules for the polynomial ring in one variable over ${\mathbb C}$ as a vertex algebra.
We introduce Turaev bicategories and Turaev pseudofunctors. On the one hand, they generalize the notions of Turaev categories (and Turaev functors), introduced at the turn of the millennium and originally called "crossed group categories" by Turaev himself, and the notions of bicategories and pseudofunctors, on the other. For bimonads in 2-categories, which we defined in one of our previous papers, we introduce generalized Yetter-Drinfel`d modules in 2-categories. These generalize to the 2-categorical setting the generalized Yetter-Drinfel`d modules (over a field) of Panaite and Staic, and thu…
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study modules for Heisenberg algebras and we classify irreducible modules satisfying certain conditions and obtain a complete reducibility theorem.
In this paper, for every $ε\in \mathbb{Z}$, we introduce an extension of the 2-toroidal Lie algebra by certain derivations. Based on the $ϕ_ε$-coordinated modules theory for vertex algebras, we give an explicit realization of a class of irreducible highest weight modules for this extended toroidal Lie algebra. When $ε=1$, this affords a realization of certain irreducible modules for the toroidal extended affine Lie algebras first constructed by Billig.
Let $K$ be a differential field over $\C$ with derivation $D$, $G$ a finite linear automorphism group over $K$ which preserves $D$, and $K^G$ the fixed point subfield of $K$ under the action of $G$. We show that every finite-dimensional vertex algebra $K^G$-module is contained in some twisted vertex algebra $K$-module.
To give a unified treatment on the association of Lie algebras and vertex algebras, we study $(G,χ_ϕ)$-equivariant $ϕ$-coordinated quasi modules for vertex algebras, where $G$ is a group with $χ_ϕ$ a linear character of $G$ and $ϕ$ is an associate of the one-dimensional additive formal group. The theory of $(G,χ_ϕ)$-equivariant $ϕ$-coordinated quasi modules for nonlocal vertex algebra is established in \cite{JKLT}. In this paper, we concentrate on the context of vertex algebras. We establish several conceptual results, including a generalized commutator formula and a general construction of ve…
Free field relization of vertex operators for lvel two modules of $U_q(\hat{sl(2)})$ is shown through the free field relization of the modules given by Idzumi in Ref.[4,5]. We constructed types I and II vertex operators when the spin of the addociated evaluation modules is 1/2 and typ II's for the spin 1.
We study versions of the categories of Yetter-Drinfel'd modules over a Hopf algebra $H$ in a braided monoidal category $\C$. Contrarywise to Bespalov's approach, all our structures live in $\C$. This forces $H$ to be transparent or equivalently to lie in Müger's center $\Z_2(\C)$ of $\C$. We prove that versions of the categories of Yetter-Drinfel'd modules in $\C$ are braided monoidally isomorphic to the categories of (left/right) modules over the Drinfel'd double $D(H)\in\C$ for $H$ finite. We obtain that these categories polarize into two disjoint groups of mutually isomorphic braided monoid…
We found a necessary and sufficient condition for the existence of the tensor product of modules over a vertex algebra. We defined the notion of vertex bilinear map and we provide two algebraic construction of the tensor product, where one of them is of ring theoretical type. We show the relation between the tensor product and the vertex homomorphisms. We prove the commutativity of the tensor product. We also prove the associativity of the tensor product of modules under certain necessary and sufficient condition. Finally, we show certain functorial properties of the vertex homomorphims and th…
This is a paper in a series to study quantum vertex algebras and their relations with various quantum algebras. In this paper, we introduce a notion of T-type quantum vertex algebra and a notion of $G$-covariant $ϕ$-coordinated quasi module for a $T$-type quantum vertex algebra with an automorphism group $G$. We refine and extend several previous results and we obtain a commutator formula for $G$-covariant $ϕ$-coordinated quasi modules. As an illustrating example, we study a special case of the deformed Virasoro algebra $\V_{p,q}$ with $q=-1$, to which we associate a Clifford vertex superalgeb…
In this paper, we first classify all irreducible modules of the vertex algebra $V_L^+$ when $L$ is a negative definite even lattice of arbitrary rank. In particular, we show that any irreducible $V_L^+$-module is isomorphic to a submodule of an irreducible twisted $V_L$-module. We then extend this result to a vertex algebra $V_L^+$ when $L$ is a nondegenerate even lattice of finite rank.
We give a new construction of functors from the category of modules for the associative algebras $A_n(V)$ and $A_g(V)$ associated with a vertex operator algebra $V$, defined by Dong, Li and Mason, to the category of admissible $V$-modules and admissible twisted $V$-modules, respectively, using the method developed in the joint work \cite{HY1} with Y.-Z. Huang. The functors were first constructed by Dong, Li and Mason, but the importance of the new method, as in \cite{HY1}, is that we can apply the method to study objects without the commutator formula in the representation theory of vertex ope…
We give a complete description of the full automorphism group of a lattice vertex operator algebra, determine the twisted Zhu's algebra for the automorphism lifted from the -1 isometry of the lattice and classify the corresponding irreducible twisted modules through the twisted Zhu algebra.
In this paper, we study a new kind of vertex operator algebra related to the twisted Heisenberg-Virasoro algebra, which we call the twisted Heisenberg-Virasoro vertex operator algebra, and its modules. Specifically, we present some results concerning the relationship between the restricted module categories of twisted Heisenberg-Virasoro algebras of rank one and rank two and several different kinds of module categories of their corresponding vertex algebras. We also study fully the structures of the twisted Heisenberg-Virasoro vertex operator algebra, give a characterization of it as a tensor …
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We will generalize classical results to this context and give some application for the categories of Yetter-Drinfeld modules and $H$-modules. In particular we will describe liftings of coradically graded Hopf algebras in the category of Yetter-Drinfeld modules with these techniques.
We study $\N$-graded $ϕ$-coordinated modules for a general quantum vertex algebra $V$ of a certain type in terms of an associative algebra $\widetilde{A}(V)$ introduced by Y.-Z. Huang. Among the main results, we establish a bijection between the set of equivalence classes of irreducible $\N$-graded $ϕ$-coordinated $V$-modules and the set of isomorphism classes of irreducible $\widetilde{A}(V)$-modules. We also show that for a vertex operator algebra, rationality, regularity, and fusion rules are independent of the choice of the conformal vector.
Moonshine relates three fundamental mathematical objects: the Monster sporadic simple group, the modular function j, and the moonshine module vertex operator algebra. Examining the relationship between modular functions and the representation theory of vertex operator algebras reveals rich structure. In particular, C2-cofiniteness (also called Zhu's finiteness condition) implies the existence of finite generating sets and Poincare-Birkhoff-Witt-like spanning sets for vertex operator algebras and their modules. These spanning sets feature desirable ordering restrictions, e.g., a difference-one …
We prove Eilenberg-Watts Theorem for 2-categories of the representation categories $\C\x\Mod$ of finite tensor categories $\C$. For a consequence we obtain that any autoequivalence of $\C\x\Mod$ is given by tensoring with a representative of some class in the Brauer-Picard group $\BrPic(\C)$. We introduce bialgebroid categories over $\C$ and a cohomology over a symmetric bialgebroid category. This cohomology turns out to be a generalization of the one we developed in a previous paper and moreover, an analogous Villamayor-Zelinsky sequence exists in this setting. In this context, for a symmetri…
Let M(1) be the vertex algebra for a single free boson. We classify irreducible modules of certain vertex subalgebras of M(1) generated by two generators. These subalgebras correspond to the W(2, 2p-1)--algebras with central charge $1- 6 \frac{(p - 1) ^{2}}{p}$ where p is a positive integer, $p \ge 2$. We also determine the associated Zhu's algebras.
In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasi module for vertex algebras is introduced and studied. More specifically, a notion of quasi local subset(space) of $\Hom (W,W((x)))$ for any vector space $W$ is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasi local subspace there exists a natural vertex algebra structure and that any quasi local subset of $\Hom (W,W((x)))$ generates a vertex algebra. Furthermore, a notion of quasi module for …
In this paper, we study contragredient duals and invariant bilinear forms for modular vertex algebras (in characteristic $p$). We first introduce a bialgebra $\mathcal{H}$ and we then introduce a notion of $\mathcal{H}$-module vertex algebra and a notion of $(V,\mathcal{H})$-module for an $\mathcal{H}$-module vertex algebra $V$. Then we give a modular version of Frenkel-Huang-Lepowsky's theory and study invariant bilinear forms on an $\mathcal{H}$-module vertex algebra. As the main results, we obtain an explicit description of the space of invariant bilinear forms on a general $\mathcal{H}$-mo…
We introduce the $h$-adic quantum vertex algebras associated with the trigonometric $R$-matrices in types $B$, $C$ and $D$, thus generalizing the well-known Etingof-Kazhdan construction in type $A$. We show that restricted modules for quantum affine algebras in types $B$, $C$ and $D$ are naturally equipped with the structure of $ϕ$-coordinated module for the aforementioned $h$-adic quantum vertex algebras.
Motivated by logarithmic conformal field theory and Gromov-Witten theory, we introduce a notion of a twisted module of a vertex algebra under an arbitrary (not necessarily semisimple) automorphism. Its main feature is that the twisted fields involve the logarithm of the formal variable. We develop the theory of such twisted modules and, in particular, derive a Borcherds identity and commutator formula for them. We investigate in detail the examples of affine and Heisenberg vertex algebras.
This is the second part in a series of papers presenting a theory of tensor products for module categories for a vertex operator algebra. In Part I (hep-th/9309076), the notions of $P(z)$- and $Q(z)$-tensor product of two modules for a vertex operator algebra were introduced and under a certain hypothesis, two constructions of a $Q(z)$-tensor product were given, using certain results stated without proof. In Part II, the proofs of those results are supplied.
This is Part I of a series of papers constructing intertwining operator superalgebras and vertex tensor categories associated to the superconformal minimal models and other related models. In this paper, we construct the intertwining operator superalgebras and vertex tensor categories in the N=1 case.
We construct the intertwining operator superalgebras and vertex tensor categories for the N=2 superconformal unitary minimal models and other related models.
In this note we give an account of recent progress on the construction of holomorphic vertex algebras as cyclic orbifolds as well as related topics in lattices and modular categories. We present a novel computation of the Schur indicator of a lattice involution orbifold using finite Heisenberg groups and discriminant forms.
We introduce the main concepts and announce the main results in a theory of tensor products for module categories for a vertex operator algebra. This theory is being developed in a series of papers including hep-th 9309076 and hep-th 9309159. The theory applies in particular to any ``rational'' vertex operator algebra for which products of intertwining operators are known to be convergent in the appropriate regions, including the vertex operator algebras associated with the WZNW models, the minimal models and the moonshine module for the Monster. In this paper, we provide background and motiva…
We study exact module categories over the representation categories of finite-dimensional quasi-Hopf algebras. As a consequence we classify exact module categories over some families of pointed tensor categories with cyclic group of invertible objets of order p, where p is a prime number.
We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain …