Showing 1–45 of 45 results for author: Gainutdinov, A

An adjunction theorem for Davydov-Yetter cohomology and infinitesimal braidings

Authors: Matthieu Faitg, Azat M. Gainutdinov, Christoph Schweigert

Abstract: Davydov-Yetter cohomology $H_{\mathrm{DY}}^{\bullet}(F)$ is associated to a monoidal functor $F: \mathcal{C} \to \mathcal{D}$ between $\Bbbk$-linear monoidal categories where $\Bbbk$ is a field, and its second degree classifies the infinitesimal deformations of the monoidal structure of $F$. Our main result states that if $F$ admits a right adjoint $R$, then there is an object $Γ$ in the Drinfeld… ▽ More Davydov-Yetter cohomology $H_{\mathrm{DY}}^{\bullet}(F)$ is associated to a monoidal functor $F: \mathcal{C} \to \mathcal{D}$ between $\Bbbk$-linear monoidal categories where $\Bbbk$ is a field, and its second degree classifies the infinitesimal deformations of the monoidal structure of $F$. Our main result states that if $F$ admits a right adjoint $R$, then there is an object $Γ$ in the Drinfeld center $\mathcal{Z}(\mathcal{C})$ defined in terms of $R$ such that the Davydov-Yetter cohomology of $F$ can be expressed as the Davydov-Yetter cohomology of the identity functor on $\mathcal{C}$ with the coefficient $Γ$. We apply this result in the case when the product functor $\otimes: \mathcal{C} \boxtimes\mathcal{C} \to\mathcal{C}$ has a monoidal structure given by a braiding $c$ on $\mathcal{C}$ and determine explicitly the coefficient $Γ$ as a coend object in $\mathcal{Z}(\mathcal{C}) \boxtimes \mathcal{Z}(\mathcal{C})$. The motivation is that $H^{\bullet}_{\mathrm{DY}}(\otimes)$ contains a ``space of infinitesimal braidings tangent to $c$'' in a way that we describe precisely. For $\mathcal{C} = H\text{-}\mathrm{mod}$, where $H$ is a finite-dimensional Hopf algebra over a field $\Bbbk$, this is the Zariski tangent space to the affine variety of R-matrices for $H$. In the case of perfect $\Bbbk$, we give a dimension formula for this space as an explicit end involving only (low-degree) relative Ext's of the standard adjunction between $\mathcal{Z}(\mathcal{C})$ and $\mathcal{C}$. As a further application of the adjunction theorem, we describe deformations of the restriction functor associated to a Hopf subalgebra and a Drinfeld twist. Both applications are illustrated in the example of bosonization of exterior algebras. △ Less

Submitted 28 November, 2024; originally announced November 2024.

Comments: 71 pages, 3 figures

Report number: ZMP-HH/24-26, Hamburger Beitrage zur Mathematik Nr. 981

Generalized electrical Lie algebras

Authors: Arkady Berenstein, Azat Gainutdinov, Vassily Gorbounov

Abstract: We generalize the electrical Lie algebras originally introduced by Lam and Pylyavskyy in several ways. To each Kac-Moody Lie algebra $\mathfrak{g}$ we associate two types (vertex type and edge type) of the generalized electrical algebras. The electrical Lie algebras of vertex type are always subalgebras of $\mathfrak{g}$ and are flat deformations of the nilpotent Lie subalgebra of $\mathfrak{g}$.… ▽ More We generalize the electrical Lie algebras originally introduced by Lam and Pylyavskyy in several ways. To each Kac-Moody Lie algebra $\mathfrak{g}$ we associate two types (vertex type and edge type) of the generalized electrical algebras. The electrical Lie algebras of vertex type are always subalgebras of $\mathfrak{g}$ and are flat deformations of the nilpotent Lie subalgebra of $\mathfrak{g}$. In many cases including $sl_n$, $so_n$, and $sp_{2n}$ we find new (edge) models for our generalized electrical Lie algebras of vertex type. Finding an edge model in general is an interesting an open problem. △ Less

Submitted 20 May, 2024; v1 submitted 5 May, 2024; originally announced May 2024.

Comments: AmsLaTeX, 20 pages, few more misprints corrected

MSC Class: 2020: 14L40; 20G05; 82B20; 05E10

Integrability of rank-two web models

Authors: Augustin Lafay, Azat M. Gainutdinov, Jesper Lykke Jacobsen

Abstract: We continue our work on lattice models of webs, which generalise the well-known loop models to allow for various kinds of bifurcations [arXiv:2101.00282, arXiv:2107.10106]. Here we define new web models corresponding to each of the rank-two spiders considered by Kuperberg [arXiv:q-alg/9712003]. These models are based on the $A_2$, $G_2$ and $B_2$ Lie algebras, and their local vertex configurations… ▽ More We continue our work on lattice models of webs, which generalise the well-known loop models to allow for various kinds of bifurcations [arXiv:2101.00282, arXiv:2107.10106]. Here we define new web models corresponding to each of the rank-two spiders considered by Kuperberg [arXiv:q-alg/9712003]. These models are based on the $A_2$, $G_2$ and $B_2$ Lie algebras, and their local vertex configurations are intertwiners of the corresponding $q$-deformed quantum algebras. In all three cases we define a corresponding model on the hexagonal lattice, and in the case of $B_2$ also on the square lattice. For specific root-of-unity choices of $q$, we show the equivalence to a number of three- and four-state spin models on the dual lattice. The main result of this paper is to exhibit integrable manifolds in the parameter spaces of each web model. For $q$ on the unit circle, these models are critical and we characterise the corresponding conformal field theories via numerical diagonalisation of the transfer matrix. In the $A_2$ case we find two integrable regimes. The first one contains a dense and a dilute phase, for which we have analytic control via a Coulomb gas construction, while the second one is more elusive and likely conceals non-compact physics. Three particular points correspond to a three-state spin model with plaquette interactions, of which the one in the second regime appears to present a new universality class. In the $G_2$ case we identify four regimes numerically. The $B_2$ case is too unwieldy to be studied numerically in the general case, but it found analytically to contain a simpler sub-model based on generators of the dilute Birman-Murakami-Wenzl algebra. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 69 pages

Non-semisimple link and manifold invariants for symplectic fermions

Authors: Johannes Berger, Azat M. Gainutdinov, Ingo Runkel

Abstract: We consider the link and three-manifold invariants in [DGGPR], which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the l… ▽ More We consider the link and three-manifold invariants in [DGGPR], which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the link only through their simple composition factors, so that in order to detect non-trivial extensions one needs to pass to proper ideals. We compute examples of link and three-manifold invariants for $\mathcal{C}$ being the category of $N$ pairs of symplectic fermions. Using a quasi-Hopf algebra realisation of $\mathcal{C}$, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power $N$, a relation we conjecture to hold for all rational homology spheres. For $N \ge 2$, $\mathcal{C}$ allows for tensor ideals $\mathcal{I}$ with a modified trace which are different from all of $\mathcal{C}$ and from the projective ideal. Using the theory of pull-back traces and symmetrised cointegrals, we show that the link invariant obtained from $\mathcal{I}$ can distinguish a continuum of indecomposable but reducible objects which all have the same composition series. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 77 pages

MSC Class: 16T99

Fused K-operators and the $q$-Onsager algebra

Authors: Guillaume Lemarthe, Pascal Baseilhac, Azat M. Gainutdinov

Abstract: We study universal solutions to reflection equations with a spectral parameter, so-called K-operators, within a general framework of universal K-matrices - an extended version of the approach introduced by Appel-Vlaar. Here, the input data is a quasi-triangular Hopf algebra $H$, its comodule algebra $B$ and a pair of consistent twists. In our setting, the universal K-matrix is an element of… ▽ More We study universal solutions to reflection equations with a spectral parameter, so-called K-operators, within a general framework of universal K-matrices - an extended version of the approach introduced by Appel-Vlaar. Here, the input data is a quasi-triangular Hopf algebra $H$, its comodule algebra $B$ and a pair of consistent twists. In our setting, the universal K-matrix is an element of $B\otimes H$ satisfying certain axioms, and we consider the case $H$ is the quantum loop algebra for $sl_2$, and $B={\cal A}_q$ is the alternating central extension of the $q$-Onsager algebra. Considering tensor products of evaluation representations of $H$ in "non-semisimple" cases, the new set of axioms allows us to introduce and study fused K-operators of spin-$j$; in particular, to prove that for all $j\in\frac{1}{2}\mathbb{N}$ they satisfy the spectral-parameter dependent reflection equation. We provide their explicit expression in terms of elements of the algebra ${\cal A}_q$ for small values of spin-$j$. The precise relation between the fused K-operators of spin-$j$ and evaluations of a universal K-matrix for ${\cal A}_q$ is conjectured based on supporting evidences. Independently, we study K-operator solutions of the twisted intertwining relations associated with the comodule algebra ${\cal A}_q$, and expand them in the Poincaré-Birkhoff-Witt basis of ${\cal A}_q$. With a reasonably general ansatz, we found a unique solution for first few values of $j$ which agrees with the fused K-operators, as expected. We conjecture that in general such solutions are uniquely determined and match with the expressions of the fused K-operators. △ Less

Submitted 16 October, 2024; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 87 pages; v2: references updated and minor changes in the text; v3: Intro rewritten, new section 3.5 on formal evaluation representations, new Lem 6.1, many typos and inaccuracies fixed + refs added

