Relative Chern characters for nilpotent ideals

If I is a nilpotent ideal in a $\mathbb{Q}$-algebra $A$, Goodwillie defined two isomorphisms from $K_(A,I)$ to negative cyclic homology, $HN_(A,I)$. One is the relative version of the absolute Chern character, and the other is defined using rational homotopy theory. The question of whether they agree was implicit in Goodwillie’s 1986 Annals paper. In this paper, we show that the two isomorphisms agree. Here are three applications. 1.Cathelineau proved that the rational homotopy character is compatible with the $\lambda$-filtration. It follows that the relative Chern character is also compatible with this filtration for nilpotent ideals. 2.This agreement, together with Cathelineau’s result, was used by the authors and Haesemeyer to show that the absolute Chern character, from $K(A)$ to $HN(A)$, is compatible with the $\lambda$-filtration for every commutative $\mathbb{Q}$-algebra. This is the main result of Infinitesimal cohomology and the Chern character to negative cyclic homology, arXiv:math/0703133v1. 3.This agreement can be used to strengthen Ginot’s results in “Formules explicites pour le charactere de Chern en $K$-th'eorie alg'ebrique”, Ann. Inst. Fourier 54 (2004).

💡 Research Summary

In this paper the authors settle a long‑standing question left implicit in Goodwillie’s seminal 1986 Annals article on relative Chern characters. Goodwillie introduced, for a nilpotent ideal $I$ in a $\mathbb{Q}$‑algebra $A$, two a priori different isomorphisms \