Mathematics - Quantum Algebra Publications (50)


Mathematics - Quantum Algebra Publications

The problem of constructing all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation recently has been reduced to the problem of describing all the left braces. In particular, the classification of all finite left braces is fundamental in order to describe all finite such solutions of the Yang-Baxter equation. In this paper we continue the study of finite simple left braces with the emphasis on the application of the asymmetric product of left braces in order to construct new classes of simple left braces. Read More

We show how DG categories arise naturally in noncommutative differential geometry and use them to derive noncommutative analogues of the Bianchi identities for the curvature of a connection. We also give a derivation of formulae for characteristic classes in noncommutative geometry following Chern's original derivation, rather than using cyclic cohomology. We show that a related DG category for extendable bimodule connections is a monoidal tensor category and in the metric compatible case give an analogue of a classical antisymmetry of the Riemann tensor. Read More

It is well-known that the Gauss decomposition of the generator matrix in the $R$-matrix presentation of the Yangian in type $A$ yields generators of its Drinfeld presentation. Defining relations between these generators are known in an explicit form thus providing an isomorphism between the presentations. It has been an open problem since the pioneering work of Drinfeld to extend this result to the remaining types. Read More

We study the action of the orthogonal group on the little $n$-disks operads. As an application we provide small models (over the reals) for the framed little $n$-disks operads. It follows in particular that the framed little $n$-disks operads are formal (over the reals) for $n$ even and coformal for all $n$. Read More

We show that any finite subgroup of automorphisms of the universal enveloping algebra of a semi-simple Lie algebra $\mathfrak{g}$ is isomorphic to a subgroup of Lie algebra automorphisms of $\mathfrak{g}$. Read More

We identify the Taylor coefficients of the transfer matrices corresponding to quantum toroidal algebras with the elliptic local and non-local integrals of motion introduced by Kojima, Shiraishi, Watanabe, and one of the authors. That allows us to prove the Litvinov conjectures on the Intermediate Long Wave model. We also discuss the (gl(m),gl(n)) duality of XXZ models in quantum toroidal setting and the implications for the quantum KdV model. Read More

We prove that the Grothendieck rings of category $\mathcal{C}^{(t)}_Q$ over quantum affine algebras $U_q'(\g^{(t)})$ $(t=1,2)$ associated to each Dynkin quiver $Q$ of finite type $A_{2n-1}$ (resp. $D_{n+1}$) is isomorphic to one of category $\mathcal{C}_{\mQ}$ over the Langlands dual $U_q'({^L}\g^{(2)})$ of $U_q'(\g^{(2)})$ associated to any twisted adapted class $[\mQ]$ of $A_{2n-1}$ (resp. $D_{n+1}$). Read More

We study the homotopy type of the harmonic compactification of the moduli space of a 2-cobordism S with one outgoing boundary component, or equivalently of the space of Sullivan diagrams of type S on one circle. Our results are of two types: vanishing and non-vanishing. In our vanishing results we are able to show that the connectivity of the harmonic compactification increases with the number of incoming boundary components. Read More

We introduce a method of computing biquandle brackets of oriented knots and links using a type of decorated trivalent spatial graphs we call trace diagrams. We identify algebraic conditions on the biquandle bracket coefficients for moving strands over and under traces and identify a new stop condition for the recursive expansion. In the case of monochromatic crossings we show that biquandle brackets satisfy a Homflypt-style skein relation and we identify algebraic conditions on the biquandle bracket coefficients to allow pass-through trace moves. Read More

Thoma's theorem states that a group algebra $C^*(\Gamma)$ is of type I if and only if $\Gamma$ is virtually abelian. We discuss here some similar questions for the quantum groups, our main result stating that, under suitable virtually abelianity conditions on a discrete quantum group $\Gamma$, we have a stationary model of type $\pi:C^*(\Gamma)\to M_F(C(L))$, with $F$ being a finite quantum group, and with $L$ being a compact group. We discuss then some refinements of these results in the quantum permutation group case, $\widehat{\Gamma}\subset S_N^+$, by restricting the attention to the matrix models which are quasi-flat, in the sense that the images of the standard coordinates, known to be projections, have rank $\leq1$. Read More

