We describe the generalized Casimir operators and their actions on the positive representations Pλ of the modular double of split real quantum groups Uqq (gR). We introduce the notion of virtual highest and lowest weights, and show that the central characters admit positive values for all parameters λ. We show that their image defines a semi-algebraic region bounded by real points of the discriminant variety independent of q, and we discuss explicit examples in the lower rank cases.

We found an explicit construction of a representation of the positive quantum group and its modular double by positive essentially self-adjoint operators. Generalizing Lusztig's parametrization, we found a Gauss type decomposition for the totally positive quantum group parametrized by the standard decomposition of the longest element . Under this parametrization, we found explicitly the relations between the standard quantum variables, the relations between the quantum cluster variables, and realizing them using non-compact generators of the q-tori by positive essentially self-adjoint operators. The modular double arises naturally from the transcendental relations, and an space in the von Neumann setting can also be defined.

We investigate compact quantum group actions on unital $C^*$-algebras by analyzing invariant subsets and invariant states. In particular, we come up with the concept of compact quantum group orbits and use it to show that countable compact metrizable spaces with infinitely many points are not quantum homogeneous spaces.

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.

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 prove that certain parabolic Kazhdan-Lusztig polynomials calculate the graded decomposition matrices of v-Schur algebras given by the Jantzen filtration of Weyl modules, confirming a conjecture of Leclerc and Thibon.

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.

We study the positive representations Pλ of split real quantum groups Uqq (gℝ) restricted to the Borel subalgebra Uqq (bℝ). We prove that the restriction is independent of the parameter λ. Furthermore, we prove that it can be constructed from the GNS-representation of the multiplier Hopf algebra UqqC ∗ (b ℝ) defined earlier, which allows us to decompose their tensor product using the theory of the “multiplicative unitary”. In particular, the quantum mutation operator can be constructed from the multiplicity module, which will be an essential ingredient in the construction of quantum higher Teichmüller theory from the perspective of representation theory, generalizing earlier work by Frenkel-Kim.

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.

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.

We study the tensor product decomposition of the split real quantum group Uqq~(sl(2,R)) from the perspective of finite dimensional representation theory of compact quantum groups. It is known that the class of positive representations of Uqq~(sl(2,R)) is closed under taking tensor product. In this paper, we show that one can derive the corresponding Hilbert space decomposition, given explicitly by quantum dilogarithm transformations, from the Clebsch-Gordan coefficients of the tensor product decomposition of finite dimensional representations of the compact quantum group Uq(sl2) by solving certain functional equations and using normalization arising from tensor products of canonical basis. We propose a general strategy to deal with the tensor product decomposition for the higher rank split real quantum group Uqq~(gR)

No abstract uploaded!

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

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.

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.

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.

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.

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.

No abstract uploaded!

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 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.

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].

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.

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.