Related papers: Trace as an alternative decategorification functor

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…

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.

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…

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…

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…

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.…

Khovanov-Lauda define a 2-category $\mathcal{U}$ such that the split Grothendieck group $K_0(\mathcal{U})$ is isomorphic to an integral version of the quantized universal enveloping algebra $\mathbf{U}(\mathfrak{sl}_n)$, $n \geq 2$.…

We compute the trace decategorification of the Hecke category for an arbitrary Coxeter group. More generally, we introduce the notion of a strictly object-adapted cellular category and calculate the trace for such categories.

We show how one can twist the definition of Hochschild homology of an algebra or a DG algebra by inserting a possibly non-additive trace functor. We then prove that many of the usual properties of Hochschild homology survive such a…

We discuss how the Hochschild cohomology of a dg category can be computed as the trace of its Serre functor. Applying this approach to the principal block of the Bernstein--Gelfand--Gelfand category $\mathcal{O}$, we obtain its Hochschild…

We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…

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 category of central charge $k$. As an…

We show that in ADE type the trace of Webster's categorification of a tensor product of irreducibles for the quantum group is isomorphic to a tensor product of Weyl modules for the current algebra $\dot{U}(\mathfrak{g}[t])$. This extends a…

The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be…

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…

In recent years, there has been great interest in the study of categorification, specifically as it applies to the theory of quantum groups. In this thesis, we would like to provide a new approach to this problem by looking at Hall…

Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…

We prove that the trace of categorified quantum sl(3) introduced by M. Khovanov and A. Lauda can also be identified with quantum sl(3), thus providing an alternative way of decategorification.

Classical homological algebra considers chain complexes, resolutions, and derived functors in additive categories. We describe "track algebras in dimension n", which generalize additive categories, and we define higher order chain…

In this paper we construct a graded Lie algebra on the space of cochains on a $\mathbbZ_2$-graded vector space that are skew-symmetric in the odd variables. The Lie bracket is obtained from the classical Gerstenhaber bracket by (partial)…