Showing papers in "arXiv: Quantum Algebra in 2020"

Deformations and homotopy theory of relative Rota-Baxter Lie algebras

Abstract: We determine the \emph{$L_\infty$-algebra} that controls deformations of a relative Rota-Baxter Lie algebra and show that it is an extension of the dg Lie algebra controlling deformations of the underlying LieRep pair by the dg Lie algebra controlling deformations of the relative Rota-Baxter operator. Consequently, we define the {\em cohomology} of relative Rota-Baxter Lie algebras and relate it to their infinitesimal deformations. A large class of relative Rota-Baxter Lie algebras is obtained from triangular Lie bialgebras and we construct a map between the corresponding deformation complexes. Next, the notion of a \emph{homotopy} relative Rota-Baxter Lie algebra is introduced. We show that a class of homotopy relative Rota-Baxter Lie algebras is intimately related to \emph{pre-Lie$_\infty$-algebras}.

Spectral truncations in noncommutative geometry and operator systems

Abstract: In this paper we extend the traditional framework of noncommutative geometry in order to deal with spectral truncations of geometric spaces (i.e. imposing an ultraviolet cutoff in momentum space) and with tolerance relations which provide a coarse grain approximation of geometric spaces at a finite resolution. In our new approach the traditional role played by $C^*$-algebras is taken over by operator systems. As part of the techniques we treat $C^*$-envelopes, dual operator systems and stable equivalence. We define a propagation number for operator systems, which we show to be an invariant under stable equivalence and use to compare approximations of the same space. We illustrate our methods for concrete examples obtained by spectral truncations of the circle. These are operator systems of finite-dimensional Toeplitz matrices and their dual operator systems which are given by functions in the group algebra on the integers with support in a fixed interval. It turns out that the cones of positive elements and the pure state spaces for these operator systems possess a very rich structure which we analyze including for the algebraic geometry of the boundary of the positive cone and the metric aspect i.e. the distance on the state space associated to the Dirac operator. The main property of the spectral truncation is that it keeps the isometry group intact. In contrast, if one considers the other finite approximation provided by circulant matrices the isometry group becomes discrete, even though in this case the operator system is a $C^*$-algebra. We analyze this in the context of the finite Fourier transform. The extension of noncommutative geometry to operator systems allows one to deal with metric spaces up to finite resolution by considering the relation $d(x,y)<\epsilon$ between two points, or more generally a tolerance relation which naturally gives rise to an operator system.

On ribbon categories for singlet vertex algebras

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

Link homology and Frobenius extensions II

Abstract: The first two sections of the paper provide a convenient scheme and additional diagrammatics for working with Frobenius extensions responsible for key flavors of equivariant SL(2) link homology theories. The goal is to clarify some basic structures in the theory and propose a setup to work over sufficiently non-degenerate base rings. The third section works out two related SL(2) evaluations for seamed surfaces.

Braided Picard groups and graded extensions of braided tensor categories

Abstract: We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $\cal B$ (consisting of invertible central $\cal B$-module categories). Such functors can be expressed in terms of the Eilnberg-Mac~Lane cohomology. We describe in detail braided $2$-categorical Picard groups of symmetric fusion categories and of pointed braided fusion categories.

Complex semisimple quantum groups and representation theory

Abstract: This book provides a thorough introduction to the theory of complex semisimple quantum groups, that is, Drinfeld doubles of q-deformations of compact semisimple Lie groups The presentation is comprehensive, beginning with background information on Hopf algebras, and ending with the classification of admissible representations of the q-deformation of a complex semisimple Lie group The main components are: - a thorough introduction to quantized universal enveloping algebras over general base fields and generic deformation parameters, including finite dimensional representation theory, the Poincare-Birkhoff-Witt Theorem, the locally finite part, and the Harish-Chandra homomorphism, - the analytic theory of quantized complex semisimple Lie groups in terms of quantized algebras of functions and their duals, - algebraic representation theory in terms of category O, and - analytic representation theory of quantized complex semisimple groups

Bosonic ghostbusting -- The bosonic ghost vertex algebra admits a logarithmic module category with rigid fusion