Braces are generalizations of radical rings, introduced by Rump to study involutive nondegenerate solutions of the Yang--Baxter equation (YBE). Skew braces were also recently introduced as a tool to study not necessarily involutive solutions. Roughly speaking, skew braces provide group-theoretical and ring-theoretical methods to understand solutions of the YBE. Read More

Given a Hopf subalgebra $R$ of a finite-dimensional Hopf algebra $H$, we continue a study of certain properties of the quotient $H$-module coalgebra $Q = H/R^+H$. We prove that $Q$ has a nonzero right $H$/$R$-integral if and only if $H$ is a Frobenius extension of $R$. We begin a study of a Mackey theory of quotient modules with labels for varying Hopf subalgebras: we show that when $H$ is a group algebra and $R$ is a separable subgroup algebra, their h-depth has an upper bound in terms of the combinatorial depth or the number of conjugate subgroups which intersect to equal the core of a subgroup. Read More

The main result of the paper is a construction of a five-parameter family of new bases in the algebra of symmetric functions. These bases are inhomogeneous and share many properties of systems of orthogonal polynomials on an interval of the real line. This means, in particular, that the algebra of symmetric functions is embedded into the algebra of continuous functions on a certain compact space Omega, and under this realization, our bases turn into orthogonal bases of weighted Hilbert spaces corresponding to certain probability measures on Omega. Read More

In topological quantum computing, information is encoded in "knotted" quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of $10^{-10}$, and harnessed to stabilize quantum memory. In this survey, we discuss the conceptual development of this interdisciplinary field at the juncture of mathematics, physics and computer science. Read More

We introduce the notion of $n$-dimensional topological quantum field theory (TQFT) with defects as a symmetric monoidal functor on decorated stratified bordisms of dimension $n$. The familiar closed or open-closed TQFTs are special cases of defect TQFTs, and for $n=2$ and $n=3$ our general definition recovers what had previously been studied in the literature. Our main construction is that of "generalised orbifolds" for any $n$-dimensional defect TQFT: Given a defect TQFT $\mathcal{Z}$, one obtains a new TQFT $\mathcal{Z}_{\mathcal{A}}$ by decorating the Poincar\'e duals of triangulated bordisms with certain algebraic data $\mathcal{A}$ and then evaluating with $\mathcal{Z}$. Read More

In \cite{JS} Jensen and Su constructed 0-Schur algebras on double flag varieties. The construction leads to a presentation of 0-Schur algebras using quivers with relations and the quiver approach naturally gives rise to a new class of algebras. That is, the path algebras defined on the quivers of 0-Schur algebras with relations modified from the defining relations of 0-Schur algebras by a tuple of parameters $\ut$. Read More

In this paper, we give some low-dimensional examples of local cocycle 3-Lie bialgebras and double construction 3-Lie bialgebras which were introduced in the study of the classical Yang-Baxter equation and Manin triples for 3-Lie algebras. We give an explicit and practical formula to compute the skew-symmetric solutions of the 3-Lie classical Yang-Baxter equation (CYBE). As an illustration, we obtain all skew-symmetric solutions of the 3-Lie CYBE in complex 3-Lie algebras of dimension 3 and 4 and then the induced local cocycle 3-Lie bialgebras. Read More

This article consists of two parts. In Part 1, we present a formulation of two-dimensional topological quantum field theories in terms of a functor from a category of Ribbon graphs to the endofuntor category of a monoidal category. The key point is that the category of ribbon graphs produces all Frobenius objects. Read More

There is renewed interest in the coideal subalgebras used to form quantum symmetric pairs because of recent discoveries showing that they play a fundamental role in the representation theory of quantized enveloping algebras. However, there is still no general theory of finite-dimensional modules for these coideals. In this paper, we establish an important step in this direction: we show that every quantum symmetric pair coideal subalgebra admits a quantum Cartan subalgebra which is a polynomial ring that specializes to its classical counterpart. Read More

