C 2-Cofiniteness of 2-Cyclic Permutation Orbifold Models

In this article, we consider permutation orbifold models of C ₂-cofinite vertex operator algebras of CFT type. We show the C ₂-cofiniteness of the 2-cyclic permutation orbifold model ${(V \otimes V)^{S_2} }$ for an arbitrary C ₂-cofinite simple vertex operator algebra V of CFT type. We also give a proof of the C ₂-cofiniteness of a ${\mathbb{Z}_{2}}$ -orbifold model ${V_{L}^{+}}$ of the lattice vertex operator algebra V _L associated with a rank one positive definite even lattice L by using our result and the C ₂-cofiniteness of V _L .     

Generalized Twisted Modules Associated to General Automorphisms of a Vertex Operator Algebra

We introduce a notion of a strongly ${\mathbb{C}^{\times}}We introduce a notion of a strongly \mathbbC^×{\mathbb{C}^{\times}}-graded, or equivalently, \mathbbC/\mathbbZ{\mathbb{C}/\mathbb{Z}}-graded generalized g-twisted V-module associated to an automorphism g, not necessarily of finite order, of a vertex operator algebra. We also introduce a notion of a strongly \mathbbC{\mathbb{C}}-graded generalized g-twisted V-module if V admits an additional \mathbbC{\mathbb{C}}-grading compatible with g. Let V=\coprod_{n ? \mathbbZ}V_(n){V=\coprod_{n\in \mathbb{Z}}V_{(n)}} be a vertex operator algebra such that V₍₀₎=\mathbbC1{V_{(0)}=\mathbb{C}\mathbf{1}} and V _(n) = 0 for n < 0 and let u be an element of V of weight 1 such that L(1)u = 0. Then the exponential of 2p?{-1}  Res_x Y(u, x){2\pi \sqrt{-1}\; {\rm Res}_{x} Y(u, x)} is an automorphism g _u of V. In this case, a strongly \mathbbC{\mathbb{C}}-graded generalized g _u -twisted V-module is constructed from a strongly \mathbbC{\mathbb{C}}-graded generalized V-module with a compatible action of g _u by modifying the vertex operator map for the generalized V-module using the exponential of the negative-power part of the vertex operator Y(u, x). In particular, we give examples of such generalized twisted modules associated to the exponentials of some screening operators on certain vertex operator algebras related to the triplet W-algebras. An important feature is that we have to work with generalized (twisted) V-modules which are doubly graded by the group \mathbbC/\mathbbZ{\mathbb{C}/\mathbb{Z}} or \mathbbC{\mathbb{C}} and by generalized eigenspaces (not just eigenspaces) for L(0), and the twisted vertex operators in general involve the logarithm of the formal variable.     

<Emphasis Type="Italic">C</Emphasis><Subscript>2</Subscript>-Cofiniteness of the 2-Cycle Permutation Orbifold Models of Minimal Virasoro Vertex Operator Algebras

In this article, we give a sufficient and necessary condition for the C ₂-cofiniteness of \({\widetilde{V} = (V\otimes V)^\sigma}\) for a C ₂-cofinite vertex operator algebra V and the 2-cycle permutation σ of \({V\otimes V}\) . As an application, we show that the 2-cycle permutation orbifold model of the simple Virasoro vertex operator algebra L(c, 0) of minimal central charge c is C ₂-cofinite.     

Vertex operators of level-one U q (B n (1) )-modules

We construct explicitly the level-one vertex operators for the fundamental modulesV(₁) (i=0, 1,n) of the quantum affine algebra of typeB using free boson and fermion fields.     

Modularity in Orbifold Theory for Vertex Operator Superalgebras

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₂-cofinite condition. We also establish that these functions afford a representation of the full modular group if V is C₂-cofinite and g-rational for any g ∈ G.Supported by NSF grants, China NSF grant 10328102 and a Faculty research grant from the University of California at Santa Cruz     

Regular Basis and R-Matrices for the ^(su)(n)k Knizhnik–Zamolodchikov Equation

Dynamical R-matrix relations are derived for the group-valued chiral vertex operators in the SU(n) WZNW model from the KZ equation for a general four-point function including two step operators. They fit the exchange relations of the U _q (sl _n ) covariant quantum matrix algebra derived previously by solving the dynamical Yang–Baxter equation. As a byproduct, we extend the regular basis introduced earlier for SU(2) chiral fields to SU(n) step operators and display the corresponding triangular matrix representation of the braid group.     