MSC Class: 81R50; 81R10; 81U15

Algebraic Bethe Ansatz for the Open XXZ Spin Chain with Non-Diagonal Boundary Terms via $U_{\mathfrak{q}}\mathfrak{sl}_2$ Symmetry

Authors: Dmitry Chernyak, Azat M. Gainutdinov, Jesper Lykke Jacobsen, Hubert Saleur

Abstract: We derive by the traditional algebraic Bethe ansatz method the Bethe equations for the general open XXZ spin chain with non-diagonal boundary terms under the Nepomechie constraint [J. Phys. A 37 (2004), 433-440, arXiv:hep-th/0304092]. The technical difficulties due to the breaking of $\mathsf{U}(1)$ symmetry and the absence of a reference state are overcome by an algebraic construction where the t… ▽ More We derive by the traditional algebraic Bethe ansatz method the Bethe equations for the general open XXZ spin chain with non-diagonal boundary terms under the Nepomechie constraint [J. Phys. A 37 (2004), 433-440, arXiv:hep-th/0304092]. The technical difficulties due to the breaking of $\mathsf{U}(1)$ symmetry and the absence of a reference state are overcome by an algebraic construction where the two-boundary Temperley-Lieb Hamiltonian is realised in a new $U_{\mathfrak{q}}\mathfrak{sl}_2$-invariant spin chain involving infinite-dimensional Verma modules on the edges [J. High Energy Phys. 2022 (2022), no. 11, 016, 64 pages, arXiv:2207.12772]. The equivalence of the two Hamiltonians is established by proving Schur-Weyl duality between $U_{\mathfrak{q}}\mathfrak{sl}_2$ and the two-boundary Temperley-Lieb algebra. In this framework, the Nepomechie condition turns out to have a simple algebraic interpretation in terms of quantum group fusion rules. △ Less

Submitted 17 July, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Journal ref: SIGMA 19 (2023), 046, 47 pages

$U_q\mathfrak{sl}_2$-invariant non-compact boundary conditions for the XXZ spin chain

Authors: Dmitry Chernyak, Azat M. Gainutdinov, Hubert Saleur

Abstract: We introduce new $U_q\mathfrak{sl}_2$-invariant boundary conditions for the open XXZ spin chain. For generic values of $q$ we couple the bulk Hamiltonian to an infinite-dimensional Verma module on one or both boundaries of the spin chain, and for $q=e^{\frac{iπ}{p}}$ a $2p$-th root of unity $ - $ to its $p$-dimensional analogue. Both cases are parametrised by a continuous "spin" $α\in\mathbb{C}$.… ▽ More We introduce new $U_q\mathfrak{sl}_2$-invariant boundary conditions for the open XXZ spin chain. For generic values of $q$ we couple the bulk Hamiltonian to an infinite-dimensional Verma module on one or both boundaries of the spin chain, and for $q=e^{\frac{iπ}{p}}$ a $2p$-th root of unity $ - $ to its $p$-dimensional analogue. Both cases are parametrised by a continuous "spin" $α\in\mathbb{C}$. To motivate our construction, we first specialise to $q=i$, where we obtain a modified XX Hamiltonian with unrolled quantum group symmetry, whose spectrum and scaling limit is computed explicitly using free fermions. In the continuum, this model is identified with the $(η,ξ)$ ghost CFT on the upper-half plane with a continuum of conformally invariant boundary conditions on the real axis. The different sectors of the Hamiltonian are identified with irreducible Virasoro representations. Going back to generic $q$ we investigate the algebraic properties of the underlying lattice algebras. We show that if $q^α\notin\pm q^{\mathbb{Z}}$, the new boundary coupling provides a faithful representation of the blob algebra which is Schur-Weyl dual to $U_q\mathfrak{sl}_2$. Then, modifying the boundary conditions on both the left and the right, we obtain a representation of the universal two-boundary Temperley-Lieb algebra. The generators and parameters of these representations are computed explicitly in terms of $q$ and $α$. Finally, we conjecture the general form of the Schur-Weyl duality in this case. This paper is the first in a series where we will study, at all values of the parameters, the spectrum and its continuum limit, the representation content of the relevant lattice algebras and the fusion properties of these new spin chains. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: 54 pages

Journal ref: J. of High Energy Phys. 2022 16 (2022)

Davydov-Yetter cohomology and relative homological algebra

Authors: Matthieu Faitg, Azat M. Gainutdinov, Christoph Schweigert

Abstract: Davydov--Yetter (DY) cohomology classifies infinitesimal deformations of the monoidal structure of tensor functors and tensor categories. In this paper we provide new tools for the computation of the DY cohomology for finite tensor categories and exact functors between them. The key point is to realize DY cohomology as relative Ext groups. In particular, we prove that the infinitesimal deformation… ▽ More Davydov--Yetter (DY) cohomology classifies infinitesimal deformations of the monoidal structure of tensor functors and tensor categories. In this paper we provide new tools for the computation of the DY cohomology for finite tensor categories and exact functors between them. The key point is to realize DY cohomology as relative Ext groups. In particular, we prove that the infinitesimal deformations of a tensor category $\mathcal{C}$ are classified by the 3-rd self-extension group of the tensor unit of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ relative to $\mathcal{C}$. From classical results on relative homological algebra we get a long exact sequence for DY cohomology and a Yoneda product for which we provide an explicit formula. Using the long exact sequence and duality, we obtain a dimension formula for the cohomology groups based solely on relatively projective covers which reduces a problem in homological algebra to a problem in representation theory, e.g. calculating the space of invariants in a certain object of $\mathcal{Z}(\mathcal{C})$. Thanks to the Yoneda product, we also develop a method for computing DY cocycles explicitly which are needed for applications in the deformation theory. We apply these tools to the category of finite-dimensional modules over a finite-dimensional Hopf algebra. We study in detail the examples of the bosonization of exterior algebras $Λ\mathbb{C}^k \rtimes \mathbb{C}[\mathbb{Z}_2]$, the Taft algebras and the small quantum group of $\mathfrak{sl}_2$ at a root of unity. △ Less

Submitted 28 February, 2024; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: v4: 63 pages, weaker assumptions on the ground field, generalized results in Sec 2.3; v3: 63 pages, new results for factorisable Hopf algebras in Sec 5.5 and 6.4, Intro and Abstract improved, Prop 3.2 extended and references updated; v2: 54 pages, fixed a gap in the proof of Prop 3.10

Report number: ZMP-HH/22-6, Hamburger Beitrage zur Mathematik Nr. 914

Journal ref: Selecta Math. New Ser. 30, article number 26 (2024)

$U_{\mathfrak{q}}(\mathfrak{sl}_3)$ web models: Locality, phase diagram and geometrical defects

Authors: Augustin Lafay, Azat M. Gainutdinov, Jesper Lykke Jacobsen

Abstract: We continue investigating the generalisations of geometrical statistical models introduced in [13], in the form of models of webs on the hexagonal lattice H having a U_q(sl_n) quantum group symmetry. We focus here on the n=3 case of cubic webs, based on the Kuperberg A_2 spider, and illustrate its properties by comparisons with the well-known dilute loop model (the n=2 case) throughout. A local ve… ▽ More We continue investigating the generalisations of geometrical statistical models introduced in [13], in the form of models of webs on the hexagonal lattice H having a U_q(sl_n) quantum group symmetry. We focus here on the n=3 case of cubic webs, based on the Kuperberg A_2 spider, and illustrate its properties by comparisons with the well-known dilute loop model (the n=2 case) throughout. A local vertex-model reformulation is exhibited, analogous to the correspondence between the loop model and a three-state vertex model. The n=3 representation uses seven states per link of H, displays explicitly the geometrical content of the webs and their U_q(sl_3) symmetry, and permits us to study the model on a cylinder via a local transfer matrix. A numerical study of the central charge reveals that for each q $\in \mathbb{C}$ in the critical regime, |q|=1, the web model possesses a dense and a dilute critical point, just like its loop model counterpart. In the dense $q=-e^{i π/4}$ case, the n=3 webs can be identified with spin interfaces of the critical three-state Potts model defined on the triangular lattice dual to H. We also provide another mapping to a $\mathbb{Z}_3$ spin model on H itself, using a high-temperature expansion. We then discuss the sector structure of the transfer matrix, for generic q, and its relation to defect configurations in both the strip and the cylinder geometries. These defects define the finite-size precursors of electromagnetic operators. This discussion paves the road for a Coulomb gas description of the conformal properties of defect webs, which will form the object of a subsequent paper. Finally, we identify the fractal dimension of critical webs in the $q=-e^{i π/3}$ case, which is the n=3 analogue of the polymer limit in the loop model. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Journal ref: Nucl. Phys. B 979 (2022) 115789

$U_q(\mathfrak{sl}_n)$ web models and $\mathbb{Z}_n$ spin interfaces

Authors: Augustin Lafay, Azat M. Gainutdinov, Jesper Lykke Jacobsen

