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$ 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$.
Given a vertex algebra $\mathcal{V}$ and a subalgebra $\mathcal{A}\subset \mathcal{V}$, the commutant $\text{Com}(\mathcal{A},\mathcal{V})$ is the subalgebra of $\mathcal{V}$ which commutes with all elements of $\mathcal{A}$. This construction is analogous to the ordinary commutant in the theory of associative algebras, and is important in physics in the construction of coset conformal field theories. When $\mathcal{A}$ is an affine vertex algebra, $\text{Com}(\mathcal{A},\mathcal{V})$ is closely related to rings of invariant functions on arc spaces. We find strong finite generating sets for a…
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.
For any vertex algebra V and any subalgebra A of V, there is a new subalgebra of V known as the commutant of A in V. This construction was introduced by Frenkel-Zhu, and is a generalization of an earlier construction due to Kac-Peterson and Goddard-Kent-Olive known as the coset construction. In this paper, we interpret the commutant as a vertex algebra notion of invariant theory. We present an approach to describing commutant algebras in an appropriate category of vertex algebras by reducing the problem to a question in commutative algebra. We give an interesting example of a Howe pair (ie, a …
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.
Analogue to commutants in the theory of associative algebras, one can construct a new subalgebra of vertex algebra known as a vertex algebra commutant. In this paper, for the adjoint representation $V$ of Lie algebra $sl(2,\C)$, we describe a commutant of $βγ$- System $S(V)$ by giving its generators, moreover, we get a new Howe pair of vertex 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 $θ$. 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 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 $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}^{…
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…
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-…
Quantum mechanics of Hamiltonian (non-dissipative) systems uses Lie algebra and analytic group (Lie group). In order to describe non-Hamiltonian (dissipative) systems in quantum theory we need to use non-Lie algebra and analytic quasigroup (loop). The author derives that analog of Lie algebra for quantum non-Hamiltonian systems is commutant Lie algebra and analog of Lie group for these systems is analytic commutant associative loop (Valya loop). A commutant Lie algebra is an algebra such that commutant (a subspace which is generated by all commutators) is a Lie subalgebra. Valya loop is a non-…
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…
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.
We study analogues of the radial subalgebras in free group factors (called the algebras of class functions) in the setting of compact quantum groups. For the free orthogonal quantum groups we show that they are not MASAs, as soon as we are in a non-Kac situation. The most important notion to our present work is that of a (quasi-)split inclusion. We prove that the inclusion of the algebra of class functions is quasi-split for some unitary quantum groups; in this case the subalgebra is non-abelian and we also obtain a result concerning its relative commutant. In the positive direction, we constr…
Automorphisms of the quantum Schubert cell algebras ${\mathcal U}_q^\pm[w]$ of De Concini, Kac, Procesi and Lusztig and their restrictions to some key invariant subalgebras are studied. We develop some general rigidity results and apply them to completely determine the automorphism group in several cases. We focus primarily on those cases when the underlying Lie algebra $\mathfrak{g}$ is finite dimensional and simple with rank $r > 1$, and $w$ is a parabolic element of the Weyl group, say $w = w_o^Jw_o$, for some nonempty subset $J$ of simple roots. Here, ${\mathcal U}_q^\pm[w]$ is a deformati…
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$ 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 one of our recent papers, the associative and the Lie algebras of Weyl type $A[D]=A\otimes F[D]$ were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, a class of the above associative and Lie algebras $A[D]$ with $F$ being a field of characteristic 0, $D$ consisting of locally finite but not locally nilpotent derivations of $A$, are studied. The isomorphism classes and automorphism groups of these as…
