Related papers: A Controlled Approach to the Isomorphism Conjectur…

This paper continues the author's program to investigate the question of when a homotopy of 2-cocycles $\Omega = \{\omega_t\}_{t \in [0,1]}$ on a locally compact Hausdorff groupoid $\mathcal{G}$ induces an isomorphism of the $K$-theory…

The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph…

We investigate when Isomorphism Conjectures, such as the ones due to Baum-Connes, Bost and Farrell-Jones, are stable under colimits of groups over directed sets (with not necessarily injective structure maps). We show in particular that…

This paper studies "pro-excision" for the K-theory of one-dimensional (usually semi-local) rings and its various applications. In particular, we prove Geller's conjecture for equal characteristic rings over a perfect field of finite…

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…

For an $r$-discrete Hausdorff groupoid ${\cal G}$ and an inverse semigroup $S$ of slices of ${\cal G}$ there is an isomorphism between ${\cal G}$-equivariant $KK$-theory and compatible $S$-equivariant $KK$-theory. We use it to define…

Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit…

Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the…

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…

Controlled topology is one of the main tools for proving the isomorphism conjecture concerning the algebraic $K$-theory of group rings. In this article we dive into this machinery in two examples: when the group is infinite cyclic and when…

We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be…

Associated to a discrete group $G$, one has the topological category of finite dimensional (unitary) $G$-representations and (unitary) isomorphisms. Block sums provide this category with a permutative structure, and the associated…

Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…

We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

We compute the topological K-theory of the group C*-algebra C*_r(G) for a group extension Z^n->G->Z/m provided that the conjugation action of Z/m on Z^n is free outside the origin.

We prove that the Farrell-Jones isomorphism conjecture for non-connective algebraic K-theory for a discrete group G and a coefficient ring R holds true if G belongs to the class of groups acting on trees, under certain conditions on G (see…

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…