arXiv subjects

Jinwei Yang

Publications and source records attributed to Jinwei Yang.

35 records · Page 2Linked to original sources

arXiv2021

Tensor structure on the Kazhdan-Lusztig category for affine $\mathfrak{gl}(1|1)$

We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$. Then using Knizhnik-Zamolodchikov equations, we prove that $KL_k$ and $\mathcal{O}_k^{fin}$ are rigid. As an application of the tensor supercategory structure on $\mathcal{O}_k^{fin}$, we study certain module categories for the affine Lie superalgebra $\widehat{\mathfrak{sl}(2|1)}$ at levels $1$ and $-\frac{1}{2}$. In particular, we obtain a tensor category of $\widehat{\mathfrak{sl}(2|1)}$-modules at level $-\frac{1}{2}$ that includes relaxed highest-weight modules and their images under spectral flow.

math.QA↗

arXiv2021

Tensor categories of affine Lie algebras beyond admissible levels

We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length generalized $V$-modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) $\mathfrak{g}$ at level $k$ and the category $KL_k(\mathfrak{g})$ of its finite length generalized modules, we discover several families of $KL_k(\mathfrak{g})$ at non-admissible levels $k$, having braided tensor category structures. In particular, $KL_k(\mathfrak{g})$ has a braided tensor category structure if the category of ordinary modules is semisimple or more generally if the category of ordinary modules is of finite length. We also prove the rigidity and determine the fusion rules of some categories $KL_k(\mathfrak{g})$, including the category $KL_{-1}(\mathfrak{sl}_n)$. Using these results, we construct a rigid tensor category structure on a full subcategory of $KL_1(\mathfrak{sl}(n|m))$ consisting of objects with semisimple Cartan subalgebra actions.

math.RT↗

arXiv2021

Direct limit completions of vertex tensor categories

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.

math.QA↗

arXiv2021

Tensor Categories arising from the Virasoro Algebra

We show that there is a braided tensor category structure on the category of $C_1$-cofinite modules for the (universal or simple) Virasoro vertex operator algebras of arbitrary central charge. In the generic case of central charge $c=13-6(t+t^{-1})$, with $t \notin \mathbb{Q}$, we prove semisimplicity, rigidity and non-degeneracy and also compute the fusion rules of this tensor category.

math.RT↗

arXiv2020

The vertex algebras $\mathcal R^{(p)}$ and $\mathcal V^{(p)}$

The vertex algebras $V^{(p)}$ and $R^{(p)}$ introduced in [2] are very interesting relatives of the famous triplet algebras of logarithmic CFT. The algebra $V^{(p)}$ (respectively, $R^{(p)}$) is a large extension of the simple affine vertex algebra $L_k(\mathfrak{sl}_2)$ (respectively, $L_k(\mathfrak{sl}_2)$ times a Heisenberg algebra), at level $k=-2+1/p$ for positive integer $p$. In this paper, we derive structural results of these algebras and prove various conjectures coming from representation theory and physics. We show that SU(2) acts as automorphisms on $V^{(p)}$ and we decompose $V^{(p)}$ as an $L_k(\mathfrak{sl}_2)$-module and $R^{(p)}$ as an $L_k(\mathfrak{gl}_2)$-module. The decomposition of $V^{(p)}$ shows that $V^{(p)}$ is the large level limit of a corner vertex algebra appearing in the context of S-duality. We also show that the quantum Hamiltonian reduction of $V^{(p)}$ is the logarithmic doublet algebra $A^{(p)}$ introduced in [12], while the reduction of $R^{(p)}$ yields the $B^{(p)}$-algebra of [39]. Conversely, we realize $V^{(p)}$ and $R^{(p)}$ from $A^{(p)}$ and $B^{(p)}$ via a procedure that deserves to be called inverse quantum Hamiltonian reduction. As a corollary, we obtain that the category $KL_{k}$ of ordinary $L_k(\mathfrak{sl}_2)$-modules at level $k=-2+1/p$ is a rigid vertex tensor category equivalent to a twist of the category Rep$(SU(2))$. This finally completes rigid braided tensor category structures for $L_k(\mathfrak{sl}_2)$ at all levels $k$. We also establish a uniqueness result of certain vertex operator algebra extensions and use this result to prove that both $R^{(p)}$ and $B^{(p)}$ are certain non-principal W-algebras of type $A$ at boundary admissible levels. The same uniqueness result also shows that $R^{(p)}$ and $B^{(p)}$ are the chiral algebras of Argyres-Douglas theories of type $(A_1, D_{2p})$ and $(A_1, A_{2p-3})$.

