Related papers: Waldhausen's $S_\bullet$-construction
In 1970s Segal outlined proofs of two theorems relating spaces of Fredholm and self-adjoint Fredholm operators with Quillen's constructions used to define higher algebraic K-theory. In the present paper we provide detailed proofs of these…
We introduce a relative version of the $2$-Segal simplicial spaces defined by Dyckerhoff and Kapranov and G\'{a}lvez-Carrillo, Kock and Tonks. Examples of relative $2$-Segal spaces include the categorified unoriented cyclic nerve, real…
We construct so called Hall monoidal categories (and Hall modules thereover) and exhibit them as a categorification of classical Hall and Hecke algebras (and certain modules thereover). The input of the (functorial!) construction are…
It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (see [Schlichting]). The purpose of this note is to show that the K-theory spectrum of a (good) Waldhausen…
These are extended notes for a series of lectures on Hall algebras given at the CRM Barcelona in February 2015. The basic idea of the theory of Hall algebras is that the collection of flags in an exact category encodes an associative…
We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors.
We develop a novel combinatorial perspective on the higher Auslander algebras of type $\mathbb{A}$, a family of algebras arising in the context of Iyama's higher Auslander-Reiten theory. This approach reveals interesting simplicial…
We define higher polyhedral K-groups for commutative rings, starting from the stable groups of elementary automorphisms of polyhedral algebras. Both Volodin's theory and Quillen's + construction are developed. In the special case of…
Building on the Waldhausen and Quillen models of higher algebraic $K$-theory for exact categories and Waldhausen categories attached to a non-commutative $n$-ary $\Ga$-semiring $(T,\Ga)$, we establish the fundamental formal properties of…
Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the cohomology of the stack of representations of $(Q,W)$. As shown by Davison-Meinhardt, this algebra comes with a filtration whose associated graded…
In this paper we identify the ``nil-terms'' for Waldhausen's algebraic K-theory of spaces functor as the reduced K-theory of a category of equivariant spaces equipped with a homotopically nilpotent endomorphism.
We introduce the notion of a bounded weight structure on a stable $\infty$-category and use this to prove the natural generalization of Waldhausen's sphere theorem: We show that the algebraic $K$-theory of a stable $\infty$-category with a…
The algebraic structure of S-Theory and its representations are described. This structure includes up to 13 hidden dimensions. It implies the existence of an SO(10,2) covariant supergravity theory as a limit of the secret theory behind…
Let $X$ be a simplicial set. We construct a novel adjunction between the categories of retractive spaces over $X$ and of $X_{+}$-comodules, then apply recent work on left-induced model category structures (arXiv:1401.3651v2…
We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category…
We will classify physically admissible manifold structures by the use of Waldhausen categories. These categories give rise to algebraic K-Theory. Moreover, we will show that a universal K-spectrum is necessary for a physical manifold being…
This short note contains a combinatorial construction of symmetries arising in symplectic geometry (partially wrapped or infinitesimal Fukaya categories), algebraic geometry (derived categories of singularities), and K-theory (Waldhausen's…
The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball…
Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real…
The main purpose of this paper is computing higher algebraic $K$-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic $K$-theory for Waldhausen…