Modules-at-Infinity for Quantum Vertex Algebras

This is a sequel to [Li4] and [Li5] in a series to study vertex algebra-like structures arising from various algebras such as quantum affine algebras and Yangians. In this paper, we study two versions of the double Yangian , denoted by DY _q (sl ₂) and with q a nonzero complex number. For each nonzero complex number q, we construct a quantum vertex algebra V _q and prove that every DY _q (sl ₂)-module is naturally a V _q -module. We also show that -modules are what we call V _q -modules-at-infinity. To achieve this goal, we study what we call -local subsets and quasi-local subsets of for any vector space W, and we prove that any -local subset generates a (weak) quantum vertex algebra and that any quasi-local subset generates a vertex algebra with W as a (left) quasi module-at-infinity. Using this result we associate the Lie algebra of pseudo-differential operators on the circle with vertex algebras in terms of quasi modules-at-infinity.     

A Functional-Analytic Theory¶of Vertex (Operator) Algebras, I

This paper is the first in a series of papers developing a functional-analytic theory of vertex (operator) algebras and their representations. For an arbitrary ℤ-graded finitely-generated vertex algebra (V, Y, 1) satisfying the standard grading-restriction axioms, a locally convex topological completion H of V is constructed. By the geometric interpretation of vertex (operator) algebras, there is a canonical linear map from $V⊗V to (the algebraic completion of V) realizing linearly the conformal equivalence class of a genus-zero Riemann surface with analytically parametrized boundary obtained by deleting two ordered disjoint disks from the unit disk and by giving the obvious parametrizations to the boundary components. We extend such a linear map to a linear map from $H\tilde{\otimes} H$ ( being the completed tensor product) to H, and prove the continuity of the extension. For any finitely-generated ℂ-graded V-module (W, Y _W ) satisfying the standard grading-restriction axioms, the same method also gives a topological completion H _W of W and gives the continuous extensions from to H _W of the linear maps from to realizing linearly the above conformal equivalence classes of the genus-zero Riemann surfaces with analytically parametrized boundaries. Received: 15 August 1998 / Accepted: 13 January 1999     

Multi-component KdV hierarchy,V-algebra and non-Abelian toda theory

We prove the recently conjectured relation between the 2 × 2-matrix differential operatorL = ² –U and a certain nonlinear and nonlocal Poisson bracket algebra (V-algebra), containing a Virasoro subalgebra, which appeared in the study of a non-Abelian Toda field theory. In particular, we show that thisV-algebra is precisely given by the second Gelfand-Dikii bracket associated withL. The Miura transformation that relates the second to the first Gelfand-Dikii bracket is given. The two Gelfand-Dikii brackets are also obtained from the associated (integro-) differential equation satisfied by fermion bilinears. The asymptotic expansion of the resolvent of (L -) = 0 is studied and its coefficientsR _l yield an infinite sequence of Hamiltonians with mutually vanishing Poisson brackets. We recall how this leads to a matrix KdV hierarchy, which here are flow equations for the three component fieldsT,V ⁺,V ^– ofU. ForV ^± = 0, they reduce to the ordinary KdV hierarchy. The corresponding matrix mKdV equations are also given, as well as the relation to the pseudo-differential operator approach. Most of the results continue to hold ifU is a Hermitiann ×n matrix. Conjectures are made aboutn ×n-matrix,mth-order differential operatorsL and associatedV _(n,m)-algebras.     

On the Structure of Framed Vertex Operator Algebras and Their Pointwise Frame Stabilizers

In this paper, we study the structure of a general framed vertex operator algebra (VOA). We show that the structure codes (C,D) of a framed VOA V satisfy certain duality conditions. As a consequence, we prove that every framed VOA is a simple current extension of the associated binary code VOA V _C . This result suggests the feasibility of classifying framed vertex operator algebras, at least if the central charge is small. In addition, the pointwise frame stabilizer of V is studied. We completely determine all automorphisms in the pointwise stabilizer, which are of order 1, 2 or 4. The 4A-twisted sector and the 4A-twisted orbifold theory of the famous moonshine VOA are also constructed explicitly. We verify that the top module of this twisted sector is of dimension 1 and of weight 3/4 and the VOA obtained by 4A-twisted orbifold construction of is isomorphic to itself. Dedicated to Professor Koichiro Harada on his 65th birthday Partially supported by NSC grant 94-2115-M-006-001 of Taiwan, R.O.C. Supported by JSPS Research Fellowships for Young Scientists.     