Abstract: This is the first in a series of papers devoted to generalisations of statistical loop models. We define a lattice model of $U_q(\mathfrak{sl}_n)$ webs on the honeycomb lattice, for $n \ge 2$. It is a statistical model of closed, cubic graphs with certain non-local Boltzmann weights that can be computed from spider relations. For $n=2$, the model has no branchings and reduces to the well-known O(… ▽ More This is the first in a series of papers devoted to generalisations of statistical loop models. We define a lattice model of $U_q(\mathfrak{sl}_n)$ webs on the honeycomb lattice, for $n \ge 2$. It is a statistical model of closed, cubic graphs with certain non-local Boltzmann weights that can be computed from spider relations. For $n=2$, the model has no branchings and reduces to the well-known O($N$) loop model introduced by Nienhuis. In the general case, we show that the web model possesses a particular point, at $q=e^{i π/(n+1)}$, where the partition function is proportional to that of a $\mathbb{Z}_n$-symmetric chiral spin model on the dual lattice. Moreover, under this equivalence, the graphs given by the configurations of the web model are in bijection with the domain walls of the spin model. For $n=2$, this equivalence reduces to the well-known relation between the Ising and O($1$) models. We define as well an open $U_q(\mathfrak{sl}_n)$ web model on a simply connected domain with a boundary, and discuss in particular the role of defects on the boundary. △ Less

Submitted 1 January, 2021; originally announced January 2021.

Comments: 31 pages

Journal ref: J. Stat. Mech. (2021) 053104

Mapping Class Group Representations From Non-Semisimple TQFTs

Authors: Marco De Renzi, Azat M. Gainutdinov, Nathan Geer, Bertrand Patureau-Mirand, Ingo Runkel

Abstract: In [arXiv:1912.02063], we constructed 3-dimensional Topological Quantum Field Theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by these TQFTs, and we express the action of a set of generators through the algebraic data of the underlying modular category $\mathcal{C}$. This allows us to prove… ▽ More In [arXiv:1912.02063], we constructed 3-dimensional Topological Quantum Field Theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by these TQFTs, and we express the action of a set of generators through the algebraic data of the underlying modular category $\mathcal{C}$. This allows us to prove that the projective representations induced from the non-semisimple TQFTs of [arXiv:1912.02063] are equivalent to those obtained by Lyubashenko via generators and relations in [arXiv:hep-th/9405167]. Finally, we show that, when $\mathcal{C}$ is the category of finite-dimensional representations of the small quantum group of $\mathfrak{sl}_2$, the action of all Dehn twists for surfaces without marked points has infinite order. △ Less

Submitted 23 February, 2021; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 41 pages, minor corrections, Section 2.4 and Appendix C added

Journal ref: Commun. Contemp. Math. (2021), 2150091

Monadic cointegrals and applications to quasi-Hopf algebras

Authors: Johannes Berger, Azat M. Gainutdinov, Ingo Runkel

Abstract: For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are isomorphic as Hopf monads. We define a monadic cointegral for $A_i$ to be an $A_i$-module morphism $\mathbf{1} \to A_i(D)$, where $D$ is the distinguished inver… ▽ More For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are isomorphic as Hopf monads. We define a monadic cointegral for $A_i$ to be an $A_i$-module morphism $\mathbf{1} \to A_i(D)$, where $D$ is the distinguished invertible object of $\mathcal{C}$. We relate monadic cointegrals to the categorical cointegral introduced by Shimizu (2019), and, in case $\mathcal{C}$ is braided, to an integral for the braided Hopf algebra $\mathcal{L} = \int^X X^\vee \otimes X$ in $\mathcal{C}$ studied by Lyubashenko (1995). Our main motivation stems from the application to finite dimensional quasi-Hopf algebras $H$. For the category of finite-dimensional $H$-modules, we relate the four monadic cointegrals (two of which require $H$ to be pivotal) to four existing notions of cointegrals for quasi-Hopf algebras: the usual left/right cointegrals of Hausser and Nill (1994), as well as so-called $γ$-symmetrised cointegrals in the pivotal case, for $γ$ the modulus of $H$. For (not necessarily semisimple) modular tensor categories $\mathcal{C}$, Lyubashenko gave actions of surface mapping class groups on certain Hom-spaces of $\mathcal{C}$, in particular of $SL(2,\mathbb{Z})$ on $\mathcal{C}(\mathcal{L},\mathbf{1})$. In the case of a factorisable ribbon quasi-Hopf algebra, we give a simple expression for the action of $S$ and $T$ which uses the monadic cointegral. △ Less

Submitted 1 February, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 59 pages; to appear in Journal of Pure and Applied Algebra, Volume 225, Issue 10, October 2021, 106678. Referees' comments taken into account

MSC Class: 16T99; 18M05; 18M15

Journal ref: J. of Pure and Applied Algebra, 225 (2021) 106678

3-Dimensional TQFTs From Non-Semisimple Modular Categories

Authors: Marco De Renzi, Azat M. Gainutdinov, Nathan Geer, Bertrand Patureau-Mirand, Ingo Runkel

Abstract: We use modified traces to renormalize Lyubashenko's closed 3-manifold invariants coming from twist non-degenerate finite unimodular ribbon categories. Our construction produces new topological invariants which we upgrade to 2+1-TQFTs under the additional assumption of factorizability. The resulting functors provide monoidal extensions of Lyubashenko's mapping class group representations, as discus… ▽ More We use modified traces to renormalize Lyubashenko's closed 3-manifold invariants coming from twist non-degenerate finite unimodular ribbon categories. Our construction produces new topological invariants which we upgrade to 2+1-TQFTs under the additional assumption of factorizability. The resulting functors provide monoidal extensions of Lyubashenko's mapping class group representations, as discussed in arXiv:2010.14852. This general framework encompasses important examples of non-semisimple modular categories coming from the representation theory of quasi-Hopf algebras, which were left out of previous non-semisimple TQFT constructions. △ Less

Submitted 12 November, 2021; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: 49 pages; v3: added pictures and references

Journal ref: Selecta Math. (N.S.) 28 (2022), 42

Davydov-Yetter cohomology, comonads and Ocneanu rigidity

Authors: Azat M. Gainutdinov, Jonas Haferkamp, Christoph Schweigert

Abstract: Davydov-Yetter cohomology classifies infinitesimal deformations of tensor categories and of tensor functors. Our first result is that Davydov-Yetter cohomology for finite tensor categories is equivalent to the cohomology of a comonad arising from the central Hopf monad. This has several applications: First, we obtain a short and conceptual proof of Ocneanu rigidity. Second, it allows to use standa… ▽ More Davydov-Yetter cohomology classifies infinitesimal deformations of tensor categories and of tensor functors. Our first result is that Davydov-Yetter cohomology for finite tensor categories is equivalent to the cohomology of a comonad arising from the central Hopf monad. This has several applications: First, we obtain a short and conceptual proof of Ocneanu rigidity. Second, it allows to use standard methods from comonad cohomology theory to compute Davydov-Yetter cohomology for a family of non-semisimple finite-dimensional Hopf algebras generalizing Sweedler's four dimensional Hopf algebra. △ Less

Submitted 26 December, 2022; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 45 pages; v2: typos fixed, proof of Cor. 4.8 added, the version for publication in Advances in Mathematics

Report number: Hamburger Beitrage zur Mathematik 805, ZMP-HH/19-19

Journal ref: Advances in Mathematics, Volume 414, 2023, Article 108853

Modified traces for quasi-Hopf algebras

Authors: Johannes Berger, Azat M. Gainutdinov, Ingo Runkel

Abstract: Let H be a finite-dimensional unimodular pivotal quasi-Hopf algebra over a field k, and let H-mod be the pivotal tensor category of finite-dimensional H-modules. We give a bijection between left (resp. right) modified traces on the tensor ideal H-pmod of projective modules and left (resp. right) cointegrals for H. The non-zero left/right modified traces are non-degenerate, and we show that non-deg… ▽ More Let H be a finite-dimensional unimodular pivotal quasi-Hopf algebra over a field k, and let H-mod be the pivotal tensor category of finite-dimensional H-modules. We give a bijection between left (resp. right) modified traces on the tensor ideal H-pmod of projective modules and left (resp. right) cointegrals for H. The non-zero left/right modified traces are non-degenerate, and we show that non-degenerate left/right modified traces can only exist for unimodular H. This generalises results of Beliakova, Blanchet, and Gainutdinov from Hopf algebras to quasi-Hopf algebras. As an example we compute cointegrals and modified traces for the family of symplectic fermion quasi-Hopf algebras. △ Less

Submitted 11 December, 2019; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: 21 pages; generalized Lemma 3.7 to the non-unimodular setting

Journal ref: J. Algebra 548 (2020) 96-119

Combinatorial Quantisation of GL(1|1) Chern-Simons Theory I: The Torus

Authors: N. Aghaei, A. M. Gainutdinov, M. Pawelkiewicz, V. Schomerus

Abstract: Chern-Simons Theories with gauge super-groups appear naturally in string theory and they possess interesting applications in mathematics, e.g. for the construction of knot and link invariants. This paper is the first in a series where we propose a new quantisation scheme for such super-group Chern-Simons theories on 3-manifolds of the form $Σ\times \mathbb{R}$. It is based on a simplicial decompos… ▽ More Chern-Simons Theories with gauge super-groups appear naturally in string theory and they possess interesting applications in mathematics, e.g. for the construction of knot and link invariants. This paper is the first in a series where we propose a new quantisation scheme for such super-group Chern-Simons theories on 3-manifolds of the form $Σ\times \mathbb{R}$. It is based on a simplicial decomposition of an n-punctured Riemann surface $Σ=Σ_{g,n}$ of genus g and allows to construct observables of the quantum theory for any g and n from basic building blocks, most importantly the so-called monodromy algebra. In this paper we restrict to the torus case, i.e. we assume that $Σ= T^2$, and to the gauge super-group G=GL(1|1). We construct the corresponding space of quantum states for the integer level k Chern-Simons theory along with an explicit representation of the modular group SL(2,Z) on these states. The latter is shown to be equivalent to the Lyubachenko-Majid action on the centre of a restricted version of the quantised universal enveloping algebra of the Lie super-algebra gl(1|1) at the primitive k-th root of unity. △ Less

Submitted 22 November, 2018; originally announced November 2018.

Comments: 46 pages

Report number: DESY 18-203, ZMP-HH/18-19, Hamburger Beitrage zur Mathematik 750

Topological defects in lattice models and affine Temperley-Lieb algebra

Authors: J. Belletête, A. M. Gainutdinov, J. L. Jacobsen, H. Saleur, T. S. Tavares

Abstract: This paper is the first in a series where we attempt to define defects in critical lattice models that give rise to conformal field theory topological defects in the continuum limit. We focus mostly on models based on the Temperley-Lieb algebra, with future applications to restricted solid-on-solid (also called anyonic chains) models, as well as non-unitary models like percolation or self-avoiding… ▽ More This paper is the first in a series where we attempt to define defects in critical lattice models that give rise to conformal field theory topological defects in the continuum limit. We focus mostly on models based on the Temperley-Lieb algebra, with future applications to restricted solid-on-solid (also called anyonic chains) models, as well as non-unitary models like percolation or self-avoiding walks. Our approach is essentially algebraic and focusses on the defects from two points of view: the "crossed channel" where the defect is seen as an operator acting on the Hilbert space of the models, and the "direct channel" where it corresponds to a modification of the basic Hamiltonian with some sort of impurity. Algebraic characterizations and constructions are proposed in both points of view. In the crossed channel, this leads us to new results about the center of the affine Temperley-Lieb algebra; in particular we find there a special basis with non-negative integer structure constants that are interpreted as fusion rules of defects. In the direct channel, meanwhile, this leads to the introduction of fusion products and fusion quotients, with interesting algebraic properties that allow to describe representations content of the lattice model with a defect, and to describe its spectrum. △ Less

Submitted 15 August, 2023; v1 submitted 6 November, 2018; originally announced November 2018.

Comments: 51 pages, v2: much improved version with few sections rewritten, new result in Theorem 2.1, many typos fixed; v3: published version, new proof of Thm 2.1

Journal ref: Commun. Math. Phys. 400, 1203-1254 (2023)

Modularization of small quantum groups

Authors: Azat M. Gainutdinov, Simon Lentner, Tobias Ohrmann

Abstract: We construct a large family of ribbon quasi-Hopf algebras related to small quantum groups, with a factorizable R-matrix. Our main purpose is to obtain non-semisimple modular tensor categories for quantum groups at even roots of unity, where typically the initial representation category is not even braided. Our quasi-Hopf algebras are built from modules over the twisted Drinfeld double via a univer… ▽ More We construct a large family of ribbon quasi-Hopf algebras related to small quantum groups, with a factorizable R-matrix. Our main purpose is to obtain non-semisimple modular tensor categories for quantum groups at even roots of unity, where typically the initial representation category is not even braided. Our quasi-Hopf algebras are built from modules over the twisted Drinfeld double via a universal construction, but we also work out explicit generators and relations, and we prove that these algebras are modularizations of the quantum group extensions with R-matrices listed in [LO17]. As an application, we find one distinguished factorizable quasi-Hopf algebra for any finite root system and any root of unity of even order (resp. divisible by 4 or 6, depending on the root length). Under the same divisibility condition on a rescaled root lattice, a corresponding lattice Vertex-Operator Algebra contains a VOA W defined as the kernel of screening operators. We then conjecture that W representation categories are braided equivalent to the representation categories of the distinguished factorizable quasi-Hopf algebras. For A_1 root system, our construction specializes to the quasi-Hopf algebras in [GR17b, CGR17], where the answer is affirmative, similiary for B_n at fourth root of unity in [FGR17b, FL17]. △ Less

Submitted 10 September, 2018; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: 64 pages; v2: Acknowledgments and Example 7.4 completed

Module traces and Hopf group-coalgebras

Authors: Andres F. Fontalvo Orozco, Azat M. Gainutdinov

Abstract: Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module tr… ▽ More Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module trace for a given k-linear module category M over a pivotal category C equipped with a module endofunctor. We provide a non-trivial class of examples of such module traces. In particular, we show that any finite-dimensional pivotal Hopf k-algebra, not necessarily unimodular, admits a non-degenerate module trace on its projective tensor ideal. We also extend this result to pivotal Hopf group-coalgebras of finite type, and we give explicit calculations for the family of Taft Hopf algebras and non-restricted Borel quantum groups at roots of unity. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Comments: 36 pages

Report number: Hamburger Beitrage zur Mathematik 747, ZMP-HH/18-17

Modified trace is a symmetrised integral

Authors: Anna Beliakova, Christian Blanchet, Azat M. Gainutdinov

Abstract: A modified trace for a finite k-linear pivotal category is a family of linear forms on endomorphism spaces of projective objects which has cyclicity and so-called partial trace properties. We show that a non-degenerate modified trace defines a compatible with duality Calabi-Yau structure on the subcategory of projective objects. The modified trace provides a meaningful generalisation of the catego… ▽ More A modified trace for a finite k-linear pivotal category is a family of linear forms on endomorphism spaces of projective objects which has cyclicity and so-called partial trace properties. We show that a non-degenerate modified trace defines a compatible with duality Calabi-Yau structure on the subcategory of projective objects. The modified trace provides a meaningful generalisation of the categorical trace to non-semisimple categories and allows to construct interesting topological invariants. We prove, that for any finite-dimensional unimodular pivotal Hopf algebra over a field k, a modified trace is determined by a symmetric linear form on the Hopf algebra constructed from an integral. More precisely, we prove that shifting with the pivotal element defines an isomorphism between the space of right integrals, which is known to be 1-dimensional, and the space of modified traces. This result allows us to compute modified traces for all simply laced restricted quantum groups at roots of unity. △ Less

Submitted 30 October, 2020; v1 submitted 31 December, 2017; originally announced January 2018.

Comments: 47 pages, v2: Sec 5 shortened, typos fixed and few references added and updated

Report number: ZMP-HH/18-2, Hamburger Beitrage zur Mathematik 718

Journal ref: Selecta Mathematica (2021) 27:31

A quasi-Hopf algebra for the triplet vertex operator algebra

Authors: Thomas Creutzig, Azat M. Gainutdinov, Ingo Runkel

Abstract: We give a new factorisable ribbon quasi-Hopf algebra U, whose underlying algebra is that of the restricted quantum group for sl(2) at a 2p'th root of unity. The representation category of U is conjecturally ribbon-equivalent to that of the triplet vertex operator algebra W(p). We obtain U via a simple current extension from the unrolled restricted quantum group at the same root of unity. The repre… ▽ More We give a new factorisable ribbon quasi-Hopf algebra U, whose underlying algebra is that of the restricted quantum group for sl(2) at a 2p'th root of unity. The representation category of U is conjecturally ribbon-equivalent to that of the triplet vertex operator algebra W(p). We obtain U via a simple current extension from the unrolled restricted quantum group at the same root of unity. The representation category of the unrolled quantum group is conjecturally equivalent to that of the singlet vertex operator algebra M(p), and our construction is parallel to extending M(p) to W(p). We illustrate the procedure in the simpler example of passing from the Hopf algebra for the group algebra CZ to a quasi-Hopf algebra for CZ_{2p}, which corresponds to passing from the Heisenberg vertex operator algebra to a lattice extension. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Comments: 71pp

Report number: ZMP-HH/17-22, Hamburger Beitrage zur Mathematik 669

Journal ref: Communications in Contemporary Mathematics 2019

A fusion for the periodic Temperley-Lieb algebra and its continuum limit

Authors: Azat M. Gainutdinov, Jesper L. Jacobsen, Hubert Saleur

Abstract: The equivalent of fusion in boundary conformal field theory (CFT) can be realized quite simply in the context of lattice models by essentially glueing two open spin chains. This has led to many developments, in particular in the context of chiral logarithmic CFT. We consider in this paper a possible generalization of the idea to the case of bulk conformal field theory. This is of course considerab… ▽ More The equivalent of fusion in boundary conformal field theory (CFT) can be realized quite simply in the context of lattice models by essentially glueing two open spin chains. This has led to many developments, in particular in the context of chiral logarithmic CFT. We consider in this paper a possible generalization of the idea to the case of bulk conformal field theory. This is of course considerably more difficult, since there is no obvious way of merging two closed spin chains into a big one. In an earlier paper, two of us had proposed a "topological" way of performing this operation in the case of models based on the affine Temperley-Lieb (ATL) algebra, by exploiting the associated braid group representation and skein relations. In the present work, we establish - using, in particular, Frobenius reciprocity - the resulting fusion rules for standard modules of ATL in the generic as well as partially degenerate cases. These fusion rules have a simple interpretation in the continuum limit. However, unlike in the chiral case this interpretation does not match the usual fusion in non-chiral CFTs. Rather, it corresponds to the glueing of the right moving component of one conformal field with the left moving component of the other. △ Less

Submitted 10 September, 2018; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: 40pp, v2: Acknowledgments added, v3: typos fixed and few explanations added, for a version in JHEP

Report number: ZMP-HH/18-1, Hamburger Beitrage zur Mathematik 717

Journal ref: J. High Energ. Phys. (2018) 2018:117

The symplectic fermion ribbon quasi-Hopf algebra and the SL(2,Z)-action on its centre

Authors: Vanda Farsad, Azat M. Gainutdinov, Ingo Runkel

Abstract: We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal block… ▽ More We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal blocks of the corresponding logarithmic conformal field theory. The latter category in turn is conjecturally ribbon equivalent to representations of $V_{ev}$, the even part of the symplectic fermion vertex operator super algebra. Using the formalism developed in our previous paper we compute the projective $SL(2,\mathbb{Z})$-action on the centre of $Q(N)$ as obtained from Lyubashenko's general theory of mapping class group actions for factorisable finite ribbon categories. This allows us to test a conjectural non-semisimple version of the modular Verlinde formula: we verify that the $SL(2,\mathbb{Z})$-action computed from $Q(N)$ agrees projectively with that on pseudo trace functions of $V_{ev}$. △ Less

Submitted 28 January, 2022; v1 submitted 25 June, 2017; originally announced June 2017.

Comments: 81pp; v3: extended introduction; new Remark 5.4 about decomposition of SL(2,Z) representations; new Remarks 6.2 and 6.7 on pseudo-trace functions; typos fixed, references updated; version for publication in Advances in Mathematics

Report number: ZMP-HH/17-21, Hamburger Beitrage zur Mathematik 668

Journal ref: Advances in Math. 400 (2022) 108247

On the correspondence between boundary and bulk lattice models and (logarithmic) conformal field theories

Authors: Jonathan Belletête, Azat M. Gainutdinov, Jesper L. Jacobsen, Hubert Saleur, Romain Vasseur

Abstract: The relationship between bulk and boundary properties is one of the founding features of (Rational) Conformal Field Theory. Our goal in this paper is to explore the possibility of having an equivalent relationship in the context of lattice models. We focus on models based on the Temperley-Lieb algebra, and use the concept of braid translation, which is a natural way to close an open spin chain by… ▽ More The relationship between bulk and boundary properties is one of the founding features of (Rational) Conformal Field Theory. Our goal in this paper is to explore the possibility of having an equivalent relationship in the context of lattice models. We focus on models based on the Temperley-Lieb algebra, and use the concept of braid translation, which is a natural way to close an open spin chain by adding an interaction between the first and last spins using braiding to bring them next to each other. The interaction thus obtained is in general non-local, but has the key feature that it is expressed solely in terms of the algebra for the open spin chain - the ordinary Temperley-Lieb algebra and its blob algebra generalization. This is in contrast with the usual periodic spin chains which involve only local interactions, and are described by the periodic TL algebra. We show that for the Restricted Solid-On-Solid models, which are known to be described by minimal unitary CFTs in the continuum limit, the braid translation in fact does provide the ordinary periodic model starting from the open model with fixed boundary conditions on the two sides of the strip. This statement has a precise mathematical formulation, which is a pull-back map between irreducible modules of, respectively, the blob algebra and the affine TL algebra. We then turn to the same kind of analysis for two models whose continuum limits are Logarithmic CFTs - the alternating gl(1|1) and sl(2|1) spin chains. We find that the result for minimal models does not hold any longer: braid translation of the relevant TL modules does not give rise to the modules known to be present in the periodic chains. In the gl(1|1) case, the content in terms of the irreducibles is the same, as well as the spectrum, but the detailed structure (like logarithmic coupling) is profoundly different. This carries over to the continuum limit. △ Less

Submitted 18 September, 2017; v1 submitted 22 May, 2017; originally announced May 2017.

Comments: v2: 63 pp, few typos fixed, the final version in a special issue of J Phys A

Report number: LPTENS/17/11, ZMP-HH/17-16, Hamburger Beitrage zur Mathematik 659

Journal ref: J. Phys A: Math. Theor. 50 (2017) 484002

Projective objects and the modified trace in factorisable finite tensor categories

Authors: Azat M. Gainutdinov, Ingo Runkel

Abstract: For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective object… ▽ More For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective objects can be diagonalised; 4) the linearised Grothendieck ring of C is semisimple iff C is semisimple. Results 1-3 remain true in positive characteristic under an extra assumption. Result 1 implies that the tensor ideal of projective objects in C carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of S-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of projective objects which uses only the modular S-transformation restricted to internal characters of projective objects. We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there. △ Less

