量子代数
We prove some conjectures about vertex algebras which emerge in gauge theory constructions associated to the geometric Langlands program. In particular, we present the conjectural kernel vertex algebra for the $S T^2 S$ duality…
We prove the long-standing conjecture on the coset construction of the minimal series principal $W$-algebras of $ADE$ types in full generality. We do this by first establishing Feigin's conjecture on the coset realization of the universal…
Let $V$ be a simple vertex operator algebra containing a rank $n$ Heisenberg vertex algebra $H$ and let $C=\text{Com}\left( {H}, {V}\right)$ be the coset of ${H}$ in ${V}$. Assuming that the representation categories of interest are vertex…
Let V be a simple VOA and consider a representation category of V that is a vertex tensor category in the sense of Huang-Lepowsky. In particular, this category is a braided tensor category. Let J be an object in this category that is a…
We show how to calculate the relative tensor product of bimodule categories (not necessarily invertible) using ladder string diagrams. As an illustrative example, we compute the Brauer-Picard ring for the fusion category…
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…
For a classical group $G$ and a Coxeter element $c$ of the Weyl group, it is known that the coordinate ring $\mathbb{C}[G^{e,c^2}]$ of the double Bruhat cell $G^{e,c^2}:=B\cap B_-c^2B_-$ has a structure of cluster algebra of finite type,…
We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of…
We study parafermion vertex algebras $N_{-3/2}(\frak{sl}(2))$ and $N_{-3/2}(\frak{sl}(3))$. Using the isomorphism between $N_{-3/2}(\frak{sl}(3))$ and the logarithmic vertex algebra $\mathcal{W}^{0} (2)_{A_2} $ from [2], we show that these…
We explore the possibility of introducing q-deformed connections on the quantum 2-sphere and 3-sphere, satisfying a twisted Leibniz rule in analogy with q-deformed derivations. We show that such connections always exist on projective…
We prove a Koszul formula for the Levi-Civita connection for any pseudo-Riemannian bilinear metric on a class of centered bimodule of noncommutative one-forms. As an application to the Koszul formula, we show that our Levi-Civita connection…
In this paper we give two general formulae for the M\"uger centralizers in the category of representations of a semisimple quasitriangular Hopf algebra. The first formula is given in the terms of the Drinfeld map associated to the…
We consider compact matrix quantum groups whose $N$-dimensional fundamental representation decomposes into an $(N-1)$-dimensional and a one-dimensional subrepresentation. Even if we know that the compact matrix quantum group associated to…
Given a finite dimensional Hopf algebra H and an exact indecomposable module category M over Rep(H), we explicitly compute the adjoint algebra A_M as an object in the category of Yetter-Drinfeld modules over H, and the space of class…
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…
In this paper, we give an explicit formula of Chevalley type, in terms of the Bruhat graph, for the quantum multiplication with the class of the line bundle associated to the anti-dominant minuscule fundamental weight $- \varpi_{k}$ in the…
Let $\mathbb F$ denote a field, and pick a nonzero $q \in \mathbb F$ that is not a root of unity. Let $\mathbb Z_4=\mathbb Z/4 \mathbb Z$ denote the cyclic group of order 4. Define a unital associative ${\mathbb F}$-algebra $\square_q$ by…
This paper focuses linear and algebraic relations among multiple zeta values which were obtained in knot theory. It is shown that they can be derived from the associator relations, i.e. the pentagon equation and the shuffle relation.
The $q$-Onsager algebra $\mathcal O_q$ is defined by two generators $A$, $A^*$ and two relations, called the $q$-Dolan/Grady relations. Recently P. Baseilhac and S. Kolb found an automorphism $L$ of $\mathcal O_q$, that fixes $A$ and sends…
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…