{"entities":{"Q5939202":{"pageid":8116004,"ns":120,"title":"Item:Q5939202","lastrevid":47648134,"modified":"2026-01-02T07:34:59Z","type":"item","id":"Q5939202","labels":{"en":{"language":"en","value":"The completion theorem in \\(K\\)-theory for proper actions of a discrete group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1625386"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939202$4E3377B2-4013-4EA4-B0EF-C05EB4130191","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fa2d053e5025b4b60f6a2bab4d7afa7af45e051","datavalue":{"value":{"text":"The completion theorem in \\(K\\)-theory for proper actions of a discrete group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939202$DA50D73D-DAE7-45C1-AD17-FC106058523F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f5a7e7ff40f59d74f52e9f1275bec753d8d0bbf","datavalue":{"value":"0981.55002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939202$5A1BCCFC-6440-4FA9-AFE1-8E8C2DF54A8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0a32decba1a3e3f2cb982553fd06ace196c3f7c","datavalue":{"value":"10.1016/S0040-9383(99)00077-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939202$FF8DEF7E-B973-445E-996F-FD59323C6208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31335325ceb1ba2bbd6bdc1f9660b4a13ed59993","datavalue":{"value":{"entity-type":"item","numeric-id":193526,"id":"Q193526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939202$E43FE076-3235-4BF2-AFE0-6E50CB85BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95f3226742761da47772ec7b9af7af3d13c5468","datavalue":{"value":{"entity-type":"item","numeric-id":579399,"id":"Q579399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939202$2884ED67-7002-4D15-9CFE-B568E3998C51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939202$E7C81A70-ABAC-4344-B7AD-B7A29966DD8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f64bfc106972732917199354eba726d2662c295","datavalue":{"value":{"time":"+2002-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939202$07DAF2D2-3462-4859-B32A-14DEC31D8D53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d533e20094071013cf9d11454083c3703d52de1b","datavalue":{"value":"Let \\(G\\) be an infinite discrete group. For any such group the authors attempt to define a \\(G\\)-equivariant \\(K\\)-theory \\(K_G^*(-)\\), which works on the category of finite proper \\(G\\)-CW-pairs as an equivariant cohomology theory, and also they prove that there holds a completion theorem similar to that of Atiyah and Segal for actions of a compact Lie group. The key point to showing these results is two corollaries of Theorem 2.6. Here a \\(G\\)-CW-complex is called proper if all of its isotropy subgroups have finite order. So the category of all \\(G\\)-spaces above does not contain cones and suspensions, because adding a base point to a \\(G\\)-space is not allowed in this situation. However the authors succeed in finding a different way to define \\(K_G(X,A)\\) and \\(K_G^{-n}(X)\\) instead of the usual one in which these groups are defined by applying the reduced \\(G\\)-equivariant \\(K\\)-functor in the \\(G\\)-spaces \\(X^+\\cup CA^+\\) and \\(S^nX^+\\) where \\(G\\) is compact. The following result is fundamental to establishing this theory as a cohomology theory: Any \\(G\\)-vector bundle over a \\(G\\)-subspace \\(A\\subset X\\) can be embedded as a direct summand of some vector bundle over \\(X\\) (Corollary 2.7 and also Lemma 3.7). In addition the authors announce that they will construct in a separate paper an equivariant cohomology theory \\(K_G^*(-)\\) for arbitrary (not necessarily proper) \\(G\\)-CW-complexes using spectra. Let \\(E_{\\mathcal F}(G)\\) denote the universal proper \\(G\\)-space associated with the family \\({\\mathcal F}\\) of finite subgroups of \\(G\\). Then it is shown that if \\(E_{\\mathcal F}(G)\\) has the homotopy type of a finite \\(G\\)-CW-complex, then \\(K^*_G(E_{\\mathcal F}(G) \\times_GX)\\) is the completion of \\(K_G^*(X)\\) with respect to the augmentation ideal of \\(K_G(E_{\\mathcal F}(G))\\) (Theorem 4.4, (a)). The proof is based on Corollary 2.8. In the final section the authors exhibit an explicit example of a Lie group for which the arguments above go wrong and thus they emphasize that the assumption that \\(G\\) is discrete is essential.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939202$84BE6A34-1545-4803-9438-1A739623E290","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4668a4961e04d2c580fc6ea834fe41d9048548e","datavalue":{"value":{"entity-type":"item","numeric-id":588127,"id":"Q588127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939202$3E544550-31EB-43EC-9C2E-39AD86266472","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f14c3c6281d60db8afa7423b0c7ac8fa70cf0494","datavalue":{"value":"55N91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939202$BD5F3132-7652-4DCC-9CDD-1FB48636D7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6dd31f6535721e733e805c12cf8dc43cd8eaaf74","datavalue":{"value":"19L47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939202$DD90FD04-55C3-47DC-B1EC-C12710F74EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9caab26fda95fa74fd6e59e44f16009012de257d","datavalue":{"value":"55N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939202$EC66F162-DBA3-4377-9437-726A83B673AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5303838d35527f4890e56c9d506dfadff920379","datavalue":{"value":"1625386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939202$C27762A0-E15C-427C-B707-FFB27E8F919A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585af76bbb31ac6ddd87794d141ac8b9ea27743c","datavalue":{"value":"vector bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939202$021A6293-3A00-4AFC-B755-7C26C820F265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1c64305569fdb795bf14ac26a0f8a81aed99a4","datavalue":{"value":"equivariant \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939202$E597C37D-7EF0-471D-8835-7281B4253428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e64088aa5a6db7531abf05119c8bd9e5dd246349","datavalue":{"value":"equivariant cohomology theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939202$2D8A853A-F0EA-4EB9-8539-7BC53CD25601","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939202$52A5AACF-5603-42D2-9483-DD9E59B0ECC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f65eabd43858094bdc10f040665813301c1050","datavalue":{"value":{"entity-type":"item","numeric-id":2752111,"id":"Q2752111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4158eadb4fe3a5b8ce792cf798456759933bbd2","datavalue":{"value":{"amount":"+0.8627626299858093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939202$AE6C2015-7430-4135-9DAD-574142B10B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d8bbe7f5eb16d289cf7a384d45495f6d009390","datavalue":{"value":{"entity-type":"item","numeric-id":5401106,"id":"Q5401106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4158eadb4fe3a5b8ce792cf798456759933bbd2","datavalue":{"value":{"amount":"+0.8627626299858093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939202$BB915E3B-488D-4F3F-A4B9-79882D6641CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4184bf494d65cd4f1ac30d751c2d6b47346c399","datavalue":{"value":{"entity-type":"item","numeric-id":2905334,"id":"Q2905334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eda54a2dbba06d9b354819dcc6369536ae1c03a","datavalue":{"value":{"amount":"+0.8541973829269409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939202$F6946DB9-B8E7-45B4-98E9-52B8D069D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157c60d15977e25339c0314a57c9052187724b8","datavalue":{"value":{"entity-type":"item","numeric-id":4460247,"id":"Q4460247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6065c6b0c8a5b24054b074e641cb872f4a533fd","datavalue":{"value":{"amount":"+0.8354493379592896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939202$ABE67506-0DC1-4442-9B8C-33D0181F4786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc3c643ce0874869bcf086f7660e64097a2eab1","datavalue":{"value":{"entity-type":"item","numeric-id":507049,"id":"Q507049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33def1df271b7de471cfad0b0ee76971f8d4b2a5","datavalue":{"value":{"amount":"+0.8255100846290588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939202$F7125114-E2E5-4B66-8CEA-4DF386C95892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5939202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5939202"}}}}}