This question is a continuation of the discussion 
[Normalization of Hochschild cocycles](https://mathoverflow.net/questions/244092/normalization-of-hochschild-cocycles)
but this time in the cyclic context. I would like to ask whether the following is true:



> 
> The inclusion of normalized cyclic cochains into all cyclic cochains induces an isomorphism in (cyclic) cohomology. 
> 
> 
> 


In the discussion linked above I gave the argument which however turns out to be invalid, as indicated in the comment. 
Let me summarize what I have figured out already after reading carefully Loday's book: let $C^k=C^k(A)$ (where $A$ is an algebra) be a space of $k+1$-linear maps $\varphi: A^{k+1} \to \mathbb{C}$. Since drawing diagrams here is somehow problematic I will try to briefly describe underlying complexes: 


**1.** The cyclic bicomplex $\mathcal{C}$ has in zeroth row $C^0$, in the first row $C^1$ and so on: vertical differentials are $b$ and $-b'$ (for even/odd columns) while horizontal differentials are $1-\lambda$ and $N$ where $\lambda$ is cyclic operator and $N=1+\lambda+...+\lambda^k$. 


**2.** $(b,B)$-bicomplex $\mathcal{B}$ has in the zeroth row: $C^0,0,0,...$ in the first $C^1,C^0,0,0,...$ in the second $C^2,C^1,C^0,0,...$. Vertical differential is $b$ and horizontal differential is $B=Ns(1-\lambda)$ where for $\varphi \in C^n$ we define 
$$(s\varphi)(a\_0,...,a\_{n-1})=(-1)^{n-1}\varphi(1,a\_0,...,a\_{n-1})$$


**3.** Normalized version of $\mathcal{B}$ bicomplex, denoted by $\overline{\mathcal{B}}$ where all cochains are normalized, meaning that $\varphi (a\_0,a\_1,...,a\_n)=0$ whenever $a\_k=1$ for some $k>0$ ($0$-entry is excluded!). Note that $b$ as well $B$ preserves normalization (unlike $b'$ which prevents us from considering normalized version of the cyclic bicomplex)


**4.** Finally we have ordinary cyclic complex $C^\*\_{\lambda}$ with differential $b$ together with its normalization $\overline{C^\*\_{\lambda}}$


Bicomplexes give rise to cohomology via totalization of complexes.


**Theorem 1.** The inclusion $C^\*\_{\lambda} \to Tot \ \mathcal{C}$, $\varphi \mapsto (0,0,...,0,\varphi)$ is a quasi-isomorphism. 


**Theorem 2.** The map $(id,Ns):Tot \ \mathcal{C} \to Tot \ \mathcal{B}$ is also a quasiisomorphism. 


Luckily, even the second map is not an inclusion, if we look at the corresponding degrees of cochains, we can see that the composition $C^\*\_{\lambda} \to Tot \ \mathcal{C} \to Tot \ \mathcal{B}$ is also an inclusion and is clearly a quasi-isomorphism. 


Finally we have that the inclusion $Tot \ \overline{\mathcal{B}} \to Tot \ \mathcal{B}$ is a quasi-isomorphism. 


If we could somehow show that the inclusion $\overline{C^\*\_{\lambda}} \to Tot \overline{\mathcal{B}}$ is a quasi-isomorphism we would obtain that the inclusion $\overline{C^\*\_{\lambda}} \to C^\*\_{\lambda}$ is also a quasi-iso. However I'm not so sure about this fact: while showing that the inclusion $C^\*\_{\lambda} \to Tot \ \mathcal{B}$ is quasi-iso we have after all used the auxiliary complex, namely cyclic bicomplex (which is absent in the normalized setting). Therefore I'm stuck and would be very grateful for any help.



Normalization of cyclic cocycles
If I'm not mistaken this is just the dual version of what Loday and Quillen proves in Proposition 4.4 (or Proposition 2.2.14 in Loday's book, with the same proof). And sorry for nitpicking, but it's not exactly a quasi-iso, more precisely you get an exact sequence
$$
H^\*(\bar{C}^\*\_\lambda(A)) \to HC^\*(A) \to HC^\*(\mathbb{C}) \to H^{\*+1}(\bar{C}^\*\_\lambda(A)).
$$


