---
author:
- 'D. Kaledin[^1]'
date: '*To Yu. I. Manin, the founder, on the occasion of his 70-th birthday*'
title: Cyclic homology with coefficients
---

Introduction {#introduction .unnumbered}
============

Ever since it was discovered in 1982 by A. Connes [@C1] and B. Tsygan [@tsy], cyclic homology occupies a strange place in the realm of homological algebra. Normally in homological algebra problems, one expects to start from some data, such e.g. a topological space $X$, then construct some abelian category, such as the category of sheaves on $X$, and then define the cohomology of $X$ by computing the derived functors of some natural functor, such as e.g. the global sections functor $\Gamma(X,-)$. Admittedly, this is a modern formulation, but it had certainly been current already in 1982. Cyclic homology starts with an associative algebra $A$, and defines its homology groups $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$, but there are absolutely no derived functors in sight. Originally, $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$ were defined as the homology of an explicit complex, – which anyone trained to use triangulated categories cannot help but take as an insult. Later A. Connes [@C] improved on the definition by introducing the abelian category of so-called cyclic vector spaces. However, the passage from $A$ to its associated cyclic vector space $A_\#$ is still done by an explicit [*ad hoc*]{} formula. It is as if we were to know the bar-complex which computes the homology of a group, without knowing the definition of the homology of a group.

This situation undoubtedly irked many people over the years, but to the best of my knowledge, no satisfactory solution has been proposed, and it may not exist – indeed, many relations to the de Rham homology notwithstanding, it is not clear whether cyclic homology properly forms a part of homological algebra at all (to the point that e.g. in [@FT] the word “homology” is not used at all for $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$, and it is called instead [*additive $K$-theory*]{} of $A$). In the great codification of homological algebra done in [@GM1], cyclic homology only appears in the exercises. This is not surprising, since the main unifying idea of [@GM1] is the ideology of “linearization”: homological algebra linearizes geometry, just as functional analysis used to do 50 years ago; triangulated categories and adjoint functors are modern-day versions of Banach spaces and adjoint linear operators. This has been an immensely successful and clarifying point of view, in general, but $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$ sticks out on a complete tangent – there is simply no natural place for it in this framework.

This paper arouse as one more attempt to propose a solution to the difficulty – to find a natural triangulated category where $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(-)$ would be able to live with a certain level of comfort (and with all the standard corollaries such as the notion of cyclic homology with coefficients, the ability to compute cyclic homology by whatever resolution is convenient, not just the bar resolution, and so on).

In a sense, our attempt has been successful: we define a triangulated category which can serve as the natural “category of coefficients” for cyclic homology of an algebra $A$, and we prove the comparison theorem that shows that when the coefficients are trivial, the new definition of cyclic homology is equivalent to the old one. In fact, the algebra $A$ enters into the construction only through the category $A{\operatorname{\!-\sf bimod}}$ of $A$-bimodules; we also show how to generalize the construction so that $A{\operatorname{\!-\sf bimod}}$ is replaced with a more general tensor abelian category ${{\mathcal C}}$.

From a different point of view, though, out attempt failed miserably: the correspondence $A \mapsto A_\#$, being thrown out of the window, immediately returns through the door in a new and “higher-level disguise”: it is now applied not to the algebra $A$, but to the tensor category ${{\mathcal C}}= A{\operatorname{\!-\sf bimod}}$. Then in practice, the freedom to choose an arbitrary resolution to compute the derived functors leads, in our approach to $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(-)$, to complexes which are even larger than the original complex, and at some point the whole exercise starts to look pointless.

Still, we believe that, all said and done, some point can be found, and some things are clarified in our approach; one such thing is, for instance, the version of Gauss-Manin connection for cyclic homology discovered by E. Getzler [@getz]. Beside, we do propose a definition of cyclic homology which makes sense for a general tensor category; and in some particular questions, even the computations can be simplified. As for the presence of the $A_\#$-construction, this might be in the nature of things, after all – not a bug of the theory, but a necessary feature. However, we best leave it to the reader to be the judge.

The paper is organized as follows. In Section 1 we recall A. Connes’ second definition of cyclic homology which uses the cyclic category $\Lambda$; we also recall some facts about homology of small categories that we will need. We have tried to give only the absolute minimum – the reader not familiar with the material will have to consult the references. In Section 2 we introduce our main object: the notion of a [*cyclic bimodule*]{} over an associative algebra $A$, and the derived category of such bimodules. We also introduce cyclic homology $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$ with coefficients in a cyclic bimodule $M$. In Section 3 we give a very short derivation of the Gauss-Manin connection; strictly speaking, the language of cyclic bimodules is not needed for this, but we believe that it shows more clearly what is really going on. In Section 4, we show how to replace the category $A{\operatorname{\!-\sf bimod}}$ everywhere with a more general tensor abelian category ${{\mathcal C}}$. Section 5 is a postface, or a “discussion” (as they do in medical journals) – we discuss some of the further things one might (and should) do with cyclic bimodules, and how to correct some deficiencies of the theory developed in Sections 2 and 4.

Acknowledgements. {#acknowledgements. .unnumbered}
-----------------

In the course of this work, I have benefited greatly from discussions with A. Beilinson, E. Getzler, V. Ginzburg, A. Kuznetsov, N. Markarian, D. Tamarkin, and B. Tsygan. I am grateful to Northwestern Univeristy, where part of this work was done, and where some of the results were presented in seminars, with great indulgence from the audience towards the unfinished state they were in. And, last but not least, it is a great pleasure and a great opportunity to dedicate the paper to Yuri Ivanovich Manin on his birthday. Besides all the usual things, I would like to stress that it is the book [@GM1], – and [@GM2], to a lesser extent – which shaped the way we look at homological algebra today, at least “we” of my generation and of Moscow school. Without Manin’s decisive influence, this paper certainly would not have appeared (as in fact at least a half of the papers I ever wrote).

Recollection on cyclic homology.
================================

We start by recalling, extremely briefly, A. Connes’ approach to cyclic homology, which was originally introduced in [@C] (for detailed overviews, see e.g. [@L Section 6] or [@FT Appendix]; a brief but complete exposition using the same language and notation as in this paper can be found in [@Ka Section 1]).

Connes’ approach relies on the technique of homology of small categories. Fix a base field $k$. Recall that for every small category $\Gamma$, the category ${\operatorname{Fun}}(\Gamma,k)$ of functors from $\Gamma$ to the category $k{\operatorname{\it\!-Vect}}$ of $k$-vector spaces is an abelian category with enough projectives and enough injectives, with derived category ${{\mathcal D}}(\Gamma,k)$. For any object $E \in {\operatorname{Fun}}(\Gamma,k)$, the homology $H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Gamma,E)$ of the category $\Gamma$ with coefficients in $E$ is by definition the derived functor of the direct limit functor $$\displaystyle\lim_{\overset{\to}{\Gamma}}:{\operatorname{Fun}}(\Gamma,k) \to k{\operatorname{\it\!-Vect}}.$$ Analogously, the cohomology $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Lambda,E)$ is the derived functor of the inverse limit $\displaystyle\lim_{\overset{\gets}{\Gamma}}$. Equivalently, $$H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Gamma,E) = {\operatorname{Ext}}^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(k,E),$$ where $k \in {\operatorname{Fun}}(\Gamma,k)$ is the constant functor (all objects in $\Gamma$ go to $k$, all maps go to identity). In particular, $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Gamma,k)$ is an algebra. For any $E \in {\operatorname{Fun}}(\Gamma,k)$, the cohomology $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Gamma,E)$ and the homology $H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Gamma,E)$ are modules over $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Gamma,k)$.

We also note, although it is not needed for the definition of cyclic homology, that for any functor $\gamma:\Gamma' \to \Gamma$ between two small categories, we have the pullback functor $\gamma^*:{\operatorname{Fun}}(\Gamma,k) \to {\operatorname{Fun}}(\Gamma',k)$, and for any $E \in
{\operatorname{Fun}}(\Gamma,k)$, we have natural maps $$\label{dir.im}
H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Gamma',\gamma^*E) \to H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Gamma,E),\qquad
H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Gamma,E) \to H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Gamma',\gamma^*E).$$ Moreover, the pullback functor $\gamma^*$ has a left adjoint $\gamma_!:{\operatorname{Fun}}(\Gamma',k) \to {\operatorname{Fun}}(\Gamma,k)$ and a right-adjoint $f_*:{\operatorname{Fun}}(\Gamma',k) \to {\operatorname{Fun}}(\Gamma,k)$, known as the left and right Kan extensions. In general, $f_!$ is right-exact but it need not be left-exact. We will need one particular case where it is exact. Assume given a covariant functor $V:\Gamma \to {\operatorname{Sets}}$ from a small category $\Gamma$ to the category of sets, and consider the category $\Gamma'$ of pairs $\langle [a],v \rangle$ of an object $[a] \in \Gamma$ and an element $v \in V([a])$ (maps in $\Gamma'$ are those maps $\gamma:[a] \to [a']$ which send $v \in V([a])$ to $v' \in V([a'])$. Such a category is known as a [*discrete cofibration*]{} over $\Gamma$ associated to $V$, see [@SGA]. Then the Kan extension $f_!$ associated to the forgetful functor $f:\Gamma' \to \Gamma$, $\langle [a],v \rangle \mapsto [a]$ is exact, and is easy to compute: for any $E \in {\operatorname{Fun}}(\Gamma',k)$ and $[a] \in \Gamma$, we have $$\label{discr}
f_!E([a]) = \bigoplus_{v \in V([a])}E(\langle [a],v \rangle).$$ Moreover, for any $E \in {\operatorname{Fun}}(\Gamma,k)$, this imediately gives the projection formula: $$\label{projj}
f_!f^*E \cong E \otimes F_!k,$$ where, as before, $k \in {\operatorname{Fun}}(\Gamma',k)$ stands for the constant functor.

For applications to cyclic homology, one starts with introducing the [*cyclic category*]{} $\Lambda$. This is a small category whose objects $[n]$ are numbered by positive integers $n \geq 1$. One thinks of an object $[n]$ as a circle $S^1$ with $n$ distinct marked points; we denote the set of these points by $V([n])$. The set of maps $\Lambda([n'],[n])$ from $[n']$ to $[n]$ is then the set of homotopy classes of continuous maps $f:S^1 \to S^1$ such that

-   $f$ has degree $1$, sends marked points to marked points, and is non-decreasing with respect to the natural cyclic order on $S^1$ (that is, if a point $a \in S^1$ lies between points $b$ and $c$ when counting clockwise, then the same is true for $f(a)$, $f(b)$ and $f(c)$).

In particular, we have $\Lambda([1],[n]) = V([n])$. This topological description of the cyclic category $\Lambda$ is easy to visualize, but there are also alternative combinatorial descriptions (e.g. [@GM1 Exercize II.1.6], [@L Section 6], or [@FT A.2], retold in [@Ka Section 1.4]). All the descriptions are equivalent. Objects in ${\operatorname{Fun}}(\Lambda,k)$ are usually called [*cyclic vector spaces*]{}.

The cyclic category $\Lambda$ is related to the more familiar [*simplicial category*]{} $\Delta^{opp}$, the opposite to the category $\Delta$ of finite non-empty linearly ordered sets. To understand the relation, consider the discrete cofibration $\Lambda_{[1]}/\Lambda$ associated to the functor $V:\Lambda \to
{\operatorname{Sets}}$ – equivalently, $\Lambda_{[1]}$ is the category of objects $[n]$ in $\Lambda$ eqipped with a map $[1] \to [n]$. Then it is easy to check that $\Lambda_{[1]}$ is equivalent to the $\Delta^{opp}$. From now on, we will abuse the notation and identify $\Lambda_{[1]}$ and $\Delta^{opp}$. We then have a natural projection $\Delta^{opp} = \Lambda_{[1]} \to \Lambda$, $\langle
[n],v \rangle \mapsto [n]$, which we denote by $j:\Delta^{opp} \to
\Lambda$.

For any cyclic $k$-vector space $E \in {\operatorname{Fun}}(\Lambda,k)$, we have its restriction $j^*E \in {\operatorname{Fun}}(\Delta^{opp},E)$, a simplicial vector space. One defines the cyclic homology $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E)$ and the Hochschild homology $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$ of $E$ by $$HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) {\overset{\text{\sf\tiny def}}{=}}H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda,E), \qquad HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) {\overset{\text{\sf\tiny def}}{=}}H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},j^*E).$$ By , we have a natural map $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) \to
HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E)$ (moreover, since $j:\Delta^{opp} \to \Lambda$ is a discrete cofibration, the Kan extension $j_!$ is exact, so that we have $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) \cong HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(j_!j^*E)$, and the natural map is induced by the adjunction map $j_!j^*E \to E$). It has been shown by A. Connes that this map fits into a long exact sequence $$\label{connes}
\begin{CD}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) @>>> HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) @>{u}>> HC_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}-2}(E) @>>>.
\end{CD}$$ Here the map $u$ is the so-called [*periodicity map*]{} on $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E)$: one shows that the algebra $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Lambda,k)$ is isomorphic to the polynomial algebra $k[u]$ in one generator $u$ of degree $2$, and the periodicity map on homology is simply the action of this generator. This allows to define a third homological invariant, the [*periodic cyclic homology*]{} $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E)$ – to do it, one inverts the periodicity map.

