Related papers: Trace decategorification of categorified quantum s…
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 introduce a simple diagrammatic 2-category $\mathscr{A}$ that categorifies the image of the Fock space representation of the Heisenberg algebra and the basic representation of $\mathfrak{sl}_\infty$. We show that $\mathscr{A}$ is…
The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by B\"okstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory…
A 2-category was introduced in arXiv:0803.3652 [math.QA] that categorifies Lusztig's integral version of quantum sl(2). Here we construct for each positive integer N arepresentation of this 2-category using the equivariant cohomology of…
Hochschild homology is a classical invariant of rings that plays an important role because of its connection to algebraic $K$-theory via the Dennis trace. At level zero, the Dennis trace is induced by the Hattori-Stallings trace. In this…
A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…
We define a unified trace form $\tau$ on the cyclotomic Hecke algebras $\mathscr{H}_{n,K}$ of type $A$, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter $\xi\neq 1$) and Brundan-Kleshchev's…
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.
For a braided vector space $(V,\sigma)$ with braiding $\sigma$ of Hecke type, we introduce three associative algebra structures on the space $\oplus_{p=0}^{M}\mathrm{End}S_\sigma^p(V)$ of graded endomorphisms of the quantum symmetric…
We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we…
Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…
Let $\mathcal C$ be a small category with cofibrations. In this paper, we define the $K$-theory and Hochschild homology groups of $\mathcal C$ of order $Y$, where $Y$ is an ordered finite simplicial set with basepoint. Further, we construct…
Consider a reductive $p$-adic group $G$, its (complex-valued) Hecke algebra $H(G)$ and the Harish-Chandra--Schwartz algebra $S(G)$. We compute the Hochschild homology groups of $H(G)$ and of $S(G)$, and we describe the outcomes in several…
We formulate a connection between a topological and a geometric category. The former is the idempotent completion of the (horizontal) trace of the affine Hecke category, while the latter is the equivariant derived category of the…
For every Hecke C*-algebra of right-angled, hyperbolic type, we construct a smooth subalgebra to which traces associated with arbitrary conjugacy classes in the associated Coxeter group extend. We calculate the pairing with K-theory of the…
Let $G$ be a group and $S$ a unital epsilon-strongly $G$-graded algebra. We construct spectral sequences converging to the Hochschild (co)homology of $S$. Each spectral sequence is expressed in terms of the partial group (co)homology of $G$…
We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the…
We develop a new spectral sequence in order to calculate Hochschild homology of smash biproducts (also called twisted tensor products) of unital associative algebras $A\# B$ provided one of $A$ or $B$ has Hochschild dimension less than 2.…
We establish the existence of several quantum trace maps. The simplest one is an algebra map between two quantizations of the algebra of regular functions on the $SL_n$-character variety of a surface $\mathfrak{S}$ equipped with an ideal…
A modified trace for a finite k-linear pivotal category is a family of linear forms on endomorphism spaces of projective objects which has cyclicity and so-called partial trace properties. We show that a non-degenerate modified trace…