Related papers: Categorification of the elliptic Hall algebra

We give an explicit description of the trace, or Hochschild homology, of the quantum Heisenberg category defined by Licata and Savage. We also show that as an algebra, it is isomorphic to "half" of a central extension of the elliptic Hall…

For a perfect field $k$ of characteristic $p>0$ and for a finite dimensional symmetric $k$-algebra $A$ K\"ulshammer studied a sequence of ideals of the centre of $A$ using the $p$-power map on degree 0 Hochschild homology. In joint work…

We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…

The trace or the $0$th Hochschild--Mitchell homology of a linear category $\mathcal{C}$ may be regarded as a kind of decategorification of $\mathcal{C}$. We compute traces of the two versions $\dot{\mathcal{U}}$ and $\dot{\mathcal{U}}^*$ of…

In the category of Hom-Leibniz algebras we introduce the notion of representation as adequate coefficients to construct the chain complex to compute the Leibniz homology of Hom-Leibniz algebras. We study universal central extensions of…

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^-$, a subalgebra of $W_{1+\infty}$ defined by Kac, Wang, and Yan.…

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 aforementioned trace is generated by the objects…

Categorification is a process of lifting structures to a higher categorical level. The original structure can then be recovered by means of the so-called "decategorification" functor. Algebras are typically categorified to additive…

The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category is identified with a quotient of the algebra W_{1+\infty}. This induces an action of W_{1+\infty} on symmetric functions.

Let k be a characteristic zero field, C a k-algebra and M a square zero two sided ideal of C. We obtain a new mixed complex, simpler that the canonical one, giving the Hochschild and cyclic homologies of C relative to M. This complex…

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 parameters. Special cases were known before:…

We identify the trace, or 0th Hochschild homology, of type ADE categorified quantum groups with the corresponding current algebra of the same type. To prove this, we show that 2-representations defined using categories of modules over…

By a result of Gerstenhaber and Schack the simplicial cohomology ring $H^*(\mathcal{C};k)$ of a poset $\mathcal{C}$ is isomorphic to the Hochschild cohomology ring $HH^*(k\mathcal{C})$ of the category algebra $k\mathcal{C}$, where the poset…

We show that the Hall algebra of the category of coherent sheaves on an elliptic curve (or, equivalently, the algebra of unramified automorphic forms for GL(n) for all n) is equal to the stable limit of spherical double affine Hecke…

Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E…

We prove an orbifold type decomposition theorem for the Hochschild homology of the symmetric powers of a small DG category $\mathcal{A}$. In noncommutative geometry, these can be viewed as the noncommutative symmetric quotient stacks of…

To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an…

The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption…

We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so called (derived) Hochschild complex of a morphism; the…

We show that the generic Hall algebra of nilpotent representations of an oriented cycle specialised at $q=0$ is isomorphic to the generic extension monoid in the sense of Reineke. This continues the work of Reineke.