On the non additivity of the trace in derived categories
Daniel Ferrand
Abstract
In this note we provide an example of an endomorphism of a short exact sequence of perfect complexes, with the trace of the middle map not equal to the sum of the traces of the two other ones. The point is that the squares involved are commutative only up to homotopy. In view of this example I have found in 1968, Deligne immediately created his "categories spectrales", and soon afterwards Illusie introduced the "filtered derived categories" where a satisfactory kind of additivity is restored for the trace. This paper, written in French, ends up with a brief chronological comment.
Create a lesson
Related papers
Fiber product of condensable algebras and critical points of boundary phase transitions
Hanlin Lin, Hao Zheng
Tensor triangular geometry of band algebras
Peng Xu
Universal Semisimple Reconstruction and Obstruction Theory
Joe Gildea
Inter-Categorical Subobject Analysis
Alexander Prähauser
How protomodular is your favourite category?
Maria Manuel Clementino, Diana Rodelo
Cocompletion under sifted colimits need not be finitely accessible
Yuto Kawase