Abstract: The rank 1 bosonic ghost vertex algebra, also known as the $\beta \gamma$ ghosts, symplectic bosons or Weyl vertex algebra, is a simple example of a conformal field theory which is neither rational, nor $C_2$-cofinite. We identify a module category, denoted category $\mathscr{F}$, which satisfies three necessary conditions coming from conformal field theory considerations: closure under restricted duals, closure under fusion and closure under the action of the modular group on characters. We prove the second of these conditions, with the other two already being known. Further, we show that category $\mathscr{F}$ has sufficiently many projective and injective modules, give a classification of all indecomposable modules, show that fusion is rigid and compute all fusion products. The fusion product formulae turn out to perfectly match a previously proposed Verlinde formula, which was computed using a conjectured generalisation of the usual rational Verlinde formula, called the standard module formalism. The bosonic ghosts therefore exhibit essentially all of the rich structure of rational theories despite satisfying none of the standard rationality assumptions such as $C_2$-cofiniteness, the vertex algebra being isomorphic to its restricted dual or having a one-dimensional conformal weight 0 space. In particular, to the best of the authors' knowledge this is the first example of a proof of rigidity for a logarithmic non-$C_2$-cofinite vertex algebra.

Transposed poisson algebras, novikov-poisson algebras and 3-lie algebras

Abstract: We introduce a dual notion of the Poisson algebra by exchanging the roles of the two binary operations in the Leibniz rule defining the Poisson algebra. We show that the transposed Poisson algebra thus defined not only shares common properties of the Poisson algebra, including the closure under taking tensor products and the Koszul self-duality as an operad, but also admits a rich class of identities. More significantly, a transposed Poisson algebra naturally arises from a Novikov-Poisson algebra by taking the commutator Lie algebra of the Novikov algebra. Consequently, the classic construction of a Poisson algebra from a commutative associative algebra with a pair of commuting derivations has a similar construction of a transposed Poisson algebra when there is one derivation. More broadly, the transposed Poisson algebra also captures the algebraic structures when the commutator is taken in pre-Lie Poisson algebras and two other Poisson type algebras. Furthermore, the transposed Poisson algebra improves two processes in~[17] that produce 3-Lie algebras from Poisson algebras with a strongness condition. When transposed Poisson algebras are used in one process, the strongness condition is no longer needed and the resulting 3-Lie algebra gives a transposed Poisson 3-Lie algebra. In the other process, the resulting 3-Lie algebra is shown to again give a transposed Poisson 3-Lie algebra.

Cohomological Hall algebras and perverse coherent sheaves on toric Calabi-Yau 3-folds.

Abstract: To a smooth local toric Calabi-Yau 3-fold $X$ we associate the Heisenberg double of the (equivariant spherical) Cohomological Hall algebra in the sense of Kontsevich and Soibelman. This Heisenberg double is a generalization of the notion of the Cartan doubled Yangian defined earlier by Finkelberg and others. We extend this "$3d$ Calabi-Yau perspective" on the Lie theory furthermore by associating a root system to certain families of $X$. By general reasons, the COHA acts on the cohomology of the moduli spaces of certain perverse coherent systems on $X$ via "raising operators". We conjecture that the Heisenberg double acts on the same cohomology via not only by raising operators but also by "lowering operators". We also conjecture that this action factors through the shifted Yangian of the above-mentioned root system. We add toric divisors to the story and explain the shifts in the shifted Yangian in terms of the intersection numbers with the divisors. We check the conjectures in several examples.

Structure of Virasoro tensor categories at central charge $13-6p-6p^{-1}$ for integers $p > 1$

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

Invertible braided tensor categories

Abstract: We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new invertible 4-dimensional framed topological field theories, which we regard as a non-semisimple framed version of the Crane-Yetter-Kauffman invariants, after Freed--Teleman and Walker's construction in the semisimple case. More generally, we characterize invertibility for E_1- and E_2-algebras in an arbitrary symmetric monoidal oo-category, and we conjecture a similar characterization of invertible E_n-algebras for any n. Finally, we propose the Picard group of BrTens as a generalization of the Witt group of non-degenerate braided fusion categories, and pose a number of open questions about it.

Holonomy and (stated) skein algebras in combinatorial quantization

