# The elliptic Hall algebra and the deformed Khovanov Heisenberg category

@article{Cautis2018TheEH, title={The elliptic Hall algebra and the deformed Khovanov Heisenberg category}, author={Sabin Cautis and Aaron D. Lauda and Anthony Licata and Peter Samuelson and Joshua Sussan}, journal={Selecta Mathematica}, year={2018}, volume={24}, pages={4041-4103} }

We give an explicit description of the trace, or Hochschild homology, of the quantum Heisenberg category defined in Licata and Savage (Quantum Topol 4(2):125–185, 2013. arXiv:1009.3295). We also show that as an algebra, it is isomorphic to “half” of a central extension of the elliptic Hall algebra of Burban and Schiffmann (Duke Math J 161(7):1171–1231, 2012. arXiv:math/0505148), specialized at $$\sigma = {\bar{\sigma }}^{-1} = q$$σ=σ¯-1=q. A key step in the proof may be of independent interest…

## 15 Citations

The Trace of the affine Hecke category

- Mathematics
- 2022

We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an “affine” version of the construction of [14]. Explicitly, we show that the…

A Categorical Quantum Toroidal Action on Hilbert Schemes

- Mathematics
- 2020

We categorify the commutation of Nakajima's Heisenberg operators $P_{\pm 1}$ and their infinitely many counterparts in the quantum toroidal algebra $U_{q_1,q_2}(\ddot{gl_1})$ acting on the…

On the definition of quantum Heisenberg category

- Mathematics
- 2018

We introduce a diagrammatic monoidal category $\mathcal{H}eis_k(z,t)$ which we call the quantum Heisenberg category, here, $k \in \mathbb{Z}$ is "central charge" and $z$ and $t$ are invertible…

A CATEGORICAL QUANTUM TOROIDAL ACTION ON THE HILBERT SCHEMES

- Mathematics
- 2020

We categorify the commutation of Nakajima’s Heisenberg operators P±1 and their infinitely many counterparts in the quantum toroidal algebra Uq1,q2 (g̈l1) acting on the Grothendieck groups of Hilbert…

Degenerate cyclotomic Hecke algebras and higher level Heisenberg categorification

- MathematicsJournal of Algebra
- 2018

Trace of the Twisted Heisenberg Category

- Mathematics
- 2017

We show that the trace decategorification, or zeroth Hochschild homology, of the twisted Heisenberg category defined by Cautis and Sussan is isomorphic to a quotient of $${W^-}$$W-, a subalgebra of…

KAC POLYNOMIALS AND LIE ALGEBRAS ASSOCIATED TO QUIVERS AND CURVES

- MathematicsProceedings of the International Congress of Mathematicians (ICM 2018)
- 2019

A survey of the theory of Kac polynomials for quivers and for curves. In particular, we describe the representation-theoretic meaning of Kac polynomials in terms of Hall algebras, and the geometric…

The Kauffman Skein Algebra of the Torus

- MathematicsInternational Mathematics Research Notices
- 2022

We give a presentation of the Kauffman (BMW) skein algebra of the torus. This algebra is the “type $BCD$” analogue of the Homflypt skein algebra of torus, which was computed in earlier work of the…

Categorification of the elliptic Hall algebra

- Mathematics
- 2021

We show that the central charge k reduction of the universal central extension of the elliptic Hall algebra is isomorphic to the trace, or zeroth Hochschild homology, of the quantum Heisenberg…

## References

SHOWING 1-10 OF 32 REFERENCES

On the Hall algebra of an elliptic curve, I

- Mathematics
- 2005

This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to…

Cherednik algebras, W-algebras and the equivariant cohomology of the moduli space of instantons on A2

- Mathematics
- 2012

We construct a representation of the affine W-algebra of ${\mathfrak{g}}{\mathfrak{l}}_{r}$ on the equivariant homology space of the moduli space of Ur-instantons, and we identify the corresponding…

Hall algebras and quantum groups

- Mathematics
- 1990

The Hall algebra of a finitary category encodes its extension structure. The story starts from the work of Steinitz on the module category of an abelian p-group, where the Hall algebra is the algebra…

The elliptic Hall algebra and the equivariant K-theory of the Hilbert scheme of $\mathbb{A}^2$

- Mathematics
- 2009

In this paper we compute the convolution algebra in the equivariant K-theory of the Hilbert scheme of A^2. We show that it is isomorphic to the elliptic Hall algebra, and hence to the spherical DAHA…

The elliptic Hall algebra, Cherednik Hecke algebras and Macdonald polynomials

- MathematicsCompositio Mathematica
- 2010

Abstract We exhibit a strong link between the Hall algebra HX of an elliptic curve X defined over a finite field 𝔽l (or, more precisely, its spherical subalgebra U+X) and Cherednik’s double affine…

Quantum continuous $\mathfrak{gl}_{\infty}$: Semiinfinite construction of representations

- Mathematics
- 2011

We begin a study of the representation theory of quantum continuous $\mathfrak{gl}_\infty$, which we denote by $\mathcal E$. This algebra depends on two parameters and is a deformed version of the…

Idempotents of the Hecke algebra become Schur functions in the skein of the annulus

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 2005

The Hecke algebra $H_n$ can be described as the skein $R_n^n$ of $(n,n)$-tangle diagrams with respect to the framed Homfly relations. This algebra $R_n^n$ contains well-known idempotents…

Equivariant K-theory of Hilbert schemes via shuffle algebra

- Mathematics
- 2011

In this paper we construct the action of Ding-Iohara and shuffle algebras in the sum of localized equivariant K-groups of Hilbert schemes of points on C^2. We show that commutative elements K_i of…

Generalized Drinfeld realization of quantum superalgebras and $U_q(\hat {\frak osp}(1,2))$

- Mathematics
- 1999

In this paper, we extend the generalization of Drinfeld realization of quantum affine algebras to quantum affine superalgebras with its Drinfeld comultiplication and its Hopf algebra structure, which…

Hecke algebras, finite general linear groups, and Heisenberg categorification

- Mathematics
- 2013

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category,…