A Monoidal Category for Perturbed Defects in Conformal Field Theory

Starting from an abelian rigid braided monoidal category C{\mathcal{C}} we define an abelian rigid monoidal category C_F{\mathcal{C}_F} which captures some aspects of perturbed conformal defects in two-dimensional conformal field theory. Namely, for V a rational vertex operator algebra we consider the charge-conjugation CFT constructed from V (the Cardy case). Then C = Rep(V){\mathcal{C} = {\rm Rep}(V)} and an object in C_F{\mathcal{C}_F} corresponds to a conformal defect condition together with a direction of perturbation. We assign to each object in C_F{\mathcal{C}_F} an operator on the space of states of the CFT, the perturbed defect operator, and show that the assignment factors through the Grothendieck ring of C_F{\mathcal{C}_F}. This allows one to find functional relations between perturbed defect operators. Such relations are interesting because they contain information about the integrable structure of the CFT.     

{\hbar}-adic Quantum Vertex Algebras and Their Modules

This is a paper in a series to study vertex algebra-like structures arising from various algebras including quantum affine algebras and Yangians. In this paper, we study notions of (^h/_2p){\hbar}-adic nonlocal vertex algebra and (^h/_2p){\hbar}-adic (weak) quantum vertex algebra, slightly generalizing Etingof-Kazhdan’s notion of quantum vertex operator algebra. For any topologically free \mathbb C[[(^h/_2p)]]{{\mathbb C}\lbrack\lbrack{\hbar}\rbrack\rbrack}-module W, we study (^h/_2p){\hbar}-adically compatible subsets and (^h/_2p){\hbar}-adically S{\mathcal{S}}-local subsets of (End W)[[x, x ⁻¹]]. We prove that any (^h/_2p){\hbar}-adically compatible subset generates an (^h/_2p){\hbar}-adic nonlocal vertex algebra with W as a module and that any (^h/_2p){\hbar}-adically S{\mathcal{S}}-local subset generates an (^h/_2p){\hbar}-adic weak quantum vertex algebra with W as a module. A general construction theorem of (^h/_2p){\hbar}-adic nonlocal vertex algebras and (^h/_2p){\hbar}-adic quantum vertex algebras is obtained. As an application we associate the centrally extended double Yangian of \mathfrak s\mathfrak l₂{{\mathfrak s}{\mathfrak l}_{2}} to (^h/_2p){\hbar}-adic quantum vertex algebras.     

Fundamental representations of quantum groups at roots of 1

To every finite-dimensional irreducible representation V of the quantum group U(g) where is a primitive lth root of unity (l odd) and g is a finite-dimensional complex simple Lie algebra, de Concini, Kac and Procesi have associated a conjugacy class C _V in the adjoint group G of g. We describe explicitly, when g is of type A _n , B _n , C _n , or D _n , the representations associated to the conjugacy classes of minimal positive dimension. We call such representations fundamental and prove that, for any conjugacy class, there is an associated representation which is contained in a tensor product of fundamental representations.     

Symmetry-adapted linear combinations for the eigenvalues and eigenvectors of reciprocal graphs

ABSTRACT

Three classes of reciprocal graphs, viz. monocycle (G^C_n), linear chain (G^L_n) and star (G^K_n) with reciprocal pairs of eigenvalues (λ, 1/λ), are well known. Reciprocal graphs of monocycle (G^C_n) and linear chain (G^L_n) are obtained by putting a pendant vertex to each vertex of simple monocycle (C_n) and simple linear chain (L_n), respectively. A star graph of such kind is obtained by attaching a pendant vertex to the central vertex and to each of the (n ? 1) peripheral vertices of the star graph (K_{1, (n?1)}). An n-fold rotational axis of symmetry for G^C_n and (n ? 1)-fold rotational axis of symmetry for G^K_n have been exploited for obtaining their respective condensed graphs. The condensed graph for G^L_n has been generated from that of G^C_n incorporating proper boundary conditions. Condensed graphs are lower dimensional graphs and are capable of keeping all eigeninformation in condensed form. Thus the eigensolutions (i.e. the eigenvalues and the eigenvectors) in analytical forms for such graphs are obtained by solving 2 × 2 or 4 × 4 determinants that in turn result in the charge densities and bond orders of the corresponding molecules in analytical forms. Some mathematical properties of the eigenvalues of such graphs have also been explored.     

