K-Theory and Homology

We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture…

We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…

For a certain class of complexes of pre-Hilbert $A$-modules, we prove that their cohomology groups equipped with a canonical quotient structure are again pre-Hilbert $A$-modules and derive the Hodge decomposition for them. We call these…

Let $G$ be a compact, connected, and simply-connected Lie group, equipped with an anti-involution $a_G$ which is the composition of a Lie group involutive automorphism $\sigma_G$ and the group inversion. We view $(G, a_G)$ as a Real $(G,…

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…

Let $G$ be a word hyperbolic group. We prove that the algebraic $K$-theory groups of $\dbZ [G]$, $K_n(\dbZ[G])$, have finite rank for all $n\in \dbZ$. For a few classes of groups, we give explicit formulas for the ranks of the algebraic…

We prove the $K$ and $L$ theoretic versions of the Fibered Isomorphism Conjecture of F. T. Farrell and L. E. Jones for braid groups on a surface.

In this paper we give a survey of elliptic theory for operators associated with diffeomorphisms of smooth manifolds. Such operators appear naturally in analysis, geometry and mathematical physics. We survey classical results as well as…

The problem of homological stability helps us to catch the structure of group homology. We calculate homological stability of special orthogonal groups, and we also calculate the stability of orthogonal groups with determinant-twisted…

We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable…

The representation ring of an affine algebraic group scheme can be endowed with the structure of a (special) $\lambda$-ring. We show that the same is true for the ring of symmetric representations, i.e. for the Grothendieck-Witt ring of the…

This note describes a strictly-unital $A_\infty$-category whose representations are exact triangles such that the three-fold symmetry on exact triangles is manifest on the $A_\infty$-category.

Let A -> B be a homomorphism of commutative rings. The squaring operation is a functor Sq_{B/A} from the derived category D(B) of complexes B-modules into itself. The squaring operation is needed for the definition of rigid complexes (in…

Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…

This survey article on bivariant Kasparov theory and E-theory is mainly intended for readers with a background in homotopical algebra and category theory. We approach both bivariant K-theories via their universal properties and equip them…

We study an equivariant co-assembly map that is dual to the usual Baum-Connes assembly map and closely related to coarse geometry, equivariant Kasparov theory, and the existence of dual Dirac morphisms. As applications, we prove the…

Let G be a locally compact group, let X be a universal proper G-space, and let Z be a G-equivariant compactification of X that is H-equivariantly contractible for each compact subgroup H of G. Let W be the resulting boundary. Assuming the…

We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant…

Let G be a locally compact group. We describe elements of KK^G (A,B) by equivariant homomorphisms, following Cuntz's treatment in the non-equivariant case. This yields another proof for the universal property of KK^G: It is the universal…

We give a simple construction of the correspondence between square-zero extensions $R'$ of a ring $R$ by an $R$-bimodule $M$ and second MacLane cohomology classes of $R$ with coefficients in $M$ (the simplest non-trivial case of the…