We study the fixed point subalgebra of a certain class of lattice vertex operator algebras by an automorphism of order 3, which is a lift of a fixed-point-free isometry of the underlying lattice. We classify the irreducible modules for the subalgebra. Moreover, the rationality and the $C_2$-cofiniteness of the subalgebra are established. Our result contains the case of the vertex operator algebra associated with the Leech lattice.
We study the subalgebra of the lattice vertex operator algebra $V_{\sqrt{2}A_2}$ consisting of the fixed points of an automorphism which is induced from an order 3 isometry of the root lattice $A_2$. We classify the simple modules for the subalgebra. The rationality and the $C_2$-cofiniteness are also established.
In this article we study and obtain a classification of Ising vectors in vertex operator algebras associated to binary codes and $\sqrt{2}$ times root lattices, where an Ising vector is a conformal vector with central charge 1/2 generating a simple Virasoro sub VOA. Then we apply our results to study certain commutant subalgebras related to root systems. We completely classify all Ising vectors in such commutant subalgebras and determine their full automorphism groups.
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. We show that every weak $V_{L}^{+}$-module is completely reducible.
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$ symmetry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. We classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $θ$-twisted $V_{L}$-module.
A notion of intermediate vertex subalgebras of lattice vertex operator algebras is introduced, as a generalization of the notion of principal subspaces. Bases and the graded dimensions of such subalgebras are given.As an application, it is shown that the characters of some modules of an intermediate vertex subalgebra between $E_7$ and $E_8$ lattice vertex operator algebras satisfy some modular differential equations.This result is an analogue of the result concerning the "hole" of the Deligne dimension formulas and the intermediate Lie algebra between the simple Lie algebras $E_7$ and $E_8$.
Let $M(1)$ be the vertex operator algebra with the Virasoro element $ω$ associated to the Heisenberg algebra of rank $1$ and let $M(1)^{+}$ be the subalgebra of $M(1)$ consisting of the fixed points of an automorphism of $M(1)$ of order $2$. We classify the simple weak $M(1)^{+}$-modules with a non-zero element $w$ such that for some integer $s\geq 2$, $ω_i w\in{\mathbb C}w$ ($i=\lfloor s/2\rfloor+1,\lfloor s/2\rfloor+2,\ldots,s-1$), $ω_{s}w\in{\mathbb C}^{\times}w$, and $ω_i w=0$ for all $i>s$. The result says that any such simple weak $M(1)^{+}$-module is isomorphic to some simple weak $M(1)…
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.
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$ symmetry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. In this series of papers, we classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $θ$-twisted $V_{L}$-module. Let $M(1)^{+}$ be the fixed point subalgebra of the Heisenberg vertex operator algebra $M(1)$ …
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. In this series of papers, we classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $θ$-twisted $V_{L}$-module. In this paper (Part 1), we show that when the rank of $L$ is $1$, every non-zero weak $V_{L}^{…
We develop criteria to decide if an $N=2$ or $N=4$ super conformal algebra is a subalgebra of a super vertex operator algebra in general, and of a super lattice theory in particular. We give some specific examples.
Let $A$ be a connected commutative $\C$-algebra with derivation $D$, $G$ a finite linear automorphism group of $A$ which preserves $D$, and $R=A^G$ the fixed point subalgebra of $A$ under the action of $G$. We show that if $A$ is generated by a single element as an $R$-algebra and is a Galois extension over $R$ in the sense of M. Auslander and O. Goldman, then every finite-dimensional vertex algebra $R$-module has a structure of twisted vertex algebra $A$-module.
In this paper we classify, under certain restrictions, all homogeneous conformal subalgebras $\goth L$ of a lattice vertex superalgebra $V_Λ$ corresponding to an integer lattice $Λ$. We require that $\goth L$ is graded by an almost finite root system $Δ\subset Λ$ and that $\goth L$ is stable under the action of the Heisenberg conformal algebra $\goth H\subset V_Λ$. We also describe the root systems of these subalgebras. The key ingredient of this classification is an infinite type conformal algebra $\goth K$ obtained by the Tits-Kantor-Koeher construction from a certain Jordan conformal triple…
Herein we study conformal vectors of a Z-graded vertex algebra of (strong) CFT type. We prove that the full vertex algebra automorphism group transitively acts on the set of the conformal vectors of strong CFT type if the vertex algebra is simple. The statement is equivalent to the uniqueness of self-dual vertex operator algebra structures of a simple vertex algebra. As an application, we show that the full vertex algebra automorphism group of a simple vertex operator algebra of strong CFT type uniquely decomposes into the product of certain two subgroups and the vertex operator algebra automo…
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.
Let ${\mathscr M}(p)$ $(p=2,3,\ldots)$ be the singlet vertex operator algebra and $ω$ its conformal vector. We classify the simple weak ${\mathscr M}(p)$-modules with a non-zero element $u$ such that for some integer $s\geq 2$, $ω_i u\in{\mathbb C} u$ ($i=\lfloor s/2\rfloor+1,\lfloor s/2\rfloor+2,\ldots,s-1$), $ω_{s} u\in{\mathbb C}^{\times} u$, and $ω_i u=0$ for all $i>s$.
We determine the automorphism groups of the cyclic orbifold vertex operator algebras associated with coinvariant lattices of isometries of the Leech lattice in the conjugacy classes $4C,6E,6G,8E$ and $10F$. As a consequence, we have determined the automorphism groups of all the $10$ vertex operator algebras in [Hö], which are useful to analyze holomorphic vertex operator algebras of central charge $24$.
We investigate the general structure of the automorphism group and the Lie algebra of derivations of a finitely generated vertex operator algebra. The automorphism group is isomorphic to an algebraic group. Under natural assumptions, the derivation algebra has an invariant bilinear form and the ideal of inner derivations is nonsingular.
Let V be a simple vertex operator algebra and G a finite automorphism group. We give a construction of intertwining operators for irreducible V^G-modules which occur as submodules of irreducible V-modules by using intertwining operators for V. We also determine some fusion rules for a vertex operator algebra as an application.
For a vertex operator algebra $V$ with conformal vector $ω$, we consider a class of vertex operator subalgebras and their conformal vectors. They are called semi-conformal vertex operator subalgebras and semi-conformal vectors of $(V,ω)$, respectively, and were used to study duality theory of vertex operator algebras via coset constructions. Using these objects attached to $(V,ω)$, we shall understand the structure of the vertex operator algebra $(V,ω)$. At first, we define the set $\on{Sc}(V,ω)$ of semi-conformal vectors of $V$, then we prove that $\on{Sc}(V,ω)$ is an affine algebraic variety…
For a quantized enveloping algebra of a complex semisimple Lie algebra with deformation parameter not a root of unity, we classify all homogeneous right coideal subalgebras. Any such right coideal subalgebra is determined uniquely by a triple consisting of two elements of the Weyl group and a subset of the set of simple roots satisfying some natural conditions. The essential ingredients of the proof are the Lusztig automorphisms and the classification of homogeneous right coideal subalgebras of the Borel Hopf subalgebras of quantized enveloping algebras obtained previously by H.-J. Schneider a…
In this article, we construct three new holomorphic vertex operator algebras of central charge $24$ using the $\mathbb{Z}_2$-orbifold construction associated to inner automorphisms. Their weight one subspaces has the Lie algebra structures $D_{7,3}A_{3,1}G_{2,1}$, $E_{7,3}A_{5,1}$, and $A_{8,3}A_{2,1}^2$. In addition, we discuss the constructions of holomorphic vertex operator algebras with Lie algebras $A_{5,6}C_{2,3}A_{1,2}$ and $D_{6,5}A_{1,1}^2$ from holomorphic vertex operator algebras with Lie algebras $C_{5,3}G_{2,2}A_{1,1}$ and $A_{4,5}^2$, respectively.
We first determine the automorphism group of the twisted Heisenberg-Virasoro vertex operator algebra $V_{\mathcal{L}}(\ell_{123},0)$.Then, for any integer $t>1$, we introduce a new Lie algebra $\mathcal{L}_{t}$, and show that $σ_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules are in one-to-one correspondence with restricted $\mathcal{L}_{t}$-modules of level $\ell_{13}$, where $σ_{t}$ is an order $t$ automorphism of $V_{\mathcal{L}}(\ell_{123},0)$. At the end, we give a complete list of irreducible $σ_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules.
We prove a sharpened version of a conjecture of Dong-Mason about lattice subalgebras of a strongly regular vertex operator algebra $V$, and give some applications. These include the existence of a canonical conformal subVOA $W\otimes G\otimes Z \subseteq V$, and a generalization of the theory of minimal models.
Let $L$ be an even positive definite lattice with no roots, i.e., $L(2)=\{x\in L\mid (x|x)=2\}=\emptyset$. Let $g\in O(L)$ be an isometry of order $4$ such that $g^2=-1$ on $L$. In this article, we determine the full automorphism group of the orbifold vertex operator algebra $V_L^{\hat{g}}$. As our main result, we show that $Aut(V_L^{\hat{g}})$ is isomorphic to $N_{Aut(V_L)}(\langle \hat{g}\rangle)/ \langle\hat{g}\rangle $ unless $L\cong \sqrt{2}E_8$ or $BW_{16}$.
We prove that we have an isomorphism of type $A_{aut}(\mathbb C_σ[G])\simeq A_{aut}(\mathbb C[G])^σ$, for any finite group $G$, and any 2-cocycle $σ$ on $G$. In the particular case $G=\mathbb Z_n^2$, this leads to a Haar-measure preserving identification between the subalgebra of $A_o(n)$ generated by the variables $u_{ij}^2$, and the subalgebra of $A_s(n^2)$ generated by the variables $X_{ij}=\sum_{a,b=1}^np_{ia,jb}$. Since $u_{ij}$ is "free hyperspherical" and $X_{ij}$ is "free hypergeometric", we obtain in this way a new free probability formula, which at $n=\infty$ corresponds to the well-…
It is shown that the fixed point subalgebra of an EALA under a finite order automorphism (satisfying certain properties) is a sum of EALA's, an abelian subalgebra, and a subspace which is contained in the centralizer of the core.
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.
Let $V$ be a vertex operator subalgebra of $U$. Assume that $U$, $V$, and its commutant $V^c$ in $U$ are CFT-type, self-dual, and regular VOAs. Assume also that the double commutant $V^{cc}$ equals $V$. We prove that any intertwining operator of $V$ is a compression of intertwining operators of $U$.
Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero.
Filtration and gradation of quantum affine vertex algebras
Key Laboratory of Computing and Stochastic Mathematics (Ministry of Education), School of Mathematics and Statistics, Hunan Normal University（湖南师范大学数学与统计学院，计算与随机数学教育部重点实验室）
Given a finite-dimensional complex Lie algebra g equipped with a nondegenerate, symmetric, invariant bilinear form B, let V_k(g,B) denote the universal affine vertex algebra associated to g and B at level k. For any reductive group G of automorphisms of V_k(g,B), we show that the invariant subalgebra V_k(g,B)^G is strongly finitely generated for generic values of k. This implies the existence of a new family of deformable W-algebras W(g,B,G)_k which exist for all but finitely many values of k.
We provide a complete classification of unitary subalgebras of even rank-one lattice vertex operator algebras. As a consequence of the correspondence between vertex operator algebras and conformal nets, we also obtain a complete classification of conformal subnets of even rank-one lattice conformal nets.
Let L be the A_1 root lattice and G a finite subgroup of Aut(V_L), where $V_L$ is the associated lattice VOA (in this case, Aut(V) is isomorphic to PSL(2,\Bbb C)). The fixed point subVOA, V^G was studied in q-alg/9710017, which finds a set of generators and determines the automorphism group when G is cyclic (from the "A-series") or dihedral (from the "D-series"). In the present article, we obtain analogous results for the remaining possibilities for G, that it belong to the "E-series": G\cong Alt_4, Alt_5 or Sym_4.
In this article, we determine the automorphism groups of $14$ holomorphic vertex operator algebras of central charge $24$ obtained by applying the $\mathbb{Z}_2$-orbifold construction to the Niemeier lattice vertex operator algebras and lifts of the $-1$-isometries.
Let $L_{D_{\ell}}(-\ell +{3/2},0)$ (resp. $L_{B_{\ell}}(-\ell +{3/2},0)$) be the simple vertex operator algebra associated to affine Lie algebra of type $D_{\ell}^{(1)}$ (resp. $B_{\ell}^{(1)}$) with the lowest admissible half-integer level $-\ell + {3/2}$. We show that $L_{D_{\ell}}(-\ell +{3/2},0)$ is a vertex subalgebra of $L_{B_{\ell}}(-\ell +{3/2},0)$ with the same conformal vector. For $\ell =4$, $L_{D_{4}}(-{5/2},0)$ is a vertex subalgebra of three copies of $L_{B_{4}}(-{5/2},0)$ contained in $L_{F_{4}}(-{5/2},0)$, and all five of these vertex operator algebras have the same conformal v…
In this article, we give a method of calculating the automorphism groups of the vertex operator algebras $V_L^+$ associated with even lattices $L$. For example, by using this method we determine the automorphism groups of $V_L^+$ for even lattices of rank one, two and three, and even unimodular lattices.
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…
Let $\mathfrak{g}$ be a finite-dimensional semisimple complex Lie algebra and $θ$ an involutive automorphism of $\mathfrak{g}$. According to G. Letzter, S. Kolb and M. Balagović the fixed-point subalgebra $\mathfrak{k} = \mathfrak{g}^θ$ has a quantum counterpart $B$, a coideal subalgebra of the Drinfeld-Jimbo quantum group $U_q(\mathfrak{g})$ possessing a universal K-matrix $\mathcal{K}$. The objects $θ$, $\mathfrak{k}$, $B$ and $\mathcal{K}$ can all be described in terms of Satake diagrams. In the present work we extend this construction to generalized Satake diagrams, combinatorial data firs…
The following integrability theorem for vertex operator algebras V satisfying some finiteness conditions(C_2-cofinite and CFT-type) is proved: the vertex operator subalgebra generated by a simple Lie subalgebra {\frak g} of the weight one subspace V_1 is isomorphic to the irreducible highest weight \hat{\frak g}-module L(k, 0) for a positive integer k, and V is an integrable \hat{\frak g}-module. The case in which {\frak g} is replaced by an abelian Lie subalgebra is also considered, and several consequences of integrability are discussed.
We study a certain linear automorphism of a vertex operator algebra induced by the formal change of variable $f(x)=e^x-1$ and describe examples showing how this relates the theory of vertex operator algebras to Bernoulli numbers, Bernoulli polynomial values, and related numbers. We give a recursion for such numbers derived using vertex operator relations, and study the Jacobi identity for modified vertex operators that was introduced in work of Lepowsky.
A vertex operator algebra of lattice type ADE has a standard integral form which extends a Chevalley basis for its degree 1 Lie algebra. This integral form may be used to define a vertex algebra over a commutative ring $R$ and to get a Chevalley group over $R$ of the same type, acting as automorphisms of this vertex algebra. We define vertex algebras of types BCFG over a commutative ring and certain reduced VAs, then get analogous results about automorphism groups. In characteristics 2 and 3, there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for …
The automorphism group of the vertex operator algebra $V_L^+$ is studied by using its action on isomorphism classes of irreducible $V_L^+$-modules. In particular, the shape of the automorphism group of $V_L^+$ is determined when $L$ is isomorphic to an even unimodular lattice without roots, $\sqrt2R$ for an irreducible root lattice $R$ of type $ADE$ and the Barnes-Wall lattice of rank 16.
We define an automorphism of VOA of order 3 by using a sub VOA isomorphic to a direct sum of 3-state Potts models $L(\ff,0)$ and an its module $L(\ff,3)$. This automorphism is a 3A element of the monster simple group if $V$ is the moonshine VOA $V^{\natural}$.
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…
Let L be a positive definite even lattice of rank one and V_L^+ be the fixed points of the lattice VOA V_L associated to L under an automorphism of V_L lifting the -1$ isometry of L. A set of generators and the full automorphism group of V_L^+ are determined.
We study quantum automorphism groups of vertex-transitive graphs having less than 11 vertices. With one possible exception, these can be obtained from cyclic groups ${\mathbb Z}_n$, symmetric groups $S_n$ and quantum symmetric groups $\mathcal Q_n$, by using various product operations. The exceptional case is that of the Petersen graph, and we present some questions about it.
We describe the automorphism groups of all holomorphic vertex operator algebras of central charge $24$ with non-trivial weight one Lie algebras by using their constructions as simple current extensions. We also confirm a conjecture of G. Höhn on the numbers of holomorphic vertex operator algebras of central charge $24$ obtained as inequivalent simple current extensions of certain vertex operator algebras, which gives another proof of the uniqueness of holomorphic vertex operator algebras of central charge $24$ with non-trivial weight one Lie algebras.
In this article, we prove that the full automorphism group of the Z_2-orbifold of the Barnes-Wall lattice vertex operator algebra of central charge 32 has the shape $2^{27}.E_6(2)$. In order to identify the group structure, we introduce a graph structure on the Griess algebra and show that it is a rank 3 graph associated to $E_6(2)$.
Given a weight-one element $u$ of a vertex operator algebra $V$, we construct an automorphism of the category of generalized $g$-twisted modules for automorphisms $g$ of $V$ fixing $u$. We apply this construction to the case that $V$ is an affine vertex operator algebra to obtain explicit results on these automorphisms of categories. In particular, we give explicit constructions of certain generalized twisted modules from generalized twisted modules associated to diagram automorphisms of finite-dimensional simple Lie algebras and generalized (untwisted) modules.
Let $V$ be a simple vertex operator algebra which admits the continuous, faithful action of a compact Lie group $G$ of automorphisms. We establish a Schur-Weyl type duality between the unitary, irreducible modules for $G$ and the irreducible modules for $V^G$ which are contained in $V$ where $V^G$ is the space of $G$-invariants of $V.$ We also prove a concomitant Galois correspondence between vertex operator subalgebras of $V$ which contain $V^G$ and closed Lie subgroups of $G$ in the case that $G$ is abelian.
In this paper, we completely determine the group of algebra automorphisms for the two-parameter Hopf algebra ${\check U}_{r,s}^{\geq 0}({\mathfrak sl_{3}})$. As a result, the group of Hopf algebra automorphisms is determined for $\V$ as well. We further characterize all the derivations of the subalgebra $U^{+}_{r,s}({\mathfrak sl_{3})}$, and calculate its first degree Hochschild cohomology group.
Let L be a positive definite even lattice and V_L^+ be the fixed points of the lattice VOA V_L associated to L under an automorphism of V_L lifting the -1 isometry of L. For any positive rank, the full automotphism group of V_L^+ is determined if L does not have vectors of norm 2 or 4. For any L of rank 2, a set of generators and the full automorphism group of V_L^+ are determined.
Let L be a Lie pseudoalgebra, a in L. We show that, if a generates a (finite) solvable subalgebra S=<a>, then one may find a lifting a' in S of [a] in S/S' such that <a'> is nilpotent. We then apply this result towards vertex algebras: we show that every finite vertex algebra V admits a decomposition into a semi-direct product V = U + N, where U is a subalgebra of V whose underlying Lie conformal algebra U^lie is a nilpotent self-normalizing subalgebra of V^lie, and N is a canonically determined ideal contained in the nilradical Nil V.