Submitted 16 November, 2019; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 61 pages, v2: minor changes + references updated

Report number: ZMP-HH/17-11, Hamburger Beitrage zur Mathematik 651 MSC Class: 18D10; 18G05; 18F30; 17B69

Journal ref: Compositio Math. 156 (2020) 770-821

SL(2,Z)-action for ribbon quasi-Hopf algebras

Authors: Vanda Farsad, Azat M. Gainutdinov, Ingo Runkel

Abstract: We study the universal Hopf algebra L of Majid and Lyubashenko in the case that the underlying ribbon category is the category of representations of a finite dimensional ribbon quasi-Hopf algebra A. We show that L=A* with coadjoint action and compute the Hopf algebra structure morphisms of L in terms of the defining data of A. We give explicitly the condition on A which makes Rep(A) factorisable a… ▽ More We study the universal Hopf algebra L of Majid and Lyubashenko in the case that the underlying ribbon category is the category of representations of a finite dimensional ribbon quasi-Hopf algebra A. We show that L=A* with coadjoint action and compute the Hopf algebra structure morphisms of L in terms of the defining data of A. We give explicitly the condition on A which makes Rep(A) factorisable and compute Lyubashenko's projective SL(2,Z)-action on the centre of A in this case. The point of this exercise is to provide the groundwork for the applications to ribbon categories arising in logarithmic conformal field theories - in particular symplectic fermions and W_p-models - and to test a conjectural non-semisimple Verlinde formula. △ Less

