SearcharxivSearch

arXiv · 1903.00737

A construction of lower-bounded generalized twisted modules for a grading-restricted vertex (super)algebra

Abstract

We give a general, direct and explicit construction of lower-bounded generalized twisted modules satisfying a universal property for a grading-restricted vertex (super)algebra $V$ associated to an automorphism $g$ of $V$. In particular, when $g$ is the identity, we obtain lower-bounded generalized $V$-modules satisfying a universal property. Let $W$ be a lower-bounded graded vector space equipped with a set of "generating twisted fields" and a set of "generator twist fields" satisfying a weak commutativity for generating twisted fields, a generalized weak commutativity for one generating twisted field and one generator twist field and some other properties that are relatively easy to verify. We first prove the convergence and commutativity of products of an arbitrary number of generating twisted fields, one twist generator field and an arbitrary number of generating fields for $V$. Then using the convergence and commutativity, we define a twisted vertex operator map for $W$ and prove that $W$ equipped with this twisted vertex operator map is a lower-bounded generalized $g$-twisted $V$-module. Using this result, we give an explicit construction of lower-bounded generalized $g$-twisted $V$-modules satisfying a universal property starting from vector spaces graded by weights, $\mathbb{Z}_{2}$-fermion numbers and $g$-weights (eigenvalues of $g$) and real numbers corresponding to the lower bounds of the weights of the modules to be constructed. In particular, every lower-bounded generalized $g$-twisted $V$-module (every lower-bounded generalized $V$-module when $g$ is the identity) is a quotient of such a universal lower-bounded generalized $g$-twisted $V$-module (a universal lower-bounded generalized $V$-module).

Explore related subjects

Keep this discovery

BibTeXRIS

Yi-Zhi Huang. 2019-03-02. A construction of lower-bounded generalized twisted modules for a grading-restricted vertex (super)algebra. https://doi.org/10.1007/s00220-019-03582-6

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On Diagrammatic Categorification of Verma Modules I: Braiding

In this paper, we study the extensions of KLRW algebras to tensor products of Verma module representations of $\mathfrak{sl}_2$. Our motivation is to construct a theory of Khovanov homology for knot complements in $S^3$ (and which also categorifies the Gukov-Manolescu two-variable series for knot complements), which will be done in the second part of this work. We construct the categorification of R-matrices for Verma modules as functors given by derived tensor products with diagrammatic bimodules and explicitly compute their projective resolutions. We also prove these braiding functors induce an action of the braid group on the relevant categories. Then, we describe how to incorporate strands in finite-dimensional representations of $\mathfrak{sl}_2$, thereby establishing functors that serve as the Khovanov homology on a braid complement. In the case of the unknot, this gives knot homologies in $S^1\times D^2$, which we compare to Annular Khovanov Homology through several examples and show they are very closely related, conjecturing they are of the same dimension. We conclude with a proposal for the categorification of the cups and caps of Verma module colored strands, which we build upon in the next paper.

math.QA

Some finite dimensional representations of shifted quantum affine algebras of type A

In this paper, we study finite dimensional representations of shifted quantum affine algebras of type A. We give an explicit description of the tensor product of simple evaluation modules of the quantum loop algebra and a one-dimensional representation of the shifted quantum affine algebra under the separation condition. As a consequence, we give the q-characters of some finite dimensional simple modules of the shifted quantum affine algebra.

math.QA