Relative Chern characters for nilpotent ideals

TL;DR

This paper proves that two isomorphisms relating algebraic K-theory and negative cyclic homology for nilpotent ideals are identical, confirming their compatibility with filtrations and enabling applications in algebraic geometry and K-theory.

Contribution

The paper demonstrates the equivalence of two isomorphisms for nilpotent ideals, confirming their compatibility with filtrations and facilitating further applications in algebraic K-theory.

Findings

The two isomorphisms agree for nilpotent ideals.

The relative Chern character is compatible with the λ-filtration.

The results strengthen previous work on Chern characters and K-theory.

Abstract

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).