For any cyclic $k$-vector space $E \in {\operatorname{Fun}}(\Lambda,k)$, the [*periodic cyclic homology*]{} of $E$ is defined by $$HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E) = \dlim_{\overset{u}{\gets}}HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E),$$ where $\dlim_{\gets}$ denotes the derived functor of the inverse limit $\displaystyle\lim_{\gets}$.

Assume now given an associative unital algebra $A$ over $k$. To define its cyclic homology, we associate to $A$ a canonical cyclic vector space $A_\#$ in the following way. We set $A_{\#}([n]) =
A^{\otimes V([n])}$, the tensor product of $n$ copies of the vector space $A$ numbered by marked points $v \in V([n])$. Then for any map $f \in \Lambda([n'],[n])$, we define $$\label{hash.def}
A_\#(f) = \bigotimes_{v \in V([n])}m_{f^{-1}(v)}:A^{\otimes V([n'])} =
\bigotimes_{v \in V([n])}A^{\otimes f^{-1}(v)} \to A^{\otimes
  V([n])},$$ where for any linearly ordered finite set $S$, $m_S:A^{\otimes S}
\to A$ is the canonical multiplication map induced by the associative algebra structure on $A$ (and if $S$ is empty, we set $A^{\otimes S} = k$, and $m_S$ is the embedding of the unity). This is obviously compatible with compositions, and it is well-defined since for any $v \in V([n])$, its preimage $f^{-1} \subset V([m])$ carries a natural linear order induced by the orientation of the circle $S^1$.

\[alg.def\] For any associative unital algebra $A$ over $k$, its Hochschild, cyclic and periodic cyclic homology $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$, $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$, $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$ is defined as the corresponding homology of the cyclic $k$-vector space $A_\#$: $$HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) {\overset{\text{\sf\tiny def}}{=}}HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_\#),\quad
HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) {\overset{\text{\sf\tiny def}}{=}}HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_\#),\quad
HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(P) {\overset{\text{\sf\tiny def}}{=}}HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_\#).$$

Cyclic bimodules. {#naive}
=================

Among all the homology functors introduced in Definition \[alg.def\], Hochschild homology is the most accesible, and this is because it has another definition: for any associative unital algebra $A$ over $k$, we have $$\label{hh.def}
HH_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}} = {\operatorname{Tor}}^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_{A^{opp} \otimes A}(A,A),$$ where ${\operatorname{Tor}}^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ is taken over the algebra $A^{opp} \otimes A$ (here $A^{opp}$ denotes $A$ with the multiplication taken in the opposite direction).

This has a version with coefficients: if $M$ is a left module over $A^{opp} \otimes A$, – in other words, an $A$-bimodule, – one defines Hochschild homology of $A$ with coefficients in $M$ by $$\label{hoch.coeff}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M) = {\operatorname{Tor}}^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_{A^{opp} \otimes A}(M,A).$$ The category $A{\operatorname{\!-\sf bimod}}$ of $A$-bimodules is a unital (non-symmetric) tensor category, with tensor product $- \otimes_A -$ and the unit object $A$. Hochschild homology is a homological functor from $A{\operatorname{\!-\sf bimod}}$ to $k{\operatorname{\it\!-Vect}}$.

To obtain a small category interpretation of $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$, one notes that for any $n,n' \geq 0$, the $A$-bimodule structure on $M$ induces a multiplication map $$A^{\otimes n} \otimes M \otimes A^{\otimes n'} \to M.$$ Therefore, if to any $\langle [n],v \rangle \in \Delta^{opp}$ we associate the $k$-vector space $$\label{M.Delta}
M^\Delta_\#([n]) = M \otimes A^{\otimes (V([n]) \setminus \{v\})},$$ with $M$ filling the place corresponding to $v \in V([n])$, then make perfect sense for those maps $f:[n'] \to [n]$ which preserve the distinguished points. Thus to any $M \in
A{\operatorname{\!-\sf bimod}}$, we can associate a simplicial $k$-vector space $M^\Delta_\# \in {\operatorname{Fun}}(\Delta^{opp},k)$. In the particular case $M=A$, we have $A_\#^\Delta = j^*A_\#$.

\[hoch\] For any $M \in A{\operatorname{\!-\sf bimod}}$, we have a canonical isomorphism $$\label{hh.iso}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M) \cong H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},M^\Delta_\#).$$

