Researcher profile

Yi-Zhi Huang

Yi-Zhi Huang contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
23works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2022arXiv

Convergence in conformal field theory

Convergence and analytic extension are of fundamental importance in the mathematical construction and study of conformal field theory. We review some main convergence results, conjectures and problems in the construction and study of conformal field theories using the representation theory of vertex operator algebras. We also review the related analytic extension results, conjectures and problems. We discuss the convergence and analytic extensions of products of intertwining operators (chiral conformal fields) and of $q$-traces and pseudo-$q$-traces of products of intertwining operators. We also discuss the convergence results related to the sewing operation and the determinant line bundle and a higher-genus convergence result. We then explain conjectures and problems on the convergence and analytic extensions in orbifold conformal field theory and in the cohomology theory of vertex operator algebras.

preprint2020arXiv

Generators, spanning sets and existence of twisted modules for a grading-restricted vertex (super)algebra

For a grading-restricted vertex superalgebra $V$ and an automorphism $g$ of $V$, we give a linearly independent set of generators of the universal lower-bounded generalized $g$-twisted $V$-module $\widehat{M}^{[g]}_{B}$ constructed by the author in \cite{H-const-twisted-mod}. We prove that there exist irreducible lower-bounded generalized $g$-twisted $V$-modules by showing that there exists a maximal proper submodule of $\widehat{M}^{[g]}_{B}$ for a one-dimensional space $M$. We then give several spanning sets of $\widehat{M}^{[g]}_{B}$ and discuss the relations among elements of the spanning sets. Assuming that $V$ is a Möbius vertex superalgebra (to make sure that lowest weights make sense) and that $P(V)$ (the set of all numbers of the form $\Re(α)\in [0, 1)$ for $α\in \C$ such that $e^{2πi α}$ is an eigenvalue of $g$) has no accumulation point in $\R$ (to make sure that irreducible lower-bounded generalized $g$-twisted $V$-modules have lowest weights). Under suitable additional conditions, which hold when the twisted zero-mode algebra or the twisted Zhu's algebra is finite dimensional, we prove that there exists an irreducible grading-restricted generalized $g$-twisted $V$-module, which is in fact an irreducible ordinary $g$-twisted $V$-module when $g$ is of finite order. We also prove that every lower-bounded generalized module with an action of $g$ for the fixed-point subalgebra $V^{g}$ of $V$ under $g$ can be extended to a lower-bounded generalized $g$-twisted $V$-module.

preprint2020arXiv

Representation theory of vertex operator algebras and orbifold conformal field theory

We discuss some basic problems and conjectures in a program to construct general orbifold conformal field theories using the representation theory of vertex operator algebras. We first review a program to construct conformal field theories. We also clarify some misunderstandings on vertex operator algebras, modular functors and intertwining operator algebras. Then we discuss some basic open problems and conjectures in mathematical orbifold conformal field theory. Generalized twisted modules and their variants, their constructions and some existence results are reviewed. Twisted intertwining operators and their basic properties are also reviewed. The conjectural properties in the basic open problems and conjectures mentioned above are then formulated precisely and explicitly. Some thoughts of the author on further developments of orbifold conformal field theory are also discussed.

preprint2020arXiv

The first cohomology, derivations and the reductivity of a (meromorphic open-string) vertex algebra

We give a criterion for the complete reducibility of modules satisfying a composability condition for a meromorphic open-string vertex algebra $V$ using the first cohomology of the algebra. For a $V$-bimodule $M$, let $\hat{H}^{1}_{\infty}(V, M)$ be the first cohomology of $V$ with the coefficients in $M$. Let $\hat{Z}^{1}_{\infty}(V, M)$ be the subspace of $\hat{H}^{1}_{\infty}(V, M)$ canonically isomorphic to the space of derivations obtained from the zero mode of the right vertex operators of weight $1$ elements such that the difference between the skew-symmetric opposite action of the left action and the right action on these elements are Laurent polynomials in the variable. If $\hat{H}^{1}_{\infty}(V, M)= \hat{Z}^{1}_{\infty}(V, M)$ for every $\Z$-graded $V$-bimodule $M$, then every left $V$-module satisfying a composability condition is completely reducible. In particular, since a lower-bounded $\Z$-graded vertex algebra $V$ is a special meromorphic open-string vertex algebra and left $V$-modules are in fact what has been called generalized $V$-modules with lower-bounded weights (or lower-bounded generalized $V$-modules), this result provides a cohomological criterion for the complete reducibility of lower-bounded generalized modules for such a vertex algebra. We conjecture that the converse of the main theorem above is also true. We also prove that when a grading-restricted vertex algebra $V$ contains a subalgebra satisfying some familiar conditions, the composability condition for grading-restricted generalized $V$-modules always holds and we need $\hat{H}^{1}_{\infty}(V, M)= \hat{Z}^{1}_{\infty}(V, M)$ only for every $\Z$-graded $V$-bimodule $M$ generated by a grading-restricted subspace in our complete reducibility theorem.

