arXiv Science⌕ Search

arXiv subjects

Xingjun Lin

Publications and source records attributed to Xingjun Lin.

At least 19 recordsLinked to original sources
arXiv2026

Tensor category of $\mathbb{Z}_2$-orbifold of Heisenberg vertex operator algebra and its applications

In this paper, we prove the category of finite length modules for the $\mathbb{Z}_2$-orbifold $M(1)^+$ of the Heisenberg vertex operator algebra whose simple composition factors are $M(1)^\pm$ or $M(1,\lambda)$ for $\lambda \in \mathbb{C}^\times$ is a vertex and braided tensor category. Our strategy is to show these simple composition factors are $C_1$-cofinite and the category of finite length $M(1)^+$-modules is exactly the category of grading-restricted $C_1$-cofinite modules. We also determine the fusion product decompositions of simple objects and prove the rigidity of this category. As an application of the tensor category structure of $M(1)^+$-modules, we prove the category $\mathcal{C}_{-1}(sp(2n))$ of grading-restricted generalized modules for the simple affine vertex algebra $L_{-1}(sp(2n))$ is semisimple. For this, we first prove $M(1)^+$ and simple affine vertex algebra $L_{-\frac{1}{2}}(sp(2n))$ form a commutant pair in the simple minimal $W$-algebra $W_{-1}^{min}(sp(2n))$ for $n \geq 2$ and determine $W_{-1}^{min}(sp(2n))$ as well as its irreducible modules obtained from quantum Hamilton reduction as decompositions of $M(1)^+ \otimes L_{-\frac{1}{2}}(sp(2n))$-modules, then we show all the highest weight modules for $L_{-1}(sp(2n))$ in $\mathcal{C}_{-1}(sp(2n))$ are irreducible via the quantum Hamilton reduction. We also prove a Schur-Weyl duality between $L_{-1}(sp(2n))$ and $M(1)^+$ by showing they form a commutant pair in the $\mathbb{Z}_2$-orbifold of the rank $n$ $\beta\gamma$ system, and then establish a braided reversed equivalence between the category $\mathcal{C}_{-1}(sp(2n))$ and the full subcategory of $C_1$-cofinite $M(1)^+$-modules consisting of direct sums of irreducible modules $M(1)^\pm$ and $M\big(1, \frac{s}{\sqrt{-2n}}\big)$ for $s \in \mathbb{Z}_{\geq 0}$.

math.QA↗
arXiv2024

Semisimplicity of module categories of certain affine vertex operator superalgebras

In this paper, we show Kazhdan-Lusztig categories, that is, the categories of lower bounded generalized weight modules for certain affine vertex operator superalgebras that are locally finite modules of the underlying finite dimensional Lie superalgebra, are semisimple. Those are all representation categories of affine vertex operator superalgebras at conformal but non admissible levels. As a consequence, the categories of finite length generalized modules for these affine vertex operator superalgebras have braided tensor category structures.

math.QA↗
arXiv2024

Automorphism groups of parafermion vertex operator algebras: general case

We complete the program for determining the full automorphism groups of all parafermion vertex operator algebras associated with simple Lie algebras and positive integral levels. We show that the full automorphism group of the parafermion vertex operator algebra is isomorphic to the automorphism group of the associated root system for the remaining cases: (i) the level is at least $3$; (ii) the level is $2$ and the simple Lie algebra is non simply laced.

math.QA↗
arXiv2023

Twisted Verlinde formula for vertex operator algebras

For a rational and $C_2$-cofinite vertex operator algebra $V$ with an automorphism group $G$ of prime order, the fusion rules for twisted $V$-modules are studied, a twisted Verlinde formula which relates fusion rules for $g$-twisted modules to the $S$-matrix in the orbifold theory is established. As an application of the twisted Verlinde formula, a twisted analogue of the Kac-Walton formula is proved, which gives fusion rules between twisted modules of affine vertex operator algebras in terms of Clebsch-Gordan coefficients associated to the corresponding finite dimensional simple Lie algebras.

math.QA↗
arXiv2022

Rationality of vertex operator superalgebras with rational conformal weights

For the affine vertex algebra $V_k(\mathfrak{g})$ at an admissible level $k$ of $\hat{\mathfrak{g}}$, we prove that certain subcategory of weak $V_k(\mathfrak{g})$-module category is semisimple. As a consequence, we show that $V_k(\mathfrak{g})$ is rational with respect to a family of Virasoro elements. We also prove that certain affine vertex operator superalgebras and minimal $W$-algebras are rational with respect to a family of Virasoro elements.

math.QA↗
arXiv2021

Rationality and $C_2$-cofiniteness of certain diagonal coset vertex operator algebras

In this paper, it is shown that the diagonal coset vertex operator algebra $C(L_{\mathfrak{g}}(k+2,0),L_{\mathfrak{g}}(k,0)\otimes L_{\mathfrak{g}}(2,0))$ is rational and $C_2$-cofinite in case $\mathfrak{g}=so(2n), n\geq 3$ and $k$ is an admissible number for $\hat{\mathfrak{g}}$. It is also shown that the diagonal coset vertex operator algebra $C(L_{sl_2}(k+4,0),L_{sl_2}(k,0)\otimes L_{sl_2}(4,0))$ is rational and $C_2$-cofinite in case $k$ is an admissible number for $\hat{sl_2}$. Furthermore, irreducible modules of $C(L_{sl_2}(k+4,0),L_{sl_2}(k,0)\otimes L_{sl_2}(4,0))$ are classified in case $k$ is a positive odd integer.

math.QA↗
arXiv2021

Trace functions and fusion rules of diagonal coset vertex operator algebras

