{"entities":{"Q2367228":{"pageid":2377971,"ns":120,"title":"Item:Q2367228","lastrevid":59699226,"modified":"2026-04-10T13:36:21Z","type":"item","id":"Q2367228","labels":{"en":{"language":"en","value":"\\(K\\)-homology of universal spaces and local cohomology of the representation ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 238249"}},"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":"Q2367228$22FF3A34-C8C3-459E-922D-43FF1B8B9094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7968de505e7923d2baad7b9f0a4fd6bdc3525a97","datavalue":{"value":{"text":"\\(K\\)-homology of universal spaces and local cohomology of the representation ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367228$B80FFC43-8D82-4E2D-9117-6E35EC0B35E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c75f7dd3d03d0f8807b219904be7155a9ec774d","datavalue":{"value":"0779.55005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$70F174E5-746B-429B-A488-1959EB75B7DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1237b5c43eeccf6c63d967240d47c7796f381f3","datavalue":{"value":"10.1016/0040-9383(93)90021-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$D6DF63B7-5ECF-468C-824F-3C690475ABE2","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":"Q2367228$189F13A2-2923-4A0F-9D89-04506AED3A83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ed735b2a3fb0b444d70f4eac102ee82cf6f12a1","datavalue":{"value":{"time":"+1993-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367228$C024F816-FAAD-4517-83A1-BE124501E909","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f183c2504c5fe33ef86b4888afc514046e9f2d8","datavalue":{"value":"The close connection between classical \\(K\\)-theory and the complex representation ring \\(R(G)\\) of a finite group \\(G\\) is given by Atiyah's theorem: \\(K^ 0(BG_ +)\\cong R(G)^ \\wedge\\), \\(K^ 1(BG)=0\\), where \\(R(G)^ \\wedge\\) is the completion of \\(R(G)\\) at the augmentation ideal \\(J\\) of \\(R(G)\\). Older approaches to the \\(K\\)-homology groups \\(K_ i(BG)\\) of \\(BG\\) used this result and duality or the Atiyah-Segal completion theorem. In this paper the author gives a new and more direct approach to the \\(K\\)-homology groups by expressing \\(K_ i(BG_ +)\\) as the Grothendieck local cohomology \\(H^ i_ J(R(G))\\) of \\(R(G)\\) at the augmentation ideal \\(J\\). More generally the equivariant \\(K\\)-homology of the universal space \\(E{\\mathcal F}_ +\\) for a family \\({\\mathcal F}\\) of subgroups of \\(G\\) is expressed in the same way.   The strategy of the proof is as follows: First of all by \\(K_ *(BG)\\cong K^ G_ *(EG)\\) the problem is transferred to equivariant \\(K\\)-theory. Working in a stable equivariant homotopy category, the author constructs a \\(G\\)-spectrum \\(H_ I(S^ 0)\\) and a map \\(c:EG_ +\\to H_ I(S^ 0)\\) where \\(I\\) is the augmentation ideal of the Burnside ring. The construction of \\(H_ I(S^ 0)\\) mimics one possible definition of Grothendieck local cohomology giving \\(K_ i(H_ I(S^ 0))=H^ i_ I(R(G))\\) which is the same as \\(H^ i_ J(R(G))\\). These groups are calculated in terms of \\(R(G)\\) later on. The main step then is to show that the map \\(c\\) induces an isomorphism in equivariant \\(K\\)-theory. This is done by induction on the group order using equivariant Bott periodicity. As a corollary one has a new proof of the Atiyah-Segal completion theorem. There is an analogue for real \\(K\\)-theory, a generalization to the bivariant setting resulting in a description of \\([BG_ +,BH_ +\\wedge K]\\), the set of \\(K\\)-theory maps from \\(BG\\) to \\(BH\\), and an appendix on the case of compact Lie groups of positive dimension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367228$B02E9EB6-DF3D-4F4C-ACBF-D6435E59C8BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9caab26fda95fa74fd6e59e44f16009012de257d","datavalue":{"value":"55N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$2619FD51-3253-4AF1-9F94-809346E0EA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f14c3c6281d60db8afa7423b0c7ac8fa70cf0494","datavalue":{"value":"55N91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$ACD4F297-8EA2-4731-B7D0-318AB3852EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b99005280ef1626a98795c032281c63ce65fc1d8","datavalue":{"value":"55P91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$4CC34C36-7D0E-4006-B0F5-0A9BC76CC434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40c10167a389b14cfe0c977f6ce9d7e37bc10339","datavalue":{"value":"55R40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$2F45F31E-A9ED-43FD-9702-0D39694F3AC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e7cd495bb4c8bf3982c1417cc88f25d9c3d7bf","datavalue":{"value":"238249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367228$E33CFFF6-4F80-4713-BDF9-CAEB9DB4C91C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cd26d8428fe9ff0e3597d6fa388b384ea47e5d","datavalue":{"value":"\\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367228$A8128896-2DFF-4209-9046-D8ACD99B72EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff74e5712e02976d68582d1c6d6e781ac3b85c3","datavalue":{"value":"equivariant \\(K\\)-homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367228$450C9D94-E8BE-465A-9DC7-ADC669824031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6d6eaf93628c1bf0719d46b6abc89247d58d268","datavalue":{"value":"complex representation ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367228$8AB758F2-8BFD-4D60-AA3C-0763534FB7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7377edd9e6b410ab6421004e2ccb7f1fc7ecb828","datavalue":{"value":"Grothendieck local cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367228$DB553F83-3CE1-40CD-A718-31B0621F69B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93733b7307c09724e067f685570775d9d4bde972","datavalue":{"value":{"entity-type":"item","numeric-id":1673653,"id":"Q1673653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367228$C88095B6-53B2-4B5F-A449-6D1D2821CABC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6473a029a94b13d99ba2d01500f5ab07d5de5743","datavalue":{"value":{"entity-type":"item","numeric-id":1099434,"id":"Q1099434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367228$80D2025C-287F-48CB-84CB-56541559177A","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":"Q2367228$5C733CC8-B9BD-446E-8451-9E452FE21424","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41f0db197ec4151926c155d28343f90c8a261f1","datavalue":{"value":{"entity-type":"item","numeric-id":1110857,"id":"Q1110857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7de07bbdd7b7b62b0826e25758d3ddf70e7858c","datavalue":{"value":{"amount":"+0.8244695663452148","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":"Q2367228$C4B8CC46-B0AF-4755-9D14-CD50FA57C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69847aec6d8cb3507eb996852b452dbd394dd427","datavalue":{"value":{"entity-type":"item","numeric-id":3312930,"id":"Q3312930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c219001d332678a37b77d3dead98b4c844fff06","datavalue":{"value":{"amount":"+0.8183908462524414","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":"Q2367228$8D11EA14-8874-4E6E-9011-7794DA456128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc4bfb0f3fece755bd5186a38edb5dc67688f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1319202,"id":"Q1319202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1cb8fba7338543e9a45ed33677c7ec414eaadbe","datavalue":{"value":{"amount":"+0.8026244640350342","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":"Q2367228$B233C8C4-7C19-41B7-BEA1-0EEF8C32FB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193605ffa91b093d6ed0c18662ea6c74da0fd670","datavalue":{"value":{"entity-type":"item","numeric-id":921479,"id":"Q921479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f09451217203716548411c9fab19d8cfec82345","datavalue":{"value":{"amount":"+0.7932580709457397","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":"Q2367228$75535DA0-A4B8-44A8-8512-AF8EEF96A0B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367228"}}}}}