preprint2016arXiv

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.

preprint2016arXiv

Two constructions of grading-restricted vertex (super)algebras

We give two constructions of grading-restricted vertex (super)algebras. We first give a new construction of a class of grading-restricted vertex (super)algebras originally obtained by Meurman and Primc using a different method. This construction is based on a new definition of vertex operators and a new method. Our second construction is a generalization of the author's construction of the moonshine module vertex operator algebra and a related vertex operator superalgebra. This construction needs properties of intertwining operators formulated and proved by the author.

preprint2014arXiv

Braided tensor categories and extensions of vertex operator algebras

Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the notions of extension (i.e., enlargement) of $V$ and of commutative associative algebra, with uniqueness of unit and with trivial twist, in the braided tensor category of $V$-modules are equivalent.

preprint2013arXiv

A cohomology theory of grading-restricted vertex algebras

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the algebraic completion of a module for the algebra," instead of linear maps from tensor powers of the algebra to a module for the algebra. One subtle complication arising from such functions is that we have to carefully address the issue of convergence when we compose these linear maps with vertex operators. In particular, for each $n\in \mathbb{N}$, we have an inverse system $\{H^{n}_{m}(V, W)\}_{m\in \mathbb{Z}_{+}}$ of $n$-th cohomologies and an additional $n$-th cohomology $H_{\infty}^{n}(V, W)$ of a grading-restricted vertex algebra $V$ with coefficients in a $V$-module $W$ such that $H_{\infty}^{n}(V, W)$ is isomorphic to the inverse limit of the inverse system $\{H^{n}_{m}(V, W)\}_{m\in \mathbb{Z}_{+}}$. In the case of $n=2$, there is an additional second cohomology denoted by $H^{2}_{\frac{1}{2}}(V, W)$ which will be shown in a sequel to the present paper to correspond to what we call square-zero extensions of $V$ and to first order deformations of $V$ when $W=V$.

preprint2013arXiv

First and second cohomologies of grading-restricted vertex algebras

Let $V$ be a grading-restricted vertex algebra and $W$ a $V$-module. We show that for any $m\in \mathbb{Z}_{+}$, the first cohomology $H^{1}_{m}(V, W)$ of $V$ with coefficients in $W$ introduced by the author is linearly isomorphic to the space of derivations from $V$ to $W$. In particular, $H^{1}_{m}(V, W)$ for $m\in \mathbb{N}$ are equal (and can be denoted using the same notation $H^{1}(V, W)$). We also show that the second cohomology $H^{2}_{\frac{1}{2}}(V, W)$ of $V$ with coefficients in $W$ introduced by the author corresponds bijectively to the set of equivalence classes of square-zero extensions of $V$ by $W$. In the case that $W=V$, we show that the second cohomology $H^{2}_{\frac{1}{2}}(V, V)$ corresponds bijectively to the set of equivalence classes of first order deformations of $V$.

preprint2013arXiv

Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, I: Introduction and strongly graded algebras and their generalized modules

This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a "conformal vertex algebra" or even more generally, for a "Möbius vertex algebra." We do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. As in the earlier series of papers, our tensor product functors depend on a complex variable, but in the present generality, the logarithm of the complex variable is required; the general representation theory of vertex operator algebras requires logarithmic structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers. Since this is a new theory, we present it in detail, including the necessary new foundational material. In addition, with a view toward anticipated applications, we develop and present the various stages of the theory in the natural, general settings in which the proofs hold, settings that are sometimes more general than what we need for the main conclusions. In this paper (Part I), we give a detailed overview of our theory, state our main results and introduce the basic objects that we shall study in this work. We include a brief discussion of some of the recent applications of this theory, and also a discussion of some recent literature.

preprint2013arXiv

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.

preprint2013arXiv

Tensor categories and the mathematics of rational and logarithmic conformal field theory

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this construction also establishes the operator product expansion for intertwining operators, which correspond to chiral vertex operators, and more generally, it establishes the logarithmic operator product expansion for logarithmic intertwining operators. We review the main ideas in the construction of the tensor product bifunctors and the associativity isomorphisms. For rational and logarithmic conformal field theories, we review the precise results that yield braided tensor categories, and in the rational case, modular tensor categories as well. In the case of rational conformal field theory, we also briefly discuss the construction of the modular tensor categories for the Wess-Zumino-Novikov-Witten models and, especially, a recent discovery concerning the proof of the fundamental rigidity property of the modular tensor categories for this important special case. In the case of logarithmic conformal field theory, we mention suitable categories of modules for the triplet \mathcal{W}-algebras as an example of the applications of our general construction of the braided tensor category structure.