Abstract: The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and quantizes the character variety of the Riemann surface $\Sigma_{g,n}\!\setminus\! D$ ($D$ is an open disk). In this article we define a holonomy map in that quantized setting, which associates a tensor with components in $\mathcal{L}_{g,n}(H)$ to tangles in $(\Sigma_{g,n}\!\setminus\!D) \times [0,1]$, generalizing previous works of Buffenoir-Roche and Bullock-Frohman-Kania-Bartoszynska. We show that holonomy behaves well for the stack product and the action of the mapping class group; then we specialize this notion to links in order to define a generalized Wilson loop map. Thanks to the holonomy map, we give a geometric interpretation of the vacuum representation of $\mathcal{L}_{g,0}(H)$ on $\mathcal{L}_{0,g}(H)$. Finally, the general results are applied to the case $H=U_{q^2}(\mathfrak{sl}_2)$ in relation to skein theory and the most important consequence is that the stated skein algebra of a compact oriented surface with just one boundary edge is isomorphic to $\mathcal{L}_{g,n}\big( U_{q^2}(\mathfrak{sl}_2) \big)$. Throughout the paper we use a graphical calculus for tensors with coefficients in $\mathcal{L}_{g,n}(H)$ which makes the computations and definitions very intuitive.

Generalized Derivations and Rota-Baxter Operators of $n$-ary Hom-Nambu Superalgebras

Abstract: The aim of this paper is to generalise the construction of $n$-ary Hom-Lie bracket by means of an $(n-2)$-cochain of given Hom-Lie algebra to super case inducing a $n$-Hom-Lie superalgebras. We study the notion of generalized derivation and Rota-Baxter operators of $n$-ary Hom-Nambu and $n$-Hom-Lie superalgebras and their relation with generalized derivation and Rota-Baxter operators of Hom-Lie superalgebras. We also introduce the notion of $3$-Hom-pre-Lie superalgebras which is the generalization of $3$-Hom-pre-Lie algebras.

The Askey-Wilson algebra and its avatars

Abstract: The original Askey-Wilson algebra introduced by Zhedanov encodes the bispectrality properties of the eponym polynomials. The name 'Askey-Wilson algebra' is currently used to refer to a variety of related structures that appear in a large number of contexts. We review these versions, sort them out and establish the relations between them. We focus on two specific avatars. The first is a quotient of the original Zhedanov algebra; it is shown to be invariant under the Weyl group of type $D_4$ and to have a reflection algebra presentation. The second is a universal analogue of the first one; it is isomorphic to the Kauffman bracket skein algebra (KBSA) of the four-punctured sphere and to a subalgebra of the universal double affine Hecke algebra $(C_1^{\vee},C_1)$. This second algebra emerges from the Racah problem of $U_q(\mathfrak{sl}_2)$ and is related via an injective homomorphism to the centralizer of $U_q(\mathfrak{sl}_2)$ in its threefold tensor product. How the Artin braid group acts on the incarnations of this second avatar through conjugation by $R$-matrices (in the Racah problem) or half Dehn twists (in the diagrammatic KBSA picture) is also highlighted. Attempts at defining higher rank Askey-Wilson algebras are briefly discussed and summarized in a diagrammatic fashion.

Gapped boundary theories in three dimensions

Abstract: We prove a theorem in 3-dimensional topological field theory: a Reshetikhin-Turaev theory admits a nonzero boundary theory iff it is a Turaev-Viro theory. The proof immediately implies a characterization of fusion categories in terms of dualizability. The main theorem applies to physics, where it implies an obstruction to a gapped 3-dimensional quantum system admitting a gapped boundary theory. Appendices on bordism multicategories and on internal duals may be of independent interest.; v2 extensive revision: added theorem on dualizable 2-categories, material on natural transformations, reworked theorems and several proofs, and more.

Tensor structure on the Kazhdan-Lusztig category for affine $\mathfrak{gl}(1|1)$

Abstract: 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}$. Then using Knizhnik-Zamolodchikov equations, we prove that $KL_k$ and $\mathcal{O}_k^{fin}$ are rigid. As an application of the tensor supercategory structure on $\mathcal{O}_k^{fin}$, we study certain module categories for the affine Lie superalgebra $\widehat{\mathfrak{sl}(2|1)}$ at levels $1$ and $-\frac{1}{2}$. In particular, we obtain a tensor category of $\widehat{\mathfrak{sl}(2|1)}$-modules at level $-\frac{1}{2}$ that includes relaxed highest-weight modules and their images under spectral flow.

