66 pages. One reference is added, a minor mistake on the invariance under σ_{23} of the bilinear form on the space of intertwining operators is corrected and some misprints are fixed
We solve the problem of constructing a genus-zero full conformal field theory (a conformal field theory on genus-zero Riemann surfaces containing both chiral and antichiral parts) from representations of a simple vertex operator algebra satisfying certain natural finiteness and reductive conditions. We introduce a notion of full field algebra which is essentially an algebraic formulation of the notion of genus-zero full conformal field theory. For two vertex operator algebras, their tensor product is naturally a full field algebra and we introduce a notion of full field algebra over such a tensor product. We study the structure of full field algebras over such a tensor product using modules and intertwining operators for the two vertex operator algebras. For a simple vertex operator algebra V satisfying certain natural finiteness and reductive conditions needed for the Verlinde conjecture to hold, we construct a bilinear form on the space of intertwining operators for V and prove the nondegeneracy and other basic properties of this form. The proof of the nondegenracy of the bilinear form depends not only on the theory of intertwining operator algebras but also on the modular invariance for intertwining operator algebras through the use of the results obtained in the proof of the Verlinde conjecture by the first author. Using this nondegenerate bilinear form, we construct a full field algebra over the tensor product of two copies of V and an invariant bilinear form on this algebra.
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 invaria…
We study the operadic and categorical formulations of (conformal) full field algebras. In particular, we show that a grading-restricted $\R\times \R$-graded full field algebra is equivalent to an algebra over a partial operad constructed from spheres with punctures and local coordinates. This result is generalized to conformal full field algebras over $V^L\otimes V^R$, where V^L and V^R are two vertex operator algebras satisfying certain finiteness and reductivity conditions. We also study the geometry interpretation of conformal full field algebras over $V^L\otimes V^R$ equipped with a nondeg…
The problem of constructing the explicit form for full twist deformations of simple Lie algebras g with twist carriers containing the maximal nilpotent subalgebra N^+(g) is studied. Our main tool is the sequence of regular subalgebras g_i in U(g) that become primitive under the action of extended jordanian twists F_E: U(g) -> U_E(g). It is demonstrated that the structure of the sequence {g_i} is defined by the extended Dynkin diagram of algebra g. To construct the injection of g_i in U_E(g) the special deformations of algebras U_E(g) are performed. They are reduced to the (cohomologically triv…
We show that when a co-involutive Hopf C*-algebra $S$ coacts via $δ$ on a C*-algebra $A$, there exists a full crossed product $A\times_δS$, with universal properties analogous to those of full crossed products by locally compact groups. The dual Hopf C*-algebra is then defined by $\hat S:={\Bbb C}\times_{\id} S$.
In physics, it is believed that the consistency of two dimensional conformal field theory follows from the bootstrap equation. In this paper, we introduce the notion of a full vertex algebra by analyzing the bootstrap equation, which is a "real analytic" generalization of a $\mathbb{Z}$-graded vertex algebra. We also give a mathematical formulation of the consistency of four point correlation functions in two dimensional conformal field theory and prove it for a full vertex algebra with additional assumptions on the conformal symmetry. In particular, we show that the bootstrap equation togethe…
We show that the vertex algebra W{1+ \infty} with central charge -1 is isomorphic to a tensor product of the simple W_3 algebra with central charge -2 and a Heisenberg vertex algebra generated by a free bosonic field. We construct a family of irreducible modules of the W_3 algebra with central charge -2 in terms of free fields and calculate the full character formulas of these modules with respect to the full Cartan subalgebra of the W_3 algebra.
Herein we study conformal vectors of a Z-graded vertex algebra of (strong) CFT type. We prove that the full vertex algebra automorphism group transitively acts on the set of the conformal vectors of strong CFT type if the vertex algebra is simple. The statement is equivalent to the uniqueness of self-dual vertex operator algebra structures of a simple vertex algebra. As an application, we show that the full vertex algebra automorphism group of a simple vertex operator algebra of strong CFT type uniquely decomposes into the product of certain two subgroups and the vertex operator algebra automo…
We show that for some Hopf subalgebras in U_F(so(M)) nontrivially deformed by a twist F it is possible to find the nonlinear primitive copies. This enlarges the possibilities to construct chains of twists. For orthogonal algebra U(so(M)) we present a method to compose the full chains with carrier space as large as the Borel subalgebra B(so(M)). These chains can be used to construct the new deformed Yangians.
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine a…
Partially compactified quantum cluster structures on simple algebraic groups and the full Berenstein--Zelevinsky conjecture
Beijing Normal University（北京师范大学）；Northeastern University（东北大学）；Institute of Mathematics and Informatics Bulgarian Academy of Sciences（保加利亚科学院数学与计算机科学研究所）
We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple algebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a comodule is defined via a pair of compatible linear maps. Both the total algebra and the base (co)algebra of a regular weak multiplier bialgebra with a full comultiplication are shown to carry comodule structures. Kahng and Van Daele's integrals are interpreted as comodule maps from the total to the base algebra. Generalizing the counitality of a comodule to …
We show that for a closed embedding $\mathbb{H}\le \mathbb{G}$ of locally compact quantum groups (LCQGs) with $\mathbb{G}/\mathbb{H}$ admitting an invariant probability measure, a unitary $\mathbb{G}$-representation is type-I if its restriction to $\mathbb{H}$ is. On a related note, we also prove that if an action $\mathbb{G}\circlearrowright A$ of an LCQG on a unital $C^*$-algebra admits an invariant state then the full group algebra of $\mathbb{G}$ embeds into the resulting full crossed product (and into the multiplier algebra of that crossed product if the original algebra is not unital). W…
