Higher K-theory of forms III: from chain complexes to derived categories
Abstract
We exhibit a canonical equivalence between the hermitian K-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincar\'e ∞-category, with no assumptions on the invertibility of 2. Along the way, we obtain a model for the nonabelian derived functor of a nondegenerate quadratic functor on an exact category.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.