On the Baum-Connes conjecture for $D_{\infty}$
We make an exposition of the proof of the Baum-Connes conjecture for the infinite dihedral group following the ideas of Higson and Kasparov.
math.KT↗
arXiv subjects
Gisela Tartaglia
Publications and source records attributed to Gisela Tartaglia.
An Imprimitivity Theorem for finite algebraic quantum groups
Let $\mathcal{G}$ be an algebraic quantum group and $\mathcal{U}$ a compact quantum subgroup. Given a left $\hat{\mathcal{U}}$-module algebra A with unit, we can endow $A\otimes\mathcal{G}$ with a structure of a right $\hat{\mathcal{U}}$-module algebra. The algebra of invariants for this action $(A\otimes\mathcal{G})^{\hat{\mathcal{U}}}$ has a left action of $\hat{\mathcal{G}}$. We prove that for finite $\mathcal{G}$, $(A\otimes\mathcal{G})^{\hat{\mathcal{U}}}\#\hat{\mathcal{G}}$ is Morita equivalent to $A\#\hat{\mathcal{U}}$.
math.QA↗
Two examples of vanishing and squeezing in $K_1$
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 it is the infinite dihedral group - in both cases with the family of finite subgroups. We prove a vanishing theorem and show how to explicitly squeeze the generators of these groups in $K_1$. For the infinite cyclic group, when taking coefficients in a regular ring, we get a squeezing result for every element of $K_1$; this follows from the well-known result of Bass, Heller and Swan.
math.KT↗
Compact operators and algebraic $K$-theory for groups which act properly and isometrically on Hilbert space
We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes conjecture with coefficients holds for such groups, to show that if $G$ is as in the title then the algebraic and the $C^*$-crossed products of $G$ with a stable $C^*$-algebra have the same $K$-theory.
math.KT↗
Trace class operators, regulators, and assembly maps in K-theory
Let G be a group, Fin the family of its finite subgroups, and E(G,Fin) the classifying space. Let L^1 be the algebra of trace-class operators in an infinite dimensional, separable Hilbert space over the complex numbers. Consider the rational assembly map in homotopy algebraic K-theory H_p^G(E(G,Fin),KH(L^1))\otimes\Q \to KH_p(L^1[G])\otimes\Q. The rational KH-isomorphism conjecture predicts that the map above is an isomorphism; it follows from a theorem of Yu (see arXiv:1106.3796, arXiv:1202.4999) that it is always injective. In the current article we prove the following. Theorem: Assume that the map above is surjective. Let n\equiv p+1\mod 2. Then: i) The assembly map for the trivial family H_n^G(E(G,{1}),K(\Z)) \to K_n(\Z[G]) is rationally injective. ii) For every number field F, the assembly map H_n^G(E(G,Fin),K(F)) \to K_n(F[G]) is rationally injective. We remark that the K-theory Novikov conjecture asserts that part i) of the theorem above holds for all G, and that part ii) is equivalent to the rational injectivity part of the K-theory Farrell-Jones conjecture for number fields. The idea of the proof of the Theorem is to use an algebraic, equivariant version of Karoubi's multiplicative K-theory, which we introduce in this article.
math.KT↗
Operator ideals and assembly maps in $K$-theory
Let $\cB$ be the ring of bounded operators in a complex, separable Hilbert space. For $p>0$ consider the Schatten ideal $\cL^p$ consisting of those operators whose sequence of singular values is $p$-summable; put $\cS=\bigcup_p\cL^p$. Let $G$ be a group and $\vcyc$ the family of virtually cyclic subgroups. Guoliang Yu proved that the $K$-theory assembly map \[ H_*^G(\cE(G,\vcyc),K(\cS))\to K_*(\cS[G]) \] is rationally injective. His proof involves the construction of a certain Chern character tailored to work with coefficients $\cS$ and the use of some results about algebraic $K$-theory of operator ideals and about controlled topology and coarse geometry. In this paper we give a different proof of Yu's result. Our proof uses the usual Chern character to cyclic homology. Like Yu's, it relies on results on algebraic $K$-theory of operator ideals, but no controlled topology or coarse geometry techniques are used. We formulate the result in terms of homotopy $K$-theory. We prove that the rational assembly map \[ H_*^G(\cE(G,\fin),KH(\cL^p))\otimes\Q\to KH_*(\cL^p[G])\otimes\Q \] is injective. We show that the latter map is equivalent to the assembly map considered by Yu, and thus obtain his result as a corollary.
math.KT↗