Submitted 10 April, 2018; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 62 pages; v2: corrected inaccuracies in section 4.4 and proposition 5.3, references changed, v3: minor changes, inaccuracies in Prop 4.5, Cor 5.5 fixed, improvements in Sec 7.6 and Rem 7.10, refs updated

Report number: ZMP-HH/17-10, Hamburger Beitrage zur Mathematik 650

Journal ref: Journal of Algebra 522 (2019) 243-308

Cyclic tridiagonal pairs, higher order Onsager algebras and orthogonal polynomials

Authors: P. Baseilhac, A. M. Gainutdinov, T. T. Vu

Abstract: The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair generalize the ones of tridiagonal pairs of Racah type. The algebra generated by the pair of divided polynomials is identified as a higher-order generalization of th… ▽ More The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair generalize the ones of tridiagonal pairs of Racah type. The algebra generated by the pair of divided polynomials is identified as a higher-order generalization of the Onsager algebra. It can be viewed as a subalgebra of the q-Onsager algebra for a proper specialization at q the primitive 2Nth root of unity. Orthogonal polynomials beyond the Leonard duality are revisited in light of this framework. In particular, certain second-order Dunkl shift operators provide a realization of the divided polynomials at N=2 or q=i. △ Less

Submitted 5 February, 2017; v1 submitted 3 July, 2016; originally announced July 2016.

Comments: 32 pages; v2: Appendices improved and extended, e.g. a proof of irreducibility is added; v3: version for Linear Algebra and its Applications, one assumption added in Appendix about eq. (A.2)

Report number: ZMP-HH/16-10

Journal ref: Linear Algebra and its Applications 522 (2017) 71-110

Fusion and braiding in finite and affine Temperley-Lieb categories

Authors: A. M. Gainutdinov, H. Saleur

