Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the groupoid C*-algebra when the groupoid has torsion-free stabilizers and satisfies the strong Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture by Meyer and Nest. For the unstable equivalence relation of a Smale space with totally disconnected stable sets, this spectral sequence shows Putnam's homology groups on the second sheet.
{"title":"Homology and $K$-Theory of Torsion-Free Ample Groupoids and Smale Spaces","authors":"Valerio Proietti, M. Yamashita","doi":"10.14760/OWP-2020-20","DOIUrl":"https://doi.org/10.14760/OWP-2020-20","url":null,"abstract":"Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the groupoid C*-algebra when the groupoid has torsion-free stabilizers and satisfies the strong Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture by Meyer and Nest. For the unstable equivalence relation of a Smale space with totally disconnected stable sets, this spectral sequence shows Putnam's homology groups on the second sheet.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126303988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Baum-Connes conjecture predicts that a certain assembly map is an isomorphism. We identify the homotopy theoretical construction of the assembly map by Davis and Luck with the category theoretical construction by Meyer and Nest. This extends the result of Hambleton and Pedersen to arbitrary coefficients. Our approach uses abstract properties rather than explicit constructions and is formally similar to Meyer's and Nest's identification of their assembly map with the original construction of the assembly map by Baum, Connes and Higson.
{"title":"An identification of the Baum-Connes and Davis-L\"uck assembly maps","authors":"J. Kranz","doi":"10.17879/06089641898","DOIUrl":"https://doi.org/10.17879/06089641898","url":null,"abstract":"The Baum-Connes conjecture predicts that a certain assembly map is an isomorphism. We identify the homotopy theoretical construction of the assembly map by Davis and Luck with the category theoretical construction by Meyer and Nest. This extends the result of Hambleton and Pedersen to arbitrary coefficients. Our approach uses abstract properties rather than explicit constructions and is formally similar to Meyer's and Nest's identification of their assembly map with the original construction of the assembly map by Baum, Connes and Higson.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133515961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived stacks. We also provide a new criterion for descent in Voevodsky's cdh topology, which we use to give a direct proof of Cisinski's theorem that Weibel's homotopy invariant K-theory satisfies cdh descent.
{"title":"Algebraic K-theory of quasi-smooth blow-ups and cdh descent","authors":"Adeel A. Khan","doi":"10.5802/AHL.55","DOIUrl":"https://doi.org/10.5802/AHL.55","url":null,"abstract":"We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived stacks. We also provide a new criterion for descent in Voevodsky's cdh topology, which we use to give a direct proof of Cisinski's theorem that Weibel's homotopy invariant K-theory satisfies cdh descent.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115286975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-03-25DOI: 10.1142/S0219199721500103
P. Krasoń
In this paper we investigate a local to global principle for Galois cohomology of number fields with coefficients in the Tate module of an abelian variety. In cite{bk13} G. Banaszak and the author obtained the sufficient condition for the validity of the local to global principle for {'e}tale $K$-theory of a curve . This condition in fact has been established by means of an analysis of the corresponding problem in the Galois cohomology. We show that in some cases this result is the best possible i.e if this condition does not hold we obtain counterexamples. We also give some examples of curves and their Jacobians. Finally, we prove the dynamical version of the local to global principle for {'e}tale $K$-theory of a curve. The dynamical local to global principle for the groups of Mordell-Weil type has recently been considered by S. Bara{'n}czuk in cite{b17}. We show that all our results remain valid for Quillen $K$-theory of ${cal X}$ if the Bass and Quillen-Lichtenbaum conjectures hold true for ${cal X}.$
{"title":"Note on linear relations in Galois cohomology and étale K-theory of curves","authors":"P. Krasoń","doi":"10.1142/S0219199721500103","DOIUrl":"https://doi.org/10.1142/S0219199721500103","url":null,"abstract":"In this paper we investigate a local to global principle for Galois cohomology of number fields with coefficients in the Tate module of an abelian variety. In cite{bk13} G. Banaszak and the author obtained the sufficient condition for the validity of the local to global principle for {'e}tale $K$-theory of a curve . This condition in fact has been established by means of an analysis of the corresponding problem in the Galois cohomology. We show that in some cases this result is the best possible i.e if this condition does not hold we obtain counterexamples. We also give some examples of curves and their Jacobians. Finally, we prove the dynamical version of the local to global principle for {'e}tale $K$-theory of a curve. The dynamical local to global principle for the groups of Mordell-Weil type has recently been considered by S. Bara{'n}czuk in cite{b17}. We show that all our results remain valid for Quillen $K$-theory of ${cal X}$ if the Bass and Quillen-Lichtenbaum conjectures hold true for ${cal X}.$","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133947075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove Weibel's conjecture for twisted $K$-theory when twisting by a smooth proper connective dg-algebra. Our main contribution is showing we can kill a negative twisted $K$-theory class using a projective birational morphism (in the same twisted setting). We extend the vanishing result to relative twisted $K$-theory of a smooth affine morphism and describe counter examples to some similar extensions.
{"title":"Weibel’s conjecture for twisted K-theory","authors":"J. Stapleton","doi":"10.2140/akt.2020.5.621","DOIUrl":"https://doi.org/10.2140/akt.2020.5.621","url":null,"abstract":"We prove Weibel's conjecture for twisted $K$-theory when twisting by a smooth proper connective dg-algebra. Our main contribution is showing we can kill a negative twisted $K$-theory class using a projective birational morphism (in the same twisted setting). We extend the vanishing result to relative twisted $K$-theory of a smooth affine morphism and describe counter examples to some similar extensions.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117332052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-12-17DOI: 10.2422/2036-2145.202005_005
N. Kowalzig
We show that if the cochain complex computing Ext groups (in the category of modules over Hopf algebroids) admits a cocyclic structure, then the noncommutative Cartan calculus structure on Tor over Ext dualises in a cyclic sense to a calculus on Coext over Cotor. More precisely, the cyclic duals of the chain resp. cochain spaces computing the two classical derived functors lead to complexes that compute the more exotic ones, giving a cyclic opposite module over an operad with multiplication that induce operations such as a Lie derivative, a cap product (or contraction), and a (cyclic) differential, along with higher homotopy operators defining a noncommutative Cartan calculus up to homotopy. In particular, this allows to recover the classical Cartan calculus from differential geometry or the Chevalley-Eilenberg calculus for Lie(-Rinehart) algebras without any finiteness conditions or the use of topological tensor products.
{"title":"A noncommutative calculus on the cyclic dual of Ext","authors":"N. Kowalzig","doi":"10.2422/2036-2145.202005_005","DOIUrl":"https://doi.org/10.2422/2036-2145.202005_005","url":null,"abstract":"We show that if the cochain complex computing Ext groups (in the category of modules over Hopf algebroids) admits a cocyclic structure, then the noncommutative Cartan calculus structure on Tor over Ext dualises in a cyclic sense to a calculus on Coext over Cotor. More precisely, the cyclic duals of the chain resp. cochain spaces computing the two classical derived functors lead to complexes that compute the more exotic ones, giving a cyclic opposite module over an operad with multiplication that induce operations such as a Lie derivative, a cap product (or contraction), and a (cyclic) differential, along with higher homotopy operators defining a noncommutative Cartan calculus up to homotopy. In particular, this allows to recover the classical Cartan calculus from differential geometry or the Chevalley-Eilenberg calculus for Lie(-Rinehart) algebras without any finiteness conditions or the use of topological tensor products.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127507491","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-12-16DOI: 10.1142/S0129167X20500743
C. Bourne, J. Kellendonk, A. Rennie
We use the Cayley transform to provide an explicit isomorphism at the level of cycles from van Daele $K$-theory to $KK$-theory for graded $C^*$-algebras with a real structure. Isomorphisms between $KK$-theory and complex or real $K$-theory for ungraded $C^*$-algebras are a special case of this map. In all cases our map is compatible with the computational techniques required in physical and geometrical applications, in particular index pairings and Kasparov products. We provide applications to real $K$-theory and topological phases of matter.
{"title":"The Cayley transform in complex, real and graded K-theory","authors":"C. Bourne, J. Kellendonk, A. Rennie","doi":"10.1142/S0129167X20500743","DOIUrl":"https://doi.org/10.1142/S0129167X20500743","url":null,"abstract":"We use the Cayley transform to provide an explicit isomorphism at the level of cycles from van Daele $K$-theory to $KK$-theory for graded $C^*$-algebras with a real structure. Isomorphisms between $KK$-theory and complex or real $K$-theory for ungraded $C^*$-algebras are a special case of this map. In all cases our map is compatible with the computational techniques required in physical and geometrical applications, in particular index pairings and Kasparov products. We provide applications to real $K$-theory and topological phases of matter.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121120997","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Using recent development in motivic infinite loop space theory, we offer short and conceptual reproofs of some conjectures of Voevodsky's on the slice filtration using the birational geometry of Hilbert schemes. The original proofs were due to Marc Levine using very different methods, namely, the homotopy coniveau tower.
{"title":"Voevodsky's slice conjectures via Hilbert schemes.","authors":"Tom Bachmann, E. Elmanto","doi":"10.14231/AG-2021-019","DOIUrl":"https://doi.org/10.14231/AG-2021-019","url":null,"abstract":"Using recent development in motivic infinite loop space theory, we offer short and conceptual reproofs of some conjectures of Voevodsky's on the slice filtration using the birational geometry of Hilbert schemes. The original proofs were due to Marc Levine using very different methods, namely, the homotopy coniveau tower.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116544200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yosuke Kubota, Thomas Schick Riken, Japan., Mathematisches Institut, Universitat Gottingen
Gromov and Lawson developed a codimension 2 index obstruction to positive scalar curvature for a closed spin manifold M, later refined by Hanke, Pape and Schick. Kubota has shown that also this obstruction can be obtained from the Rosenberg index of the ambient manifold M which takes values in the K-theory of the maximal C*-algebra of the fundamental group of M, using relative index constructions. In this note, we give a slightly simplified account of Kubota's work and remark that it also applies to the signature operator, thus recovering the homotopy invariance of higher signatures of codimension 2 submanifolds of Higson, Schick, Xie.
{"title":"The Gromov–Lawson codimension 2 obstruction\u0000to positive scalar curvature and the C∗–index","authors":"Yosuke Kubota, Thomas Schick Riken, Japan., Mathematisches Institut, Universitat Gottingen","doi":"10.2140/GT.2021.25.949","DOIUrl":"https://doi.org/10.2140/GT.2021.25.949","url":null,"abstract":"Gromov and Lawson developed a codimension 2 index obstruction to positive scalar curvature for a closed spin manifold M, later refined by Hanke, Pape and Schick. Kubota has shown that also this obstruction can be obtained from the Rosenberg index of the ambient manifold M which takes values in the K-theory of the maximal C*-algebra of the fundamental group of M, using relative index constructions. \u0000In this note, we give a slightly simplified account of Kubota's work and remark that it also applies to the signature operator, thus recovering the homotopy invariance of higher signatures of codimension 2 submanifolds of Higson, Schick, Xie.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134354769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let $R$ be a ring with unit. Passing to the colimit with respect to the standard inclusions $GL(n,R) to GL(n+1,R)$ (which add a unit vector as new last row and column) yields, by definition, the stable linear group $GL(R)$; the same result is obtained, up to isomorphism, when using the "opposite" inclusions (which add a unit vector as new first row and column). In this note it is shown that passing to the colimit along both these families of inclusions simultaneously recovers the algebraic $K$-group $K_1(R) = GL(R)/E(R)$ of~$R$, giving an elementary description that does not involve elementary matrices explicitly.
{"title":"An elementary description of K1(R) without elementary matrices","authors":"T. Huettemann, Zuhong Zhang","doi":"10.12958/adm1568","DOIUrl":"https://doi.org/10.12958/adm1568","url":null,"abstract":"Let $R$ be a ring with unit. Passing to the colimit with respect to the standard inclusions $GL(n,R) to GL(n+1,R)$ (which add a unit vector as new last row and column) yields, by definition, the stable linear group $GL(R)$; the same result is obtained, up to isomorphism, when using the \"opposite\" inclusions (which add a unit vector as new first row and column). In this note it is shown that passing to the colimit along both these families of inclusions simultaneously recovers the algebraic $K$-group $K_1(R) = GL(R)/E(R)$ of~$R$, giving an elementary description that does not involve elementary matrices explicitly.","PeriodicalId":309711,"journal":{"name":"arXiv: K-Theory and Homology","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121304812","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：