We classify finite dimensional $H_{m^2}(\zeta)$-simple $H_{m^2}(\zeta)$-module Lie algebras $L$ over an algebraically closed field of characteristic $0$ where $H_{m^2}(\zeta)$ is the $m$th Taft algebra. As an application, we show that despite the fact that $L$ can be non-semisimple in ordinary sense, $\lim_{n\to\infty}\sqrt[n]{c_n^{H_{m^2}(\zeta)}(L)} = \dim L$ where $c_n^{H_{m^2}(\zeta)}(L)$ is the codimension sequence of polynomial $H_{m^2}(\zeta)$-identities of $L$. In particular, the analog of Amitsur's conjecture holds for $c_n^{H_{m^2}(\zeta)}(L)$. Read More

These notes offer a lightening introduction to topological quantum field theory in its functorial axiomatisation, assuming no or little prior exposure. We lay some emphasis on the connection between the path integral motivation and the definition in terms symmetric monoidal categories, and we highlight the algebraic formulation emerging from a formal generators-and-relations description. This allows one to understand (oriented, closed) 1- and 2-dimensional TQFTs in terms of a finite amount of algebraic data, while already the 3-dimensional case needs an infinite amount of data. Read More

These notes contain an introduction to the theory of complex semisimple quantum groups. Our main aim is to discuss the classification of irreducible Harish-Chandra modules for these quantum groups, following Joseph and Letzter. Along the way we cover extensive background material on quantized universal enveloping algebras and explain connections to the analytical theory in the setting of locally compact quantum groups. Read More

The topology of $SU(3)$-representation varieties of the fundamental groups of planar webs so that the meridians are sent to matrices with trace equal to $-1$ are explored, and compared to data coming from spider evaluation of the webs. Corresponding to an evaluation of a web as a spider is a rooted tree. We associate to each geodesic $\gamma$ from the root of the tree to the tip of a leaf an irreducible component $C_{\gamma}$ of the representation variety of the web, and a graded subalgebra $A_{\gamma}$ of $H^*(C_{\gamma};\mathbb{Q})$. Read More

We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. Read More

We formulate an orbifold construction directly at the level of non-extended topological field theories, i.e. we associate to an equivariant topological field theory an ordinary topological field theory. Read More

Let $V$ be a vertex operator algebra with a category $\mathcal{C}$ of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let $A$ be a vertex operator (super)algebra extension of $V$. We employ tensor categories to study untwisted (also called local) $A$-modules in $\mathcal{C}$, using results of Huang-Kirillov-Lepowsky showing that $A$ is a (super)algebra object in $\mathcal{C}$ and that generalized $A$-modules in $\mathcal{C}$ correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a $\mathcal{C}$-algebra and (under suitable conditions) of generalized $A$-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Read More

Let X be a smooth projective curve over a field of characteristic zero. We calculate the motivic class of the moduli stack of semistable Higgs bundles on X. We also calculate the motivic class of the moduli stack of vector bundles with connections by showing that it is equal to the class of the stack of semistable Higgs bundles of the same rank and degree zero. Read More

We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus g, defined over a finite field, when the degree of the twisting line bundle is at least 2g-2; this includes the case of usual Higgs bundles. We obtain at the same time a closed expression for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver bundles of type A (affine or finite), obtaining in particular a Harder-Narasimhan-type formula counting semistable U(p,q)-bundles over any smooth projective curve over a finite field. Read More

We introduce quiver gauge theory associated with the non-simply-laced type fractional quiver, and define fractional quiver W-algebras by using construction of arXiv:1512.08533 and arXiv:1608.04651 with representation of fractional quivers. Read More

We show that the $G$-equivariant coherent derived category of $D$-modules on $\mathfrak{g}$ admits an orthogonal decomposition in to blocks indexed by cuspidal data (in the sense of Lusztig). Each block admits a monadic description in terms a certain differential graded algebra related to the homology of Steinberg varieties, which resembles a "triple affine" Hecke algebra. Our results generalize the work of Rider and Rider--Russell on constructible complexes on the nilpotent cone, and the earlier work of the author on the abelian category of equivariant $D$-modules on $\mathfrak{g}$. Read More

