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.

$K$-theory as an Eilenberg-Maclane spectrum

Every spectrum is the K-theory of a stable $\infty$-category

A linearization map for genuine equivariant algebraic $K$-theory

On the $K$-theory of the $p$-adic unit disk

$K$-theory of rings of continuous functions

Module theory over Leavitt path algebras and $K$-theory

Higher $K$-theory of forms III: from chain complexes to derived categories

Real K-theory for Waldhausen infinity categories with genuine duality

Non-connective K- and Nil-spectra of additive categorie

The Galois-equivariant $K$-theory of finite fields

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

$K$-Theorie adischer Räume

Reciprocity laws and $K$-theory

The spectrum of units of $K$-theory

Purity in chromatically localized algebraic K-theory

The Morava E-theory of Eilenberg-Mac Lane spaces

A multiplicative comparison of Waldhausen and Segal K-theory

On the K-theory of $\mathbb{Z}$-categories

On the $K$-theory of $\mathbf{Z}/p^n$

$K$-theory of crossed products via homotopy theory

$K$-theory of co-existentially closed continua