Data

  • Title: Webs and q-Howe dualities in types \(\mathbf{B}\mathbf{C}\mathbf{D}\)
  • Authors: Antonio Sartori and Daniel Tubbenhauer
  • Status: Trans. Amer. Math. Soc. 371 (2019), no. 10, 7387-7431. Last update: Tue, 3 Apr 2018 13:17:55 EST
  • ArXiv link: https://arxiv.org/abs/1701.02932
  • ArXiv version = 0.99 published version
  • LaTex Beamer presentation: Slides1, Slides2

Abstract

We define web categories describing intertwiners for the orthogonal and symplectic Lie algebras, and, in the quantized setup, for certain orthogonal and symplectic coideal subalgebras. They generalize the Brauer category, and allow us to prove quantum versions of some classical type \(\mathbf{B}\mathbf{C}\mathbf{D}\) Howe dualities.

A few extra words

Consider the following question: Given some Lie algebra \(\mathfrak{g}\), can one give a generator-relation presentation for the category of its finite-dimensional representations, or for some well-behaved subcategory?
Maybe the best-known instance of this is the case of the monoidal category generated by the vector representation of (quantum) \(\mathfrak{sl}_2\). Its generator-relation presentation is known as the Temperley-Lieb category and goes back to work of Rumer-Teller-Weyl and Temperley-Lieb.
Several generalizations of this were found over the years. The most important one for our paper was seminal work of Cautis-Kamnitzer-Morrison who a generator-relation presentation of the monoidal category generated by (quantum) exterior powers of the vector representation of quantum \(\mathfrak{gl}_n\).
Their crucial observation was that a classical tool from representation and invariant theory, known as skew Howe duality, can be quantized and used as a device to describe intertwiners of quantum \(\mathfrak{gl}_n\). The diagrammatic presentation is provided by so-called (type) \(\mathbf{A}\)-web categories.
The idea which started this paper was to apply Cautis-Kamnitzer-Morrison's approach to types \(\mathbf{B}\mathbf{C}\mathbf{D}\). However, quantization outside of type \(\mathbf{A}\) turns out be be quite delicate. In particular, we cannot use the road map given by Cautis-Kamnitzer-Morrison since quantization of Howe's classical dualities in types \(\mathbf{B}\mathbf{C}\mathbf{D}\) is not a straightforward affair.
To overcome this problem, we consider alternative quantizations in types \(\mathbf{B}\mathbf{C}\mathbf{D}\) provided by so-called coideal subalgebras of quantum \(\mathfrak{gl}_n\). (In short, these have “nicer” quantum factors than the quantum enveloping algebras, but worse “topological behaviour”.)
Our approach then goes as follows: In order to quantize Howe dualities in types \(\mathbf{B}\mathbf{C}\mathbf{D}\), we define extended web categories, which we call cup- and dot-web categories, and prove that they act on the representation categories of the coideal subalgebras. (And they provide diagrammatic descriptions of these categories by playing the roles of “thickened” Brauer categories.) We will then show that these extended web categories can be used to recovering some versions of quantum Howe duality in types \(\mathbf{B}\mathbf{C}\mathbf{D}\).
Note that our approach goes somehow the opposite way with respect to Cautis-Kamnitzer-Morrison's road map: instead of using quantum Howe duality to obtain a web calculus, we use our web categories to prove quantized Howe dualities. We define these cup- and dot-web categories in our paper. All the reader needs to know about them before looking into the paper is summarized in the Figure below.


Note that these can be seen as “extended type \(\mathbf{A}\) webs”.