{"entities":{"Q1386679":{"pageid":1397419,"ns":120,"title":"Item:Q1386679","lastrevid":46966581,"modified":"2025-12-25T23:08:53Z","type":"item","id":"Q1386679","labels":{"en":{"language":"en","value":"A \\(\\mathbb{Z}/2\\) descent theorem for the algebraic \\(K\\)-theory of a semisimple real algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156513"}},"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":"Q1386679$DF2BDE3F-2E09-465B-A274-CD3192C6A47B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a57547ef5462b2458f7e337ed58c5c7ae7bff49","datavalue":{"value":{"text":"A \\(\\mathbb{Z}/2\\) descent theorem for the algebraic \\(K\\)-theory of a semisimple real algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386679$630EE23C-0D7A-463B-85B4-691C35EF37DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acb5463722433ae161f895676e5b8061af9684e6","datavalue":{"value":"0899.19001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$BD890053-9E18-4B57-A7A3-74D4BC256A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f47dadd8790c1f402eb165c62565e3f9551d8ec","datavalue":{"value":"10.1023/A:1007701514327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$F84B74CB-A8F1-4309-B61A-7231E4DB91E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7ac1ca68a2b127e3baee248bed8fd7ca569e50","datavalue":{"value":{"entity-type":"item","numeric-id":523152,"id":"Q523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386679$D12301B4-5942-436A-91B0-D140EDAD23A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386679$FA8E2082-F5F7-45AF-9905-28033CF12331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386679$7EC1D84F-509F-46EE-AAEE-D30549EBBC19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab11930db8a99ff5df37aff335b26a6368092c94","datavalue":{"value":"Let \\(G\\) be a topological group and \\(EG\\) a free contractible \\(G\\)-space such that \\(EG\\to BG= EG/G\\) is a fibre bundle. For a \\(G\\)-space \\(X\\) the set \\(X^{hG}\\) of equivariant maps from \\(EG\\) to \\(X\\) is then called the homotopy fixed point set of \\(X\\). Since the fixed point set \\(X^G\\) of \\(X\\) is the space of equivariant maps from a point to \\(X\\), the projection \\(p: EG\\to *\\) induces a map \\(p^*: X^G\\to X^{hG}\\). According to \\textit{R. W. Thomason} [``The homotopy limit problem'', Contemp. Math. 19, 407-419 (1983; Zbl 0528.55008)] we have a problem studying whether \\(p^*\\) is an equivalence of some kind. In this paper the author gives an answer to this problem for the algebraic \\(K\\)-theory \\(\\widetilde K(R)= BGL(R)^+\\) of an antistructure \\((R,\\alpha,u)\\).   By the antistructure one means a finite-dimensional semisimple real algebra \\(R\\) with an anti-involution \\(\\alpha\\) with respect to a unit \\(u\\in R\\), with \\(u\\alpha (u)=1\\). Making use of this structure the author introduces an involution on \\(\\widetilde K(R)\\), and so \\(\\widetilde K(R)\\) can be viewed as a \\({\\mathbb{Z}}/2\\)-space. The main result (Theorem A) of the paper is that \\((\\widetilde K(R)^{{\\mathbb{Z}}/2})_2^{\\widehat{ }} \\simeq (\\widetilde K(R)_0^{h {\\mathbb{Z}}/2})_2^{\\widehat{ }}\\). Here the index number 0 indicates the component of the homotopy fixed point set which contains the constant map, and the 2-adic completions are in the sense of Bousfield and Kan. Also the author shows that when \\(u\\) is in the center of \\(R\\), \\(\\widetilde K(R)^{{\\mathbb{Z}}/2}\\) becomes the classifying space for unitary algebraic \\(K\\)-theory.   One of the steps in the author's proof consists in presenting 11 kinds of prototypes \\((R_i, \\alpha_i, u_i)\\) of antistructures where \\(R_i= \\mathbb{R}\\), \\(\\mathbb{C}, \\mathbb{H}, \\mathbb{R} \\times \\mathbb{R}\\), \\(\\mathbb{C} \\times \\mathbb{C}\\) or \\(\\mathbb{H} \\times \\mathbb{H}\\) and in showing that any \\(\\widetilde K(R)\\) is equivariantly homotopic to a direct product of \\(\\widetilde K(R_i)\\)'s. It turns out that the problem for \\(\\widetilde K(R)\\) can be referred to that for each \\(\\widetilde K(R_i)\\). The proof for \\(\\widetilde K(R_i)\\)'s is heavily based on Suslin's results on the connection between algebraic \\(K\\)-theory and topological \\(K\\)-theory and is done by applying the completion theorems of Atiyah and Segal for topological \\(K\\)-theories and their modifications.   Further the author calculates the number of components for each \\(\\widetilde K(R_i)\\), and the paper contains an appendix in which the author proves some auxiliary theorems needed in the preceding sections.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386679$B8960C2A-FB3C-4735-98C1-B63573F4285A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c993c33cff342651cbbd54e4f5b587ad2b93dd47","datavalue":{"value":{"entity-type":"item","numeric-id":329669,"id":"Q329669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386679$F136AEB1-E6DE-45CC-BCFD-5D444103469D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8cc78dc41312ffff31886db11a6c5d273995467","datavalue":{"value":"19D06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$23E92EDD-86FB-4C1F-8F3D-50353EAED3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b99005280ef1626a98795c032281c63ce65fc1d8","datavalue":{"value":"55P91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$0EA998D4-A972-4C35-9106-CE31D4444E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6dd31f6535721e733e805c12cf8dc43cd8eaaf74","datavalue":{"value":"19L47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$51172390-142A-4711-B6B3-5FFFCED4CEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e6108bab9489dccd691f715468d667bf8cb50f","datavalue":{"value":"46K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$C51BCA12-808C-4B25-A152-BEC5ABCC30D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a7a9ce577b6d7a5a5666d3335c22357af142fbe","datavalue":{"value":"1156513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$44992053-2D95-4115-9B10-4B28D87E3709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e849dc370684bbe6a203576f5bafe2b80d51a6cd","datavalue":{"value":"descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386679$71CFEF80-5F87-4478-A328-4C9D321DD885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7bd54998cae2ba73ea5e1d0a98b126ce65ba11","datavalue":{"value":"homotopy fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386679$F26E1794-D18A-4CB1-83E5-F12BEA4C6FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd256bb148b883cda9f7e418256129feafa260c","datavalue":{"value":"classifying space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386679$80E27B49-A9E2-46A5-B21B-A469712A802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133e54f8116ecd531b08843fa1014e886c58e3b7","datavalue":{"value":"antistructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386679$791CA0D4-5948-4E82-8EC4-E6CD0E32E47B","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":"Q1386679$6C86EA4D-D01B-46BF-8A53-0F0DE7B9231E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0b2bbd69c96c34951d36880706c42e55d38abc4","datavalue":{"value":"https://doi.org/10.1023/a:1007701514327","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386679$B90DB4D8-825C-4DD5-A9B9-9684AFA4669B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c31a3871f26e4ee47b4a6a2764d06a193509dd6d","datavalue":{"value":"W2046803648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386679$C3499A87-03C7-4624-BC53-88071C3FD098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c77c8d1d519571114c0ce8ce0e2d224be1b641","datavalue":{"value":{"entity-type":"item","numeric-id":3991545,"id":"Q3991545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf2e94c4a5f9fb73f1df3944f17c749511074ce","datavalue":{"value":{"amount":"+0.7895451784133911","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":"Q1386679$CD4324D8-0860-498D-99B9-B443CF6FBBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5762b7edf6a055bed908c2f581c54e6bdf5ac664","datavalue":{"value":{"entity-type":"item","numeric-id":1598939,"id":"Q1598939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5335cca6923461144e62a10ade73c98196493ed3","datavalue":{"value":{"amount":"+0.7866911292076111","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":"Q1386679$B03FBCEB-0F3D-437D-A3D4-6EAE8FF84A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7c88704d17076cb69e4d8403f9866d8c47d882","datavalue":{"value":{"entity-type":"item","numeric-id":1109368,"id":"Q1109368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9639f8e5ed0b145dba66b086541cd8ec05e98281","datavalue":{"value":{"amount":"+0.7711834907531738","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":"Q1386679$5B61B015-9461-4DB5-B915-12DA64C34F10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1386679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1386679"}}}}}