We construct a category of flat vector bundles on an elliptic curve. It arises in the representation theory of quantum affine algebras and carries meromorphic braided structure with singularities on the diagonal of the square of the curve.
We construct a model of the affine nil-Hecke algebra as a subalgebra of the Nichols-Woronowicz algebra associated to a Yetter-Drinfeld module over the affine Weyl group. We also discuss the Peterson isomorphism between the homology of the affine Grassmannian and the small quantum cohomology ring of the flag variety in terms of the braided differential calculus.
Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We conjecture that this braided tensor category is rigid and thus is a ribbon category. We also give conjectures on the modularity of this category and on the equivalence with a suitable quantum group tensor category. In the special case that the affine Lie algebra is $\widehat{\mathfrak{sl}}_2$, we prove the rigidity and modularity conjectures.
The main goal of this review is to compare different approaches to constructing geometry associated with a Hecke type braiding (in particular, with that related to the quantum group U_q(sl(n))). We make an emphasis on affine braided geometry related to the so-called Reflection Equation Algebra (REA). All objects of such type geometry are defined in the spirit of affine algebraic geometry via polynomial relations on generators. We begin with comparing the Poisson counterparts of "quantum varieties" and describe different approaches to their quantization. Also, we exhibit two approaches to intro…
Braided-Lie bialgebras have been introduced by Majid, as the Lie versions of Hopf algebras in braided categories. In this paper we extend previous work of Majid and of ours to show that there is a braided-Lie bialgebra associated to each inclusion of Kac-Moody bialgebras. Doing so, we obtain many new examples of infinite-dimensional braided-Lie bialgebras. We analyze further the case of untwisted affine Kac-Moody bialgebras associated to finite-dimensional simple Lie algebras. The inclusion we study is that of the finite-type algebra in the affine algebra. This braided-Lie bialgebra is isomorp…
Finite Temperley-Lieb (TL) algebras are diagram-algebra quotients of (the group algebra of) the famous Artin's braid group $B_N$, while the affine TL algebras arise as diagram algebras from a generalized version of the braid group. We study asymptotic `$N\to\infty$' representation theory of these quotients (parametrized by $q\in\mathbb{C}^{\times}$) from a perspective of braided monoidal categories. Using certain idempotent subalgebras in the finite and affine algebras, we construct infinite `arc' towers of the diagram algebras and the corresponding direct system of representation categories, …
Ribbon categories of weight modules for affine $\mathfrak{sl}_2$ at admissible levels
Friedrich-Alexander Universität Erlangen-Nürnberg(埃尔朗根-纽伦堡大学);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心);School of Mathematical Sciences, Shanghai Jiao Tong University(上海交通大学数学科学学院)
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second …
We conjecture that quantum Gaudin models in affine types admit families of local higher Hamiltonians, labelled by the (countably infinite set of) exponents, whose eigenvalues are given by functions on a space of meromorphic opers associated with the Langlands dual Lie algebra. This is in direct analogy with the situation in finite types. However, in stark contrast to finite types, we prove that in affine types such functions take the form of hypergeometric integrals, over cycles of a twisted homology defined by the levels of the modules at the marked points. That result prompts the further con…
In the algebra Sym(gl(m)) we consider Poisson pencils generated by the linear Poisson-Lie bracket {,}_{gl(m)} and that corresponding to the so-called Reflection Equation Algebra. Each bracket of such a pencil has the Poisson center coinciding with that of the bracket {,}_{gl(m)}. Consequently, any bracket from this pencil can be restricted to a generic GL(m)-orbit O in gl(m)*. Quantization of such a restricted bracket can be done in the frameworks of braided affine geometry. In the paper we consider these Poisson structures, their super-analogs as well as their quantum (braided) counterparts. …
We introduce the notion of meromorphic tensor category and illustrate it in several examples. They include representations of quantum affine algebras, chiral algebras of Beilinson and Drinfeld, G-vertex algebras of Borcherds, and representations of GL over a local field. Hopefully the formalism will accomodate various tensor structures arising in relation to the quantized Knizhnik-Zamolodchikov equations and deformed CFT
Let $\hat{\frak g}$ be an untwisted affine Kac-Moody algebra. The quantum group $U_h(\hat{\frak g})$ (over $\mathbb{C}[[h]]$) is known to be a quasitriangular Hopf algebra: in particular, it has a universal $ R $--matrix, which yields an $ R $--matrix for each pair of representations of $U_h(\hat{\frak g})$. On the other hand, the quantum group $U_q(\hat{\frak g})$ (over $\mathbb{C}(q) $) also has an $ R $--matrix for each pair of representations, but it has not a universal $ R $--matrix so that one cannot say that it is quasitriangular. Following Reshetikin, one introduces the (weaker) notion…
The Witt group of nondegenerate braided fusion categories $\mathcal{W}$ contains a subgroup $\mathcal{W}_\text{un}$ consisting of Witt equivalence classes of pseudo-unitary nondegenerate braided fusion categories. For each finite-dimensional simple Lie algebra $\mathfrak{g}$ and positive integer $k$ there exists a pseudo-unitary category $\mathcal{C}(\mathfrak{g},k)$ consisting of highest weight integerable $\hat{g}$-modules of level $k$ where $\hat{\mathfrak{g}}$ is the corresponding affine Lie algebra. Relations between the classes $[\mathcal{C}(\mathfrak{sl}_2,k)]$, $k\geq1$ have been compl…
We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length generalized $V$-modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) $\mathfrak{g}$ at level $k$ and the category $KL_k(\mathfrak{g})$ of its finite length generalized modules, we discover several f…
We study a family of mutually commutative difference operators associated with the affine root systems. These operators act on the space of meromorphic functions on the Cartan subalgebra of the affine Lie algebra. We show that the space spanned by the characters of a fixed positive level is invariant under the action of these operators.
The main result is that the category of ordinary modules of an affine vertex operator algebra of a simply laced Lie algebra at admissible level is rigid and thus a braided fusion category. If the level satisfies a certain coprime property then it is even a modular tensor category. In all cases open Hopf links coincide with the corresponding normalized S-matrix entries of torus one-point functions. This is interpreted as a Verlinde formula beyond rational vertex operator algebras. A preparatory Theorem is a convenient formula for the fusion rules of rational principal W-algebras of any type.
For higher genus multi-point current algebras of Krichever-Novikov type associated to a finite-dimensional Lie algebra, local Lie algebra two-cocycles are studied. They yield as central extensions almost-graded higher genus affine Lie algebras. In case that the Lie algebra is reductive a complete classification is given. For a simple Lie algebra, like in the classical situation, there is up to equivalence and rescaling only one non-trivial almost-graded central extension. The classification is extended to the algebras of meromorphic differential operators of order less or equal one on the curr…
Let ${\mathfrak g}$ be a complex semisimple Lie algebra, and $Y_h({\mathfrak g})$, $U_q(L{\mathfrak g})$ the corresponding Yangian and quantum loop algebra, with deformation parameters related by $q=\exp(πi h)$. When $h$ is not a rational number, we constructed in arXiv:1310.7318 a faithful functor $Γ$ from the category of finite-dimensional representations of $Y_h ({\mathfrak g})$ to those of $U_q(L{\mathfrak g})$. The functor $Γ$ is governed by the additive difference equations defined by the commuting fields of the Yangian, and restricts to an equivalence on a subcategory of $Y_h({\mathfrak…
We compute quantum character varieties of arbitrary closed surfaces with boundaries and marked points. These are categorical invariants $\int_S\mathcal A$ of a surface $S$, determined by the choice of a braided tensor category $\mathcal A$, and computed via factorization homology. We identify the algebraic data governing marked points and boundary components with the notion of a {\em braided module category} for $\mathcal A$, and we describe braided module categories with a generator in terms of certain explicit algebra homomorphisms called {\em quantum moment maps}. We then show that the quan…
We use the double affine Hecke algebra of type GL_N to construct an explicit consistent system of q-difference equations, which we call the bispectral quantum Knizhnik-Zamolodchikov (BqKZ) equations. BqKZ includes, besides Cherednik's quantum affine KZ equations associated to principal series representations of the underlying affine Hecke algebra, a compatible system of q-difference equations acting on the central character of the principal series representations. We construct a meromorphic self-dual solution Φof BqKZ which, upon suitable specializations of the central character, reduces to sy…
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 $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain …
We assess the ODE/IM correspondence for the quantum $\mathfrak{g}$-KdV model, for a non-simply laced Lie algebra $\mathfrak{g}$. This is done by studying a meromorphic connection with values in the Langlands dual algebra of the affine Lie algebra ${\mathfrak{g}}^{(1)}$, and constructing the relevant $Ψ$-system among subdominant solutions. We then use the $Ψ$-system to prove that the generalized spectral determinants satisfy the Bethe Ansatz equations of the quantum $\mathfrak{g}$-KdV model. We also consider generalized Airy functions for twisted Kac--Moody algebras and we construct new explici…
We consider the algebra $A$ of bounded operators on $L^2(\mathbb{R}^n)$ generated by quantizations of isometric affine canonical transformations. The algebra $A$ includes as subalgebras all noncommutative tori and toric orbifolds. We define the spectral triple $(A, H, D)$ with $H=L^2(\mathbb R^n, Λ(\mathbb R^n))$ and the Euler operator $D$, a first order differential operator of index $1$. We show that this spectral triple has simple dimension spectrum: For every operator $B$ in the algebra $Ψ(A,H,D)$ generated by the Shubin type pseudodifferential operators and the elements of $A$, the zeta f…
The bispectral quantum Knizhnik-Zamolodchikov (BqKZ) equation corresponding to the affine Hecke algebra $H$ of type $A_{N-1}$ is a consistent system of $q$-difference equations which in some sense contains two families of Cherednik's quantum affine Knizhnik-Zamolodchikov equations for meromorphic functions with values in principal series representations of $H$. In this paper we extend this construction of BqKZ to the case where $H$ is the affine Hecke algebra associated to an arbitrary irreducible reduced root system. We construct explicit solutions of BqKZ and describe its correspondence to a…
We prove that $KL_k(\mathfrak{sl}_m)$ is a semi-simple, rigid braided tensor category for all even $m\ge 4$, and $k= -\frac{m+1}{2}$ which generalizes result from arXiv:2103.02985 obtained for $m=4$. Moreover, all modules in $KL_k(\mathfrak{sl}_m)$ are simple-currents and they appear in the decomposition of conformal embeddings $\mathfrak{gl}_m \hookrightarrow \mathfrak{sl}_{m+1} $ at level $ k= - \frac{m+1}{2}$ from arXiv:1509.06512. For this we inductively identify minimal affine $W$-algebra $ W_{k-1} (\mathfrak{sl}_{m+2}, θ)$ as simple current extension of $L_{k}(\mathfrak{sl}_m) \otimes \m…
We apply the general theory of tensor products of modules for a vertex operator algebra developed in our papers hep-th/9309076, hep-th/9309159, hep-th/9401119, q-alg/9505018, q-alg/9505019 and q-alg/9505020 to the case of the Wess-Zumino-Novikov-Witten models and related models in conformal field theory. We show that for the category of modules for a vertex operator algebra containing a subalgebra isomorphic to a tensor product of rational vertex operator algebras associated to affine Lie algebras, the intertwining operators among the modules have the associativity property, the category has a…
By the classical genus zero Sugawara construction one obtains from admissible representations of affine Lie algebras (Kac-Moody algebras of affine type) representations of the Virasoro algebra. In this lecture first the classical construction is recalled. Then, after giving a review on the global multi-point algebras of Krichever-Novikov type for compact Riemann surfaces of arbitrary genus, the higher genus Sugawara construction is introduced. Finally, the lecture reports on results obtained in joint work with O.K. Sheinman. We were able to show that also in the higher genus, multi-point situa…
Classical affine Lie algebras appear e.g. as symmetries of infinite dimensional integrable systems and are related to certain differential equations. They are central extensions of current algebras associated to finite-dimensional Lie algebras g. In geometric terms these current algebras might be described as Lie algebra valued meromorphic functions on the Riemann sphere with two possible poles. They carry a natural grading. In this talk the generalization to higher genus compact Riemann surfaces and more poles is reviewed. In case that the Lie algebra g is reductive (e.g. g is simple, semi-si…
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 $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$.…
We use category theory to propose a unified approach to the Schur-Weyl dualities involving the general linear Lie algebras, their polynomial extensions and associated quantum deformations. We define multiplicative sequences of algebras exemplified by the sequence of group algebras of the symmetric groups and use them to introduce associated monoidal categories. Universal properties of these categories lead to uniform constructions of the Drinfeld functor connecting representation theories of the degenerate affine Hecke algebras and the Yangians and of its q-analogue. Moreover, we construct act…
We construct a monomorphism of the De Rham complex of scalar multivalued meromorphic forms on the projective line, holomorphic on the complement to a finite set of points, to the chain complex of the Lie algebra of $sl_2$-valued algebraic functions on the same complement with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{sl}_2$. We show that the existence of singular vectors in the Verma modules (the Malikov-Feigin-Fuchs singular vectors) is reflected in the new relations between the cohomology classes of logarithmic differential forms.
The purpose of this paper is to introduce and study a q-analogue of the holonomic system of differential equations associated to the Belavin's classical r-matrix (elliptic r-matrix equations), or, equivalently, to define an elliptic deformation of the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. In hep-th 9303018, it was shown that solutions of the elliptic r-matrix equations admit a representation as traces of products of intertwining operators between certain modules over affine sl(N). In this paper, this construction is generalized to quantum affine sl(N). The main o…
Cherednik's type A quantum affine Knizhnik-Zamolodchikov (qKZ) equations form a consistent system of linear $q$-difference equations for $V_n$-valued meromorphic functions on a complex $n$-torus, with $V_n$ a module over the GL${}_n$-type extended affine Hecke algebra $\mathcal{H}_n$. The family $(\mathcal{H}_n)_{n\geq 0}$ of extended affine Hecke algebras forms a tower of algebras, with the associated algebra morphisms $\mathcal{H}_n\rightarrow\mathcal{H}_{n+1}$ the Hecke algebra descends of arc insertion at the affine braid group level. In this paper we consider qKZ towers $(f^{(n)})_{n\geq …
Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras
Osaka Metropolitan University(大阪公立大学);University of Colorado Boulder(科罗拉多大学博尔德分校);Universitat de València(瓦伦西亚大学);Cardiff University(卡迪夫大学);Research Institute for Mathematical Sciences Kyoto University(京都大学数学科学研究所)
We study a pair of commuting difference operators arising from the elliptic C_2^{(1)}-face model. The operators, whose coefficients are expressed in terms of the Jacobi's elliptic theta function, act on the space of meromorphic functions on the weight space of the C_2 type simple Lie algebra. We show that the space of functions spanned by the level one characters of the affine Lie algebra sp(4,C) is invariant under the action of the difference operators.
Elements of a global operator approach to the WZNW models for compact Riemann surfaces of arbitrary genus g with N marked points were given by Schlichenmaier and Sheinman. This contribution reports on the results. The approach is based on the multi-point Krichever-Novikov algebras of global meromorphic functions and vector fields, and the global algebras of affine type and their representations. Using the global Sugawara construction and the identification of a certain subspace of the vector field algebra with the tangent space to the moduli space of the geometric data, Knizhnik-Zamalodchikov …
We study the representation theory of non-admissible simple affine vertex algebra $L_{-5/2} (sl(4))$. We determine an explicit formula for the singular vector of conformal weight four in the universal affine vertex algebra $V^{-5/2} (sl(4))$, and show that it generates the maximal ideal in $V^{-5/2} (sl(4))$. We classify irreducible $L_{-5/2} (sl(4))$--modules in the category ${\mathcal O}$, and determine the fusion rules between irreducible modules in the category of ordinary modules $KL_{-5/2}$. It turns out that this fusion algebra is isomorphic to the fusion algebra of $KL_{-1}$. We also p…
We consider two complexes. The first complex is the twisted de Rham complex of scalar meromorphic differential forms on projective line, holomorphic on the complement to a finite set of points. The second complex is the chain complex of the Lie algebra of $\mathfrak{sl}_2$-valued algebraic functions on the same complement, with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{{\mathfrak{sl}_2}}$. In [Schechtman V., Varchenko A., Mosc. Math. J. 17 (2017), 787-802] a construction of a monomorphism of the first complex to the second was suggested …
We study a pair of commuting difference operators arising from the elliptic solution of the dynamical Yang-Baxter equation of type C_2. The operators act on the space of meromorphic functions on the weight space of sp(4,C). We show that these operators can be identified with the system by van Diejen and by Komori-Hikami with special parameters. It turns out that our case can be related to the difference Lame operator (two-body Ruijsenaars operator) and thereby we diagonalize the system on the finite dimensional space spanned by the level one characters of the C_2^{(1)}-affine Lie algebra.
The paper introduces a new geometric interpretation of the quantum Knizhnik-Zamolodchikov equations introduced in 1991 by I.Frenkel and N.Reshetikhin. It turns out that these equations can be linked to certain holomorphic vector bundles on the N-th Cartesian power of an elliptic curve. These bundles are naturally constructed by a gluing procedure from a system of trigonometric quantum affine $R$-matrices. Meromorphic solutions of the quantum KZ equations are interpreted as sections of such a bundle. This interpretation is an analogue of the interpretation of solutions of the classical KZ equat…
Alma Mater Studiorum - Università di Bologna(博洛尼亚大学);Istituto Nazionale di Fisica Nucleare Sezione di Bologna(意大利国家核物理研究所博洛尼部分所);Mathematical Institute of Charles University(查理大学数学研究所)
There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter quotient of the universal two-parameter $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,3,\dots)$. In this paper, we consider an analogous structure of orthogonal type, namely $\mathcal{D}^k(n) …
The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking. This work details and tests such a conjecture for $L_{-\frac{3}{2}}(\mathfrak{sl}_3)$ via a logarithmic Kazhdan-Lusztig correspondence. We first investigate the representation theory of $\overline{U}^H_i(\mathfrak{sl}_3)$, the unrolled restricted quantum group of $\mathfrak{sl}_3$ at fourth root of unity. In particular, we analyse its finite-dimensional weigh…
We construct canonical strongly bicovariant differential graded algebra structures on all four flavours of cross product Hopf algebras, namely double cross products $A\hookrightarrow A\bowtie H\hookleftarrow H$, double cross coproducts $A\twoheadleftarrow A {\blacktriangleright\!\!\blacktriangleleft} H\twoheadrightarrow H$, biproducts $A{\buildrel\hookrightarrow\over \twoheadleftarrow}A{\cdot\kern-.33em\triangleright\!\!\!<} B$ and bicrossproducts $A\hookrightarrow A{\blacktriangleright\!\!\triangleleft} H\twoheadrightarrow H$ on the assumption that the factors have strongly bicovariant calcul…