[[*Proof.*]{}]{} It is well-known that for any simplicial $k$-vector space $E$, the homology $H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},E)$ can be computed by the standard complex of $E$ (that is, the complex with terms $E([n])$ and the differential $d = \sum_i(-1)^id_i$, where $d_i$ are the face maps). In particular, $H_0(\Delta^{opp},M^\Delta_\#)$ is the cokernel of the map $d:A \otimes M \to M$ given by $d(a \otimes m) =
am-ma$. The natural projection $M \to M \otimes_{A^{opp} \otimes A}
A$ obviously factors through this cokernel, so that we have a natural map $$\rho_0:H_0(\Delta^{opp},M^\Delta_\#) \to HH_0(A,M).$$ Both sides of are homological functors in $M$, and $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$ is a universal homological functor (=the derived functor of $HH_0(A,M)$); therefore the map $\rho_0$ extends to a map $\rho_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}:H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},M^\Delta_\#) \to HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$. To prove that $\rho_{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ is an isomorphism for any $M$, it suffices to prove it when $M$ is free over $A^{opp} \otimes A$, or in fact, when $M = A^{opp} \otimes A$. Then on one hand, $HH_0(A,M)
= A$, and $HH_i(A,M) = 0$ for $i \geq 1$. And on the other hand, the standard complex associated to the simplicial $k$-vector space $(A^{opp} \otimes A)_\#^\Delta$ is just the usual bar resolution of the diagonal $A$-bimodule $A$.

It is more or less obvious that for an arbitrary $M \in A{\operatorname{\!-\sf bimod}}$, $M_\#^\Delta$ does not extend to a cyclic vector space – in order to be able to define $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$, we have to equip the bimodule $M$ with some additional structure. To do this, we want to use the tensor structure on $A{\operatorname{\!-\sf bimod}}$. The slogan is the following:

-   To find a suitable category of coefficients for cyclic homology, we have to repeat the definition of the cyclic vector space $A_\# \in {\operatorname{Fun}}(\Lambda,k)$, but replace the associative algebra $A$ in this definition with the tensor category $A{\operatorname{\!-\sf bimod}}$.

Let us explain what this means.

First, consider an arbitrary associative unital monoidal category ${{\mathcal C}}$ with unit object $I$ (at this point, not necessarily abelian). For any integer $n$, we have the Cartesian product ${{\mathcal C}}^n =
{{\mathcal C}}\times {{\mathcal C}}\times \dots \times {{\mathcal C}}$. Moreover, the product on ${{\mathcal C}}$ induces a product functor $$m:{{\mathcal C}}^n \to {{\mathcal C}},$$ where if $n=0$, we let ${{\mathcal C}}^n={\operatorname{{\sf pt}}}$, the category with one object and one morphism, and let $m:{\operatorname{{\sf pt}}}\to {{\mathcal C}}$ be the embedding of the unit object. More generally, for any finite linearly ordered set $S$ with $n$ elements, we have a product functor $m_S:{{\mathcal C}}^S \to {{\mathcal C}}$, where ${{\mathcal C}}^S = {{\mathcal C}}^n$ with multiples in the product labeled by elements of $S$. Then for any $[n],[n'] \in \Lambda$, and any $f:[n'] \to [n]$, we can define a functor $f_!:{{\mathcal C}}^{V([n'])} \to {{\mathcal C}}^{V([n])}$ by the same formula as in : $$\label{trans.f}
f_! = \prod_{v \in V([n])}m_{f^{-1}(v)}:{{\mathcal C}}^{V([n'])} = \prod_{v \in
  V([n])}{{\mathcal C}}^{f^{-1}(v)} \to {{\mathcal C}}^{V([n])}.$$ The natural associativity isomorphism for the product on ${{\mathcal C}}$ induces natural isomorphisms $(f \circ f')_! \cong f_!  \circ f'_!$, and one checks easily that they satisfy natural compatibility conditions. All in all, setting $[n] \mapsto {{\mathcal C}}^{V([n])}$, $f
\mapsto f_!$ defines a weak functor (a.k.a. lax functor, a.k.a.$2$-functor, a.k.a. pseudofunctor in the original terminology of Grothendieck) from $\Lambda$ to the category of categories. Informally, we have a “cyclic category”.

To work with weak functors, it is convenient to follow Grothendieck’s approach in [@SGA]. Namely, instead of considering a weak functor directly, we define a [*category*]{} ${{\mathcal C}}_\#$ in the following way: its objects are pairs $\langle [n],M_n
\rangle$ of an object $[n]$ of $\Lambda$ and an object $M_n \in
{{\mathcal C}}^n$, and morphisms from $\langle [n'],M_{n'} \rangle$ to $\langle
[n],M_n\rangle$ are pairs $\langle f,\iota_f\rangle$ of a map $f:[n'] \to [n]$ and a bimodule map $\iota_f:f_!(M_{n'}) \to M_n$. A map $\langle f, \iota_f \rangle$ is called [*cocartesian*]{} if $\iota_f$ is an isomorphism. For the details of this construction, – in particular, for the definition of the composition of morphisms, – we refer the reader to [@SGA].

The category ${{\mathcal C}}_\#$ comes equipped with a natural forgetful projection $\tau:{{\mathcal C}}_\# \to \Lambda$, and this projection is a [*cofibration*]{} in the sense of [@SGA]. A [*section*]{} of this projection is a functor $\sigma:\Lambda \to {{\mathcal C}}_\#$ such that $\tau
\circ \sigma = {\operatorname{\sf id}}$ (since $\Lambda$ is small, there is no harm in requiring that two functors from $\Lambda$ to itself are equal, not just isomorphic). These sections obviously form a category which we denote by ${\operatorname{\sf Sec}}({{\mathcal C}}_\#)$. Explicitly, an object $M_\# \in
{\operatorname{\sf Sec}}({{\mathcal C}}_\#)$ is given by the following:

1.  a collection of objects $M_n = M_\#([n]) \in {{\mathcal C}}^n$, and

2.  a collection of transition maps $\iota_f:f_!M_{n'} \to M_n$ for any $n$, $n'$, and $f \in \Lambda([n'],[n])$,

subject to natural compatibility conditions.

A section $\sigma:\Lambda \to {{\mathcal C}}_\#$ is called cocartesian if $\sigma(f)$ is a cocartesian map for any $[n],[n'] \in \Lambda$ and $f:[n'] \to [n]$ – equivalently, a section is cocartesian if all the transition maps $\iota_f$ are isomorphisms. Cocartesian sections form a full subcategory ${\operatorname{\sf Sec}}_{cart}({{\mathcal C}}_\#)$

\[cycl.str\] The category ${\operatorname{\sf Sec}}_{cart}({{\mathcal C}}_\#)$ of cocartesian objects $M_\# \in
{\operatorname{\sf Sec}}({{\mathcal C}}_\#)$ is equivalent to the category of the following data:

1.  an object $M = M_\#([1]) \in {{\mathcal C}}$, and

2.  an isomorphism $\tau: I \times M \to M \times I$ in the category ${{\mathcal C}}^2 = {{\mathcal C}}\times {{\mathcal C}}$,

such that, if we denote by $\tau_{ij}$ the endomorphism of $I \times
I \times M \in {{\mathcal C}}^3$ obtained by applying $\tau$ to the $i$-th and $j$-th multiple, we have $\tau_{31} \circ \tau_{12} \circ \tau_{23}
= {\operatorname{\sf id}}$.

[[*Proof.*]{}]{} Straghtforward and left to the reader.

Thus the natural forgetfull functor ${\operatorname{\sf Sec}}_{cart}({{\mathcal C}}_\#) \to {{\mathcal C}}$, $M_\# \mapsto M_\#([1])$ is faithful: an object in ${\operatorname{\sf Sec}}_{cart}({{\mathcal C}}_\#)$ is given by $M_\#([1])$ plus some extra structure on it, and all the higher components $M_\#([n])$, $n \geq
2$, together with the transition maps $\iota_f$, can be recovered from $M_\#([1])$ and this extra structure.

Return now to the abelian situation: we are given an associative unital algebra $A$ over a field $k$, and our monoidal category is ${{\mathcal C}}= A{\operatorname{\!-\sf bimod}}$, with the natural tensor product. Then for every $n$, the product $A{\operatorname{\!-\sf bimod}}^n$ has a fully faithful embedding $A{\operatorname{\!-\sf bimod}}^n
\to A^{\otimes n}{\operatorname{\!-\sf bimod}}$, $M_1 \times M_2 \times \dots \times M_n
\mapsto M_1 \boxtimes M_2 \boxtimes \dots \boxtimes M_n$, and one checks easily that the multiplication functors $m_S$ actually extend to right-exact functors $$m_S:A^{\otimes S}{\operatorname{\!-\sf bimod}}\to A{\operatorname{\!-\sf bimod}};$$ for instance, one can define $m_S$ as $$m_S(M) = M/\{ a_{v'}m - ma_v \mid v \in S, a \in A, m \in M \},$$ where $a_v = 1 \otimes \dots \otimes a \otimes \dots \otimes 1 \in
A^{\otimes S}$ with $a$ at the $v$-th position, and $v' \in S$ is the next element after $v$. We can therefore define the cofibered category $A{\operatorname{\!-\sf bimod}}_\#/\Lambda$ with fiber $A^{\otimes V([n])}{\operatorname{\!-\sf bimod}}$ over $[n]
\in \Lambda$, and transition functors $f_!$ as in . We also have the category of sections ${\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ and the subcategory of cocartesian sections ${\operatorname{\sf Sec}}_{cart}(A{\operatorname{\!-\sf bimod}}_\#) \subset {\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$.

\[sec.ab\] The category ${\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ is a $k$-linear abelian category.

[[*Sketch of a proof.*]{}]{} This is a general fact about cofibered categories; the proof is straightforward. The kernel ${\operatorname{{\sf Ker}}}\phi$ and cokernel ${\operatorname{{\sf Coker}}}\phi$ of a map $\phi:M_\# \to M'_\#$ between objects $M_\#,M'_\# \in {\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ are taken pointwise: for every $n$, we have an exact sequence $$0 \to ({\operatorname{{\sf Ker}}}\phi)([n]) \to M_\#([n]) \overset{\phi}{\to} 
M'_\#([n]) \to ({\operatorname{{\sf Coker}}}\phi)([n]) \to 0.$$ The transtition maps $\iota_f$ for ${\operatorname{{\sf Ker}}}\phi$ are obtained by restriction from those for $M_\#$; for ${\operatorname{{\sf Coker}}}\phi$, one uses the fact that the functors $f_!$ are right-exact.

A [*cyclic bimodule $M$*]{} over a unital associative algebra $A$ is a cocartesian section $M_\# \in {\operatorname{\sf Sec}}_{cart}(A{\operatorname{\!-\sf bimod}}_\#)$. A [*complex of cyclic bimodules $M_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$*]{} over $A$ is an object in the derived category ${{\mathcal D}}({\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#))$ whose homology objects are cocartsian.

Complexes of cyclic bimodules obviously form a full triangulated subcategory in ${{\mathcal D}}({\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#))$; consistent notation for this category would be ${{\mathcal D}}_{cart}({\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#))$, but for simplicity we will denote it ${{\mathcal D}}\Lambda(A{\operatorname{\!-\sf bimod}})$. We have to define complexes separately for the following reasons:

1.  The category ${\operatorname{\sf Sec}}_{cart}(A{\operatorname{\!-\sf bimod}}_\#) \subset
      {\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ need not be abelian – since the transition functors $f_!$ are only right-exact, the condition of being cocartesian need not be preserved when passing to kernels.

2.  Even if ${\operatorname{\sf Sec}}_{cart}(A{\operatorname{\!-\sf bimod}}_\#)$ is abelian, its derived category might be much smaller than ${{\mathcal D}}\Lambda(A{\operatorname{\!-\sf bimod}})$.

\[const.exa\] An extreme example of is the case $A = k$: in this case ${\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ is just the category of cyclic vector spaces, ${\operatorname{Fun}}(\Lambda,k)$, and $E \in {\operatorname{Fun}}(\Lambda,k)$ is cocartesian if and only if $E(f)$ is invertible for any map $f:[n'] \to [n]$. One deduces easily that $E$ must be a constant functor, so that ${\operatorname{\sf Sec}}_{cart}(k{\operatorname{\!-\sf bimod}}_\#) = k{\operatorname{\it\!-Vect}}$. Then ${{\mathcal D}}\Lambda(k{\operatorname{\!-\sf bimod}})$ is the full subcategory ${{\mathcal D}}_{const}(\Lambda,k) \subset {{\mathcal D}}(\Lambda,k)$ of complexes whose homology is constant. If we were to consider $\Delta^{opp}$ instead of $\Lambda$, we would have ${{\mathcal D}}_{const}(\Delta^{opp},k) \cong {{\mathcal D}}(k{\operatorname{\it\!-Vect}})$ – since $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},k) = k$, the embedding ${{\mathcal D}}(k{\operatorname{\it\!-Vect}}) \to
{{\mathcal D}}(\Delta^{opp},k)$ is fully faithful, and ${{\mathcal D}}_{const}(\Delta^{opp},k)$ is its essential image. However, $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Lambda,k)$ is $k[u]$, not $k$. Therefore there are maps between constant functors in ${{\mathcal D}}(\Lambda,k)$ which do not come from maps in ${{\mathcal D}}(k{\operatorname{\it\!-Vect}})$, and the cones of these maps give objects in ${{\mathcal D}}_{const}(\Lambda,k)$ which do not come from ${{\mathcal D}}(k{\operatorname{\it\!-Vect}})$.

This phenomenon is quite common in homological algebra – examples are, for instance, the triangulated category of complexes of étale sheaves with constructible homology, the category of complex of ${{\mathcal D}}$-modules with holonomic homology, or the so-called “equivariant derived category” of sheaves on a topological space $X$ acted upon by a topological group $G$ (which is not in fact the derived category of anything useful). The upshot is that it is the triangulated category ${{\mathcal D}}\Lambda(A{\operatorname{\!-\sf bimod}})$ which should be treated as the basic object, wherever categories are discussed.

\[const.rem\] We note one interesting property of the category ${{\mathcal D}}_{const}(\Lambda,k)$. Fix an integer $n \geq 1$, and consider the full subcategory $\Lambda_{\leq n} \subset \Lambda$ of objects $[n']
\in \Lambda$ with $n' \leq n$. Then one can show that $H^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(\Lambda_{\leq n},k) = k[u]/u^n$, so that we have a natural exact triangle $$\label{conn.2}
\begin{CD}
H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda_{\leq n},E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) @>>> HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) @>{u^n}>>
HC_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+2n}(E) @>>>,
\end{CD}$$ for every $E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}\in {{\mathcal D}}_{const}(\Lambda,k)$. We note that for any $E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}\in {{\mathcal D}}(\Lambda,k)$, extends to a spectral sequence $$\label{conn.sp}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}})[u^{-1}] \Rightarrow HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E),$$ where the expression on the left-hand side reads as “polynomials in one formal variable $u^{-1}$ of homological degree $2$ with coefficients in $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}})$”. Then shows that for $E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}\in {{\mathcal D}}_{const}(\Lambda,k)$, the first $n$ differentials in depend only on the restriction of $E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ to $\Lambda_{\leq (n+1)} \subset \Lambda$. This is useful because in practice, one is often interested only in the first differential in the spectral sequence.

As in Lemma \[cycl.str\], a cyclic $A$-bimodule $M_\#$ essentially consists of an $A$-bimodule $M = M_\#([1])$ equipped with an extra structure. Explicitly, this structure is a map $\tau:A \otimes_k M
\to M \otimes_k A$ which respects the $A^{\otimes 2}$-bimodule structure on both sides, and satisfies the condition $\tau_{31}
\circ \tau_{12} \circ \tau_{23} = {\operatorname{\sf id}}$, as in Lemma \[cycl.str\].

Another way to view this structure is the following. One checks easily that for any cyclic $A$-bimodule $M_\#$, the restriction $j^*M_\# \in {\operatorname{Fun}}(\Delta^{opp},k)$ is canonically isomorphic to the simplicial $k$-vector space $M^\Delta_\#$ associated to the underlying $A$-bimodule $M$ as in . By adjunction, we have a natural map $$\tau_\#:j_!M^\Delta_\# \to M_\#.$$ Then $j_!M^\Delta_\#$ in this formula only depends on $M \in
A{\operatorname{\!-\sf bimod}}$, and all the structure maps which turn $M$ into the cyclic bimodule $M_\#$ are collected in the map $\tau_\#$.

We can now define cyclic homology with coefficients. The definition is rather tautological. We note that for any cyclic $A$-bimodule $M_\#$ – or in fact, for any $M_\# \in {\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ – we can treat $M_\#$ as a cyclic vector space by forgetting the bimodule structure on its components $M_n$.

\[cycl.def\] The [*cyclic homology $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M_\#)$ with coefficients*]{} in a cyclic $A$-bimodule $M$ is equal to $H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda,M_\#)$.

Of course, , being valid for any cyclic $k$-vector space, also applies to $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M_\#)$, so that we automatically get the whole package – the Connes’ exact sequence, the periodicity endomorphism, and the periodic cyclic homology $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$. By Lemma \[hoch\], $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#)$ coincides with $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$ as defined in .

Gauss-Manin connection. {#getz}
=======================

To illustate the usefulness of the notion of a cyclic bimodule, let us study the behavior of cyclic homology under deformations.

There are two types of deformation theory objects that one can study for an associative algebra $A$. The first is the notion of a [*square-zero extension*]{} of the algebra $A$ by a $A$-bimodule $M$. This is an associative algebra ${\widetilde}{A}$ which fits into a short exact sequence $$\begin{CD}
0 @>>> M @>{i}>> {\widetilde}{A} @>{p}>> A @>>> 0,
\end{CD}$$ where $p$ is an algebra map, and $i$ is an ${\widetilde}{A}$-bimodule map, under the ${\widetilde}{A}$-bimodule structure on $M$ induced from the given $A$-bimodule structure by means of the map $p$. In other words, the multiplication on the ideal ${\operatorname{{\sf Ker}}}p \subset {\widetilde}{A}$ is trivial, so that the ${\widetilde}{A}$-bimodule structure on ${\operatorname{{\sf Ker}}}p$ is induced by an $A$-bimodule structure, and $i$ identifies the $A$-bimodule ${\operatorname{{\sf Ker}}}p$ with $M$. Square-zero extensions are classified up to an isomorphism by elements in the second Hochschild cohomology group $HH^2(A,M)$, defined as $$HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(A,M) = {\operatorname{Ext}}^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_{A^{opp} \otimes A}(A,M).$$ In this setting, we can consider the cyclic homology of the algebra ${\widetilde}{A}$ and compare with the cyclic homology of $A$. Th. Goodwillie’s theorem [@go] claims that if the base field $k$ has characteristic $0$, the natural map $$HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({\widetilde}{A}) \to HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$$ is an isomorphism, and there is also some information on the behaviour of $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$.

A second type of deformation theory data includes a commutative $k$-algebra $R$ with a maximal ideal ${{\mathfrak m}}\subset R$. A [*deformation*]{} $A_R$ of the algebra $A$ over $R$ is a flat associative unital algebra $A_R$ over $R$ equipped with an isomorphism $A_R/{{\mathfrak m}}\cong A$. In this case, one can form the [*relative*]{} cyclic $R$-module $A_{R\#}$ by taking the tensor products over $R$; thus we have relative homology $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R)$, $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R)$, $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R)$. The fundamental fact discovered by E. Getzler [@getz] is that we have an analog of the Gauss-Manin connection: if ${\operatorname{Spec}}R$ is smooth, the $R$-module $HP_i(A_R/R)$ carries a canonical flat connection for every $i$.

Consider now the case when $R$ is not smooth but, on the contrary, local Artin. Moreover, assume that ${{\mathfrak m}}^2=0$, so that $R$ is itself a (commutative) square-zero extension of $k$. Then a deformation $A_R$ of $A$ over $R$ is also a square-zero extension of $A$, by the bimodule $A \otimes {{\mathfrak m}}$ (${{\mathfrak m}}$ here is taken as a $k$-vector space). But this square-zero extension is special – for a general square-zero extension ${\widetilde}{A}$ of $A$ by some $M \in A{\operatorname{\!-\sf bimod}}$, there does not exist any analog of the relative cyclic $R$-module $A_{R\#}
\in {\operatorname{Fun}}(\Lambda,R)$.

We observe the following: the data needed to define such an analog is precisely a cyclic bimodule structure on the bimodule $M$.

Namely, assume given a square-zero extension ${\widetilde}{A}$ of the algebra $A$ by some $A$-bimodule $M$, and consider the cyclic $k$-vector space ${\widetilde}{A}_\# \in {\operatorname{Fun}}(\Lambda,k)$. Let us equip ${\widetilde}{A}$ with a descreasing two-step filtration $F^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ by setting $F^1{\widetilde}{A} =
M$. Then this induces a decreasing filtration $F^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ on tensor powers ${\widetilde}{A}^{\otimes n}$. Since ${\widetilde}{A}$ is square-zero, $F^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ is compatible with the multiplication maps; therefore we also have a filtration $F^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ on ${\widetilde}{A}_\#$. Consider the quotient $$\overline{A_\#} = {\widetilde}{A}_\#/F^2{\widetilde}{A}_\#.$$ One checks easily that ${\operatorname{\sf gr}}^0_F{\widetilde}{A}_\# \cong A_\#$ and ${\operatorname{\sf gr}}^1_F{\widetilde}{A}_\# \cong j_!M^\Delta_\#$ in a canonical way, so that $\overline{A_\#}$ fits into a canonical short exact sequence $$\label{A.bar}
\begin{CD}
0 @>>> j_!M^\Delta_\# @>>> \overline{A_\#} @>>> A_\# @>>> 0
\end{CD}$$ of cyclic $k$-vector spaces.

Now assume in addition that $M$ is equipped with a structure of a cyclic $A$-bimodule $M_\#$, so that $M^\Delta_\# \cong
j^*M_\#$, and we have the structure map $\tau_\#:j_!M^\Delta_\# \to
M_\#$. Then we can compose the extension with the map $\tau_\#$, to obtain a commutative diagram $$\label{A.hat}
\begin{CD}
0 @>>> j_!M^\Delta_\# @>>> \overline{A_\#} @>>> A_\# @>>> 0\\
@. @V{\tau_\#}VV @VVV @|\\
0 @>>> M_\# @>>> {\widehat}{A_\#} @>>> A_\# @>>> 0
\end{CD}$$ of short exact sequences in ${\operatorname{Fun}}(\Lambda,k)$, with cartesian left square. It is easy to check that when ${\widetilde}{A} = A_R$ for some square-zero $R$, so that $M = A \otimes {{\mathfrak m}}$, and we take the cyclic $A$-bimodule structure on $M$ induced by the tautological structure on $A$, then ${\widehat}{A_\#}$ coincides precisely with the relative cyclic object $A_{R\#}$ (which we consider as a $k$-vector space, forgetting the $R$-module structure).

We believe that this is the proper generality for the Getzler connection; in this setting, the main result reads as follows.

\[spl\] Assume given a square-zero extension ${\widetilde}{A}$ of an associative algebra $A$ by an $A$-bimodule $M$, and assume that $M$ is equipped with a structure of a cyclic $A$-bimodule. Then the long exact sequence $$\begin{CD}
HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M) @>>> HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({\widehat}{A_\#}) @>>> HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) @>>>
\end{CD}$$ of periodic cyclic homology induced by the second row in admits a canonical splitting $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) \to
HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({\widehat}{A_\#})$.

[[*Proof.*]{}]{} By definition, we have two natural maps $$\label{comp}
\begin{aligned}
HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\overline{A_\#}) &\to HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_\#) = HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A),\\
HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\overline{A_\#}) &\to HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({\widehat}{A_\#}),
\end{aligned}$$ and the cone of the first map is isomorphic to $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(j_!M^\Delta_\#)$. Since $j_!$ is exact, we have $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(j_!M^\Delta_\#) \cong HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#)$, and the periodicity map $u:HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(j_!M^\Delta_\#) \to HC_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}-2}(j_!M^\Delta_\#)$ is equal to $0$, so that $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(j_!M^\Delta_\#) = 0$. Thus the first map in is an isomorphism, and the second map is then the required splitting.

Assume given a commutative $k$-algebra $R$ with a maximal ideal ${{\mathfrak m}}\subset R$, and a deformation $A_R$ of the algebra $A$ over $R$. Then if ${\operatorname{Spec}}R$ is smooth, the $R$-modules $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R)$ carry a natural connection.

[[*Sketch of a proof.*]{}]{} Consider the $R \otimes R$-algebras $A_R
\otimes R$ and $R \otimes A_R$, and their restrictions to the first infinitesemal neighborhood of the diagonal in ${\operatorname{Spec}}(R \otimes R) =
{\operatorname{Spec}}R \times {\operatorname{Spec}}R$. Then Proposition \[spl\], suitably generalized, shows that $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(-)$ of these two restrictions are canonically isomorphic. It is well-known that giving such an isomorphism is equivalent to giving a connection on $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R)$.

We note that we do not claim that the connection is [*flat*]{}. It certainly is, at least in characteristic $0$; but our present method does not allow one to go beyond square-zero extensions. Thus we cannot analyse the second infinitesemal neighborhood of the diagonal in ${\operatorname{Spec}}(R \otimes R)$, and we cannot prove flatness.

Unfortunately, at present, we do not understand what is the proper cyclic bimodule context for higher-level infinitesemal extensions. Of course, if one is only interested in an $R$-deformation ${\widetilde}{A} = A_R$ over an Artin local base $R$, not in its cyclic bimodule generalizations, one can use Goodwillie’s Theorem: using the full cyclic object ${\widetilde}{A}_\#$ instead of its quotient $\overline{A_\#}$ in Proposition \[spl\] immediately gives a splitting $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) \to HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R)$ of the augmentation map $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R) \to HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$, and this extends by $R$-linearity to an isomorphism $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_R/R) \cong
HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) \otimes R$. However, this is not quite satisfactory from the conceptual point of view, and it does not work in positive characteristic (where Goodwillie’s Theorem is simply not true). If ${\operatorname{\sf char}}k \neq 2$, the latter can be cured by using ${\widetilde}{A}_\#/F^3{\widetilde}{A}_\#$, but the former remains. We plan to return to this elsewhere.

Categorical approach. {#cat}
=====================

Let us now try to define cyclic homology in a more general setting – we will attempt to replace $A{\operatorname{\!-\sf bimod}}$ with an arbitrary associative unital $k$-linear tensor category ${{\mathcal C}}$ with a unit object ${\operatorname{{\sf I}}}\in {{\mathcal C}}$. We do not assume that ${{\mathcal C}}$ is symmetric in any way. However, we will assume that the tensor product $- \otimes -$ is right-exact in each variable, and we will need to impose additional technical assumptions later on.

The first thing to do is to try to define Hochschild homology; so, let us look more closely at . The formula in the right-hand side looks symmetric, but this is an optical illusion – the two copies of $A$ are completely different objects: one is a left module over $A^{opp} \otimes A$, and the other is a right module ($A$ just happens to have both structures at the same time). It is better to separate them and introduce the functor $${\operatorname{\sf tr}}:A{\operatorname{\!-\sf bimod}}\to k{\operatorname{\it\!-Vect}}$$ by ${\operatorname{\sf tr}}(M) = M \otimes_{A^{opp} \otimes A} A$ – or, equivalently, by $$\label{tr.A}
{\operatorname{\sf tr}}(M) = M/\{ am-ma \mid a \in A, m \in M \}.$$ Then ${\operatorname{\sf tr}}$ is a right-exact functor, and we have $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M) =
L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}(M)$.

We want to emphasize that the functor ${\operatorname{\sf tr}}$ can not be recovered from the tensor structure on $A{\operatorname{\!-\sf bimod}}$ – this really is an extra piece of data. For a general tensor category ${{\mathcal C}}$, it does not exist a priori; we have to impose it as an additional structure.

Let us axiomatize the situation. First, forget for the moment about the $k$-linear and abelian structure on ${{\mathcal C}}$ – let us treat it simply as a monoidal category. Assume given some other category ${{\mathcal B}}$ and a functor $T:{{\mathcal C}}\to {{\mathcal B}}$.

\[trace.defn\] The functor $T:{{\mathcal C}}\to {{\mathcal B}}$ is a [*trace functor*]{} if it is extended to a functor ${{\mathcal C}}_\# \to {{\mathcal B}}$ which sends any cocartesian map $f:M \to
M'$ in ${{\mathcal C}}_\#$ to an invertible map.

Another way to say the same thing is the following: the categories ${\operatorname{Fun}}({{\mathcal C}}^n,{{\mathcal B}})$ of functors from ${{\mathcal C}}^n$ to ${{\mathcal B}}$ form a fibered category over $\Lambda$, and a trace functor is a cartesian section of this fibration. Explicitly, a trace functor is defined by $T:{{\mathcal C}}\to {{\mathcal B}}$ and a collection of isomorphisms $$T(M \otimes M') \to T(M' \otimes M)$$ for any $M,M' \in {{\mathcal C}}$ which are functorial in $M$ and $M'$ and satisfy some compatibility conditions analogous to those in Lemma \[cycl.str\]; we leave it to the reader to write down these conditions precisely. Thus $T$ has a trace-like property with respect to the product in ${{\mathcal C}}$, and this motivates our terminology.

Recall now that ${{\mathcal C}}$ is a $k$-linear abelian category. To define Hochschild homology, we have to assume that it is equipped with a right-exact trace functor ${\operatorname{\sf tr}}:{{\mathcal C}}\to k{\operatorname{\it\!-Vect}}$; then for any $M \in
{{\mathcal C}}$, we set $$\label{hh.def.gen}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M) = L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}(M).$$

The functor ${\operatorname{\sf tr}}:A{\operatorname{\!-\sf bimod}}\to k{\operatorname{\it\!-Vect}}$ canonically extends to a right-exact trace functor in the sense of Definition \[trace.defn\].

[[*Proof.*]{}]{} For any object $\langle [n],M_n \rangle \in A{\operatorname{\!-\sf bimod}}_\#$, $[n] \in \Lambda$, $M_n \in A^{\otimes n}{\operatorname{\!-\sf bimod}}$, let $${\operatorname{\sf tr}}(\langle [n],M_n \rangle) = M_n/\{ a_{v'}m - ma_v \mid v \in
V([n]), m \in M_n, a \in A \},$$ where $a_v = 1 \otimes 1 \otimes \dots \otimes a \otimes \dots
\otimes 1 \in A^{\otimes V([n])}$ has $a$ in the multiple corresponding to $v \in V([n])$, and $v' \in V([n])$ is the next marked point after $v$ counting clockwise. The compatibility with maps in the category $A{\operatorname{\!-\sf bimod}}_\#$ is obvious.

We note that here, in the case ${{\mathcal C}}=A{\operatorname{\!-\sf bimod}}$, the category $A{\operatorname{\!-\sf bimod}}_\#$ is actually larger than what we would have had purely from the monoidal structure on ${{\mathcal C}}$: $M_n$ is allowed to be an arbitrary $A^{\otimes n}$-bimodule, not a collection of $n$ $A$-bimodules. To do the same for general $k$-linear ${{\mathcal C}}$, we need to replace $A^{\otimes n}{\operatorname{\!-\sf bimod}}$ with some version of the tensor product ${{\mathcal C}}^{\otimes n}$. Here we have a difficulty: for various technical reasons, it is not clear how to define tensors products for sufficiently general abelian categories.

One way around it is the following. For any (small) $k$-linear abelian category ${{\mathcal B}}$, a $k$-linear functor ${{\mathcal B}}^{opp} \to k{\operatorname{\it\!-Vect}}$ is left-exact if and only if it is a sheaf for for the canonical Grothendieck topology on ${{\mathcal B}}$ ([@BD 5, §10]); the category ${\operatorname{Shv}}({{\mathcal B}})$ of such functors is abelian and $k$-linear, and ${{\mathcal B}}$ itself is naturally embedded into ${\operatorname{Shv}}({{\mathcal B}})$ by Yoneda. The embedding is a fully faithfull exact functor. Every functor in ${\operatorname{Shv}}({{\mathcal B}})$ is in fact a direct limit of representable functors, so that ${\operatorname{Shv}}({{\mathcal B}})$ is an inductive completion of the abelian category ${{\mathcal B}}$. Now, if are given two (small) $k$-linear abelian categories ${{\mathcal B}}_1$, ${{\mathcal B}}_2$, then their product ${{\mathcal B}}_1 \times {{\mathcal B}}_2$ is no longer abelian. However, we still have the abelian category ${\operatorname{Shv}}({{\mathcal B}}_1
\times {{\mathcal B}}_2)$ of bilinear functors ${{\mathcal B}}_1^{opp} \times {{\mathcal B}}_2^{opp} \to
k{\operatorname{\it\!-Vect}}$ which are left-exact in each variable, and the same goes for polylinear functors.

Moreover, for any right-exact functor $F:{{\mathcal B}}_1 \to {{\mathcal B}}_2$ between small abelian categories, we have the restriction functor $F^*:{\operatorname{Shv}}({{\mathcal B}}_2) \to {\operatorname{Shv}}({{\mathcal B}}_1)$, which is left-exact, and its left-adjoint $F_!:{\operatorname{Shv}}({{\mathcal B}}_1) \to {\operatorname{Shv}}({{\mathcal B}}_2)$, which is right-exact. The functor $F_!$ is an extension of the functor $F$: on Yoneda images ${{\mathcal B}}_i \subset {\operatorname{Shv}}({{\mathcal B}}_i)$, we have $F_! = F$. And, again, the same works for polylinear functors.

In particular, given our $k$-linear abelian tensor category ${{\mathcal C}}$, we can form the category ${\operatorname{Shv}}({{\mathcal C}})_\#$ of pairs $\langle E,[n]
\rangle$, $[n] \in \Lambda$, $E \in {\operatorname{Shv}}({{\mathcal C}}^n)$, with a map from $\langle E',[n'] \rangle$ to $\langle E,[n] \rangle$ given by a pair of a map $f:[n'] \to [n]$ and either a map $E' \to (f_!)^*E$, or map $(f_!)_!E' \to E$ – this is equivalent by adjunction. Then ${\operatorname{Shv}}({{\mathcal C}})_\#$ is bifibered category over $\Lambda$ in the sense of [@SGA].

The category of sections $\Lambda \to {\operatorname{Shv}}({{\mathcal C}})_\#$ of this bifibration can also be described as the full subcategory ${\operatorname{Shv}}({{\mathcal C}}_\#) \subset {\operatorname{Fun}}({{\mathcal C}}^{opp}_\#,k)$ spanned by those functors $E_\#:{{\mathcal C}}^{opp}_\# \to k{\operatorname{\it\!-Vect}}$ whose restriction to $({{\mathcal C}}^{opp})^n
\subset {{\mathcal C}}^{opp}_\#$ is a sheaf – that is, an object in ${\operatorname{Shv}}({{\mathcal C}}^n)
\subset {\operatorname{Fun}}(({{\mathcal C}}^{opp})^n,k)$. Since the transition functors $(f_!)_!$ are right-exact, ${\operatorname{Shv}}({{\mathcal C}}_\#)$ is an abelian category (this is proved in exactly the same way as Lemma \[sec.ab\]).

We denote by ${\operatorname{Shv}}_{cart}({{\mathcal C}}_\#) \subset {\operatorname{Shv}}({{\mathcal C}}_\#)$ the full subcategory of sections $E:\Lambda \to {\operatorname{Shv}}({{\mathcal C}})_\#$ which are cocartesian, and moreover, are such that $E([1]) \in {\operatorname{Shv}}({{\mathcal C}})$ actually lies in the Yoneda image ${{\mathcal C}}\subset {\operatorname{Shv}}({{\mathcal C}})$. We also denote by ${{\mathcal D}}\Lambda({{\mathcal C}}) \subset {{\mathcal D}}({\operatorname{Shv}}({{\mathcal C}}_\#))$ the full triangulated subcategory of complexes $E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_\# \in
{{\mathcal D}}({\operatorname{Shv}}({{\mathcal C}}_\#))$ with homology in ${\operatorname{Shv}}_{cart}({{\mathcal C}}_\#)$.

If ${{\mathcal C}}$ is the category of $A$-bimodules for some algebra $A$ – or better yet, of $A$-bimodules of cardinality not more than that of $A
\times {{\mathbb N}}$, so that ${{\mathcal C}}$ is small – then ${\operatorname{Shv}}({{\mathcal C}})$ is equivalent to $A{\operatorname{\!-\sf bimod}}$ (one shows easily that every sheaf $E \in {\operatorname{Shv}}({{\mathcal C}})$ is completely determined by its value at $A^{opp} \otimes A \in
{{\mathcal C}}$). In this case, ${{\mathcal D}}\Lambda({{\mathcal C}})$ is our old category ${{\mathcal D}}\Lambda(A{\operatorname{\!-\sf bimod}})$.

Now, we assume that ${{\mathcal C}}$ is equipped with a right-exact trace functor ${\operatorname{\sf tr}}:{{\mathcal C}}\to k{\operatorname{\it\!-Vect}}$, we would like to define cyclic homology $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}})$ for any $M_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\in {{\mathcal D}}\Lambda({{\mathcal C}})$, and we immediately notice a problem: for a general ${{\mathcal C}}$, we do not have a forgetful functor to vector spaces. However, it turns out that the forgetful functor [*is not needed*]{} for the definition – it can be replaced with the trace functor ${\operatorname{\sf tr}}$.

We proceed as follows. By definition, ${\operatorname{\sf tr}}$ is extended to a functor ${{\mathcal C}}_\# \to k{\operatorname{\it\!-Vect}}$; we extend it canonically to a functor ${\operatorname{Shv}}({{\mathcal C}})_\# \to k{\operatorname{\it\!-Vect}}$, and consider the product $${\operatorname{\sf tr}}\times \tau: {\operatorname{Shv}}({{\mathcal C}})_\# \to k{\operatorname{\it\!-Vect}}\times \Lambda,$$ where $\tau:{\operatorname{Shv}}({{\mathcal C}})_\# \to \Lambda$ is the projection. This is a functor compatible with the projections to $\Lambda$, and therefore, it induces a functor of the categories of sections. The category of sections of the projection $k{\operatorname{\it\!-Vect}}\times \Lambda \to \Lambda$ is tautologically the same as ${\operatorname{Fun}}(\Lambda,k{\operatorname{\it\!-Vect}})$, so that we have a functor $${\operatorname{\sf tr}}_\#:{\operatorname{Shv}}({{\mathcal C}}_\#) \to {\operatorname{Fun}}(\Lambda,k).$$ One checks easily that this functor is right-exact.

\[cycl.def.gen\] For any $M_\# \in {\operatorname{\sf Sec}}({{\mathcal C}}_\#)$, its cyclic homology $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#)$ is defined by $$HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#) {\overset{\text{\sf\tiny def}}{=}}HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M_\#)) =
H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda,L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M_\#)).$$

\[clean\] The pair $\langle {{\mathcal C}},{\operatorname{\sf tr}}\rangle$ is called [*homologically clean*]{} if for any $n$, the category ${\operatorname{Shv}}({{\mathcal C}}^n)$ has enough objects $E$ such that

1.  $E$ is acyclic both for functors $(f_!)_!:{\operatorname{Shv}}({{\mathcal C}}^n) \to
    {\operatorname{Shv}}({{\mathcal C}}^{n'})$, for any $f:[n] \to [n']$, and for the trace functor ${\operatorname{\sf tr}}:{\operatorname{Shv}}({{\mathcal C}}^n) \to k{\operatorname{\it\!-Vect}}$, and

2.  for any $f:[n] \to [n']$, $(f_!)_!E \in {\operatorname{Shv}}({{\mathcal C}}^{n'})$ is acyclic for ${\operatorname{\sf tr}}:{\operatorname{Shv}}({{\mathcal C}}^{n'}) \to k{\operatorname{\it\!-Vect}}$.

\[cln.exa\] Assume that the category ${{\mathcal C}}$ has enough projectives, and moreover, $P_1 \otimes P_2$ is projective for any projective $P_1,P_2 \in {{\mathcal C}}$ (this is satisfied, for instance, for ${{\mathcal C}}=A{\operatorname{\!-\sf bimod}}$). Then the pair $\langle {{\mathcal C}},{\operatorname{\sf tr}}\rangle$ is homologically clean, for any trace functor ${\operatorname{\sf tr}}$. Indeed, ${\operatorname{Shv}}({{\mathcal C}}^n)$ then also has enough projectives, say sums of objects $$\label{box}
P = P_1 \boxtimes P_2 \boxtimes \dots \boxtimes P_n \in {\operatorname{Shv}}({{\mathcal C}}^n)$$ for projective $P_1,\dots,P_n \in {{\mathcal C}}\subset {\operatorname{Shv}}({{\mathcal C}})$, and these projectives automatically satisfy the condition . To check , one decomposes $f:[n] \to [n']$ into a surjection $p:[n] \to [n'']$ and an injection $i:[n''] \to [n']$. Since the tensor product of projective objects is projective, $(p_!)_!(P) \in
{\operatorname{Shv}}({{\mathcal C}}^{n''})$ is also an object of the type , so we may as well assume that $f$ is injective. Then one can find a left-inverse map $f':[n'] \to [n]$, $f' \circ f = {\operatorname{\sf id}}$; since $P'=(f_!)_!(P)$ is obviously acyclic for $(f'_!)_!$, and $(f'_!)_!(P') = ((f' \circ f)_!)_!(P) = P$ is acyclic for ${\operatorname{\sf tr}}$, $P'$ itself is acyclic for ${\operatorname{\sf tr}}= {\operatorname{\sf tr}}\circ (f'_!)_!$.

\[b.ch\] Assume that $\langle {{\mathcal C}},{\operatorname{\sf tr}}\rangle$ is homologically clean. Then for any object $[n] \in \Lambda$ and any $M_\# \in {\operatorname{Shv}}({{\mathcal C}}_\#)$, we have $$\label{equa}
L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M_\#)([n]) \cong L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}(M_\#([n])).$$ For any $M_\#^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}\in {{\mathcal D}}\Lambda({{\mathcal C}})$, we have $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M_\#)
\in {{\mathcal D}}_{const}(\Lambda,k) \subset {{\mathcal D}}(\Lambda,k)$.

[[*Proof.*]{}]{} The natural restriction functor ${\operatorname{Shv}}({{\mathcal C}}_\#) \to
{\operatorname{Shv}}({{\mathcal C}}^n)$, $M_\# \mapsto M_\#([m])$ has a left-adjoint functor $I_{n!}:{\operatorname{Shv}}({{\mathcal C}}^n) \to {\operatorname{Shv}}({{\mathcal C}}_\#)$; explicitly, it is given by $$\label{ind}
I_{n!}(E)([n']) = \bigoplus_{f:[n] \to [n']}(f_!)_!(E).$$ Let us say that an object $E \in {\operatorname{Shv}}({{\mathcal C}}^n)$ is admissible if it satisfies the conditions , of Definition \[clean\]. By assumption, ${\operatorname{Shv}}({{\mathcal C}}^n)$ has enough admissible objects for any $n$. Then ${\operatorname{Shv}}({{\mathcal C}}_\#)$ has enough objects of the form $I_{n!}E$, $[n] \in \Lambda$, $E \in {\operatorname{Shv}}({{\mathcal C}}^n)$ admissible, and to prove the first claim, it suffices to consider $M_\#=I_{n!}E$ of this form. In degree $0$, is the definition of the functor ${\operatorname{\sf tr}}_\#$, and the higher degree terms in the right-hand side vanish by Definition \[clean\] . Therefore it suffices to prove that $M_\#=I_{n!}E$ is acyclic for the functor ${\operatorname{\sf tr}}_\#$. This is obvious: applying ${\operatorname{\sf tr}}_\#$ to any short exact sequence $$\begin{CD}
0 @>>> M'_\# @>>> M''_\# @>>> M_\# @>>> 0
\end{CD}$$ in ${\operatorname{Shv}}({{\mathcal C}}_\#)$, we see that, since $M_\#([n'])$ is acyclic for any $[n'] \in \Lambda$, the sequence $$\begin{CD}
0 @>>> {\operatorname{\sf tr}}M'_\#([n']) @>>> {\operatorname{\sf tr}}M''_\# ([n']) @>>> {\operatorname{\sf tr}}M_\# ([n']) @>>> 0
\end{CD}$$ is exact; this means that $$\begin{CD}
0 @>>> {\operatorname{\sf tr}}M'_\# @>>> {\operatorname{\sf tr}}M''_\# @>>> {\operatorname{\sf tr}}M_\# @>>> 0
\end{CD}$$ is an exact sequence in ${\operatorname{Fun}}(\Lambda,k)$, and this means that $M_\#$ is indeed acyclic for ${\operatorname{\sf tr}}_\#$.

With the first claim proved, the second amounts to showing that the natural map $$L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}\circ L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(f_!)_!(E) \to L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}(E)$$ is a quasiismorphism for any $f:[n] \to [n']$ and any $E \in
{\operatorname{Shv}}({{\mathcal C}}^n)$. It suffices to prove it for admissible $M$; then the higher derived functors vanish, and the isomorphism ${\operatorname{\sf tr}}\circ
(f_!)_! \cong {\operatorname{\sf tr}}$ is Definition \[trace.defn\].

In the assumptions of Lemma \[b.ch\], for any complex $M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_\#
\in {{\mathcal D}}\Lambda({{\mathcal C}})$ with the first component $M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}=
M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_\#([1])$ we have $$HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) \cong HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_\#)).$$

[[*Proof.*]{}]{} By Lemma \[b.ch\], the left-hand side, $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}})$, is canonically isomorphic to the complex $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_\#) \in {{\mathcal D}}(\Lambda,k)$ evaluated at $[1] \in
\Lambda$, and moreover, $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}_\#)$ lies in the subcategory ${{\mathcal D}}_{const}(\Lambda,k) \subset {{\mathcal D}}(\Lambda,k)$. It remains to apply the general fact: for any $E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}\in
{{\mathcal D}}_{const}(\Lambda,k)$, we have a natural isomorphism $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) \cong E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}([1])$. Indeed, by definition we have $$HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) = H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},j^*E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}),$$ and $j^*E^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}$ lies in the category ${{\mathcal D}}_{const}(\Delta^{opp},k)$ which is equivalent to ${{\mathcal D}}(k{\operatorname{\it\!-Vect}})$ (see Example \[const.exa\], and also Remark \[const.rem\]: the isomorphism we constructed here is a special case of for $n=1$).

The Lemma shows that if the pair $\langle {{\mathcal C}},{\operatorname{\sf tr}}\rangle$ is homologically clean, Definition \[cycl.def.gen\] is consistent with , and we get the whole periodicity package of – the periodicity map $u$, the Connes’ exact sequence $$\begin{CD}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) @>>> HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) @>{u}>> HC_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}-2}(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}) @>>>,
\end{CD}$$ and the periodic cyclic homology $HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}})$.

