We show that C_2-cofiniteness is enough to prove a modular invariance property of vertex operator algebras without assuming the semisimplicity of Zhu algebra. For example, if a VOA V=\oplus_{m=0}^{\infty}V_m is C_2-cofinite, then the space spanned by generalized characters of V-modules is invariant under the action of SL_2(\Z). In this case, the central charge and conformal weights are all rational numbers. Namely, a VOA satisfying C_2-cofiniteness is a rational conformal field theory in a sense. We also show that C_2-cofiniteness is equivalent to the condition that every weak module is an \N-graded weak module which is a direct sum of generalized eigenspaces of L(0).
We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops naturally if we include not only ordinary modules, but also weak modules with a composition series of finite length (we call it an Artin module). In particular, we don't assume the semisimplicity of the weight operator L(0). Actually, without the assumption of rationality, a C_2-cofiniteness on V is enough to obtain the existence of a tensor product of two A…
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 study modularity of the characters of a vertex (super)algebra equipped with a family of conformal structures. Along the way we introduce the notions of rationality and cofiniteness relative to such a family. We apply the results to determine modular transformations of trace functions on admissible modules over affine Kac-Moody algebras and, via BRST reduction, trace functions on minimal series representations of principal affine W-algebras.
We construct projective covers of irreducible V-modules in the category of grading-restricted generalized V-modules when V is a vertex operator algebra satisfying the following conditions: 1. V is C_{1}-cofinite in the sense of Li. 2. There exists a positive integer N such that the differences between the real parts of the lowest conformal weights of irreducible V-modules are bounded by N and such that the associative algebra A_{N}(V) is finite dimensional. This result shows that the category of grading-restricted generalized V-modules is a finite abelian category over C. Using the existence o…
Let V^L and V^R be simple vertex operator algebras satisfying certain natural uniqueness-of-vacuum, complete reducibility and cofiniteness conditions and let F be a conformal full field algebra over the tensor product of V^L and V^R. We prove that the q_τ-\bar{q_τ}-traces (natural traces involving q_τ=e^{2πiτ} and \bar{q_τ}=\bar{e^{2πiτ}}) of geometrically modified genus-zero correlation functions for F are convergent in suitable regions and can be extended to doubly periodic functions with periods 1 and τ. We obtain necessary and sufficient conditions for these functions to be modular invaria…
Motivated by \cite{am1}, for every finite subgroup $Γ\subset PSL(2,\mathbb{C})$ we investigate the fixed point subalgebra $\triplet^Γ$ of the triplet vertex $\mathcal {W}(p)$, of central charge $1-\frac{6(p-1)^{2}}{p}$, $p\geq2$. This part deals with the $A$-series in the ADE classification of finite subgroups of $PSL(2,\mathbb{C})$. First, we prove the $C_2$-cofiniteness of the $A_m$-fixed subalgebra $\triplet^{A_m}$. Then we construct a family of $\am$-modules, which are expected to form a complete set of irreps. As a strong support to our conjecture, we prove modular invariance of (generali…
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-, and 3-manifolds is the free symmetric monoidal bicategory on a single anomaly-free modular object.
We describe the construction of the genus-zero parts of conformal field theories in the sense of G. Segal from representations of vertex operator algebras satisfying certain conditions. The construction is divided into four steps and each step gives a mathematical structure of independent interest. These mathematical structures are intertwining operator algebras, genus-zero modular functors, genus-zero holomorphic weakly conformal field theories, and genus-zero conformal field theories.
We solve the problem of constructing all chiral genus-one correlation functions from chiral genus-zero correlation functions associated to a vertex operator algebra satisfying the following conditions: (i) the weight of any nonzero homogeneous elements of V is nonnegative and the weight zero subspace is one-dimensional, (ii) every N-gradable weak V-module is completely reducible and (iii) V is C_2-cofinite. We establish the fundamental properties of these functions, including suitably formulated commutativity, associativity and modular invariance. The method we develop and use here is complete…
We are continuing our study of ADE-orbifold subalgebras of the triplet vertex algebra W(p). This part deals with the dihedral series. First, subject to a certain constant term identity, we classify all irreducible modules for the vertex algebra $\bar{M(1)} ^+$, the $\Z_2$--orbifold of the singlet vertex algebra $\bar{M(1)}$. Then we classify irreducible modules and determine Zhu's and $C_2$--algebra for the vertex algebra $\triplet ^{D_2}$. A general method for construction of twisted $\triplet$--modules is also introduced. We also discuss classification of twisted $\bar{M(1)}$--modules includ…
The congruence subgroup property is established for the modular representations associated to any modular tensor category. This result is used to prove that the kernel of the representation of the modular group on the conformal blocks of any rational, C_2-cofinite vertex operator algebra is a congruence subgroup. In particular, the q-character of each irreducible module is a modular function on the same congruence subgroup. The Galois symmetry of the modular representations is obtained and the order of the anomaly for those modular categories satisfying some integrality conditions is determine…
In [H5] (q-alg/9512024) and [H7] (q-alg/9704008), the author introduced the notion of intertwining operator algebra, a nonmeromorphic generalization of the notion of vertex operator algebra involving monodromies. The problem of constructing intertwining operator algebras from representations of suitable vertex operator algebras were solved implicitly earlier in [H3] (q-alg/9505019). In the present paper, we generalize the geometric and operadic formulation of the notion of vertex operator algebra given in [H1], [H2], [HL1] (hep-th/9301009), [HL2] and [H6] to the notion of intertwining operator…
The rank 1 bosonic ghost vertex algebra, also known as the $βγ$ ghosts, symplectic bosons or Weyl vertex algebra, is a simple example of a conformal field theory which is neither rational, nor $C_2$-cofinite. We identify a module category, denoted category $\mathscr{F}$, which satisfies three necessary conditions coming from conformal field theory considerations: closure under restricted duals, closure under fusion and closure under the action of the modular group on characters. We prove the second of these conditions, with the other two already being known. Further, we show that category $\ma…
Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. (ii) Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. We announce a proof of the Verlinde conjecture for V, that is, of the statement that the matrices formed by the fusion rules among irreducible V-modules are diagonalized by the matrix given by the action of the modular transformation τ\maps…
Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Using the results obtained by the author in the formulation and proof of the general ve…
We discuss a framework for quantizing a Poisson manifold via the quantization of its symplectic groupoid, that combines the tools of geometric quantization with the results of Renault's theory of groupoid C*-algebras. This setting allows very singular polarizations. In particular we consider the case when the modular function is "multiplicatively integrable", i.e. when the space of leaves of the polarization inherits a groupoid structure. If suitable regularity conditions are satisfied, then one can define the quantum algebra as the convolution algebra of the subgroupoid of leaves satisfying t…
We show using Borcherds products that for any fixed-point free automorphism of the Leech lattice satisfying a "no massless states" condition, the corresponding cyclic orbifold of the Leech lattice vertex operator algebra is isomorphic to the Monster vertex operator algebra. This induces an "orbifold duality" bijection between algebraic conjugacy classes of fixed-point free automorphisms of the Leech lattice satisfying this condition and algebraic conjugacy classes of non-Fricke elements in the Monster. We use the duality to show that non-Fricke Monstrous Lie algebras are Borcherds-Kac-Moody Li…
Let $V$ be a vertex operator algebra satisfying certain reductivity and finiteness conditions such that $\mathcal{C}_V$, the category of V-modules, is a modular tensor category. We study open-closed field algebras over V equipped with nondegenerate invariant bilinear forms for both open and closed sectors. We show that they give algebras over certain $\C$-extension of the Swiss-cheese partial dioperad, and we obtain Ishibashi states easily in such algebras. We formulate Cardy condition algebraically in terms of the action of the modular transformation $S: τ\mapsto -\frac{1}τ$ on the space of i…