preprint2012arXiv

Logarithmic tensor category theory, IV: Constructions of tensor product bifunctors and the compatibility conditions

This is the fourth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part IV), we give constructions of the P(z)- and Q(z)-tensor product bifunctors using what we call "compatibility conditions" and certain other conditions.

preprint2012arXiv

Logarithmic tensor category theory, V: Convergence condition for intertwining maps and the corresponding compatibility condition

This is the fifth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part V), we study products and iterates of intertwining maps and of logarithmic intertwining operators and we begin the development of our analytic approach.

preprint2012arXiv

Logarithmic tensor category theory, VI: Expansion condition, associativity of logarithmic intertwining operators, and the associativity isomorphisms

This is the sixth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VI), we construct the appropriate natural associativity isomorphisms between triple tensor product functors. In fact, we establish a "logarithmic operator product expansion" theorem for logarithmic intertwining operators. In this part, a great deal of analytic reasoning is needed; the statements of the main theorems themselves involve convergence assertions.

preprint2012arXiv

Logarithmic tensor category theory, VIII: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra

This is the eighth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VIII), we construct the braided tensor category structure, using the previously developed results.

preprint2012arXiv

Meromorphic open-string vertex algebras

A notion of meromorphic open-string vertex algebra is introduced. A meromorphic open-string vertex algebra is an open-string vertex algebra in the sense of Kong and the author satisfying additional rationality (or meromorphicity) conditions for vertex operators. The vertex operator map for a meromorphic open-string vertex algebra satisfies rationality and associativity but in general does not satisfy the Jacobi identity, commutativity, the commutator formula, the skew-symmetry or even the associator formula. Given a vector space \mathfrak{h}, we construct a meromorphic open-string vertex algebra structure on the tensor algebra of the negative part of the affinization of \mathfrak{h} such that the vertex algebra struture on the symmetric algebra of the negative part of the Heisenberg algebra associated to \mathfrak{h} is a quotient of this meromorphic open-string vertex algebra. We also introduce the notion of left module for a meromorphic open-string vertex algebra and construct left modules for the meromorphic open-string vertex algebra above.

preprint2009arXiv

Generalized twisted modules associated to general automorphisms of a vertex operator algebra

We introduce a notion of strongly C^{\times}-graded, or equivalently, C/Z-graded generalized g-twisted V-module associated to an automorphism g, not necessarily of finite order, of a vertex operator algebra. We also introduce a notion of strongly C-graded generalized g-twisted V-module if V admits an additional C-grading compatible with g. Let V=\coprod_{n\in \Z}V_{(n)} be a vertex operator algebra such that V_{(0)}=\C\one and V_{(n)}=0 for n<0 and let u be an element of V of weight 1 such that L(1)u=0. Then the exponential of 2π\sqrt{-1} Res_{x} Y(u, x) is an automorphism g_{u} of V. In this case, a strongly C-graded generalized g_{u}-twisted V-module is constructed from a strongly C-graded generalized V-module with a compatible action of g_{u} by modifying the vertex operator map for the generalized V-module using the exponential of the negative-power part of the vertex operator Y(u, x). In particular, we give examples of such generalized twisted modules associated to the exponentials of some screening operators on certain vertex operator algebras related to the triplet W-algebras. An important feature is that we have to work with generalized (twisted) V-modules which are doubly graded by the group C/Z or C and by generalized eigenspaces (not just eigenspaces) for L(0), and the twisted vertex operators in general involve the logarithm of the formal variable.

preprint2007arXiv

Vertex operator algebras and the Verlinde conjecture

We prove the Verlinde conjecture in the following general form: Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V&#39; is isomorphic to V as a V-module. (ii) Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Then the matrices formed by the fusion rules among the irreducible V-modules are diagonalized by the matrix given by the action of the modular transformation τ\mapsto -1/τon the space of characters of irreducible V-modules. Using this result, we obtain the Verlinde formula for the fusion rules. We also prove that the matrix associated to the modular transformation τ\mapsto -1/τis symmetric.

preprint2006arXiv

Modular invariance for conformal full field algebras

Let V^L and V^R be simple vertex operator algebras satisfying certain natural uniqueness-of-vacuum, complete reducibility and cofiniteness conditions and let F be a conformal full field algebra over the tensor product of V^L and V^R. We prove that the q_τ-\bar{q_τ}-traces (natural traces involving q_τ=e^{2πiτ} and \bar{q_τ}=\bar{e^{2πiτ}}) of geometrically modified genus-zero correlation functions for F are convergent in suitable regions and can be extended to doubly periodic functions with periods 1 and τ. We obtain necessary and sufficient conditions for these functions to be modular invariant. In the case that V^L=V^R and F is one of those constructed by the authors in \cite{HK}, we prove that all these functions are modular invariant.