Abstract: 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 categorie… ▽ More 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, with terms labeled by $N\in\mathbb{N}$. The corresponding direct-limit category is our main object of studies. For the case of the finite TL algebras, we prove that the direct-limit category is abelian and highest-weight at any $q$ and endowed with braided monoidal structure. The most interesting result is when $q$ is a root of unity where the representation theory is non-semisimple. The resulting braided monoidal categories we obtain at different roots of unity are new and interestingly they are not rigid. We observe then a fundamental relation of these categories to a certain representation category of the Virasoro algebra and give a conjecture on the existence of a braided monoidal equivalence between the categories. This should have powerful applications to the study of the `continuum' limit of critical statistical mechanics systems based on the TL algebra. We also introduce a novel class of embeddings for the affine Temperley-Lieb algebras and related new concept of fusion or bilinear $\mathbb{N}$-graded tensor product of modules for these algebras. We prove that the fusion rules are stable with the index $N$ of the tower and prove that the corresponding direct-limit category is endowed with an associative tensor product. We also study the braiding properties of this affine TL fusion. △ Less

Submitted 14 June, 2016; originally announced June 2016.

Comments: 50pp

Report number: ZMP-HH/16-12, Hamburger Beitrage zur Mathematik 596

The non-semisimple Verlinde formula and pseudo-trace functions

Authors: A. M. Gainutdinov, I. Runkel

Abstract: We point out that results of Shimizu on internal characters imply a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. When combined with results on pseudo-trace functions by Miyamoto and Arike-Nagatomo, one can make a precise conjecture for a non-semisimple modular Verlinde formula which relates modular properties of pseudo-trace functions… ▽ More We point out that results of Shimizu on internal characters imply a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. When combined with results on pseudo-trace functions by Miyamoto and Arike-Nagatomo, one can make a precise conjecture for a non-semisimple modular Verlinde formula which relates modular properties of pseudo-trace functions and the product in the Grothendieck ring of the corresponding vertex operator algebra. △ Less

Submitted 2 July, 2017; v1 submitted 14 May, 2016; originally announced May 2016.

Comments: 37 pages

Report number: ZMP-HH/16-8; Hamburger Beitrage zur Mathematik 593

Journal ref: J. of Pure and Applied Algebra 223 (2019) 660-690

Algebraic Bethe ansatz for the quantum group invariant open XXZ chain at roots of unity

Authors: Azat M. Gainutdinov, Rafael I. Nepomechie

Abstract: For generic values of q, all the eigenvectors of the transfer matrix of the U_q sl(2)-invariant open spin-1/2 XXZ chain with finite length N can be constructed using the algebraic Bethe ansatz (ABA) formalism of Sklyanin. However, when q is a root of unity (q=exp(i pi/p) with integer p>1), the Bethe equations acquire continuous solutions, and the transfer matrix develops Jordan cells. Hence, there… ▽ More For generic values of q, all the eigenvectors of the transfer matrix of the U_q sl(2)-invariant open spin-1/2 XXZ chain with finite length N can be constructed using the algebraic Bethe ansatz (ABA) formalism of Sklyanin. However, when q is a root of unity (q=exp(i pi/p) with integer p>1), the Bethe equations acquire continuous solutions, and the transfer matrix develops Jordan cells. Hence, there appear eigenvectors of two new types: eigenvectors corresponding to continuous solutions (exact complete p-strings), and generalized eigenvectors. We propose general ABA constructions for these two new types of eigenvectors. We present many explicit examples, and we construct complete sets of (generalized) eigenvectors for various values of p and N. △ Less

Submitted 20 June, 2016; v1 submitted 30 March, 2016; originally announced March 2016.

Comments: 50pp, 2 figures, v2: few typos are fixed, Nucl. Phys. B (2016)

Report number: UMTG-283

Journal ref: Nucl. Phys. B 909 (2016) 796-839

Counting solutions of the Bethe equations of the quantum group invariant open XXZ chain at roots of unity

Authors: Azat M. Gainutdinov, Wenrui Hao, Rafael I. Nepomechie, Andrew J. Sommese

Abstract: We consider the sl(2)_q-invariant open spin-1/2 XXZ quantum spin chain of finite length N. For the case that q is a root of unity, we propose a formula for the number of admissible solutions of the Bethe ansatz equations in terms of dimensions of irreducible representations of the Temperley-Lieb algebra; and a formula for the degeneracies of the transfer matrix eigenvalues in terms of dimensions o… ▽ More We consider the sl(2)_q-invariant open spin-1/2 XXZ quantum spin chain of finite length N. For the case that q is a root of unity, we propose a formula for the number of admissible solutions of the Bethe ansatz equations in terms of dimensions of irreducible representations of the Temperley-Lieb algebra; and a formula for the degeneracies of the transfer matrix eigenvalues in terms of dimensions of tilting sl(2)_q-modules. These formulas include corrections that appear if two or more tilting modules are spectrum-degenerate. For the XX case (q=exp(i pi/2)), we give explicit formulas for the number of admissible solutions and degeneracies. We also consider the cases of generic q and the isotropic (q->1) limit. Numerical solutions of the Bethe equations up to N=8 are presented. Our results are consistent with the Bethe ansatz solution being complete. △ Less

Submitted 9 July, 2015; v1 submitted 8 May, 2015; originally announced May 2015.

Comments: 34 pages; v2: reference added; v3: two more references added and minor corrections

Report number: UMTG-282

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 494003

Symplectic fermions and a quasi-Hopf algebra structure on $\bar{U}_i sl(2)$

Authors: A. M. Gainutdinov, I. Runkel

Abstract: We consider the (finite-dimensional) small quantum group $\bar{U}_q sl(2)$ at $q=i$. We show that $\bar{U}_i sl(2)$ does not allow for an R-matrix, even though $U \otimes V \cong V \otimes U$ holds for all finite-dimensional representations $U,V$ of $\bar{U}_i sl(2)$. We then give an explicit coassociator $Φ$ and an R-matrix $R$ such that $\bar{U}_i sl(2)$ becomes a quasi-triangular quasi-Hopf alg… ▽ More We consider the (finite-dimensional) small quantum group $\bar{U}_q sl(2)$ at $q=i$. We show that $\bar{U}_i sl(2)$ does not allow for an R-matrix, even though $U \otimes V \cong V \otimes U$ holds for all finite-dimensional representations $U,V$ of $\bar{U}_i sl(2)$. We then give an explicit coassociator $Φ$ and an R-matrix $R$ such that $\bar{U}_i sl(2)$ becomes a quasi-triangular quasi-Hopf algebra. Our construction is motivated by the two-dimensional chiral conformal field theory of symplectic fermions with central charge $c=-2$. There, a braided monoidal category, $\mathcal{SF}$, has been computed from the factorisation and monodromy properties of conformal blocks, and we prove that $\mathrm{Rep}\,(\bar{U}_i sl(2),Φ,R)$ is braided monoidally equivalent to $\mathcal{SF}$. △ Less

Submitted 18 January, 2017; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: 40pp, 11 figures; v2: few very minor corrections for the final version in Journal of Algebra

Journal ref: J. Algebra 476 (2017) 415-458

The periodic sl(2|1) alternating spin chain and its continuum limit as a bulk Logarithmic Conformal Field Theory at c=0

Authors: A. M. Gainutdinov, N. Read, H. Saleur, R. Vasseur

Abstract: The periodic sl(2|1) alternating spin chain encodes (some of) the properties of hulls of percolation clusters, and is described in the continuum limit by a logarithmic conformal field theory (LCFT) at central charge c=0. This theory corresponds to the strong coupling regime of a sigma model on the complex projective superspace… ▽ More The periodic sl(2|1) alternating spin chain encodes (some of) the properties of hulls of percolation clusters, and is described in the continuum limit by a logarithmic conformal field theory (LCFT) at central charge c=0. This theory corresponds to the strong coupling regime of a sigma model on the complex projective superspace $\mathbb{CP}^{1|1} = \mathrm{U}(2|1) / (\mathrm{U}(1) \times \mathrm{U}(1|1))$, and the spectrum of critical exponents can be obtained exactly. In this paper we push the analysis further, and determine the main representation theoretic (logarithmic) features of this continuum limit by extending to the periodic case the approach of [N. Read and H. Saleur, Nucl. Phys. B 777 316 (2007)]. We first focus on determining the representation theory of the finite size spin chain with respect to the algebra of local energy densities provided by a representation of the affine Temperley-Lieb algebra at fugacity one. We then analyze how these algebraic properties carry over to the continuum limit to deduce the structure of the space of states as a representation over the product of left and right Virasoro algebras. Our main result is the full structure of the vacuum module of the theory, which exhibits Jordan cells of arbitrary rank for the Hamiltonian. △ Less

Submitted 15 December, 2014; v1 submitted 30 August, 2014; originally announced September 2014.

Comments: 69pp, 8 figs

Report number: ZMP-HH/14-22

Journal ref: Journal of High Energy Physics, Volume 2015, Issue 5, 114

Lattice W-algebras and logarithmic CFTs

Authors: A. M. Gainutdinov, H. Saleur, I. Yu. Tipunin

Abstract: This paper is part of an effort to gain further understanding of 2D Logarithmic Conformal Field Theories (LCFTs) by exploring their lattice regularizations. While all work so far has dealt with the Virasoro algebra (or the product of left and right Virasoro), the best known (although maybe not the most relevant physically) LCFTs in the continuum are characterized by a W-algebra symmetry, whose pre… ▽ More This paper is part of an effort to gain further understanding of 2D Logarithmic Conformal Field Theories (LCFTs) by exploring their lattice regularizations. While all work so far has dealt with the Virasoro algebra (or the product of left and right Virasoro), the best known (although maybe not the most relevant physically) LCFTs in the continuum are characterized by a W-algebra symmetry, whose presence is powerful, but difficult to understand physically. We explore here the origin of this symmetry in the underlying lattice models. We consider U_q sl(2) XXZ spin chains for q a root of unity, and argue that the centralizer of the "small" quantum group goes over the W-algebra in the continuum limit. We justify this identification by representation theoretic arguments, and give, in particular, lattice versions of the W-algebra generators. In the case q=i, which corresponds to symplectic fermions at central charge c=-2, we provide a full analysis of the scaling limit of the lattice Virasoro and W generators, and show in details how the corresponding continuum Virasoro and W-algebras are obtained. Striking similarities between the lattice W algebra and the Onsager algebra are observed in this case. △ Less

Submitted 23 September, 2014; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: 45pp., one fig, v3: many comments and few refs added, misprints corrected

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 495401

A physical approach to the classification of indecomposable Virasoro representations from the blob algebra

Authors: Azat M. Gainutdinov, Jesper Lykke Jacobsen, Hubert Saleur, Romain Vasseur

Abstract: In the context of Conformal Field Theory (CFT), many results can be obtained from the representation theory of the Virasoro algebra. While the interest in Logarithmic CFTs has been growing recently, the Virasoro representations corresponding to these quantum field theories remain dauntingly complicated, thus hindering our understanding of various critical phenomena. We extend in this paper the con… ▽ More In the context of Conformal Field Theory (CFT), many results can be obtained from the representation theory of the Virasoro algebra. While the interest in Logarithmic CFTs has been growing recently, the Virasoro representations corresponding to these quantum field theories remain dauntingly complicated, thus hindering our understanding of various critical phenomena. We extend in this paper the construction of Read and Saleur (2007), and uncover a deep relationship between the Virasoro algebra and a finite-dimensional algebra characterizing the properties of two-dimensional statistical models, the so-called blob algebra (a proper extension of the Temperley--Lieb algebra). This allows us to explore vast classes of Virasoro representations (projective, tilting, generalized staggered modules, etc.), and to conjecture a classification of all possible indecomposable Virasoro modules (with, in particular, L_0 Jordan cells of arbitrary rank) that may appear in a consistent physical Logarithmic CFT where Virasoro is the maximal local chiral algebra. As by-products, we solve and analyze algebraically quantum-group symmetric XXZ spin chains and sl(2|1) supersymmetric spin chains with extra spins at the boundary, together with the "mirror" spin chain introduced by Martin and Woodcock (2004). △ Less

Submitted 23 March, 2013; v1 submitted 1 December, 2012; originally announced December 2012.

Comments: 65 pages, 19 figures. New appendix

Journal ref: Nuclear Physics B 873 (3), 614--681 (2013)

Associative algebraic approach to logarithmic CFT in the bulk: the continuum limit of the gl(1|1) periodic spin chain, Howe duality and the interchiral algebra

Authors: A. M. Gainutdinov, N. Read, H. Saleur

Abstract: We develop in this paper the principles of an associative algebraic approach to bulk logarithmic conformal field theories (LCFTs). We concentrate on the closed $gl(1|1)$ spin-chain and its continuum limit - the $c=-2$ symplectic fermions theory - and rely on two technical companion papers, "Continuum limit and symmetries of the periodic gl(1|1) spin chain" [Nucl. Phys. B 871 (2013) 245-288] and "B… ▽ More We develop in this paper the principles of an associative algebraic approach to bulk logarithmic conformal field theories (LCFTs). We concentrate on the closed $gl(1|1)$ spin-chain and its continuum limit - the $c=-2$ symplectic fermions theory - and rely on two technical companion papers, "Continuum limit and symmetries of the periodic gl(1|1) spin chain" [Nucl. Phys. B 871 (2013) 245-288] and "Bimodule structure in the periodic gl(1|1) spin chain" [Nucl. Phys. B 871 (2013) 289-329]. Our main result is that the algebra of local Hamiltonians, the Jones-Temperley-Lieb algebra JTL_N, goes over in the continuum limit to a bigger algebra than the product of the left and right Virasoro algebras. This algebra, S - which we call interchiral, mixes the left and right moving sectors, and is generated, in the symplectic fermions case, by the additional field $S(z,\bar{z})=S_{ab}ψ^a(z)\barψ^b(\bar{z})$, with a symmetric form $S_{ab}$ and conformal weights (1,1). We discuss in details how the Hilbert space of the LCFT decomposes onto representations of this algebra, and how this decomposition is related with properties of the finite spin-chain. We show that there is a complete correspondence between algebraic properties of finite periodic spin chains and the continuum limit. An important technical aspect of our analysis involves the fundamental new observation that the action of JTL_N in the $gl(1|1)$ spin chain is in fact isomorphic to an enveloping algebra of a certain Lie algebra, itself a non semi-simple version of $sp(N-2)$. The semi-simple part of JTL_N is represented by $Usp(N-2)$, providing a beautiful example of a classical Howe duality, for which we have a non semi-simple version in the full JTL image represented in the spin-chain. On the continuum side, simple modules over the interchiral algebra S are identified with "fundamental" representations of $sp(\infty)$. △ Less

Submitted 30 September, 2014; v1 submitted 26 July, 2012; originally announced July 2012.

Comments: 69 pp., 10 figs, v2: the paper has been substantially modified - new proofs, new refs, new App C with inductive limits construction, etc

Journal ref: Communications in Mathematical Physics, 2016, Volume 341, Issue 1, pp 35-103

Lattice fusion rules and logarithmic operator product expansions

Authors: A. M. Gainutdinov, R. Vasseur

Abstract: The interest in Logarithmic Conformal Field Theories (LCFTs) has been growing over the last few years thanks to recent developments coming from various approaches. A particularly fruitful point of view consists in considering lattice models as regularizations for such quantum field theories. The indecomposability then encountered in the representation theory of the corresponding finite-dimensional… ▽ More The interest in Logarithmic Conformal Field Theories (LCFTs) has been growing over the last few years thanks to recent developments coming from various approaches. A particularly fruitful point of view consists in considering lattice models as regularizations for such quantum field theories. The indecomposability then encountered in the representation theory of the corresponding finite-dimensional associative algebras exactly mimics the Virasoro indecomposable modules expected to arise in the continuum limit. In this paper, we study in detail the so-called Temperley-Lieb (TL) fusion functor introduced in physics by Read and Saleur [Nucl. Phys. B 777, 316 (2007)]. Using quantum group results, we provide rigorous calculations of the fusion of various TL modules. Our results are illustrated by many explicit examples relevant for physics. We discuss how indecomposability arises in the "lattice" fusion and compare the mechanisms involved with similar observations in the corresponding field theory. We also discuss the physical meaning of our lattice fusion rules in terms of indecomposable operator-product expansions of quantum fields. △ Less

Submitted 9 January, 2013; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: 54pp, many comments added

Journal ref: Nucl. Phys. B 868, 223-270 (2013)

Bimodule structure in the periodic gl(1|1) spin chain

Authors: A. M. Gainutdinov, N. Read, H. Saleur

Abstract: This paper is second in a series devoted to the study of periodic super-spin chains. In our first paper at 2011, we have studied the symmetry algebra of the periodic gl(1|1) spin chain. In technical terms, this spin chain is built out of the alternating product of the gl(1|1) fundamental representation and its dual. The local energy densities - the nearest neighbor Heisenberg-like couplings - prov… ▽ More This paper is second in a series devoted to the study of periodic super-spin chains. In our first paper at 2011, we have studied the symmetry algebra of the periodic gl(1|1) spin chain. In technical terms, this spin chain is built out of the alternating product of the gl(1|1) fundamental representation and its dual. The local energy densities - the nearest neighbor Heisenberg-like couplings - provide a representation of the Jones Temperley Lieb (JTL) algebra. The symmetry algebra is then the centralizer of JTL, and turns out to be smaller than for the open chain, since it is now only a subalgebra of U_q sl(2) at q=i, dubbed U_q^{odd} sl(2). A crucial step in our associative algebraic approach to bulk logarithmic conformal field theory (LCFT) is then the analysis of the spin chain as a bimodule over U_q^{odd} sl(2) and JTL. While our ultimate goal is to use this bimodule to deduce properties of the LCFT in the continuum limit, its derivation is sufficiently involved to be the sole subject of this paper. We describe representation theory of the centralizer and then use it to find a decomposition of the periodic gl(1|1) spin chain over JTL for any even number N of tensorands and ultimately a corresponding bimodule structure. Applications of our results to the analysis of the bulk LCFT will then be discussed in the third part of this series. △ Less

Submitted 22 February, 2013; v1 submitted 14 December, 2011; originally announced December 2011.

Comments: latex, 42 pp., 13 figures + 5 figures in color, many comments added

Journal ref: Nuclear Physics B 871 [FS] (2013) 289-329

Continuum limit and symmetries of the periodic gl(1|1) spin chain

Authors: A. M. Gainutdinov, N. Read, H. Saleur

Abstract: This paper is the first in a series devoted to the study of logarithmic conformal field theories (LCFT) in the bulk. Building on earlier work in the boundary case, our general strategy consists in analyzing the algebraic properties of lattice regularizations (quantum spin chains) of these theories. In the boundary case, a crucial step was the identification of the space of states as a bimodule ove… ▽ More This paper is the first in a series devoted to the study of logarithmic conformal field theories (LCFT) in the bulk. Building on earlier work in the boundary case, our general strategy consists in analyzing the algebraic properties of lattice regularizations (quantum spin chains) of these theories. In the boundary case, a crucial step was the identification of the space of states as a bimodule over the Temperley Lieb (TL) algebra and the quantum group U_q sl(2). The extension of this analysis in the bulk case involves considerable difficulties, since the U_q sl(2) symmetry is partly lost, while the TL algebra is replaced by a much richer version (the Jones Temperley Lieb - JTL - algebra). Even the simplest case of the gl(1|1) spin chain - corresponding to the c=-2 symplectic fermions theory in the continuum limit - presents very rich aspects, which we will discuss in several papers. In this first work, we focus on the symmetries of the spin chain, that is, the centralizer of the JTL algebra in the alternating tensor product of the gl(1|1) fundamental representation and its dual. We prove that this centralizer is only a subalgebra of U_q sl(2) at q=i that we dub U_q^{odd} sl(2). We then begin the analysis of the continuum limit of the JTL algebra: using general arguments about the regularization of the stress energy-tensor, we identify families of JTL elements going over to the Virasoro generators L_n, \bar{L}_n in the continuum limit. We then discuss the SU(2) symmetry of the (continuum limit) symplectic fermions theory from the lattice and JTL point of view. The analysis of the spin chain as a bimodule over U_q^{odd} sl(2) and JTL is discussed in the second paper of this series. △ Less

Submitted 22 February, 2013; v1 submitted 14 December, 2011; originally announced December 2011.

Comments: 43 pp, few comments added

Journal ref: Nuclear Physics B 871 [FS] (2013) 245-288

Kazhdan-Lusztig equivalence and fusion of Kac modules in Virasoro logarithmic models

Authors: P. V. Bushlanov, A. M. Gainutdinov, I. Yu. Tipunin

Abstract: The subject of our study is the Kazhdan-Lusztig (KL) equivalence in the context of a one-parameter family of logarithmic CFTs based on Virasoro symmetry with the (1,p) central charge. All finite-dimensional indecomposable modules of the KL-dual quantum group - the "full" Lusztig quantum sl(2) at the root of unity - are explicitly described. These are exhausted by projective modules and four series… ▽ More The subject of our study is the Kazhdan-Lusztig (KL) equivalence in the context of a one-parameter family of logarithmic CFTs based on Virasoro symmetry with the (1,p) central charge. All finite-dimensional indecomposable modules of the KL-dual quantum group - the "full" Lusztig quantum sl(2) at the root of unity - are explicitly described. These are exhausted by projective modules and four series of modules that have a functorial correspondence with any quotient or a submodule of Feigin-Fuchs modules over the Virasoro algebra. Our main result includes calculation of tensor products of any pair of the indecomposable modules. Based on the Kazhdan-Lusztig equivalence between quantum groups and vertex-operator algebras, fusion rules of Kac modules over the Virasoro algebra in the (1,p) LCFT models are conjectured. △ Less

Submitted 7 November, 2011; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: 40pp. V2: a new introduction, corrected typos, some explanatory comments added, references added

Journal ref: Nucl. Phys. B 862 (2012) 232-269

Radford, Drinfeld, and Cardy boundary states in (1,p) logarithmic conformal field models

Authors: A. M. Gainutdinov, I. Yu. Tipunin

Abstract: We introduce p-1 pseudocharacters in the space of (1,p) model vacuum torus amplitudes to complete the distinguished basis in the 2p-dimensional fusion algebra to a basis in the whole (3p-1)-dimensional space of torus amplitudes, and the structure constants in this basis are integer numbers. We obtain a generalized Verlinde-formula that gives these structure constants. In the context of theories… ▽ More We introduce p-1 pseudocharacters in the space of (1,p) model vacuum torus amplitudes to complete the distinguished basis in the 2p-dimensional fusion algebra to a basis in the whole (3p-1)-dimensional space of torus amplitudes, and the structure constants in this basis are integer numbers. We obtain a generalized Verlinde-formula that gives these structure constants. In the context of theories with boundaries, we identify the space of vacuum torus amplitudes with the space of Ishibashi states. Then, we propose 3p-1 boundary states satisfying the Cardy condition. △ Less

Submitted 16 February, 2009; v1 submitted 21 November, 2007; originally announced November 2007.

Comments: 32 pages; minor changes, corrected typos

Journal ref: J.Phys.A42:315207,2009

Kazhdan--Lusztig-dual quantum group for logarithmic extensions of Virasoro minimal models

Authors: BL Feigin, AM Gainutdinov, AM Semikhatov, IYu Tipunin

Abstract: We derive and study a quantum group g(p,q) that is Kazhdan--Lusztig-dual to the W-algebra W(p,q) of the logarithmic (p,q) conformal field theory model. The algebra W(p,q) is generated by two currents $W^+(z)$ and $W^-(z)$ of dimension (2p-1)(2q-1), and the energy--momentum tensor T(z). The two currents generate a vertex-operator ideal $R$ with the property that the quotient W(p,q)/R is the verte… ▽ More We derive and study a quantum group g(p,q) that is Kazhdan--Lusztig-dual to the W-algebra W(p,q) of the logarithmic (p,q) conformal field theory model. The algebra W(p,q) is generated by two currents $W^+(z)$ and $W^-(z)$ of dimension (2p-1)(2q-1), and the energy--momentum tensor T(z). The two currents generate a vertex-operator ideal $R$ with the property that the quotient W(p,q)/R is the vertex-operator algebra of the (p,q) Virasoro minimal model. The number (2 p q) of irreducible g(p,q)-representations is the same as the number of irreducible W(p,q)-representations on which $R$ acts nontrivially. We find the center of g(p,q) and show that the modular group representation on it is equivalent to the modular group representation on the W(p,q) characters and ``pseudocharacters.'' The factorization of the g(p,q) ribbon element leads to a factorization of the modular group representation on the center. We also find the g(p,q) Grothendieck ring, which is presumably the ``logarithmic'' fusion of the (p,q) model. △ Less

Submitted 16 January, 2007; v1 submitted 20 June, 2006; originally announced June 2006.

Comments: 52pp., AMSLaTeX++. half a dozen minor inaccuracies (cross-refs etc) corrected

Journal ref: J.Math.Phys.48:032303,2007

Logarithmic extensions of minimal models: characters and modular transformations

Authors: BL Feigin, AM Gainutdinov, AM Semikhatov, IYu Tipunin

Abstract: We study logarithmic conformal field models that extend the (p,q) Virasoro minimal models. For coprime positive integers $p$ and $q$, the model is defined as the kernel of the two minimal-model screening operators. We identify the field content, construct the W-algebra W(p,q) that is the model symmetry (the maximal local algebra in the kernel), describe its irreducible modules, and find their ch… ▽ More We study logarithmic conformal field models that extend the (p,q) Virasoro minimal models. For coprime positive integers $p$ and $q$, the model is defined as the kernel of the two minimal-model screening operators. We identify the field content, construct the W-algebra W(p,q) that is the model symmetry (the maximal local algebra in the kernel), describe its irreducible modules, and find their characters. We then derive the SL(2,Z) representation on the space of torus amplitudes and study its properties. From the action of the screenings, we also identify the quantum group that is Kazhdan--Lusztig-dual to the logarithmic model. △ Less

Submitted 24 September, 2006; v1 submitted 20 June, 2006; originally announced June 2006.

Comments: 43pp., AMSLaTeX++. V3: Some explanatory comments added, notational inaccuracies corrected, references added

Journal ref: Nucl.Phys.B757:303-343,2006

Kazhdan--Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT

Authors: BL Feigin, AM Gainutdinov, AM Semikhatov, IYu Tipunin

Abstract: To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{iπ}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by… ▽ More To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{iπ}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation categories is conjectured for all $p\ge 2$ and proved for p=2, the implications including the identifications of the quantum-group center with the logarithmic conformal field theory center and of the universal R-matrix with the braiding matrix. △ Less

Submitted 3 February, 2006; v1 submitted 28 December, 2005; originally announced December 2005.

Comments: 31 pages, AMSLaTeX, xy, graphicx. V2: minor changes, references added

Journal ref: Theor.Math.Phys. 148 (2006) 1210-1235; Teor.Mat.Fiz. 148 (2006) 398-427

Modular group representations and fusion in logarithmic conformal field theories and in the quantum group center

Authors: BL Feigin, AM Gainutdinov, AM Semikhatov, IYu Tipunin

Abstract: The SL(2,Z) representation $π$ on the center of the restricted quantum group U_{q}sl(2) at the primitive 2p-th root of unity is shown to be equivalent to the SL(2,Z) representation on the extended characters of the logarithmic (1,p) conformal field theory model. The multiplicative Jordan decomposition of the U_{q}sl(2) ribbon element determines the decomposition of $π$ into a ``pointwise'' produ… ▽ More The SL(2,Z) representation $π$ on the center of the restricted quantum group U_{q}sl(2) at the primitive 2p-th root of unity is shown to be equivalent to the SL(2,Z) representation on the extended characters of the logarithmic (1,p) conformal field theory model. The multiplicative Jordan decomposition of the U_{q}sl(2) ribbon element determines the decomposition of $π$ into a ``pointwise'' product of two commuting SL(2,Z) representations, one of which restricts to the Grothendieck ring; this restriction is equivalent to the SL(2,Z) representation on the (1,p)-characters, related to the fusion algebra via a nonsemisimple Verlinde formula. The Grothendieck ring of U_{q}sl(2) at the primitive 2p-th root of unity is shown to coincide with the fusion algebra of the (1,p) logarithmic conformal field theory model. As a by-product, we derive q-binomial identities implied by the fusion algebra realized in the center of~U_{q}sl(2). △ Less

Submitted 5 July, 2006; v1 submitted 11 April, 2005; originally announced April 2005.

Comments: LaTeX, amsart++, xy, 51 pages. V3: minor changes, some factors of $i$ sorted out, a reference added. V4: the very final version, very minor changes

Journal ref: Commun.Math.Phys. 265 (2006) 47-93