Universal construction of topological theories in two dimensions

Abstract: We consider Blanchet, Habegger, Masbaum and Vogel's universal construction of topological theories in dimension two, using it to produce interesting theories that do not satisfy the usual two-dimensional TQFT axioms Kronecker's characterization of rational functions allows us to classify theories over a field with finite-dimensional state spaces and introduce their extension to theories with the ground ring the product of rings of symmetric functions in N and M variables We look at several examples of non-multiplicative theories and see Hankel matrices, Schur and supersymmetric Schur polynomials quickly emerge from these structures The last section explains how an extension of the Robert-Wagner foam evaluation to overlapping foams gives the Sergeev-Pragacz formula for the supersymmetric Schur polynomials and the Day formula for the Toeplitz determinant of rational power series as special cases

Jacobi-Trudi identity and Drinfeld functor for super Yangian

Abstract: We show that the quantum Berezinian which gives a generating function of the integrals of motions of XXX spin chains associated to super Yangian $\mathrm{Y}(\mathfrak{gl}_{m|n})$ can be written as a ratio of two difference operators of orders $m$ and $n$ whose coefficients are ratios of transfer matrices corresponding to explicit skew Young diagrams. In the process, we develop several missing parts of the representation theory of $\mathrm{Y}(\mathfrak{gl}_{m|n})$ such as $q$-character theory, Jacobi-Trudi identity, Drinfeld functor, extended T-systems, Harish-Chandra map.

The R-matrix of the quantum toroidal algebra

Abstract: We consider the R-matrix of the quantum toroidal algebra of type gl_1, both abstractly and in Fock space representations. We provide a survey of a certain point of view on this object which involves the elliptic Hall and shuffle algebras, and show how to obtain certain explicit formulas.

A deformation of Robert-Wagner foam evaluation and link homology

Abstract: We consider a deformation of the Robert-Wagner foam evaluation formula, with an eye toward a relation to formal groups. Integrality of the deformed evaluation is established, giving rise to state spaces for planar GL(N) MOY graphs (Murakami-Ohtsuki-Yamada graphs). Skein relations for the deformation are worked out in details in the GL(2) case. These skein relations deform GL(2) foam relations of Beliakova, Hogancamp, Putyra and Wehrli. We establish the Reidemeister move invariance of the resulting chain complexes assigned to link diagrams, giving us a link homology theory.

Finite GK-Dimensional pre-Nichols algebras of super and standard type

Abstract: We prove that finite GK-dimensional pre-Nichols algebras of super and standard type are quotients of the corresponding distinguished pre-Nichols algebras, except when the braiding matrix is of type super A and the dimension of the braided vector space is three. For these two exceptions we explicitly construct substitutes as braided central extensions of the corresponding pre-Nichols algebras by a polynomial ring in one variable. Via bosonization this gives new examples of finite GK-dimensional Hopf algebras.

Higher central charges and Witt groups

Abstract: In this paper, we introduce the definitions of signatures of braided fusion categories, which are proved to be invariants of their Witt equivalence classes. These signature assignments define group homomorphisms on the Witt group. The higher central charges of pseudounitary modular categories can be expressed in terms of these signatures, which are applied to prove that the Ising modular categories have infinitely many square roots in the Witt group. This result is further applied to prove a conjecture of Davydov-Nikshych-Ostrik on the super-Witt group: the torsion subgroup generated by the completely anisotropic s-simple braided fusion categories has infinite rank.

Oriented hairy graphs and moduli spaces of curves

Abstract: We discuss a graph complex formed by directed acyclic graphs with external legs. This complex comes in particular with a map to the ribbon graph complex computing the (compactly supported) cohomology of the moduli space of points $\mathcal M_{g,n}$, extending an earlier result of Merkulov-Willwacher. It is furthermore quasi-isomorphic to the hairy graph complex computing the weight 0 part of the compactly supported cohomology of $\mathcal{M}_{g,n}$ according to Chan-Galatius-Payne. Hence we can naturally connect the works Chan-Galatius-Payne and of Merkulov-Willwacher and the ribbon graph complex and obtain a fairly satisfying picture of how all the pieces and various graph complexes fit together, at least in weight zero.

A unification of the ADO and colored Jones polynomials of a knot

