Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn semisimplicity of module categories for finite non-zero index vertex operator subalgebras
117
0
0.0
(
0
)
Authors
Robert McRae
Ask ChatGPT about the research
No Arabic abstract
Let $Vsubseteq A$ be a conformal inclusion of vertex operator algebras and let $mathcal{C}$ be a category of grading-restricted generalized $V$-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which $mathcal{C}$ inherits semisimplicity from the category of grading-restricted generalized $A$-modules in $mathcal{C}$, and vice versa. The most important condition is that $A$ be a rigid $V$-module in $mathcal{C}$ with non-zero categorical dimension, that is, we assume the index of $V$ as a subalgebra of $A$ is finite and non-zero. As a consequence, we show that if $A$ is strongly rational, then $V$ is also strongly rational under the following conditions: $A$ contains $V$ as a $V$-module direct summand, $V$ is $C_2$-cofinite with a rigid tensor category of modules, and $A$ has non-zero categorical dimension as a $V$-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that $A$ is a vertex operator superalgebra.
rate research
Read More
Let $V$ be an $mathbb{N}$-graded, simple, self-contragredient, $C_2$-cofinite vertex operator algebra. We show that if the $S$-transformation of the character of $V$ is a linear combination of characters of $V$-modules, then the category $mathcal{C}$ of grading-restricted generalized $V$-modules is a rigid tensor category. We further show, without any assumption on the character of $V$ but assuming that $mathcal{C}$ is rigid, that $mathcal{C}$ is a factorizable finite ribbon category, that is, a not-necessarily-semisimple modular tensor category. As a consequence, we show that if the Zhu algebra of $V$ is semisimple, then $mathcal{C}$ is semisimple and thus $V$ is rational. The proofs of these theorems use techniques and results from tensor categories together with the method of Moore-Seiberg and Huang for deriving identities of two-point genus-one correlation functions associated to $V$. We give two main applications. First, we prove the conjecture of Kac-Wakimoto and Arakawa that $C_2$-cofinite affine $W$-algebras obtained via quantum Drinfeld-Sokolov reduction of admissible-level affine vertex algebras are strongly rational. The proof uses the recent result of Arakawa and van Ekeren that such $W$-algebras have semisimple (Ramond twisted) Zhu algebras. Second, we use our rigidity results to reduce the coset rationality problem to the problem of $C_2$-cofiniteness for the coset. That is, given a vertex operator algebra inclusion $Uotimes Vhookrightarrow A$ with $A$, $U$ strongly rational and $U$, $V$ a pair of mutual commutant subalgebras in $A$, we show that $V$ is also strongly rational provided it is $C_2$-cofinite.
We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.
We construct two non-semisimple braided ribbon tensor categories of modules for each singlet vertex operator algebra $mathcal{M}(p)$, $pgeq 2$. The first category consists of all finite-length $mathcal{M}(p)$-modules with atypical composition factors, while the second is the subcategory of modules that induce to local modules for the triplet vertex operator algebra $mathcal{W}(p)$. We show that every irreducible module has a projective cover in the second of these categories, although not in the first, and we compute all fusion products involving atypical irreducible modules and their projective covers.
In the first part of this paper, we give a new look at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones index. The minimal conditional expectation is characterized by means of a canonical state on the relative commutant, that we call the spherical state; the minimal index is neither additive nor multiplicative (it is submultiplicative), contrary to the subfactor case. So we introduce a matrix dimension with the good functorial properties: it is always additive and multiplicative. The minimal index turns out to be the square of the norm of the matrix dimension, as was known in the multi-matrix inclusion case. In the second part, we show how our results are valid in a purely 2-$C^*$-categorical context, in particular they can be formulated in the framework of Connes bimodules over von Neumann algebras.
The first author constructed a $q$-parameterized spherical category $sC$ over $mathbb{C}(q)$ in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