In general, objects in ${{\mathcal D}}\Lambda({{\mathcal C}})$ may be hard to construct, but we always have at least one – the identity section ${\operatorname{{\sf I}}}_\#:\Lambda
\to {\operatorname{Shv}}({{\mathcal C}})_\#$, given by $${\operatorname{{\sf I}}}_\#([n]) = {\operatorname{{\sf I}}}^{\boxtimes n} \in {{\mathcal C}}^{\otimes n},$$ where ${\operatorname{{\sf I}}}\in {{\mathcal C}}$ is the unit object. Thus we can define cyclic homology of a tensor category equipped with a trace functor.

\[cycl.cat\] For any $k$-linear abelian unital tensor category ${{\mathcal C}}$ equipped with a trace functor ${\operatorname{\sf tr}}:{{\mathcal C}}\to k{\operatorname{\it\!-Vect}}$, its Hochschild and cyclic homology is given by $$HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}},{\operatorname{\sf tr}}) {\overset{\text{\sf\tiny def}}{=}}HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({\operatorname{{\sf I}}}), \qquad
HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}},{\operatorname{\sf tr}}) {\overset{\text{\sf\tiny def}}{=}}HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({\operatorname{{\sf I}}}_\#),$$ where ${\operatorname{{\sf I}}}\in {{\mathcal C}}$ is the unit object, and ${\operatorname{{\sf I}}}_\# \in {{\mathcal D}}\Lambda({{\mathcal C}})$ is the identity section.

We now have to check that in the case ${{\mathcal C}}= A{\operatorname{\!-\sf bimod}}$, Definition \[cycl.def.gen\] is compatible with our earlier Definition \[cycl.def\] – in other words, that the cyclic homology computed by means of the forgetfull functor is the same as the cyclic homology computed by means of the trace. This is not at all trivial. Indeed, if for instance $M_\# \in {\operatorname{Shv}}({{\mathcal C}}_\#)$ is cocartesian, then, while $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}^\#M_\#$ lies in the subcategory ${{\mathcal D}}_{const}(\Lambda,k) \subset {{\mathcal D}}(\Lambda,k)$, the same is certainly not true for the object $M_\# \in {\operatorname{Fun}}(\Lambda,k)$ obtained by forgetting the bimodule structure on $M_n$.

Thus these two objects are different. However, they do become equal after taking cyclic (or Hochschild, or periodic cyclic) homology. Namely, for any $M_\# \in {\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$ we have a natural map $$\label{natu}
M_\# \to L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}^\#M_\#$$ in the derived category ${{\mathcal D}}(\Lambda,k)$, and we have the following result.

\[main\] For every $M_\# \in {\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)$, the natural map induces isomorphisms $$\begin{aligned}
HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#) &\cong HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}M_\#),\\
HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#) &\cong HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}M_\#),\\
HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(M_\#) &\cong HP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}M_\#).\end{aligned}$$

[[*Proof.*]{}]{} By , it suffices to consider $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(-)$; as in the proof of Lemma \[b.ch\], it suffices to consider $M_\# =
I_{n!}E$ given in , with $E$ being the free bimodule $$E = (A^{opp} \otimes A)^{\otimes n} \in {\operatorname{Shv}}({{\mathcal C}}^n) = A^{\otimes
  n}{\operatorname{\!-\sf bimod}}$$ for some fixed $n$. Explicitly, we have $$\label{ind.2}
I_{n!}E([n']) = \bigoplus_{f:[n] \to [n']}\bigotimes_{v' \in V([n'])}
A^{opp} \otimes A^{\otimes f^{-1}(v')}$$ for any $[n'] \in \Lambda$. Then $L^p{\operatorname{\sf tr}}_\#I_{n!}E = 0$ for $p \geq 1$, and one checks easily that $${\operatorname{\sf tr}}_\# I_{n!}E = i_{n!}{\operatorname{\sf tr}}E = i_{n!}A^{\otimes n} \in {\operatorname{Fun}}(\Lambda,k),$$ where $i_n:{\operatorname{{\sf pt}}}\to \Lambda$ is the embedding of the object $[n] \in
\Lambda$ (${\operatorname{{\sf pt}}}$ is the category with one object and one morphism). Therefore $$HC_0(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#I_{n!}E) = H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda,i_{n!}A^{\otimes n}) =
A^{\otimes n},$$ and $HC_p(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#i_{n!}E) = 0$ for $p \geq 1$. We have to compare it with $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(i_{n!}E)$.

To do this, consider the category $\Lambda_{[n]}$ of objects $[n']
\in \Lambda$ equipped with a map $[n] \to [n']$, and let $j_n:\Lambda_{[n]} \to \Lambda$ be the forgetful functor. Then $j_n$ is obviously a discrete cofibration. Comparing and , we see that $$I_{n!}E = j_{n!}E_\#^{[n]}$$ for some $E_\#^{[n]} \in {\operatorname{Fun}}(\Lambda_{[n]})$. Moreover, fix once and for all a map $[1] \to [n]$. Then we see that the discrete cofibration $j_n:\Lambda_{[n]} \to \Lambda$ factors through the discrete cofibration $j:\Lambda_{[1]} = \Delta^{opp} \to \Lambda$ by means of a discrete cobifbration $\gamma_n:\Lambda_{[n]} \to
\Lambda_{[1]}$, and we observe that $$E^{[n]}_\#([n']) = (A^{opp})^{\otimes n'} \otimes A^{\otimes n}$$ only depends on $\gamma_n([n']) \in \Delta^{opp}$. More precisely, we have $E^{[n]}_\# = \gamma^*_nE_n^{\Delta}$, where $E_n^{\Delta}
\in {\operatorname{Fun}}(\Delta^{opp},k)$ is as in , and $E_n$ is the free $A$-bimodule $$E_n = A^{opp} \otimes A^{\otimes (n-1)} \otimes A.$$ The conclusion: we have $$HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(I_{n!}E) = H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda_{[n]},E^{[n]}_\#)
= H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},\gamma_{n!}\gamma^*_nE_n^{\Delta}) =
H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},E_n^{\Delta} \otimes \gamma_{n!}k),$$ where we have used the projection formula in the right-hand side. The homology of the category $\Delta^{opp}$ can be computed by the standard complex; then by the Künneth formula, the right-hand side is isomorphic to $$H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},E_n^{\Delta}) \otimes
H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},\gamma_{n!}k) 
\cong H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},E_n^{\Delta}) \otimes
H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda_{[n]},k).$$ By Lemma \[hoch\], $$H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Delta^{opp},E_n^{\Delta}) \cong HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,E_n) \cong
A^{\otimes n}.$$ Since the category $\Lambda_{[n]}$ has an initial object $[n] \in
\Lambda_{[n]}$, we have $k = i_{n!k}$, so that the second multiple $H_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(\Lambda_{[n]},k)$ is just $k$ in degree $0$.

