We construct faithful actions of quantum permutation groups on connected compact metrizable spaces. This disproves a conjecture of Goswami.

In our previous work, we studied positive representations of split real quantum groups U q q~ (g R ) restricted to their Borel part and showed that they are closed under taking tensor products. But the tensor product decomposition was only constructed abstractly using the GNS representation of a C*-algebraic version of the Drinfeld–Jimbo quantum groups. Here, using the recently discovered cluster realization of quantum groups, we write the decomposition explicitly by realizing it as a sequence of cluster mutations in the corresponding quiver diagram representing the tensor product.

We construct the positive principal series representations for Uq(gR) where g is of type Bn, Cn, F4 or G2, parametrized by Rn where n is the rank of g. We show that under the representations, the generators of the Langlands dual group Uq(LgR) are related to the generators of Uq(gR) by the transcendental relations. This gives a new and very simple analytic relation between the Langlands dual pair. We define the modified quantum group Uqq(gR)=Uq(gR) ⊗ Uq(LgR) of the modular double and show that the representations of both parts of the modular double commute with each other, and there is an embedding into the q-tori polynomials.

The universal R operator for the positive representations of split real quantum groups is computed, generalizing the formula of compact quantum groups forumla by Kirillov–Reshetikhin and Levendorskiĭ–Soibelman, and the formula in the case of forumla by Faddeev, Kashaev, and Bytsko-Teschner. Several new functional relations of the quantum dilogarithm are obtained, generalizing the quantum exponential relations and the pentagon relations. The quantum Weyl element and Lusztig's isomorphism in the positive setting are also studied in detail. Finally, we introduce a C*-algebraic version of the split real quantum group in the language of multiplier Hopf algebras, and consequently the definition of R is made rigorous as the canonical element of the Drinfeld's double U of certain multiplier Hopf algebra Ub. Moreover, a ribbon structure is introduced for an extension of U.

No abstract uploaded!

We prove a conjecture of Miemietz and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case in Varagnolo and Vasserot (in press) [15].

No abstract uploaded!

We show that the category of finite-length generalized modules for the singlet vertex algebra M(p), p∈Z_+, is equal to the category O_M(p) of C_1-cofinite M(p)-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since O_M(p) includes the uncountably many typical M(p)-modules, which are simple M(p)-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical M(p)-modules. We also introduce a tensor subcategory O_M(p)^T, graded by an algebraic torus T, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of sl_2 at a 2pth root of unity. We compute all tensor products involving simple and projective M(p)-modules, and we prove that both tensor categories O_M(p) and O_M(p)^T are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras W(p) are non-semisimple modular tensor categories, and we confirm a conjecture of Adamović-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.

Let e be an arbitrary even nilpotent element in the general linear Lie super- algebra glM|N and let We be the associated finite W-superalgebra. Let Ym|n be the super Yangian associated to the Lie superalgebra glm|n. A subalgebra of Ym|n, called the shifted super Yangian and denoted by Ym|n(σ), is defined and studied. Moreover, an explicit iso- morphism between We and a quotient of Ym|n(σ) is established.

Let V⊆A be a conformal inclusion of vertex operator algebras and let C be a category of grading-restricted generalized V-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in C with non-zero categorical dimension, that is, we assume the index of V as a subalgebra of A is finite and non-zero. As a consequence, we show that if A is strongly rational, then V is also strongly rational under the following conditions: A contains V as a V-module direct summand, V is C_2-cofinite with a rigid tensor category of modules, and A has non-zero categorical dimension as a V-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that A is a vertex operator superalgebra.

Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.

Narain lattices are unimodular lattices {\it in} $\R^{r, s} $, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2, 2} $ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2, 2} $, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects--rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice U^ 2, and isomorphisms of discriminant groups of rank 2 lattices.

We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for C a braided tensor category, we give a detailed construction of the canonical algebra in C⊠C^rev: if C is semisimple but not necessarily finite or rigid, then ⨁X∈Irr(C) X′⊠X is a commutative algebra, with X′ a representing object for Hom_C(∙⊗_C X,1_C). Conversely, let A=⨁i∈I U_i ⊠ V_i be a simple commutative algebra in U⊠V with U semisimple and rigid but not necessarily finite, and V rigid but not necessarily semisimple. If the unit objects of U and V form a commuting pair in A, we show there is a braid-reversed equivalence between subcategories of U and V sending U_i to (V_i)*. When U and V are module categories for simple vertex operator algebras U and V, we glue U and V along U⊠V via a map τ: Irr(U)→Obj(V) such that τ(U)=V to create A=⨁X∈Irr(U) X′⊗τ(X). Thus under certain conditions, τ extends to a braid-reversed equivalence between U and V if and only if A is a simple conformal vertex algebra extending U⊗V. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and W-algebras at admissible levels.

