Operator ideals and assembly maps in $K$-theory
HTML articles powered by AMS MathViewer
- by Guillermo Cortiñas and Gisela Tartaglia PDF
- Proc. Amer. Math. Soc. 142 (2014), 1089-1099 Request permission
Abstract:
Let $\mathcal {B}$ be the ring of bounded operators in a complex, separable Hilbert space. For $p>0$ consider the Schatten ideal $\mathcal {L}^p$ consisting of those operators whose sequence of singular values is $p$-summable; put $\mathcal {S}=\bigcup _p\mathcal {L}^p$. Let $G$ be a group and $\mathcal {V}cyc$ the family of virtually cyclic subgroups. Guoliang Yu proved that the $K$-theory assembly map \[ H_*^G(\mathcal {E}(G,\mathcal {V}cyc),K(\mathcal {S}))\to K_*(\mathcal {S}[G]) \] is rationally injective. His proof involves the construction of a certain Chern character tailored to work with coefficients $\mathcal {S}$ 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(\mathcal {E}(G,\mathcal {F}in),KH(\mathcal {L}^p))\otimes \mathbb {Q}\to KH_*(\mathcal {L} ^p[G])\otimes \mathbb {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.References
- Arthur Bartels, Tom Farrell, Lowell Jones, and Holger Reich, On the isomorphism conjecture in algebraic $K$-theory, Topology 43 (2004), no. 1, 157–213. MR 2030590, DOI 10.1016/S0040-9383(03)00032-6
- Arthur Bartels and Wolfgang Lück, Isomorphism conjecture for homotopy $K$-theory and groups acting on trees, J. Pure Appl. Algebra 205 (2006), no. 3, 660–696. MR 2210223, DOI 10.1016/j.jpaa.2005.07.020
- Guillermo Cortiñas, The obstruction to excision in $K$-theory and in cyclic homology, Invent. Math. 164 (2006), no. 1, 143–173. MR 2207785, DOI 10.1007/s00222-005-0473-9
- G. Cortiñas and E. Ellis, Isomorphism conjectures with proper coefficients. arXiv:1108.5196
- Guillermo Cortiñas and Andreas Thom, Comparison between algebraic and topological $K$-theory of locally convex algebras, Adv. Math. 218 (2008), no. 1, 266–307. MR 2409415, DOI 10.1016/j.aim.2007.12.007
- Joachim Cuntz, Cyclic theory and the bivariant Chern-Connes character, Noncommutative geometry, Lecture Notes in Math., vol. 1831, Springer, Berlin, 2004, pp. 73–135. MR 2058473, DOI 10.1007/978-3-540-39702-1_{2}
- Joachim Cuntz and Daniel Quillen, Excision in bivariant periodic cyclic cohomology, Invent. Math. 127 (1997), no. 1, 67–98. MR 1423026, DOI 10.1007/s002220050115
- James F. Davis and Wolfgang Lück, Spaces over a category and assembly maps in isomorphism conjectures in $K$- and $L$-theory, $K$-Theory 15 (1998), no. 3, 201–252. MR 1659969, DOI 10.1023/A:1007784106877
- Wolfgang Lück and Holger Reich, Detecting $K$-theory by cyclic homology, Proc. London Math. Soc. (3) 93 (2006), no. 3, 593–634. MR 2266961, DOI 10.1017/S0024611506015954
- Randy McCarthy, The cyclic homology of an exact category, J. Pure Appl. Algebra 93 (1994), no. 3, 251–296. MR 1275967, DOI 10.1016/0022-4049(94)90091-4
- John Roe, Coarse cohomology and index theory on complete Riemannian manifolds, Mem. Amer. Math. Soc. 104 (1993), no. 497, x+90. MR 1147350, DOI 10.1090/memo/0497
- Andrei A. Suslin and Mariusz Wodzicki, Excision in algebraic $K$-theory, Ann. of Math. (2) 136 (1992), no. 1, 51–122. MR 1173926, DOI 10.2307/2946546
- R. W. Thomason, Algebraic $K$-theory and étale cohomology, Ann. Sci. École Norm. Sup. (4) 18 (1985), no. 3, 437–552. MR 826102, DOI 10.24033/asens.1495
- Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324, DOI 10.1017/CBO9781139644136
- Charles A. Weibel, Homotopy algebraic $K$-theory, Algebraic $K$-theory and algebraic number theory (Honolulu, HI, 1987) Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 461–488. MR 991991, DOI 10.1090/conm/083/991991
- Mariusz Wodzicki, Algebraic $K$-theory and functional analysis, First European Congress of Mathematics, Vol. II (Paris, 1992) Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485–496. MR 1341858
- G. Yu, The algebraic K-theory Novikov conjecture for group algebras over the ring of Schatten class operators. arXiv:1106.3796
Additional Information
- Guillermo Cortiñas
- Affiliation: Departamento de Matemática-IMAS, FCEyN-UBA, Ciudad Universitaria, 1428 Buenos Aires, Argentina
- MR Author ID: 18832
- ORCID: 0000-0002-8103-1831
- Email: gcorti@dm.uba.ar
- Gisela Tartaglia
- Affiliation: Departamento de Matemática-IMAS, FCEyN-UBA, Ciudad Universitaria, 1428 Buenos Aires, Argentina
- Email: gtartag@dm.uba.ar
- Received by editor(s): March 15, 2012
- Received by editor(s) in revised form: April 24, 2012
- Published electronically: December 20, 2013
- Additional Notes: The first author was partially supported by MTM2007-64704
Both authors were supported by CONICET and partially supported by grants UBACyT 20020100100386, PIP 112-200801-00900 and MathAmSud project U11Math05. - Communicated by: Brooke Shipley
- © Copyright 2013
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 142 (2014), 1089-1099
- MSC (2010): Primary 19D50, 19D55, 19K99
- DOI: https://doi.org/10.1090/S0002-9939-2013-11837-X
- MathSciNet review: 3162232