A superalgebra morphism of U q [osp(1/2N)] onto the deformed oscillator superalgebra W q (N)

We prove that the deformed oscillator superalgebra W _q (n) (which in the Fock representation is generated essentially byn pairs ofq-bosons) is a factor algebra of the quantized universal enveloping algebra U _q [osp(1/2n)]. We write down aq-analog of the Cartan-Weyl basis for the deformed osp(1/2n) and also give an oscillator realization of all Cartan-Weyl generators.     

Rationality, Quasirationality and Finite W-Algebras

 Some of the consequences that follow from the C ₂ condition of Zhu are analysed. In particular it is shown that every conformal field theory satisfying the C ₂ condition has only finitely many n-point functions, and this result is used to prove a version of a conjecture of Nahm, namely that every representation of such a conformal field theory is quasirational. We also show that every such vertex operator algebra is a finite W-algebra, and we give a direct proof of the convergence of its characters as well as the finiteness of the fusion rules. Received: 18 October 2000 / Accepted: 28 January 2003 Published online: 5 May 2003 RID="*" ID="*" Present address: Department of Mathematics, King's College London, Strand, London WC2R 2LS, U.K. E-mail: mrg@mth.kcl.ac.uk RID="**" ID="**" Present address: Harvard University, Department of Mathematics, One Oxford Street, Cambridge, MA 02138, USA. E-mail: aneitzke@alumni.princeton.edu Communicated by R.H. Dijkgraaf     

Twisted Sectors for Tensor Product Vertex Operator Algebras Associated to Permutation Groups

Let V be a vertex operator algebra, and for k a positive integer, let g be a k-cycle permutation of the vertex operator algebra V ^{⊗ k} . We prove that the categories of weak, weak admissible and ordinary g-twisted modules for the tensor product vertex operator algebra V ^{⊗ k} are isomorphic to the categories of weak, weak admissible and ordinary V-modules, respectively. The main result is an explicit construction of the weak g-twisted V ^{⊗ k} -modules from weak V-modules. For an arbitrary permutation automorphism g of V ^{⊗ k} the category of weak admissible g-twisted modules for V ^{⊗ k} is semisimple and the simple objects are determined if V is rational. In addition, we extend these results to the more general setting of γg-twisted V ^{⊗ k} -modules for γ a general automorphism of V acting diagonally on V ^{⊗ k} and g a permutation automorphism of V ^{⊗ k} . Received: 20 April 2000 / Accepted: 20 January 2002     

Free Bosonic Vertex Operator Algebras on Genus Two Riemann Surfaces I

We define the partition and n-point functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We obtain closed formulas for the genus two partition function for the Heisenberg free bosonic string and for any pair of simple Heisenberg modules. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties for the Heisenberg and lattice vertex operator algebras and a continuous orbifolding of the rank two fermion vertex operator super algebra. We compute the genus two Heisenberg vector n-point function and show that the Virasoro vector one point function satisfies a genus two Ward identity for these theories.     

On integrability of generalized Veronese curves of distributions

Given a 1-parameter family of 1-forms γ(t) = γ₀+tγ₁+ ···+tⁿψ_n, consider the condition dγ(t)γ(t) = 0 (of integrability for the annihilated by γ(t) distribution w(t)). We prove that in order that this condition is satisfied for any t it is sufficient that it is satisfied for N = n + 3 different values of t (the corresponding implication for N = 2n + 1 is obvious). In fact we give a stronger result dealing with distributions of higher codimension. This result is related to the so-called Veronese webs and can be applied in the theory of bihamiltonian structures.     

A Characterization of Vertex Operator Algebra {L(\frac{1}{2},0)\otimes L(\frac{1}{2},0)}

We study a simple, rational and C ₂-cofinite vertex operator algebra whose weight 1 subspace is zero, the dimension of weight 2 subspace is greater than or equal to 2 and with c = c? = 1. Under some additional conditions it is shown that such a vertex operator algebra is isomorphic to ${L(\frac{1}{2},0)\otimes L(\frac{1}{2},0)}We study a simple, rational and C ₂-cofinite vertex operator algebra whose weight 1 subspace is zero, the dimension of weight 2 subspace is greater than or equal to 2 and with c = c̃ = 1. Under some additional conditions it is shown that such a vertex operator algebra is isomorphic to L(\frac12,0)?L(\frac12,0){L(\frac{1}{2},0)\otimes L(\frac{1}{2},0)}.