The essential point of Proposition \[main\] is the following: the cyclic object $A_\#$ associated to an algebra $A$ inconveniently contains two things at the same time – the cyclic structure, which seems to be essential to the problem, and the bar resolution, which is needed only to compute the Hochschild homology $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$. Replacing $A_\#$ with the cyclic complex $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#A_\# \in {{\mathcal D}}(\Lambda,k)$ disentagles these two.

We note that while one still has to prove that this does not change the final answer, the construction itself looks pretty straightforward – if one wants to remove the non-essential bar resolution from the definition of the cyclic homology, Definition \[cycl.cat\] seems to be the obvious thing to try. However, it was actually arrived at by a sort of a reverse engeneering process. To finish the section, perhaps it would be useful to show the reader the first stage of this process.

Assume given an associative algebra $A$, and fix a projective resolution $P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$ of the diagonal $A$-module $A$. Then $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A,M)$ can be computed by the complex $${\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}) = P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_{A^{opp} \otimes A} A.$$ How can one see the cyclic homology in terms of this complex? Or even simpler – what is the first differential in the spectral sequence , the Connes’ differential $B:HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)
\to HH_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1}(A)$?

There is the following recepy which gives the answer. Let $\tau:P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\to A$ be the augmentation map. Consider the tensor product $P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$. This is also a projective resotuion of $A$, and we actually have [*two*]{} natural quasiisomorphisms $$\tau_1,\tau_2:P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\to P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}},$$ given by $\tau_1 = \tau \otimes {\operatorname{\sf id}}$, $\tau_2 = {\operatorname{\sf id}}\otimes
\tau$. These quasiisomorphisms are different. However, since both are maps between projective resolutions of the same object, there should be a chain homotopy between them. Fix such a homotopy $\iota:P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\to P_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1}$.

