Related papers: Regular exact categories and algebraic K-theory

Let $p:X \rightarrow S$ be a flat, proper and regular scheme over a strictly henselian discrete valuation ring. We prove that the singularity category of the special fiber with its natural two-periodic structure allows to recover the…

Bertin (1972) defined regularity for coherent local rings, and Knaf (2004) studied the property for a local ring $A$ essentially finitely presented over a valuation ring $V$. We discuss several properties of this notion of regularity for…

Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…

In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type,…

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…

Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of…

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…

We give several examples of finite groups $G$ for which the rank of the tensor product $\mathbb{Z} \otimes_{\mathbb{Z}\mathrm{Aut}(G)}$ Wh$(G)$ is or is not zero. This is motivated by an earlier theorem of the first author, which implies as…

Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…

We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the…

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…

We introduce a general notion of solution for a Noetherian differential $k$-algebra and study its relationship with simplicity, where k is an algebraically closed field; then we analyze conditions under which such solutions may exist and be…

In this paper we introduce the concept of purely infinite rings, which in the simple case agrees with the already existing notion of pure infiniteness. We establish various permanence properties of this notion, with respect to passage to…

We offer a solution to the long-standing problem of group completing within the context of rig categories (also known as bimonoidal categories). Given a rig category R we construct a natural additive group completion R' that retains the…

We prove the following result. Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. Let R be a localization of a commutative d-dimensional k-algebra of finite type…

In this note, we propose a generalisation of G. Janelidze's notion of an ideally exact category beyond the Barr exact setting. We define an ideally regular category as a regular, Bourn protomodular category with finite coproducts in which…

Following Krause \cite{Kr}, we prove Krull-Schmidt type decomposition theorems for thick subcategories of various triangulated categories including the derived categories of rings, Noetherian stable homotopy categories, stable module…

We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…

We introduce a notion of real rank zero for inclusions of C$^*$-algebras. After showing that our definition has many equivalent characterisations, we offer a complete description of the commutative case. We provide permanence and…

We introduce a notion of Milnor square of stable $\infty$-categories and prove a criterion under which algebraic K-theory sends such a square to a cartesian square of spectra. We apply this to prove Milnor excision and proper excision…