Related papers: D\'{e}vissage for Waldhausen K-theory
We prove that the Waldhausen nilpotent class group of an injective index 2 amalgamated free product is isomorphic to the Farrell-Bass nilpotent class group of a twisted polynomial extension. As an application, we show that the Farrell-Jones…
We provide a homotopy theorist's point of view on $KK$- and $E$-theory for $C^{*}$-algebras. We construct stable $\infty$-categories representing these theories through a sequence of Dwyer-Kan localizations of the category of…
A $d^{\{n\}}$-cage $\mathsf K$ is the union of $n$ groups of hyperplanes in $\Bbb P^n$, each group containing $d$ members. The hyperplanes from the distinct groups are in general position, thus producing $d^n$ points, where hyperplanes from…
We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed…
In this paper, we develop a quantitative K-theory for filtered C*-algebras. Particularly interesting examples of filtered C*-algebras include group C*-algebras, crossed product C*-algebras and Roe algebras. We prove a quantitative version…
Eberhard-type theorems are statements about the realizability of a polytope (or more general polyhedral maps) given the valency of its vertices and sizes of its polygonal faces up to a linear linear degree of freedom. We present new…
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
Given a Grothendieck opfibration $p: \mathcal{T} \to \mathcal{B}$, we describe a method to construct a Waldhausen category structure on the total category $\mathcal{T}$ via combining Waldhausen category structures on the fibers…
The purpose of this note is to verify that the archimedean multiplicity one theorems shown for orthogonal groups (as well as general linear and unitary groups) in a previous paper of the authors remain valid for special orthogonal groups.…
In this article, we establish a link between the values of a frieze of type D and some values of a particular frieze of type A. This link allows us to compute, independently of each other, all the cluster variables in the cluster algebra…
In this paper, we introduce an algebro-geometric formulation for Faltings' theorem on diophantine approximation on abelian varieties using an improvement of Faltings-Wustholz observation over number fields. In fact, we prove that, for any…
Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…
Let $\mathcal{A}$ be an abelian length category containing a $d$-cluster tilting subcategory $\mathcal{M}$. We prove that a subcategory of $\mathcal{M}$ is a $d$-torsion class if and only if it is closed under $d$-extensions and…
For a symmetric algebra A over a field K of characteristic p > 0 K{\"u}lshammer constructed a descending sequence of ideals of the centre of A. If K is perfect this sequence was shown to be an invariant under derived equivalence and for…
In nature, one observes that a K-theory of an object is defined in two steps. First a "structured" category is associated to the object. Second, a K-theory machine is applied to the latter category to produce an infinite loop space. We…
Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…
We first prove that the K-theoretic Hall algebra of a preprojective algebra of affine type is isomorphic to the positive half of a quantum toroidal quantum group. An essential step consists to deform the K-theoretic Hall algebra so that the…
A K-theoretic counterpart of quantum cohomology theory is discussed.
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…