Now we apply the trace functor ${\operatorname{\sf tr}}$, and obtain two maps $\tau_1,\tau_2:{\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}) \to {\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}})$, and a homotopy $\iota:{\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}) \to {\operatorname{\sf tr}}(P_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1})$ between them.

However, by the trace property of $\tau$, we also have an involution $\sigma:{\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}})$ which interchanges the two multiples. This involution obviously also interchages $\tau_1$ and $\tau_2$, but there is no reason why it should fix the homotopy $\iota$ – in fact, it sends $\iota$ to a second homotopy $\iota':{\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}) \to
{\operatorname{\sf tr}}(P_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1})$ between $\tau_1$ and $\tau_2$.

The difference $\iota' - \iota$ is then a well-defined map of complexes $$\label{homo}
\iota'-\iota:{\operatorname{\sf tr}}(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}) \to {\operatorname{\sf tr}}(P_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1}).$$ On the level of homology, both sides are $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$; the map $\iota'-\iota$ then induces exactly the Connes’ differential $B:HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A) \to HH_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1}(A)$.

To justify this recepy, we use Proposition \[main\] and identify $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A)$ with $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(A_\#))$ rather than $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(A_\#)$. Then $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(A_\#)$ is an object in ${{\mathcal D}}_{const}(\Lambda,k)$. Therefore, as noted in Remark \[const.rem\], the Connes’ differential $B$ only depends on the restriction of $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(A_\#)$ to $\Lambda_{\leq 2}
\subset \Lambda$. In other words, we do not need to compute the full $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(A_\#)$ and to construct a full resolution $P^\#_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$ of the cyclic $A$-bimodule $A_\#$; it suffices to construct $P^i_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}= P^\#_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}([i])$ for $i=1,2$ (and then apply the functor ${\operatorname{\sf tr}}$).

With the choices made above, we set $P^1_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}= P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$, and we let $P^2_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$ be the cone of the map $$\begin{CD}
P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\boxtimes P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}@>{(\tau \boxtimes {\operatorname{\sf id}})\oplus({\operatorname{\sf id}}\boxtimes \tau)}>> (A \boxtimes P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}})\oplus(P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\boxtimes
  A).