math.RT↗

arXiv2019

Semilinear automorphisms of classical groups and quivers

For a classical group $G$ over a field $F$ together with a finite-order automorphism $θ$ that acts compatibly on $F$, we describe the fixed point subgroup of $θ$ on $G$ and the eigenspaces of $θ$ on the Lie algebra $\mathfrak{g}$ in terms of cyclic quivers with involution. More precise classification is given when $\mathfrak{g}$ is a loop Lie algebra, i.e., when $F=\mathbb{C}((t))$.

math.RT↗

arXiv2019

Higher level Zhu algebras and modules for vertex operator algebras

Motivated by the study of indecomposable, nonsimple modules for a vertex operator algebra $V$, we study the relationship between various types of $V$-modules and modules for the higher level Zhu algebras for $V$, denoted $A_n(V)$, for $n \in \mathbb{N}$, first introduced by Dong, Li, and Mason in 1998. We resolve some issues that arise in a few theorems previously presented when these algebras were first introduced, and give examples illustrating the need for certain modifications of the statements of those theorems. We establish that whether or not $A_{n-1}(V)$ is isomorphic to a direct summand of $A_n(V)$ affects the types of indecomposable $V$-modules which can be constructed by inducing from an $A_n(V)$-module, and in particular whether there are $V$-modules induced from $A_n(V)$-modules that were not already induced by $A_0(V)$. We give some characterizations of the $V$-modules that can be constructed from such inducings, in particular as regards their singular vectors. To illustrate these results, we discuss two examples of $A_1(V)$: when $V$ is the vertex operator algebra associated to either the Heisenberg algebra or the Virasoro algebra. For these two examples, we show how the structure of $A_1(V)$ in relationship to $A_0(V)$ determines what types of indecomposable $V$-modules can be induced from a module for the level zero versus level one Zhu algebras. We construct a family of indecomposable modules for the Virasoro vertex operator algebra that are logarithmic modules and are not highest weight modules.

math.QA↗

arXiv2017

Braided tensor categories of admissible modules for affine Lie algebras

Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We conjecture that this braided tensor category is rigid and thus is a ribbon category. We also give conjectures on the modularity of this category and on the equivalence with a suitable quantum group tensor category. In the special case that the affine Lie algebra is $\widehat{\mathfrak{sl}}_2$, we prove the rigidity and modularity conjectures.

math.QA↗

arXiv2016

Twisted representations of vertex operator algebras associated to affine Lie algebras

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.

math.QA↗

arXiv2016

Differential equations and logarithmic intertwining operators for strongly graded vertex algebras

We derive certain systems of differential equations for matrix elements of products and iterates of logarithmic intertwining operators among strongly graded generalized modules for a strongly graded conformal vertex algebra under suitable assumptions. Using these systems of differential equations, we verify the convergence and extension property needed in the logarithmic tensor category theory for such strongly graded generalized modules developed by Huang, Lepowsky and Zhang.

math.QA↗

arXiv2016

Associative algebras for (logarithmic) twisted modules for a vertex operator algebra

We construct two associative algebras from a vertex operator algebra $V$ and a general automorphism $g$ of $V$. The first, called $g$-twisted zero-mode algebra, is a subquotient of what we call $g$-twisted universal enveloping algebra of $V$. These algebras are generalizations of the corresponding algebras introduced and studied by Frenkel-Zhu and Nagatomo-Tsuchiya in the (untwisted) case that $g$ is the identity. The other is a generalization of the $g$-twisted version of Zhu's algebra for suitable $g$-twisted modules constructed by Dong-Li-Mason when the order of $g$ is finite. We are mainly interested in $g$-twisted $V$-modules introduced by the first author in the case that $g$ is of infinite order and does not act on $V$ semisimply. In this case, twisted vertex operators in general involve the logarithm of the variable. We construct functors between categories of suitable modules for these associative algebras and categories of suitable (logarithmic) $g$-twisted $V$-modules. Using these functors, we prove that the $g$-twisted zero-mode algebra and the $g$-twisted generalization of Zhu's algebra are in fact isomorphic.

math.QA↗

arXiv2015

Vertex algebraic intertwining operators among generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$

