Related papers: Trace decategorification of categorified quantum s…
We define a topological Hochschild (THH) and cyclic (TC) homology theory for differential graded (dg) categories and construct several non-trivial natural transformations from algebraic K-theory to THH(-). In an intermediate step, we prove…
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 categorify a quantized Heisenberg algebra associated to a finite subgroup of SL(2,C).
We compute the Hochschild, cyclic, and periodic cyclic homology groups of algebras of families of Laurent complete symbols on manifolds with corners. We show in particular that the spectral sequence associated with Hochschild homology…
We generalize Bonahon-Wong's $\mathrm{SL}_2(\mathbb{C})$-quantum trace map to the setting of $\mathrm{SL}_3(\mathbb{C})$. More precisely, given a non-zero complex parameter $q=e^{2 \pi i \hbar}$, we associate to each isotopy class of framed…
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…
The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie…
Let G be a semisimple Lie group and H a uniform lattice in G. The Selberg trace formula is an equality arising from computing in two different ways the traces of convolution operators on the Hilbert space L^2(G/H) associated to test…
We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this…
We explain how to compute idempotents that correspond to the indecomposable objects in the Hecke category. Closed formulas are provided for some common coefficients that appear in these idempotents. We also explain how to compute…
This paper is a sequel to "Localization of $\frak{u}$-modules. I", hep-th/9411050. We are starting here the geometric study of the tensor category $\cal{C}$ associated with a quantum group (corresponding to a Cartan matrix of finite type)…
We construct a Hennings type logarithmic invariant for restricted quantum $\mathfrak{sl}(2)$ at a $2\mathsf{p}$-th root of unity. This quantum group $U$ is not braided, but factorizable. The invariant is defined for a pair: a 3-manifold $M$…
We define the singular Hecke algebra ${\mathcal H} (SB_n)$ as the quotient of the singular braid monoid algebra ${\mathbb C} (q) [SB_n]$ by the Hecke relations $\sigma_k^2 = (q-1) \sigma_k +q$, $1 \le k\le n-1$, and define the Markov traces…
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced…
Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…
We study two kinds of categorical traces of (monoidal) dg categories, with particular interest in categories of Soergel bimodules. First, we explicitly compute the usual Hochschild homology, or derived vertical trace, of the category of…
We prove two results about $\text{SLF}(\bar U_q)$, the algebra of symmetric linear forms on the restricted quantum group $\bar U_q = \bar U_q(\mathfrak{sl}(2))$. First, we express any trace on finite dimensional projective $\bar…
We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values…
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…
In the world of chain complexes E_n-algebras are the analogues of based n-fold loop spaces in the category of topological spaces. Fresse showed that operadic E_n-homology of an E_n-algebra computes the homology of an n-fold algebraic…