\end{CD}$$ The involution $\sigma:[2] \to [2]$ acts on $P^2_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$ in the obvious way. We also need to define the transition maps $\iota_f$ for the two injections $d,d':[1] \to [2]$ and the two surjections $s,s':[2] \to [1]$. For $d_1$, the transition map $\iota_d:A
\boxtimes P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\to P^2_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$ is the obvious embedding, and so is the transition map $\iota_{d'}$. For the surjection $s$, we need a map $\iota_s$ from the cone of the map $$\begin{CD}
P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_A P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}@>{(\tau \otimes {\operatorname{\sf id}})\oplus({\operatorname{\sf id}}\otimes \tau)}>> P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\oplus P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\end{CD}$$ to $P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$. On $P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\oplus P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$, the map $\iota_s$ is just the difference map $a \oplus b \mapsto a - b$; on $P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_AP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$, $\iota_s$ is our fixed homotopy $\iota:P_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\otimes_AP_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}\to P_{{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}+1}$. And similarly for the other surjection $s'$.

We leave it to the reader to check that if one computes $L^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}{\operatorname{\sf tr}}_\#(A_\#)\mid_{\Lambda_{\leq 2}}$ using this resolution $P^\#_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}$, then one obtains exactly for the Connes’ differential $B$.

Discussion
==========