In this paper, we develop a differential-graded symplectic (Batalin-Vilkovisky) version of the framework of Crawley-Boevey, Etingof and Ginzburg on noncommutative differential geometry based on double derivations to construct non-commutative analogues of the Courant algebroids introduced by Liu, Weinstein and Xu. Adapting geometric constructions of \v{S}evera and Roytenberg for (commutative) graded symplectic supermanifolds, we express the BRST charge, given in our framework by a `homological double derivation', in terms of Van den Bergh's double Poisson algebras for graded bi-symplectic non-commutative 2-forms of weight 1, and in terms of our non-commutative Courant algebroids for graded bi-symplectic non-commutative 2-forms of weight 2 (here, the grading, or ghost degree, is called weight). We then apply our formalism to obtain examples of exact non-commutative Courant algebroids, using appropriate graded quivers equipped with bi-symplectic forms of weight 2, with a possible twist by a closed Karoubi-de Rham non-commutative differential 3-form. Read More

We construct an extended oriented $(2+\epsilon)$-dimensional topological field theory, the character field theory $X_G$ attached to a affine algebraic group in characteristic zero, which calculates the homology of character varieties of surfaces. It is a model for a dimensional reduction of Kapustin-Witten theory ($N=4$ $d=4$ super-Yang-Mills in the GL twist), and a universal version of the unipotent character field theory introduced in arXiv:0904.1247. Read More

Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra. The finite dimensional representations of the quantized enveloping algebra $U_q({\mathfrak g})$ form a braided monoidal category $O_{int}$. We show that the category of finite dimensional representations of a quantum symmetric pair coideal subalgebra $B_{c,s}$ of $U_q({\mathfrak g})$ is a braided module category over $O_{int}$. Read More

We construct a filtration of chiral Hodge cohomolgy of a K3 surface $X$, such that its associated graded object is a unitary representation of the N=4 vertex algebra with central charge $6$ and its subspace of primitive vectors has the property: its equivariant character for a symplectic automorphisms $g$ of $X$ is agree with the McKay-Thompson series for $g$ in Mathieu moonshine. Read More

The modular properties of the simple vertex operator superalgebra associated to the affine Kac-Moody superalgebra $\widehat{\mathfrak{osp}} \left( 1 \middle\vert 2 \right)$ at level $-\frac{5}{4}$ are investigated. After classifying the relaxed highest-weight modules over this vertex operator superalgebra, the characters and supercharacters of the simple weight modules are computed and their modular transforms are determined. This leads to a complete list of the Grothendieck fusion rules by way of a continuous superalgebraic analogue of the Verlinde formula. Read More

Let $A$ be a finite dimensional hereditary algebra over a finite field, and let $m$ be a fixed integer such that $m=0$ or $m>2$. In the present paper, we first define an algebra $L_m(A)$ associated to $A$, called the $m$-periodic lattice algebra of $A$, and then prove that it is isomorphic to Bridgeland's Hall algebra $\mathcal {D}\mathcal {H}_m(A)$ of $m$-cyclic complexes over projective $A$-modules. Moreover, we show that there is an embedding of the Heisenberg double Hall algebra of $A$ into $\mathcal {D}\mathcal {H}_m(A)$. Read More

The category of finite dimensional module over the quantum superalgebra U_q(sl(2|1)) is not semi-simple and the quantum dimension of a generic U_q(sl(2|1))-module vanishes. This vanishing happens for any value of q (even when q is not a root of unity). These properties make it difficult to create a fusion or modular category. Read More

Let $d\ge1$ be an integer, $W_d$ and $\mathcal{K}_d$ be the Witt algebra and the weyl algebra over the Laurent polynomial algebra $A_d=\mathbb{C} [x_1^{\pm1}, x_2^{\pm1}, ... Read More

A Q-manifold is a supermanifold equipped with an odd vector field that squares to zero. The notion of the modular class of a Q-manifold -- which is viewed as the obstruction to the existence of a Q-invariant Berezin volume -- is not well know. We review the basic ideas and then apply this technology to various examples, including $L_{\infty}$-algebroids and higher Poisson manifolds. Read More

The motivic Donaldson-Thomas series associated to an elliptic Sklyanin algebra corresponding to a point of order two differs from the conjectured series in Conjecture 3.4 of 1510.08116 . Read More

We prove that Getzler's higher generalization of the Deligne groupoid commutes with totalization and homotopy limits. Read More

In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets. Read More

In this short note, further to Ng's study, we extend Bekka amenability and weak Bekka amenability to general locally compact quantum groups. We generalize some Ng's results to the general case. In particular, we show that, a locally compact quantum group $\mathbb{G}$ is co-amenable if and only if the contra-corepresentation of its fundamental multiplicative unitary $W_{\mathbb{G}}$ is Bekka amenable, and $\mathbb{G}$ is amenable if and only if its dual quantum group's fundamental multiplicative unitary $W_{\widehat{\mathbb{G}}}$ is weakly Bekka amenable. Read More

In this paper, we introduce 3-Hom-Lie bialgebras whose compatibility conditions between the multiplication and comultiplication are given by local cocycle conditions. We study a twisted 3-ary version of the Yang-Baxter Equation, called the 3-Lie classical HomYang-Baxter Equation (3-Lie CHYBE), which is a general form of 3-Lie classical YangBaxter Equation studied in [2] and prove that the bialgebras induced by the solutions of 3-Lie CHYBE induce the coboundary local cocycle 3-Hom-Lie bialgebras. Read More

Assuming a conjecture about factorization homology with adjoints, we prove the cobordism hypothesis, after Baez-Dolan, Costello, Hopkins-Lurie, and Lurie. Read More

In this paper, we construct a new even constrained B(C) type Toda hierarchy and derive its B(C) type Block type additional symmetry. Also we generalize the B(C) type Toda hierarchy to the $N$-component B(C) type Toda hierarchy which is proved to have symmetries of a coupled $\bigotimes^NQT_+ $ algebra ( $N$-folds direct product of the positive half of the quantum torus algebra $QT$). Read More

We define a $\mathfrak{gl}_N$-stratification of the Grassmannian of $N$ planes $\mathrm{Gr}(N,d)$. The $\mathfrak{gl}_N$-stratification consists of strata $\Omega_{\mathbf{\Lambda}}$ labeled by unordered sets $\mathbf{\Lambda}=(\lambda^{(1)},\dots,\lambda^{(n)})$ of nonzero partitions with at most $N$ parts, satisfying a condition depending on $d$, and such that $(\otimes_{i=1}^n V_{\lambda^{(i)}})^{\mathfrak{sl}_N}\ne 0$. Here $V_{\lambda^{(i)}}$ is the irreducible $\mathfrak{gl}_N$-module with highest weight $\lambda^{(i)}$. Read More

Let $\{{\cdot},{\cdot}\}_{\boldsymbol{\mathcal{P}}}$ be a variational Poisson bracket in a field model on an affine bundle $\pi$ over an affine base manifold $M^m$. Denote by $\times$ the commutative associative multiplication in the Poisson algebra $\boldsymbol{\mathcal{A}}$ of local functionals $\Gamma(\pi)\to\Bbbk$ that take field configurations to numbers. By applying the techniques from geometry of iterated variations, we make well defined the deformation quantization map ${\times}\mapsto{\star}={\times}+\hbar\,\{{\cdot},{\cdot}\}_{\boldsymbol{\mathcal{P}}}+\bar{o}(\hbar)$ that produces a noncommutative $\Bbbk[[\hbar]]$-linear star-product $\star$ in $\boldsymbol{\mathcal{A}}$. Read More

We give an algebraic quantization, in the sense of quantum groups, of the complex Minkowski space, and we examine the real forms corresponding to the signatures (3, 1), (2, 2), (4, 0), constructing the corresponding quantum metrics and providing an explicit presentation of the quantized coordinate algebras. In particular, we focus on the Kleinian signature (2, 2). The quantizations of the complex and real spaces come together with a coaction of the quantizations of the respective symmetry groups. Read More