Pro unitality and pro excision in algebraic \(K\)-theory and cyclic homology (Q1703668)

The author of the paper begins by proving the equivalence between various pro versions of the Tor vanishing condition. As a result he gets that any ideal of commutative noetherian ring is pro Tor unital using a lemma of André. Then he derives pro excision for algebraic \(K\)-theory using Geisser-Hesselholt's pro version of Suslin-Wodzicki's criterion. In general, algebraic \(K\)-theory does not satisfy excision. In this sense, the above result is satisfactory. Similar pro excision results for derived HH, derived HC, THH, and TC have also been proved. We note that Geisser-Hesselholt had proved pro excision for THH and TC but here the author of the paper gave a short proof with a generalisation. The author proves a pro version of the Hochschild-Kostant-Rogensberg (HKR) theorem, generalises a theorem Cuntz-Quillen about excision in periodic cyclic homology and also generalises a result of Feĭgin-Tsygan. In the final section, he proves pro excision for André-Quillen homology. To prove this, he first establishes Artin-Rees properties for André-Quillen homology using higher Jacobi-Zariski spectral sequences.