Based on the orthogonal Labastida-Mario-Ooguri-Vafa conjecture made by L. Chen and Q. Chen (2012), we derive an infinite product formula for Chern-Simons partition functions, which generalizes Liu and Peng's recent results to the orthogonal case. Symmetry property of this new infinite product structure is also discussed.

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 osp(1|2) and the N=1 super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.

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 gl(1|1)ˆ has vertex algebraic braided tensor supercategory structure, and that its full subcategory O_k^fin of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple gl(1|1)ˆ-module in KL_k has a projective cover in O_k^fin, and we determine all fusion rules involving simple and projective objects in O_k^fin. Then using Knizhnik-Zamolodchikov equations, we prove that KL_k and O_k^fin are rigid. As an application of the tensor supercategory structure on O_k^fin, we study certain module categories for the affine Lie superalgebra sl(2|1)ˆ at levels 1 and −1/2. In particular, we obtain a tensor category of sl(2|1)ˆ-modules at level −1/2 that includes relaxed highest-weight modules and their images under spectral flow.

Based on large N Chern-Simons/topological string duality, in a series of papers, Labastida, Mario, Ooguri, and Vafa conjectured certain remarkable new algebraic structure of link invariants and the existence of infinite series of new integer invariants. In this paper, we provide a proof of this conjecture. Moreover, we also show these new integer invariants vanish at large genera.

Let O_c be the category of finite-length central-charge-c modules for the Virasoro Lie algebra whose composition factors are irreducible quotients of reducible Verma modules. Recently, it has been shown that O_c admits vertex algebraic tensor category structure for any c∈C. Here, we determine the structure of this tensor category when c=13−6p−6/p for an integer p>1. For such c, we prove that O_c is rigid, and we construct projective covers of irreducible modules in a natural tensor subcategory O_c^0. We then compute all tensor products involving irreducible modules and their projective covers. Using these tensor product formulas, we show that O_c has a semisimplification which, as an abelian category, is the Deligne product of two tensor subcategories that are tensor equivalent to the Kazhdan-Lusztig categories for affine sl_2 at levels −2+p^±1. Next, as a straightforward consequence of the braided tensor category structure on O_c together with the theory of vertex operator algebra extensions, we rederive known results for triplet vertex operator algebras W(p), including rigidity, fusion rules, and construction of projective covers. Finally, we prove a recent conjecture of Negron that O_c^0 is braided tensor equivalent to the PSL(2,C)-equivariantization of the category of W(p)-modules.

No abstract uploaded!

A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories C of modules for the fixed-point vertex operator subalgebra V^G of a vertex operator (super)algebra V with finite automorphism group G. The main results are that every V^G-module in C with a unital and associative V-action is a direct sum of g-twisted V-modules for possibly several g∈G, that the category of all such twisted V-modules is a braided G-crossed (super)category, and that the G-equivariantization of this braided G-crossed (super)category is braided tensor equivalent to the original category C of V^G-modules. This generalizes results of Kirillov and Müger proved using rigidity and semisimplicity. We also apply the main results to the orbifold rationality problem: whether V^G is strongly rational if V is strongly rational. We show that V^G is indeed strongly rational if V is strongly rational, G is any finite automorphism group, and V^G is C_2-cofinite.

Quon language is a 3D picture language that we can apply to simulate mathematical concepts. We introduce the surface algebras as an extension of the notion of planar algebras to higher genus surface. We prove that there is a unique one-parameter extension. The 2D defects on the surfaces are quons, and surface tangles are transformations. We use quon language to simulate graphic states that appear in quantum information, and to simulate interesting quantities in modular tensor categories. This simulation relates the pictorial Fourier duality of surface tangles and the algebraic Fourier duality induced by the S matrix of the modular tensor category. The pictorial Fourier duality also coincides with the graphic duality on the sphere. For each pair of dual graphs, we obtain an algebraic identity related to the S matrix. These identities include well-known ones, such as the Verlinde formula; partially known ones, such as the 6j-symbol self-duality; and completely new ones.

We construct two non-semisimple braided ribbon tensor categories of modules for each singlet vertex operator algebra M(p), p≥2. The first category consists of all finite-length M(p)-modules with atypical composition factors, while the second is the subcategory of modules that induce to local modules for the triplet vertex operator algebra W(p). We show that every irreducible module has a projective cover in the second of these categories, although not in the first, and we compute all fusion products involving atypical irreducible modules and their projective covers.

Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.

Bisch and Jones proposed the classification of planar algebras by simple generators and relations. They investigated with the second author the classification of planar algebras generated by 2-boxes. In this paper, we classify singly-generated Thurston-relation planar algebras, defined as subfactor planar algebras generated by a 3-box satisfying a relation proposed by Dylan Thurston. Our main result shows that such subfactor planar algebras are either the E6 subfactor planar algebras or belong to a two-parameter family of planar algebras arising from the representations of type A quantum groups. We introduce a new method for determining positivity of the Markov trace of planar algebras in this family.

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra g^, from g-module homomorphisms. When g=sl_2, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to g^, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.