In this article, we study isomorphisms between simple current extensions of a simple VOA. For example, we classify the isomorphism classes of simple current extensions of some VOAs. Moreover, we consider the same simple current extension and describe the normalizer of the abelian automorphism group associated with this extension. In particular, we regard the moonshine module as simple current extensions of five subVOAs V_L^+ for 2-elementary totally even lattices L, and describe corresponding five normalizers of elementary abelian 2-group in the automorphism group of the moonshine module in terms of V_L^+. By using this description, we show that three of them form a Monster amalgam.
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.
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.
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 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)$.
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.
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.
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.
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.
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.
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.
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.
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.
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 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 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}$.
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 prove an orbifold conjecture for a solvable automorphism group. Namely, we show that if V is a C_2-cofinite simple vertex operator algebra and G is a finite solvable automorphism group of V, then the fixed point vertex operator subalgebra V^G is also C_2-cofinite. This offers a mathematically rigorous background to orbifold theories of finite type with solvable 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$ 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.
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 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 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.
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 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.
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)…
In this paper, we prove the categories of lower bounded twisted modules of positive integer levels for simple vertex operator algebras associated with affine Lie algebras and general automorphisms are semisimple, using the twisted generalization of Zhu's algebra for these vertex operator algebras, constructed in \cite{HY}. We also show that the category of lower bounded twisted modules for a general automorphism is equivalent to the category of lower bounded twisted modules for the corresponding diagram automorphism.
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}^{…
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 …
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 intertwining operators among twisted modules or twisted intertwining operators associated to not-necessarily-commuting automorphisms of a vertex operator algebra. Let $V$ be a vertex operator algebra and let $g_{1}$, $g_{2}$ and $g_{3}$ be automorphisms of $V$. We prove that for $g_{1}$-, $g_{2}$- and $g_{3}$-twisted $V$-modules $W_{1}$, $W_{2}$ and $W_{3}$, respectively, such that the vertex operator map for $W_{3}$ is injective, if there exists a twisted intertwining operator of type ${W_{3}\choose W_{1}W_{2}}$ such that the images of its component operators span $W_{3}$, then $…
We classify all the Heisenberg and conformal vectors and determine the full automorphism group of the free bosonic vertex algebra without gradation. To describe it we introduce a notion of inner automorphisms of a vertex algebra.
We introduce a notion of strongly C^{\times}-graded, or equivalently, C/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 strongly C-graded generalized g-twisted V-module if V admits an additional C-grading compatible with g. Let V=\coprod_{n\in \Z}V_{(n)} be a vertex operator algebra such that V_{(0)}=\C\one 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 2π\sqrt{-1} Res_{x} Y(u, x) is an automorphism g_{u} of V. In this …
An irreducible module for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$ is said to be of $σ$-type if an automorphism of the fusion algebra of $K(\mathfrak{sl}_2,k)$ of order $k$ is trivial on it. For any integer $k \ge 3$, we show that there exists an automorphism of order $2$ of the subalgebra of the fusion algebra of $K(\mathfrak{sl}_2,k)^{\langle θ\rangle}$ spanned by the irreducible direct summands of $σ$-type irreducible $K(\mathfrak{sl}_2,k)$-modules, where $θ$ is an involution of $K(\mathfrak{sl}_2,k)$. We discuss some examples of such an automorphism as well.
For any integral lattice $Q$, one can construct a vertex algebra $V_Q$ called a lattice vertex algebra. If $σ$ is an automorphism of $Q$ of finite order, it can be lifted to an automorphism of $V_Q$. In this paper we classify the irreducible $σ$-twisted $V_Q$-modules. We show that the category of $σ$-twisted $V_Q$-modules is a semisimple abelian category with finitely many isomorphism classes of simple objects.
Every isometry $σ$ of a positive-definite even lattice $Q$ can be lifted to an automorphism of the lattice vertex algebra $V_Q$. An important problem in vertex algebra theory and conformal field theory is to classify the representations of the $σ$-invariant subalgebra $V_Q^σ$ of $V_Q$, known as an orbifold. In the case when $σ$ is an isometry of $Q$ of order two, we classify the irreducible modules of the orbifold vertex algebra $V_Q^σ$ and identify them as submodules of twisted or untwisted $V_Q$-modules. The examples where $Q$ is a root lattice and $σ$ is a Dynkin diagram automorphism are pr…
We give a new construction of the moonshine VOA V^{\natural} over the real number field. We proved that V^{\natural} has a positive definite invariant bilinear form and its full automorphism group is the Monster simple group. We also construct an infinite series of meromorphic VOAs whose full automorphism groups are finite. We calculate the trace form on V^{\natural} for some element of the Monster.
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.
The lattice vertex operator V_L associated to a positive definite even lattice L has an automorphism of order 2 lifted from -1 isometry of L. It is established that the fixed point vertex operator algebra V_L^+ is rational.
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 classify the irreducible modules for the fixed point vertex operator subalgebra V_L^+ of the vertex operator algebra V_L associated to a positive definite even lattice of rank 1 under the automorphism lifted from the -1 isometry of L.
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^{\otimes k}. We prove that the categories of weak, weak admissible and ordinary g-twisted modules for the tensor product vertex operator algebra V^{\otimes 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^{\otimes k}-modules from weak V-modules. For an arbitrary permutation automorphism g of V^{\otimes k} the category of weak admissible g-twisted mod…
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 …
The invariant subalgebra H^+ of the Heisenberg vertex algebra H under its automorphism group Z/2Z was shown by Dong-Nagatomo to be a W-algebra of type W(2,4). Similarly, the rank n Heisenberg vertex algebra H(n) has the orthogonal group O(n) as its automorphism group, and we conjecture that H(n)^{O(n)} is a W-algebra of type W(2,4,6,...,n^2+3n). We prove our conjecture for n=2 and n=3, and we show that this conjecture implies that H(n)^G is strongly finitely generated for any reductive group G\subset O(n).
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…
We construct orbifolds of holomorphic lattice Vertex Operator Algebras for non-Abelian finite automorphism groups $G$. To this end, we construct twisted modules for automorphisms $g$ together with the projective representation of the centralizer of $g$ on the twisted module. This allows us to extract the irreducible modules of the fixed point VOA $V^G$, and to compute their characters and modular transformation properties. We then construct holomorphic VOAs by adjoining such modules to $V^G$. Applying these methods to extremal lattices in $d=48$ and $d=72$, we construct more than fifty new hol…
Let $Z \subset \mathbb{A}^k$ be an affine scheme over $\C$ and $\J Z$ its jet scheme. It is well-known that $\mathbb{C}[\J Z]$, the coordinate ring of $\J Z$, has the structure of a commutative vertex algebra. This paper develops the orbifold theory for $\mathbb{C}[\J Z]$. A finite-order linear automorphism $g$ of $Z$ acts by vertex algebra automorphisms on $\mathbb{C}[\J Z]$. We show that $\mathbb{C}[\J^g Z]$, where $\J^g Z$ is the scheme of $g$--twisted jets has the structure of a $g$-twisted $\mathbb{C}[\J Z]$ module. We consider spaces of orbifold coinvariants valued in the modules $\mathb…