In this paper, irreducible modules of the diagonal coset vertex operator algebra $C(L_{\mathfrak{g}}(k+l,0),L_{\mathfrak{g}}(k,0)\otimes L_{\mathfrak{g}}(l,0))$ are classified under the assumption that $C(L_{\mathfrak{g}}(k+l,0),L_{\mathfrak{g}}(k,0)\otimes L_{\mathfrak{g}}(l,0))$ is rational, $C_2$-cofinite and certain additional assumption. An explicit modular transformation formula of traces functions of $C(L_{\mathfrak{g}}(k+l,0),L_{\mathfrak{g}}(k,0)\otimes L_{\mathfrak{g}}(l,0))$ is obtained. As an application, the fusion rules of $C(L_{E_8}(k+2,0), L_{E_8}(k,0)\otimes L_{E_8}(2,0))$ are determined by using the Verlinde formula.

math.QA↗
arXiv2021

Module category and $C_2$-cofiniteness of affine vertex operator superalgebras

In this paper, we investigate the Lie algebra structures of weight one subspaces of $C_2$-cofinite vertex operator superalgebras. We also show that for any positive integer $k$, vertex operator superalgebras $L_{sl(1|n+1)}(k,0)$ and $L_{osp(2|2n)}(k,0)$ have infinitely many irreducible admissible modules. As a consequence, we give a proof of the fact that $L_{\mathfrak g}(k,0)$ is $C_2$-cofinite if and only if $\mathfrak g$ is either a simple Lie algebra, or $\mathfrak g=osp(1|2n)$, and $k$ is a nonnegative integer. As an application, we show that $L_{G(3)}(1,0)$ is a vertex operator superalgebra such that the category of $L_{G(3)}(1,0)$-modules is semisimple but $L_{G(3)}(1,0)$ is not $C_2$-cofinite.

math.QA↗
arXiv2019

Quantum dimensions and irreducible modules of some diagonal coset vertex operator algebras

In this paper, under the assumption that the diagonal coset vertex operator algebra $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$ is rational and $C_2$-cofinite, the global dimension of $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$ is obtained, the quantum dimensions of multiplicity spaces viewed as $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$-modules are also obtained. As an application, a method to classify irreducible modules of $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$ is provided. As an example, we prove that the diagonal coset vertex operator algebra $C(L_{E_8}(k+2,0),L_{E_8}(k,0)\otimes L_{E_8}(2,0))$ is rational, $C_2$-cofinite, and classify irreducible modules of $C(L_{E_8}(k+2,0),L_{E_8}(k,0)\otimes L_{E_8}(2,0))$.

math.QA↗
arXiv2017

Simple current extensions of vertex operator algebras by unitary modules

In this paper, a condition making vertex operator superalgebras to be unitary is determined and an analogue of conformal spin-statistics theorem in conformal field theory is proved. As an application of these results, it is proved that under some assumptions there exist vertex operator algebra structures on the direct sum of simple current unitary modules of unitary vertex operator algebras.

math.QA↗
arXiv2016

A Holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$

In this paper, a holomorphic vertex operator algebra $U$ of central charge 24 with the weight one Lie algebra $A_{8,3}A_{2,1}^2$ is proved to be unique. Moreover, a holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$ is obtained by applying a $\mathbb{Z}_2$-orbifold construction to $U$. The uniqueness of such a vertex operator algebra is also established. By a similar method, we also established the uniqueness of a holomorphic vertex operator algebra of central charge 24 with the weight one Lie algebra $E_{7,3}A_{5,1}$. As a consequence, we verify that all $71$ Lie algebras in Schellekens' list can be realized as the weight one Lie algebras of some holomorphic vertex operator algebras of central charge $24$. In addition, we establish the uniqueness of three holomorphic vertex operator algebras of central charge $24$ whose weight one Lie algebras have the type $A_{8,3}A_{2,1}^2$, $F_{4,6}A_{2,2}$, and $E_{7,3}A_{5,1}$.

math.QA↗
arXiv2016

$\mathbb{Z}_2$-orbifold construction associated with $(-1)$-isometry and uniqueness of holomorphic vertex operator algebras of central charge 24

The vertex operator algebra structure of a strongly regular holomorphic vertex operator algebra $V$ of central charge $24$ is proved to be uniquely determined by the Lie algebra structure of its weight one space $V_1$ if $V_1$ is a Lie algebra of the type $A_{1,4}^{12}$, $B_{2,2}^6$, $B_{3,2}^4$, $B_{4,2}^3$, $B_{6,2}^2$, $B_{12,2}$, $D_{4,2}^2B_{2,1}^4$, $D_{8,2}B_{4,1}^2$, $A_{3,2}^4A_{1,1}^4$, $D_{5,2}^2A_{3,1}^2$, $D_{9,2}A_{7,1}$, $C_{4,1}^4$ or $D_{6,2}B_{3,1}^2C_{4,1}$.

math.QA↗
arXiv2015

On the unitary structures of vertex operator superalgebras

In this paper, the notion of unitary vertex operator superalgebra is introduced. It is proved that the vertex operator superalgebras associated to the unitary highest weight representations for the Neveu-Schwarz Lie superalgebra, Heisenberg superalgebras and to positive definite integral lattices are unitary vertex operator superalgebras. The unitary structures are then used to study the structures of vertex operator superalgebras, it is proved that any unitary vertex operator superalgebra is a direct sum of strong CFT type unitary simple vertex operator superalgebras. The classification of unitary vertex operator superalgebras generated by the subspaces with conformal weights less than or equal to $1$ is also considered.

math.QA↗
arXiv2013

Unitary vertex operator algebras

Unitary vertex operator algebras are introduced and studied. It is proved that most well-known rational vertex operator algebras are unitary. The classification of unitary vertex operator algebras with central charge c less than or equal to 1 is also discussed.

math.QA↗