Abstract: In this paper we prove that the family of colored Jones polynomials of a knot in $S^3$ determines the family of ADO polynomials of this knot. More precisely, we construct a two variables knot invariant unifying both the ADO and the colored Jones polynomials. On one hand, the first variable $q$ can be evaluated at $2r$ roots of unity with $r \in \Bbb N^*$ and we obtain the ADO polynomial over the Alexander polynomial. On the other hand, the second variable $A$ evaluated at $A=q^n$ gives the colored Jones polynomials. From this, we exhibit a map sending, for any knot, the family of colored Jones polynomials to the family of ADO polynomials. As a direct application of this fact, we will prove that every ADO polynomial is q-holonomic and is annihilated by the same polynomials as of the colored Jones function. The construction of the unified invariant will use completions of rings and algebra. We will also show how to recover our invariant from Habiro's quantum $\mathfrak{sl}_2$ completion studied in arXiv:math/0605313.

Bilinear pairings on two-dimensional cobordisms and generalizations of the Deligne category

Abstract: The Deligne category of symmetric groups is the additive Karoubi closure of the partition category. It is semisimple for generic values of the parameter t while producing categories of representations of the symmetric group when modded out by the ideal of negligible morphisms when t is a non-negative integer. The partition category may be interpreted, following Comes, via a particular linearization of the category of two-dimensional oriented cobordisms. The Deligne category and its semisimple quotients admit similar interpretations. This viewpoint coupled to the universal construction of two-dimensional topological theories leads to multi-parameter monoidal generalizations of the partition and the Deligne categories, one for each rational function in one variable.

Factorization algebras and abelian CS/WZW-type correspondences

Abstract: We develop a method of quantization for free field theories on manifolds with boundary where the bulk theory is topological in the direction normal to the boundary and a local boundary condition is imposed. Our approach is within the Batalin-Vilkovisky formalism. At the level of observables, the construction produces a stratified factorization algebra that in the bulk recovers the factorization algebra developed by Costello and Gwilliam. The factorization algebra on the boundary stratum enjoys a perturbative bulk-boundary correspondence with this bulk factorization algebra. A central example is the factorization algebra version of the abelian Chern-Simons/Wess-Zumino-Witten correspondence, but we examine higher dimensional generalizations that are related to holomorphic truncations of string theory and $M$-theory and involve intermediate Jacobians.

Dual canonical bases and quantum cluster algebras

Abstract: Given any quantum cluster algebra arising from a quantum unipotent subgroup of symmetrizable Kac-Moody type, we verify the quantization conjecture in full generality that the quantum cluster monomials are contained in the dual canonical basis after rescaling.

Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups

Abstract: Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action coincides with the known projective action of the mapping class group on the space of chiral conformal blocks. In the case that the surface is a torus and the category is the representation category of a factorizable ribbon Hopf algebra, we recover our previous result on the projective action of the modular group on the Hochschild cohomology groups of the Hopf algebra.

Quantum Gravity and Riemannian Geometry on the Fuzzy Sphere

Abstract: We study the quantum geometry of the fuzzy sphere defined as the angular momentum algebra $[x_i,x_j]=2\imath\lambda_p \epsilon_{ijk}x_k$ modulo setting $\sum_i x_i^2$ to a constant, using a recently introduced 3D rotationally invariant differential structure. Metrics are given by symmetric $3 \times 3$ matrices $g$ and we show that for each metric there is a unique quantum Levi-Civita connection with constant coefficients, with scalar curvature $ \frac{1}{2}({\rm Tr}(g^2)-\frac{1}{2}{\rm Tr}(g)^2)/\det(g)$. As an application, we construct Euclidean quantum gravity on the fuzzy unit sphere. We also calculate the charge 1 monopole for the 3D differential structure.

Tangle addition and the knots-quivers correspondence

Abstract: We prove that the generating functions for the one row/column colored HOMFLY-PT invariants of arborescent links are specializations of the generating functions of the motivic Donaldson-Thomas invariants of appropriate quivers that we naturally associate with these links. Our approach extends the previously established tangles-quivers correspondence for rational tangles to algebraic tangles by developing gluing formulas for HOMFLY-PT skein generating functions under Conway's tangle addition. As a consequence, we prove the conjectural links-quivers correspondence of Kucharski-Reineke-Stosic-Sulkowski for all arborescent links.