Explicit Wodzicki excision in cyclic homology

TL;DR

This paper provides an elementary, constructive proof of Wodzicki excision in cyclic homology, assuming local one-sided units, and introduces an explicit inverse excision map as a novel contribution.

Contribution

It offers a new, elementary proof of Wodzicki excision with an explicit inverse map, enhancing understanding and potential applications in cyclic homology.

Findings

Elementary proof of Wodzicki excision established

Explicit inverse excision map constructed

Proof relies on the existence of local one-sided units

Abstract

Assuming local one-sided units exist, I give an elementary proof of Wodzicki excision for cyclic homology. The proof is also constructive and provides an explicit inverse excision map. As far as I know, the latter is new.