Related papers: Waldhausen's $S_\bullet$-construction
Invoking the density argument of Dundas-Goodwillie-McCarthy, we extend the Fundamental Theorem of $K$-theory from the category of simplicial rings to the category of $\mathbb{S}$-algebras. As an intermediate step, we prove the Fundamental…
This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias…
We develop a version of controlled algebra for simplicial rings. This generalizes the methods which lead to successful proofs of the algebraic K- theory isomorphism conjecture (Farrell-Jones Conjecture) for a large class of groups. This is…
Recent advances in the Langlands program shed light on a vast area of modern mathematics from an unconventional viewpoint, including number theory, gauge theory, representation, knot theory and etc. By applying to physics, these novel…
2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is…
In the companion paper~\cite{Gokavarapu_IJPA_2025}, we developed a classical algebraic K-theory for non-commutative $n$-ary $\Gamma$-semirings $(T,\Gamma)$ in terms of finitely generated projective $n$-ary $\Gamma$-modules and their…
This paper is the first step in the project of categorifying the bialgebra structure on the half of quantum group $U_{q}(\mathfrak{g})$ by using geometry and Hall algebras. We equip the category of D-modules on the moduli stack of objects…
For a smooth surface $S$, Porta-Sala defined a categorical Hall algebra generalizing previous work in K-theory of Zhao and Kapranov-Vasserot. We construct semi-orthogonal decompositions for categorical Hall algebras of points on $S$. We…
In this paper we show an example of two differential graded algebras that have the same derivator K-theory but non-isomorphic Waldhausen K-theory. We also prove that Maltsiniotis's comparison and localization conjectures for derivator…
We extend earlier work of Waldhausen which defines operations on the algebraic $K$-theory of the one-point space. For a connected simplicial abelian group $X$ and symmetric groups $\Sigma_n$, we define operations $\theta^n \colon A(X)…
Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex…
Classical W-algebras in higher dimensions have been recently constructed. In this letter we show that there is a finitely generated subalgebra which is isomorphic to the algebra of local diffeomorphisms in D dimensions. Moreover, there is a…
We show that Segal's K-theory of symmetric monoidal categorizes can be factored through Waldhausen categories. In particular, given a symmetric monoidal category $C$, we produce a Waldhausen category $\Gamma(C)$ whose K-theory is weakly…
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…
Let X be a pointed connected simplicial set with loop group G. The linearisation map in K-theory as defined by Waldhausen uses G-equivariant spaces. This paper gives an alternative description using presheaves of sets and abelian groups on…
We study the question of the existence of a Waldhausen category on any (relative) abelian category in which the contractible objects are the (relatively) projective objects. The associated $K$-theory groups are "stable algebraic…
Using methods inspired from algebraic $K$-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the…
In this paper, we discuss the theory of the Siegel modular variety in the aspects of arithmetic and geometry. This article covers the theory of Siegel modular forms, the Hecke theory, a lifting of elliptic cusp forms, geometric properties…
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the…
Let $G=SU(2)$ and let $\Omega G$ denote the space of based loops in SU(2). We explicitly compute the $R(G)$-module structure of the topological equivariant $K$-theory $K_G^*(\Omega G)$ and in particular show that it is a direct product of…