## (Reduced) cyclic homology of a free product of unital algebras

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Rather embarrassingly, the question is on how to prove something I used to know how to do... but I thought that the collective wisdom of MO might be able to quickly sketch how the argument should go, or direct me to a reference. I hope this is still a legitimate use of MO, though if you disagree please open a meta thread and let me know.

Throughout all algebras are over a field $k$ of characteristic zero (in fact ${\mathbb C})$ and have identity elements. $\newcommand{\rhc}{\overline{HC}}$

Given such $A$ and $B$, let $A\ast B$ be their free product (coproduct in the category of unital algebras). I seem to remember convincing myself, or reading, that $$\rhc_n (A\ast B) \cong \rhc_n(A) \oplus \rhc_n(B)$$ where $\rhc$ denotes reduced cyclic homology (so $\rhc_\bullet(k)=0$ rather than having non-zero contributions in even degrees).

Unfortunately I can't remember how the proof goes. My vague recollection is that it goes via the identification of $\rhc$ as the derived functor associated to the comonad `${\rm Vect}_k \leftrightarrow {\rm Alg}_k$` (which follows from the fact that for any vector space $V$, the reduced cyclic homology of the tensor algebra $T(V)$ vanishes in all positive degrees). But how to proceed? It should be some kind of acyclic complex argument, related to the fact that $T(V_1\oplus V_2) \cong T(V_1)\ast T(V_2)$, but I can no longer recall how these kinds of argument work in detail.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9402703046798706, "perplexity_flag": "head"}