相关论文: Trace of the twisted Heisenberg Category
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.
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…
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…
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…
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…
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…
We associate a monoidal category $\mathcal{H}_B$, defined in terms of planar diagrams, to any graded Frobenius superalgebra $B$. This category acts naturally on modules over the wreath product algebras associated to $B$. To $B$ we also…
Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be…
We categorify a quantized Heisenberg algebra associated to a finite subgroup of SL(2,C).
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 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…
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:…
A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. In this paper, we introduce a strongly homotopy version of hom-associative algebras ($HA_\infty$-algebras in short) on a graded vector space.…
Kazhdan and Wenzl classified all rigid tensor categories with fusion ring isomorphic to the fusion ring of the group $SU(d)$. In this paper we consider the C$^*$-analogue of this problem. Given a rigid C$^*$-tensor category $\mathcal{C}$…
Given a Hopf algebra $A$ graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of $A$. If the action is adjoint, this new Hopf algebra is…
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…
The degenerate Heisenberg category $\mathcal{H}eis_k$ is a strict monoidal category which was originally introduced in the special case $k=-1$ by Khovanov in 2010. Khovanov conjectured that the Grothendieck ring of the additive Karoubi…
We prove that the coherent Springer sheaf and its parabolic analogues are concentrated in cohomological degree $0$, as predicted by Ben-Zvi-Chen-Helm-Nadler, Zhu, Emerton-Gee-Hellmann, Hansen, and others. More generally, we show that the…
We define the categorical cohomology of a k-graph \Lambda\ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative…
We develop the concept of twisted ambidexterity in a parametrized presentably symmetric monoidal $\infty$-category, which generalizes the notion of ambidexterity by Hopkins and Lurie and the Wirthm\"uller isomorphisms in equivariant stable…