We construct vertex algebraic intertwining operators among certain generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$ and calculate the corresponding fusion rules. Additionally, we show that under some conditions these intertwining operators descend to intertwining operators among one generalized Verma module and two (generally non-standard) irreducible modules. Our construction relies on the irreducibility of the maximal proper submodules of generalized Verma modules appearing in the Garland-Lepowsky resolutions of standard $\widehat{\mathfrak{sl}(2,\mathbb{C})}$-modules. We prove this irreducibility using the composition factor multiplicities of irreducible modules in Verma modules for symmetrizable Kac-Moody Lie algebras of rank $2$, given by Rocha-Caridi and Wallach.

math.QA↗

arXiv2015

On associative algebras, modules and twisted modules for vertex operator algebras

We give a new construction of functors from the category of modules for the associative algebras $A_n(V)$ and $A_g(V)$ associated with a vertex operator algebra $V$, defined by Dong, Li and Mason, to the category of admissible $V$-modules and admissible twisted $V$-modules, respectively, using the method developed in the joint work \cite{HY1} with Y.-Z. Huang. The functors were first constructed by Dong, Li and Mason, but the importance of the new method, as in \cite{HY1}, is that we can apply the method to study objects without the commutator formula in the representation theory of vertex operator algebras.

math.QA↗

arXiv2015

Vertex algebras associated to abelian current algebras

We construct a family of vertex algebras associated to the current algebra of finite-dimensional abelian Lie algebras along with their modules and logarithmic modules. We show this family of vertex algebras and their modules are quasi-conformal and strongly $\N$-graded and verify convergence and extension property needed in the logarithmic tensor category theory for strongly graded logarithmic modules developed by Huang, Lepowsky and Zhang.

math.QA↗

arXiv2014

Adaptive Stochastic Alternating Direction Method of Multipliers

The Alternating Direction Method of Multipliers (ADMM) has been studied for years. The traditional ADMM algorithm needs to compute, at each iteration, an (empirical) expected loss function on all training examples, resulting in a computational complexity proportional to the number of training examples. To reduce the time complexity, stochastic ADMM algorithms were proposed to replace the expected function with a random loss function associated with one uniformly drawn example plus a Bregman divergence. The Bregman divergence, however, is derived from a simple second order proximal function, the half squared norm, which could be a suboptimal choice. In this paper, we present a new family of stochastic ADMM algorithms with optimal second order proximal functions, which produce a new family of adaptive subgradient methods. We theoretically prove that their regret bounds are as good as the bounds which could be achieved by the best proximal function that can be chosen in hindsight. Encouraging empirical results on a variety of real-world datasets confirm the effectiveness and efficiency of the proposed algorithms.

stat.ML↗

arXiv2013

On functors between module categories for associative algebras and for $\mathbb{N}$-graded vertex algebras

We prove that the weak associativity for modules for vertex algebras are equivalent to a residue formula for iterates of vertex operators, obtained using the weak associativity and the lower truncation property of vertex operators, together with a known formula expressing products of components of vertex operators as linear combinations of iterates of components of vertex operators. By requiring that these two formulas instead of the commutator formula hold, we construct a functor $S$ from the category of modules for Zhu's algebra of a vertex operator algebra $V$ to the category of $\mathbb{N}$-gradable weak $V$-modules. We prove that $S$ has a universal property and the functor $T$ of taking top levels of $\mathbb{N}$-gradable weak $V$-modules is a left inverse of $S$. In particular, $S$ is equal to a functor implicitly given by Zhu and explicitly constructed by Dong, Li and Mason and we obtain a new construction without using relations corresponding to the commutator formula. The hard part of this new construction is a technical theorem stating roughly that in a module for Zhu's algebra, the relation corresponding to the residue formula mentioned above can in fact be obtained from the relations corresponding to the action of Zhu's algebra.

math.QA↗

arXiv2013

Tensor products of strongly graded vertex algebras and their modules

We study strongly graded vertex algebras and their strongly graded modules, which are conformal vertex algebras and their modules with a second, compatible grading by an abelian group satisfying certain grading restriction conditions. We consider a tensor product of strongly graded vertex algebras and its tensor product strongly graded modules. We prove that a tensor product of strongly graded irreducible modules for a tensor product of strongly graded vertex algebras is irreducible, and that such irreducible modules, up to equivalence, exhaust certain naturally defined strongly graded irreducible modules for a tensor product of strongly graded vertex algebras. We also prove that certain naturally defined strongly graded modules for the tensor product strongly graded vertex algebra are completely reducible if and only if every strongly graded module for each of the tensor product factors is completely reducible. These results generalize the corresponding known results for vertex operator algebras and their modules.

math.QA↗