Related papers: On isomorphism problems for vertex operator algebr…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
Starting from the operator algebra of the (1+1)D Ising model on a spatial lattice, this paper explicitly constructs a subalgebra of smooth operators that are natural candidates for continuum fields in the scaling limit. At the critical…
$q$-vertex operators for quantum affine algebras have played important role in the theory of solvable lattice models and the quantum Knizhnik-Zamolodchikov equation. Explicit constructions of these vertex operators for most level one…
Let $K$ be a number field, let $A$ be a finite-dimensional $K$-algebra, let $\mathrm{J}(A)$ denote the Jacobson radical of $A$, and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. Suppose that each simple component of the semisimple…
We characterize conjugacy classes of isometries of odd prime order in unimodular Z-lattices. This is applied to give a complete classification of odd prime order non-symplectic automorphisms of irreducible holomorphic symplectic manifolds…
The mirror extensions for vertex operator algebras are studied. Two explicit examples which are not simple current extensions of some affine vertex operator algebras of type $A$ are given.
We give a short introduction to generalized vertex algebras, using the notion of polylocal fields. We construct a generalized vertex algebra associated to a vector space h with a symmetric bilinear form. It contains as subalgebras all…
We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co-NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of…
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…
When can two strongly rational vertex operator algebras or 1+1d rational conformal field theories (RCFTs) be related by topological manipulations? For vertex operator algebras, the term "topological manipulations" refers to operations like…
We prove that higher level Zhu algebras of a vertex operator algebra are isomorphic to subquotients of its universal enveloping algebra.
Certain vertex operator algebras have integral forms (integral spans of bases which are closed under the countable set of products). It is unclear when they (or integral multiples of them) are integral as lattices under the natural bilinear…
We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some $\Z_2$-set. We further prove that this class is finitely axiomatizable in first-order logic in the language of…
This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra…
We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation.…
We continue the study of the vertex operator algebra $L(k,0)$ associated to a type $G_2^{(1)}$ affine Lie algebra at admissible one-third integer levels, $k = -2 + m + \tfrac{i}{3}\ (m\in \mathbb{Z}_{\ge 0}, i = 1,2)$, initiated in…
We prove that algebraic isomorphisms between limit algebras are automatically continuous, and consider consequences of this result. In particular, we give partial solutions to a conjecture of Power [Limit Algebras, Longman, 1992, Notes to…
A vertex with neighbours of degrees $d_1 \geq ... \geq d_r$ has {\em vertex type} $(d_1, ..., d_r)$. A graph is {\em vertex-oblique} if each vertex has a distinct vertex-type. While no graph can have distinct degrees, Schreyer, Walther and…
Geometric vertex algebras are a simplified version of Huang's geometric vertex operator algebras. We give a self-contained account of the equivalence of geometric vertex algebras with Z-graded vertex algebras.
We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the lattice of…