One of the most unpleasant features of the construction presented in Section \[cat\] is the strong assumptions we need to impose on the tensor category ${{\mathcal C}}$. In fact, the category one would really like to apply the construction to is the category ${\operatorname{End}}{{\mathcal B}}$ of endofunctors – whatever that means – of the category ${{\mathcal B}}$ of coherent sheaves on an algebraic variety $X$. But if $X$ is not affine, ${\operatorname{End}}{{\mathcal B}}$ certainly does not have enough projectives, so that Example \[cln.exa\] does not apply, and it is unlikely that ${\operatorname{End}}{{\mathcal B}}$ can be made homologically clean in the sense of Definition \[clean\]. We note that Definition \[clean\] has been arranged so as not impose anything more than strictly necessary for the proofs; but in practice, we do not know any examples which are not covered by Example \[cln.exa\].

As for the category ${\operatorname{End}}{{\mathcal B}}$, there is an even bigger problem with it: while there are ways to define endofunctors so that ${\operatorname{End}}{{\mathcal B}}$ is an abelian category with a right-exact tensor product, it cannot be equipped with a right-exact trace functor ${\operatorname{\sf tr}}$. Indeed, it immediately follows from Definition \[cycl.cat\] that the Hochschild homology groups $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$ of a tensor category ${{\mathcal C}}$ are trivial in negative homological degrees. If ${{\mathcal C}}= {\operatorname{End}}{{\mathcal B}}$, one of course expects $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}}) = HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(X)$, the Hochschild homology $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(X)$ of the variety $X$, which by now is well-understood (see e.g. [@w]). And if $X$ is not affine, $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(X)$ typically is non-trivial both in positive and in negative degrees. If $X$ is smooth and proper, $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(X)$ in fact carries a non-degenerate pairing, so that it is just as non-trivial in degrees $>0$ as in degrees $<0$. Thus the case of a non-affine algebraic variety is far beyond the methods developed in this paper.

The real reason for these difficulties is that we are dealing with abelian categories, while the theory emphatically wants to live in the triangulated world; as we explained in Example \[const.exa\], even our main topic, cyclic bimodules, are best understood as objects of a triangulated category ${{\mathcal D}}\Lambda({{\mathcal C}})$. Unfortunately, we cannot develop the theory from scratch in the triangulated context, since we do not have a strong and natural enough notion of an enhanced triangulated category (and working with the usual triangulated categories is out of the question because, for instance, the category of triangulated functors between triangulated categories is usually not a triangulated category itself). A well-developed theory would probably require a certain compromise between the abelian and the triangulated approach. We will return to it elsewhere.

Another thing which is very conspicously not done in the present paper is the combination of Section \[cat\] and Section \[getz\]. Indeed, in Section \[getz\], we are dealing with cyclic homology in the straightforward naive way of Section \[naive\], and while we define the cyclic object ${\widehat}{A_\#}$ associated to a square-zero extension ${\widetilde}{A}$, we make no attempt to find an appropriate category ${\widehat}{{\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)}$ where it should live. This is essentially the reason why we cannot go further than square-zero extensions. At present, sadly, we do not really understand this hypothetical category ${\widehat}{{\operatorname{\sf Sec}}(A{\operatorname{\!-\sf bimod}}_\#)}$.

One suspects that treating this properly would require studying deformations in a much more general context – instead of considering square-zero extensions of an algebra, we should look at the deformations of the abelian category of its modules, or at the deformations of the tensor category of its bimodules. This brings us to another topic completely untouched in the paper: the Hochschild cohomology $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(A)$.

Merely [*defining*]{} Hochschild cohomology for an arbitrary tensor category ${{\mathcal C}}$ is in fact much simpler than the definition of $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$, and one does not need a trace functor for this – we just set $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})={\operatorname{Ext}}^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}({\operatorname{{\sf I}}},{\operatorname{{\sf I}}})$, where ${\operatorname{{\sf I}}}\in {{\mathcal C}}$ is the unit object. However, it is well understood by now that just as Hochschild homology always comes equipped with the Connes’ differential, the spectral sequence , and the whole cyclic homology package, Hochschild cohomology should be considered not as an algebra but as the so-called [*Gerstenhaber*]{} algebra; in fact, the pair $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(-),HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(-)$ should form a version of “non-commutative calculus”, as proposed for instance in [@TT]. Deformations of the tensor category ${{\mathcal C}}$ should be controlled by $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$, and the behaviour of $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$ and $HC_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$ under these deformations reflects various natural actions of $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(-)$ on $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}(-)$.

We believe that a convenient development of the “non-commutative calculus” for a tensor category ${{\mathcal C}}$ might be possible along the same lines as our Section \[cat\]. Just as our category ${{\mathcal D}}\Lambda({{\mathcal C}})$ is defined as the category of sections of the cofibration ${{\mathcal C}}_\#/\Lambda$, whose definition imitates the usual cyclic object $A_\#$, one can construct a cofibration ${{\mathcal C}}^\#/\Delta$ which imitates the standard cosimplicial object computing $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}(A)$ – for any $[n] \in \Delta$, ${{\mathcal C}}^\#([n])$ is the category of polylinear right-exact functors from ${{\mathcal C}}^{n-1}$ to ${{\mathcal C}}$, and the transition functors between various ${{\mathcal C}}^\#([n])$ are induced by the tensor product on ${{\mathcal C}}$. Then one can define a triangulated category ${{\mathcal D}}\Delta({{\mathcal C}})$, the subcategory in ${{\mathcal D}}({\operatorname{\sf Sec}}({{\mathcal C}}^\#))$ of complexes with cocartesian homology; the higher structures on $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$ should be encoded in the structure of the category ${{\mathcal D}}\Delta({{\mathcal C}})$, and relations between $HH_{{\:\raisebox{1pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$ and $HH^{{\:\raisebox{3pt}{\text{\circle*{1.5}}}}}({{\mathcal C}})$ should be reflected in a relation between ${{\mathcal D}}\Lambda({{\mathcal C}})$ and ${{\mathcal D}}\Delta({{\mathcal C}})$. We will proceed in this direction elsewhere. At present, the best we can do is to make the following hopeful observation:

-   the category ${\operatorname{\sf Sec}}_{cart}({{\mathcal C}}^\#)$ is naturally a [*braided*]{} tensor category over $k$.

The reason for this is very simple: if one writes out explicitly the definition of ${\operatorname{\sf Sec}}_{cart}({{\mathcal C}}^{\#})$ along the lines of Lemma \[cycl.str\], one finds out that it coincides on the nose with the Drinfeld double of the tensor category ${{\mathcal C}}$.

[GM2]{}

I. Bucur and A. Deleanu, [*Introduction to the theory of categories and functors*]{}, Interscience Publication John Wiley & Sons, Ltd., London-New York-Sydney 1968.

A. Connes, [*Non-commutative differential geometry, I, II*]{}, preprint IHES oct. 1982, may 1983.

A. Connes, [*Cohomologie cyclique et foncteur ${\operatorname{Ext}}^n$*]{}, Comptes Rendues Ac. Sci. Paris Sér. A-B, [**296**]{} (1983), 953–958.

B. Feigin and B. Tsygan, [*Additive $K$-Theory*]{}, in Lecture Notes in Math. [**1289**]{} (1987), 97–209.

S. Gelfand and Yu. Manin, [*Methods of homological algebra*]{}, Nauka Publishers, Moscow, 1988 (in Russian).

S. Gelfand and Yu. Manin, [*Homological algebra*]{}, Itogi vol. 38 (Algebra V), VINITI, Moscow, 1989 (in Russian).

E. Getzler, [*Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology*]{}, in [*Quantum deformations of algebras and their representations (Ramat-Gan, 1991/1992; Rehovot, 1991/1992)*]{}, Israel Math. Conf. Proc. [**7**]{}, Bar-Ilan Univ., Ramat Gan, 1993, 65–78.

Th. Goodwillie, [*Cyclic homology, derivations, and the free loopspace*]{}, Topology [**24**]{} (1985), 187–215.

A. Grothendieck, [*Expose VI: Catégories fibré et descente*]{}, in [*SGAI: Revétements étales et groupe fondamental*]{}, Lecture Notes in Math., [**224**]{}, Springer, Berlin; 145–194.

D. Kaledin, [*Non-commutative Hodge-to-de Rham degeneration via the method of Deligne-Illusie*]{}, math.KT/0611623.

J.-L. Loday, [*Cyclic Homology*]{}, second ed., Springer, 1998.

D. Tamarkin and B. Tsygan, [*The ring of differential operators on forms in noncommutative calculus*]{}, in [*Graphs and patterns in mathematics and theoretical physics*]{}. Proc. Sympos. Pure Math. [**73**]{}, AMS, Providence, RI, 2005; 105–131.

B. Tsygan, [*Homology of Lie algebras over rings and Hochshild homology*]{}, Uspekhi Mat. Nauk, [**38**]{} (1983), 217–218.

C. Weibel, [*Cyclic homology for schemes*]{}, Proc. AMS [**124**]{} (1996), 1655-1662.

[Steklov Math Institute\
Moscow, USSR]{}

[*E-mail address*]{}: [kaledin@mccme.ru]{}

[^1]: Partially supported by CRDF grant RUM1-2694-MO05.
