Real K-theory for Waldhausen infinity categories with genuine duality

Abstract

We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen $\infty$-categories in the sense of Barwick equipped with a compatible duality and a refinement of their (lax) hermitian objects generalizing the concept of Poincaré $\infty$-categories of Lurie. They may also be thought of as a version of complete Segal spaces enriched in genuine $C_2$-spaces whose underlying $\infty$-category carries a compatible Waldhausen structure, since we show that their respective $\infty$-categories are equivalent. We define the real $K$-theory genuine $C_2$-spaces by means of an enriched version of the $S_{\bullet }$-construction, defined for Waldhausen $\infty$-categories with genuine duality. Moreover, we prove an Additivity Theorem for this $S_{\bullet }$-construction which leads to an Additivity Theorem for real $K$-theory. Furthermore, such real $K$-theory satisfy a universal property -- analogous to that proved by Barwick for algebraic $K$-theory of Waldhausen $\infty$-categories --: We prove that every theory can be universally turned into an additive theory and identify our real K-theory with the universal additive theory associated to the functor that associates to a Waldhausen $\infty$-category with genuine duality its maximal subspace. Finally, we promote the real $K$-theory genuine $C_2$-spaces to genuine $C_2$-spectra.

Improved Exposition, added Theorem F which expresses real algebraic K-theory as a real Goodwillie derivative

References in corpus (4)

• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• A Grothendieck-Witt space for stable infinity categories with duality
• On (co)ends in $\infty$-categories
• An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action

Cited by in corpus (2)

• Stable moduli spaces of hermitian forms
• On the parametrized Tate construction