[Paper Review] On the algebraic K-theory of higher categories, I. The universal property of Waldhausen K-theory

Clark Barwick|arXiv (Cornell University)|Apr 16, 2012

Homotopy and Cohomology in Algebraic Topology1 citations

TL;DR

This paper establishes that Waldhausen K-theory of quasicategories is a Goodwillie differential, enabling canonical connective deloopings and a universal property. It provides new higher categorical proofs of the additivity and fibration theorems, and applies this framework to compute the algebraic K-theory of ring spectra and spectral Deligne-Mumford stacks.

ABSTRACT

We prove that Waldhausen K-theory, when extended to a very general class of quasicategories, can be described as a Goodwillie differential. In particular, K-theory spaces admit canonical (connective) deloopings, and the K-theory functor enjoys a universal property. Using this, we give new, higher categorical proofs of both the additivity and fibration theorems of Waldhausen. As applications of this technology, we study the algebraic K-theory of associative ring spectra and spectral Deligne-Mumford stacks.

Motivation & Objective

• To establish a universal property for Waldhausen K-theory in the context of quasicategories.
• To show that Waldhausen K-theory spaces admit canonical connective deloopings via the Goodwillie calculus framework.
• To provide higher categorical proofs of the additivity and fibration theorems using the universal property.
• To apply the framework to compute the algebraic K-theory of associative ring spectra and spectral Deligne-Mumford stacks.
• To unify and generalize existing K-theory constructions through the lens of quasicategories and Goodwillie derivatives.

Proposed method

• Extends Waldhausen K-theory to a broad class of quasicategories using ∞-categorical techniques.
• Applies the Goodwillie calculus to identify Waldhausen K-theory as the first Goodwillie derivative of the inclusion of exact categories into quasicategories.
• Uses the universal property of the Goodwillie differential to derive the additivity and fibration theorems categorically.
• Leverages the delooping structure of K-theory spaces to establish connective deloopings in the quasicategorical setting.
• Applies the framework to spectral algebraic geometry by analyzing ring spectra and spectral Deligne-Mumford stacks as input to the K-theory functor.
• Employs ∞-categorical model structures and derived algebraic geometry tools to analyze the K-theory of structured ring spectra.

Experimental results

Research questions

• RQ1 Can Waldhausen K-theory of quasicategories be characterized via a universal property in the framework of Goodwillie calculus?
• RQ2 How does the Goodwillie differential structure of K-theory enable new proofs of the additivity and fibration theorems?
• RQ3 What is the role of connective deloopings in the algebraic K-theory of quasicategories?
• RQ4 How can this framework be applied to compute the K-theory of associative ring spectra?
• RQ5 What are the implications of this universal characterization for the K-theory of spectral Deligne-Mumford stacks?

Key findings

• Waldhausen K-theory of quasicategories is identified as the Goodwillie differential of the inclusion of exact categories into the ∞-category of quasicategories.
• The K-theory spaces of quasicategories admit canonical connective deloopings, confirming a long-standing expectation in higher algebraic K-theory.
• The additivity and fibration theorems of Waldhausen are reproven using the universal property of the Goodwillie derivative, providing a conceptual and higher categorical proof.
• The framework enables a systematic computation of the algebraic K-theory of associative ring spectra through the universal property.
• The K-theory of spectral Deligne-Mumford stacks is shown to be computable via the same universal construction, extending the reach of the theory.
• The universal property of Waldhausen K-theory provides a unifying perspective across different classes of structured categories and ring spectra.