相关论文: Shortening binary complexes and commutativity of $…

We modify Grayson's model of $K_1$ of an exact category to give a presentation whose generators are binary acyclic complexes of length at most $k$ for any given $k \ge 2$. As a corollary, we obtain another, very short proof of the…

We adapt Grayson's model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\infty$-categories. As an application, we prove that the $K$-theory of stable $\infty$-categories preserves infinite products.

In Grayson's combinatorial description of higher K-groups, the generators are bounded acyclic binary multi-complexes of arbitrary size. Generalising work by Kasprowski, Winges and the author, we show in this paper that multi-complexes of…

We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…

It was shown by Rordam and the second named author that a countable group G admits an action on a compact space such that the crossed product is a Kirchberg algebra if, and only if, G is exact and non-amenable. This construction allows a…

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher…

We use Grayson's binary multicomplex presentation of algebraic $K$-theory to give a new construction of exterior power operations on the higher $K$-groups of a (quasi-compact) scheme. We show that these operations satisfy the axioms of a…

We construct a sequence of $n-1$ cyclic exact sequences that can be used to compute the $K$-theory of the $C^\star$-algebra crossed product $A \ltimes {\mathbb Z}_n$.

By introducing a notion of smooth connection for unbounded $KK$-cycles, we show that the Kasparov product of such cycles can be defined directly, by an algebraic formula. In order to achieve this it is necessary to develop a framework of…

For a field $k$ we compute the $K$-theory of the exact category of $k[t_1,\dots,t_n]$-modules that are finite-dimensional over $k$, generalising the work of Kelley and Spanier.

Let a compact group G act on real or complex C*-algebras A and B, with A separable and B sigma-unital. We express the G-equivariant Kasparov groups KK_n(A,B) by algebraic K-groups of a certain additive category.

By considering the general properties of approximate units in differentiable algebras, we are able to present a unified approach to characterising completeness of spectral metric spaces, existence of connections on modules, and the lifting…

Given a non-necessarily commutative unital ring $R$ and a unital partial representation $\Theta $ of a group $G$ into the Picard semigroup $\mathbf{PicS} (R)$ of the isomorphism classes of partially invertible $R$-bimodules, we construct an…

A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms…

We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.

In a previous paper I gave a presentation for the Quillen higher algebraic K-groups of an exact category in terms of "acyclic binary multicomplexes". In this paper I take that presentation as a definition of the higher K-groups, generalize…

For a large class of C*-algebras $A$, we calculate the $K$-theory of reduced crossed products $A^{\otimes G}\rtimes_rG$ of Bernoulli shifts by groups satisfying the Baum--Connes conjecture. In particular, we give explicit formulas for…

We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects…

For $R_1,R_2,R_3,\dots$ a family of non isomorphic rings (or algebras) having each only 2 idempotents ($1$ and $0$), we classify up to isomorphism the rings (or algebras) obtained by taking products of powers of the different $R_i$. We show…

Gerstenhaber showed in 1961 that any commuting pair of n x n matrices over a field k generates a k-algebra A of k-dimension \leq n. A well-known example shows that the corresponding statement for 4 matrices is false. The question for 3…